News for hackers. Stuff that matters.

A comment on Lean4 helped Terence Tao discover a small bug in his recent paper. Parent comment

Re:Lean4 helped Terence Tao discover a small bug in his rece... by amelius on Saturday October 28, 2023 @04:40AM (#38048212)
Not OP, but I always want to read the code generated by chatgpt before I run it. And I dislike reading other people's code much more than writing it myself.
[ Parent | on HN ]

There are no comments on this comment yet.