2 ms·
Oh man that was fun! Totally nerd-sniped my day though. Got me to go back and re-watch Kevin Buzzard's talk at MS Research in re: Lean, "The Future of Mathema
by carapace 6y ago
Oh man that was fun! Totally nerd-sniped my day though.
Got me to go back and re-watch Kevin Buzzard's talk at MS Research in re: Lean, "The Future of Mathematics?"
https://www.youtube.com/watch?v=Dp-mQ3HxgDE https://www.youtube.com/watch?v=Dp-mQ3HxgDE
https://news.ycombinator.com/item?id=21200721 https://news.ycombinator.com/item?id=21200721