Only a tiny proportion of people can run software not signed/approved by a multibillion-dollar corporation even today.

Additionally, any capable local model can be reclassified as “cybersecurity risk”, not enough “safety guardrails” to run locally, etc

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.

Unfortunately, “lost” wallet in public places is a common scam

https://www.thestandard.com.hk/news/article/321034/Resurgenc...

The following is completely off topic, but I was mildly bemused how the article ends:

> Reflecting on the evolving nature of street scams, one commenter noted, "People are becoming hesitant to help strangers on the street for a reason. It's a dangerous world, making people colder."

> Reflecting on the evolving street scams, "People are becoming hesitant to help strangers on the street for a reason. It's a dangerous world, making people colder," one commenter lamented.

Maybe in Hong Kong, where that article is from? Never heard of it being a scam in the US. And anyway, if you pick up a wallet and someone tries to accuse you of stealing it, can’t you just give it to them?

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.

I have a whole section in my global AGENTS.md about how python sucks to influence agents to not use it for anything performance sensitive.

My favorite improvement example was something a bit of a slog was taking 20 minutes in python, I told the agent to rewrite it in rust and the result was 300,000 times faster... 20 minutes to ones of milliseconds. Obviously not just a python problem but better solutions just seem to fall out of Rust and Python is just slow.

It's more than zero, but 15 seconds would be a great deal more realistic for an incremental build.

Go is pretty close to 0 as well IME.

Funnily enough, last week I was working on parsing some json. I wrote a little script in python, tested it and then ran it over the main dataset. It took so long that I rewrote it in C# before the python script had finished!

Exception it's merely a python binding for Daniel Lemire's Simdjson which is written in C++ (which takes even more time to compile than Rust).

I was already using orjson which is pretty much a straight 50% speed up. Calling into native doesn’t really bother me as long as I don’t have to pre compile the whole thing myself.

My experience has been that rust is significantly slower to compile than C++, by the way

Nah, that is the usual mistake to call Python libraries to something that is actually implemented in a native compiled language.

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.

System that requires police to police itself does not work.

Selective enforcement is worse than no law at all.