Hacker Newsnew | past | comments | ask | show | jobs | submit | gridentio's submissionslogin
1.LLMs are steroids for your Dunning-Kruger (bytesauna.com)
392 points by gridentio 45 days ago | past | 298 comments
2.Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper (mathstodon.xyz)
2 points by gridentio on Nov 29, 2023 | past | 2 comments
3.Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz)
497 points by gridentio on Oct 27, 2023 | past | 220 comments
4.My Favorite Math Problem (mapehe.github.io)
125 points by gridentio on Nov 21, 2021 | past | 80 comments
5.Show HN: Gridentio – A small puzzle I made to learn some react and node (gridentio.com)
11 points by gridentio on Dec 17, 2019 | past | 4 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: