ngruhn

Won't there also be a point were you're shipping so fast that that in itself deteriorates UX? What if a page literally changes every time I reload? What if it changes mid-checkout process and the deal I agreed to 5 seconds ago does not exist anymore?!

So as a user I can basically deploy code through bug reports? Sounds like a prompt injection nightmare.

You should call it "pond".

For Dudley Dursley it's the worst getting only 36 presents for his birthday. It's good to maintain a sense of proportionality. If you call everything hell, the word hell looses meaning and it's also an insult to people actually living in hell.

If you live in North Korea or pre-unified East Germany, you know the difference. You don't protest, you don't express your opinion, even in private because who knows who the government spies are or who will snitch on you for slightly better living conditions in the system.

ICE has murdered protestors but each case is a headline. Start worrying when it's not a headline anymore. Either because the media are suppressed or because it becomes so common that it's not newsworthy anymore. Wait until the army indiscriminately opens fire on crowds of people and the government isn't even trying to justify it. And when you hear stories of people just disappearing. Then you will be scared to post comments like this.

ICE arguably has a mandate for aggressive deportation. The Trump campaign did not sugarcoat what their goal was. And people still voted for that. Still, the lack of due process, the excessive use of force, deporting people to random countries, ... that's not normal.

Well it can definitely get worse. You're not yet scared of being picked up tonight for posting this comment.

can't you just track solar panel sales?

This is within hours of the original result. No way this can be reliable, can it?

It's running on 20 watts though. There must be some tricks in there.

I guess I don't understand "enterprise psychology" but why are auditing features worth a 50x premium? I think we're currently blasting through $1000 worth of tokens a month per dev.

Is there a word that combines wholesome and insane?

This is great. Many people online who "verify their software" seem to just tell an LLM "verify dis" and have no idea what comes out. The model could be proving 1+1=2 for all they know.

These guys actually show some Lean theorems they proved. Also interesting approach to compile the existing interpreter into the de-facto spec.

whoops :P

A good outcome of this crisis. These god damn fossil fuels. Never even mind climate change. Being depend on them has turned out to be a huge national security risk. Picking a seller is picking your poison: Russia, the Golf states, and now the US.