News for hackers. Stuff that matters.
Re:Lean4 helped Terence Tao discover a small bug in his rece... by colinhb on Saturday October 28, 2023 @06:49AM (#38048771)
Agree in part but also I think Terry is such an outlier (though also generous and humble) that it’s hard to extrapolate from this example to a more general case

There are no comments on this comment yet.