HN Explorer

gridentio

↗ HN profile [ 31.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz)
    497 points 229
  2. My Favorite Math Problem (mapehe.github.io)
    125 points 85
  3. Show HN: Gridentio – A small puzzle I made to learn some react and node (gridentio.com)
    11 points 4