TLA+ is around 30 years old.

There is no such thing as a robust helm chart. Null was not the billion dollar mistake: templating languages were.

I’m starting to think this take is legitimately insane.

As said in the article, a conservative estimate is that Gen AI can currently do 2.5% of all jobs in the entire economy. A technology that is really only a couple of years old. This is supposed to be _disappointing_? That’s millions of jobs _today_, in a totally nascent form.

I mean I understand skepticism, I’m not exactly in love with AI myself, but the world has literally been transformed.

Super interesting, but I think this will be very difficult in practice due to the gigantic effect of nondeterminism at the hardware level (caches, branch prediction, out of order execution, etc.)