Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by gridentio
LLMs are steroids for your Dunning-Kruger
392 points
gridentio
2025-11-10T15:14:05Z
bytesauna.com
Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper
2 points
gridentio
2023-11-29T11:18:50Z
mathstodon.xyz
Lean4 helped Terence Tao discover a small bug in his recent paper
495 points
gridentio
2023-10-27T07:25:32Z
mathstodon.xyz
My Favorite Math Problem
125 points
gridentio
2021-11-21T22:19:10Z
mapehe.github.io
Show HN: Gridentio – A small puzzle I made to learn some react and node
11 points
gridentio
2019-12-17T12:07:38Z
gridentio.com