My current interest is in building languages and systems that make application programming more declarative. I am also interested in building tools that augment human thinking and learning. Semi-frequently, I write or talk about such things.
- Declarative Dataflows: Together with Frank McSherry I am researching ways of compiling Datalog expressions into differential dataflows.
- Functional Differential Programming is a very rough collection of ideas about rethinking state management and reactive user interfaces through the lens of Differential Dataflow.
- kondens is an attempt to build a tool for communicating complex systems.