He is interested in languages and systems that make programming more declarative and in building tools that augment human thinking and learning. He works mostly in Clojure and Rust.