Howdy! I’m John, a programmer based in Cape Canaveral, Florida. I go
by jtm or jtmcx most places on the internet.
I’ve been a professional software developer for close to ten years,
having worked at companies such as Bloomberg, Optimus Ride,
CrowdStrike, and ALTR. I love compilers, formal-methods,
testing, and vintage computing.
Recent Posts
Personal Projects
rocq-gameboy: a GameBoy emulator in Rocq. This is a work in progress, but includes an assember, disassembler, and a partial specification of the CPU using Interaction Trees.
stt: A toy language that uses set-theoretic types. This was an exploration of the type system described in Covariance and Controvariance: a fresh look at an old issue.
blog: The static site generator that powers this website. It’s written in Haskell, and is built on to of Shake and Pandoc.