3 ms·
A Haskell quote I like is: “I’ve only proven this correct, I haven’t tried it.”
by jiggawatts 2y ago
A Haskell quote I like is: “I’ve only proven this correct, I haven’t tried it.”
- neilwilson 2y agoIsn’t that one of Dijkstra’s supposed comments?
- OskarS 2y agoIt'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 https://www-cs-faculty.stanford.edu/~knuth/faq.html
- jiggawatts 2y agoIt'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.