On: Bend – a language that blocks AI mistakes via proof and runs on GPUs

[nottorp]

That's an old "AI" joke. It went like that:

They asked a computer how to minimize production expenses at a factory. The computer said: "Do not manufacture anything, expenses will be zero".

I believe it's been around since expert systems at least.