gridentio

4 ms·

1. 1.▲
   LLMs are steroids for your Dunning-Kruger(bytesauna.com)

   392 points by gridentio 11mo ago|298 comments
2. 2.▲
   by gridentio 3y ago

   I recently shared another similar mathstodon post https://mathstodon.xyz/@tao/111287749336059662 This link, however, is related to a different paper.
3. 3.▲
   Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper(mathstodon.xyz)

   2 points by gridentio 3y ago|2 comments
4. 4.▲
   by gridentio 3y ago

   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.
5. 5.▲
   by gridentio 3y ago

   https://proofwiki.org/wiki/False_Statement_implies_Every_Sta...
6. 6.▲
   Lean4 helped Terence Tao discover a small bug in his recent paper(mathstodon.xyz)

   497 points by gridentio 3y ago|220 comments
7. 7.▲
   My Favorite Math Problem(mapehe.github.io)

   125 points by gridentio 5y ago|80 comments
8. 8.▲
   by gridentio 7y ago

   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.
9. 9.▲
   by gridentio 7y ago

   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.
10. 10.▲
    Show HN: Gridentio – A small puzzle I made to learn some react and node(gridentio.com)

    11 points by gridentio 7y ago|4 comments