HN Explorer

jameshh

↗ HN profile [ 47.0 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 85
  3. UK air traffic control meltdown (jameshaydon.github.io)
    932 points 436