Hacker News Reader

gridentioon Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper

I recently shared another similar mathstodon post https://mathstodon.xyz/@tao/111287749336059662

This link, however, is related to a different paper.

gridentioon Lean4 helped Terence Tao discover a small bug in his recent paper

I'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.

gridentioon Lean4 helped Terence Tao discover a small bug in his recent paper

https://proofwiki.org/wiki/False_Statement_implies_Every_Sta...

gridentioon Show HN: Gridentio – A small puzzle I made to learn some react and node

Thanks! I've been discussing whether I should present this as a personal project or credit our small startup. :)

I'll add some creds soon.

gridentioon Show HN: Gridentio – A small puzzle I made to learn some react and node

This 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.