Lean4 helped Terence Tao discover a small bug in his recent paper
467 by gridentio | 208 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.
-
Omg.lol: An Oasis on the Internet 678 by blakewatson | 301 comments on Hacker News.
-
By BY MATT STEVENS AND MAGGIE HABERMAN from NYT U.S. https://ift.tt/2EQzU0Y via IFTTT