HN Explorer

gridentio

↗ HN profile [ 29.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. LLMs are steroids for your Dunning-Kruger (bytesauna.com)
    392 points 77
  2. Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper (mathstodon.xyz)
    2 points 2
  3. Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz)
    497 points 220
  4. My Favorite Math Problem (mapehe.github.io)
    125 points 80
  5. Show HN: Gridentio – A small puzzle I made to learn some react and node (gridentio.com)
    11 points 4