Lean4 helped Terence Tao discover a small bug in his recent paper
467 by gridentio | 208 comments on Hacker News.
-
Path to a free, self-taught education in Computer Science 495 by netfortius | 130 comments on Hacker News.
-
U.S. Postal Service starts nationwide electric vehicle fleet, buying 9,250 EVs 444 by lxm | 336 comments on Hacker News.
-
So you want to study mathematics 507 by musgravepeter | 292 comments on Hacker News.