abc42

Would be fun to have a so called job where you can spend your days doing something like that.

Getting a second off boot time is of course a pretty stupid endeavor but latency in general is a very worthwhile thing to optimize, even when the gains are in subseconds.

It looks weird, but the 20x before this change referred to the 5-hour limit, not the weekly limit. They're removing the 5-hour limit altogether.

So the weekly limit is not changing, just the naming is less confusing now. And the title of this post is false and should be changed.

Lula's victory was a US psyops? That's some 4D chess.

Oh, in this particular case they have no need, as both candidates are friendly to Russia.

>I think this framing is pretty much disinformation itself.

Russian troll factories etc are a documented fact, not an opinion. It goes way beyond just "influencing elections".

They are children compared to Putin in the art of geopolitical manipulation. If he didn't wield his skills so malignantly, I'd be impressed.

>Why is it always Russia?

Why indeed.

That's an interesting angle. Is that a fact, though? Far-right has usually been in bed with Putin.

Interesting how pro-democracy wave after wave strike the shore as Russia's resources dwindle. Perhaps Russia is/was the only thing still keeping those monsters up?

Why are we enduring this retrograde bullshit on a site like Hacker News? It was cute and perhaps even slightly poignant for a while, but it's starting to sound really really dumb.

Try https://lobste.rs perhaps. They love this kind of content.

To my personal shock, Digg is good now.

Highlights, imho:

1. aggregation of multiple sources into single posts

2. no comment sections

3. UI is pretty nice now

I wonder if it'll be ready before Trump is out.

I don't understand the question. Greed exists in every human system because it's a human quality, not a system quality. Real people are driven by many, sometimes conflicting things at the same time.

Non-greedy action is by definion an action that doesn't directly and materially benefit the one acting. That is universal across all political and I would argue all biological systems.

There are lots of drives besides greed.

How about "if you're not the customer, you're the product".

Why is this important news?

Cool. I'm about 3-4 months in, this is the current result: https://hanki-lang.org/docs/reference/ -- sorry about the LLM smell. I haven't paid much attention to making the documentation beautiful yet.

Seems like you're slightly more ambitious with the features (linear typing, refinement typing are way beyond what I dream about). I'm focusing more on a small practical application language with ruby-like aesthetics.

I wanted Hanki to be a general-purpose language that could be used with minimal compromises as a scripting language, a configuration language and a reasonably high-performing application / server-side language. I wanted a good REPL, arbitrary precision arithmetics by default, reasonable safety features (effects, strong typing, concurrency via message-passing actors, erlang-like supervising) and excellent readability for human reviewing.

I wanted to include features that force AI agents into a style, so the linter is included as part of the checker and every linter complaint is an error.

The implementation is currently 300K+ lines of Rust, about 60Kloc of Hanki.

I still have about a hundred beads tickets to go through before I'm happy enough about this that I dare to publish it. And seems like every solved task gets 2 follow-ups :)

I support everything that makes X a more horrible place thus advancing its total collapse. So this is great.

I think the proper comparison point is not something like Monero, but multinational credit card companies. Taler is obviously much more private than those.

Crazy how easy it is these days, isn't it? The last 20% that matters is gonna be a bit harder though, I assume. Plus with everybody being able to do it means that making yours be interesting is going to be extra difficult.

I think Taler is designed to be privacy-preserving while being able to comply with national laws. So not the currency you're looking for if you wanna buy something illegal.

They have an interactive mode right now (crystal i), but it's not very comprehensive. You cannot use certain libraries with it etc.

Shouldn't be terribly hard to make it good though. Some time ago, I added a JIT REPL in a few afternoons with Claude, ending up with roughly the same performance as their compiler, and with it working reliably with all the libraries I tested. But since they don't want LLM contributions in Crystal, I just left it as an interesting experiment and started working on my own language instead.

>PHP is no more vulnerable than those languages.

In theory, perhaps not. In practice, much more vulnerable.

Sure, but this particular vulnerability could not have happened in a language like Rust.

That's a false dichotomy. PHP is mainly used in creating web pages, and a scripting language is not a requirement there.

If you compare it with production languages, PHP looks pretty weak.

Atlassian stuff is Java, I believe.

That's how 90+% of script kiddy -type hackings happen, isn't it. That or publically available databases without a password.

AI is gonna make our stuff pretty robust, eventually. The transition phase might hurt a bit.

>And China is not really supporting Russia

Yes, yes they are.

https://en.wikipedia.org/wiki/China_and_the_Russo-Ukrainian_...

I support people making choices with full knowledge of what they are doing and what the consequences are, as much as it is possible. What I oppose is making choices without such knowledge.