Post #1570560

Things we're specifically working on/looking at right now include diagramming and spatial semantics, OxCaml, Lean, Alloy/Forge, human-in-the-loop agentic AI, etc., and education research around each of these. It's buzzing around here!