Hacker News
- Natural Number Game: build the basic theory of the natural numbers from scratch https://adam.math.hhu.de/#/g/leanprover-community/NNG4 32 comments
- Natural number game https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/ 14 comments
Lobsters
- Natural Number Game https://adam.math.hhu.de/#/g/leanprover-community/nng4/ 2 comments formalmethods , games
- The Natural Number Game - interactive Lean tutorial https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ 3 comments compsci , formalmethods , math
- [Filipovic] Ben Bishop’s total numbers this season are completely and utterly bonkers (via Natural Stat Trick): •52 games •.937 5v5 save percentage •.936 overall save percentage •+38.39 Goals Saved https://twitter.com/dimfilipovic/status/1120705460061884416 129 comments hockey
- Average number of injuries per game at the Women's World Cup, 2015 on turf vs. 1999-2011 on natural pitch https://twitter.com/thegoalkeeper/status/633274875386458112 14 comments soccer
- Tom Francis (Developer of Gunpoint, Heat Signature) - Natural Numbers In Game Design http://www.pentadact.com/2015-09-25-natural-numbers-in-game-design/ 15 comments gamedev
- Natural Number Game - A game where you learn to prove theorems using the Lean proof assistant https://wwwf.imperial.ac.uk/%7Ebuzzard/xena/natural_number_game/ 69 comments math
- [Herndon] Tannehill continues to lead all quarterbacks in both game winning drives (11) and fourth quarter comebacks (9) since the start of the 2019 season. He doesn't put up huge numbers because of the nature of the offense, but when they *need* him, he consistently delivers the goods. https://twitter.com/mikemiracles/status/1450471360635998212?s=21 38 comments nfl