gridentio's submissions

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