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 melagonster on Saturday October 28, 2023 @01:27PM (#38051708)
sorry, everyone is losing their job. we have no chances of living in future.
[ Parent | on HN ]

There are no comments on this comment yet.