Hacker News new | ask | show | jobs
by anon291 36 days ago
It is not only unsurprising ; it was always expected. There is no difference between programs and proofs. They are the same thing