Hacker News new | ask | show | jobs
by gipp 59 days ago
The set of tasks for which "correctness" is formally verifiable (in a way that doesn't put Goodharts Law in hyperdrive) is vanishingly small.