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 justinclift on Saturday October 28, 2023 @09:46PM (#38055184)
Yeah. DuckDuckGo also seems similarly bad these days too. :(
[ Parent | on HN ]

There are no comments on this comment yet.