Hacker News new | ask | show | jobs
user: gridentio
created: 2019-12-17
karma: 455

submissions:

LLMs are steroids for your Dunning-Kruger
392 points | 298 comments
0 points | 0 comments
Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper
2 points | 2 comments
0 points | 0 comments
0 points | 0 comments
Lean4 helped Terence Tao discover a small bug in his recent paper
497 points | 220 comments
My Favorite Math Problem
125 points | 80 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Gridentio – A small puzzle I made to learn some react and node
11 points | 4 comments