iiinova — where your digital self keeps evolving

jameshaydon.bsky.social

@jameshaydon.bsky.social

8 followers 17 following 2 posts

Posts Replies Media

jameshaydon.bsky.social @jameshaydon.bsky.social · 19/05/2026

Using algebra and LLMs to verify a flight-plan bug fix in Lean jameshaydon.github.io/algebra-llms...

jameshaydon.github.io

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

My experience using coding agents to help formally verify the UK ATC meltdown solution in Lean.

jameshaydon.bsky.social @jameshaydon.bsky.social · 29/06/2025

Solving "UK Passport Application" with Haskell: jameshaydon.github.io/passport/

jameshaydon.github.io

Solving `Passport Application` with Haskell

Using logic programming to beat the game