Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper 3 years agoI recently shared another similar mathstodon post https://mathstodon.xyz/@tao/111287749336059662This link, however, is related to a different paper. 0ThreadHN
Lean4 helped Terence Tao discover a small bug in his recent paper 3 years agoI'm kind of interested in how useful Lean4 is as a programming language, and if it's easy to prove things about a program written in Lean. I should probably look into that when I have a minute. 0ThreadHN
Lean4 helped Terence Tao discover a small bug in his recent paper 3 years agohttps://proofwiki.org/wiki/False_Statement_implies_Every_Sta... 0ThreadHN
Show HN: Gridentio – A small puzzle I made to learn some react and node 7 years agoThanks! I've been discussing whether I should present this as a personal project or credit our small startup. :)I'll add some creds soon. 0ThreadHN
Show HN: Gridentio – A small puzzle I made to learn some react and node 7 years agoThis turned out to be a pretty cool project: It forced me to carefully handle the async nature of react's setState.I also implemented some cheating protection etc. which was a pretty cool extra challenge. 0ThreadHN