David is the CTO at the Spritely Institute, a US-based nonprofit working on decentralized networking technology for safe collaboration. At Spritely, he works on Goblins, a capability-secure distributed programming environment, and Hoot, a Scheme to WebAssembly compiler and general-purpose WebAssembly toolchain. He is a longtime contributor to the Guile and Guix projects and the author of software such as Haunt, a purely functional static site generator.