HN
Hacker News
Top
New
Best
Ask
Show
Jobs
jameshh
450 karma · joined January 24, 2018
submissions
comments
Using algebra and LLMs to verify a flight-plan bug fix in Lean
jameshaydon.github.io
·
5 pts
·
jameshh
·
0
Solving `Passport Application` with Haskell
jameshaydon.github.io
·
308 pts
·
jameshh
·
125
UK air traffic control meltdown
jameshaydon.github.io
·
932 pts
·
jameshh
·
436