Developer and amateur philosopher. I like to poke at substrate. Recent projects include:

• CNF: semantic working copy for coding agents in Racket
• Beagle: a type authoring layer for dynamic languages
• Heist: a declarative web app compiler written in Beagle