Isn’t that one of Dijkstra’s supposed comments?
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
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.
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
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.