Missouri, USA
Programmer and researcher in compiler construction, formal methods, constructive mathematics, type theory, category theory, and intuitionistic logic. I am also passionate about software freedom, functional programming, deterministic software, type safety, and enthusiastically opposing framework-driven programming.
A modern, high-performance IRC server (ircd)
Static RSS/ATOM webring generator for Org-mode
Static git pages generated by daemon