Y
Hacker News
new
|
ask
|
show
|
jobs
user:
jameshh
created:
2018-01-24
karma:
450
submissions:
Using algebra and LLMs to verify a flight-plan bug fix in Lean
5 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Solving `Passport Application` with Haskell
308 points
|
125 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
UK air traffic control meltdown
932 points
|
436 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments