Isn’t that one of Dijkstra’s supposed comments? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		neilwilson 3 months ago \| parent \| context \| favorite \| on: Concurrency in Haskell: Fast, Simple, Correct Isn’t that one of Dijkstra’s supposed comments?

OskarS 3 months ago [–]

It's Knuth! [1]

"Beware of bugs in the above code; I have only proved it correct, not tried it."

[1]: https://www-cs-faculty.stanford.edu/~knuth/faq.html

jiggawatts 3 months ago | [–]

It's incredible that given how fuzzy and inaccurate human memory is, we treat any LLM that can't perfectly recite volumes of information as somehow beneath us.

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact