41554 blogs · [ { "id": "01a0878a-69b6-708d-8f3a-482bfafb7962", "title": "Using algebra and LLMs to verify a flight-plan bug fix in Lean", "url": "https://jameshaydon.github.io/algebra-llms-lean-flight-plan/", "published_at": "2026-05-19T00:00:00+00:00" }, { "id": "01a0878a-69b6-708d-8f3a-482bfba2aaac", "title": "Solving `Passport Application` with Haskell", "url": "https://jameshaydon.github.io/passport/", "published_at": "2025-06-27T00:00:00+00:00" }, { "id": "01a0878a-69b6-708d-8f3a-482bfc82fbc7", "title": "Domain structured programming (UK ATC meltdown)", "url": "https://jameshaydon.github.io/programming-style-and-bugs/", "published_at": "2023-09-15T00:00:00+00:00" }, { "id": "01a0878a-69b6-708d-8f3a-482bfccb24b8", "title": "UK ATC meltdown and swiss cheese", "url": "https://jameshaydon.github.io/what-went-wrong/", "published_at": "2023-09-13T00:00:00+00:00" }, { "id": "01a0878a-69b6-708d-8f3a-482bfd1e2e13", "title": "UK air traffic control meltdown", "url": "https://jameshaydon.github.io/nats-fail/", "published_at": "2023-09-08T00:00:00+00:00" }, { "id": "01a0878a-69b6-708d-8f3a-482bfd9e63a7", "title": "Why (some) Python programmers don't want Haskell", "url": "https://jameshaydon.github.io/why-python-not-haskell/", "published_at": "2023-07-16T00:00:00+00:00" }, { "id": "01a0878a-69b6-708d-8f3a-482bfdd554c8", "title": "Publications", "url": "https://jameshaydon.github.io/papers/", "published_at": "2022-01-03T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/jameshaydon.github.io/posts