d0mine

containerd (docker) uses it

Isn’t the point of TLA+ is to model aspects of design at such high level that no deterministic generation is practical as a rule. The TLA+ models may be useful for LLMs (help find real bugs).

You might like pilish in emacs. pi has plugins and you can modify most things even on the fly in emacs.

If you decided to use an umbrella to protect something during a hurricane and umbrella breaks and your thing is ruined. Whose fault is that?

Distributing signed artifacts is a solved problem (until NP=P is cracked at least).

I provided thousands of answers on SO (1/3..1/2 accepted?). I can tell from experience that most questions were complete and utter garbage — questions that could have been solved with a single google search at the time. Most of them were answered many many times almost daily.

It is a good thing LLMs exist. Even current capabilities are above median of effort demonstrated by those questions. My target audience was people coming from google (first) and questions authors (second) — but even then you burn out after a while.

Mismanagement and forgetting its roots were just the final nail long before AI.

For me, it is the opposite. It may be slower but it follows the rules better and makes less stupid mistakes, it takes less time to merge the solution.

It is the usual mistake to think that it does not use Python as intended (offload number crunching parts into C/C++/Fortran code eg numpy is older than many here.

~Zero build time Python vs 20 min for Rust web app

System that requires police to police itself does not work.

Selective enforcement is worse than no law at all.

"table" is not a concept that's really supported by particle physics.

Current inequality is greater, not talking what AI wealth distribution will look like.

Have you ever asked a long distance runner how are they feeling during a run?

It is literally true when you are going in circles ;)