HN Explorer

techwizrd

↗ HN profile [ 63.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Touchdown: Enabling Safe Landings in Las Vegas for Super Bowl Lviii (mitre.org)
    1 points 0
  2. Lean Co-pilot for LLM-human collaboration to write formal mathematical proofs (twitter.com)
    4 points 0