The Curious Engineer

All blogs / Haskell

James Haydon

jameshaydon.github.io

HaskellSoftware / engineering practiceAI / ML

’23’24’25’26
Posts
6 from 16 Jul 2023 to 19 May 2026
Posting
now and then (1 in the last year)
Kind
personal blog
Feed
https://jameshaydon.github.io/atom.xml

2026 1

  1. Using algebra and LLMs to verify a flight-plan bug fix in Lean

2025 1

  1. Solving `Passport Application` with Haskell

2023 4

  1. Domain structured programming (UK ATC meltdown)
  2. UK ATC meltdown and swiss cheese
  3. UK air traffic control meltdown
  4. Why (some) Python programmers don't want Haskell