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 @10:03AM (#38049884)
> Nobody needs more code, people need solutions.

More code per unit of time, not necessarily more code in an absolute sense.

[ Parent | on HN ]

There are no comments on this comment yet.