HN Explorer

jameshh

↗ HN profile [ 52.9 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Using algebra and LLMs to verify a flight-plan bug fix in Lean (jameshaydon.github.io)
    5 points 0
  2. Solving `Passport Application` with Haskell (jameshaydon.github.io)
    120 points 111