35+ years of development, from main frames to mobiles, green screens to touch, MSF to Phoenix Liveview and most of the trip on Emacs

I write code, read papers, and think thoughts. Broadly, I'm interested in: type theory, parser theory, functional abstractions, data structures, performance.