Post #1570559
2026-04-15 20:39 UTC
In particular, this is the best back door way of getting to also work with
@tonofcrates
on someone else's dime (mine). You know you want to! I would. (And also Tim Nelson, Kathi Fisler, Rob Lewis, Milda Zizyte, Nikos Vasilakis, Malte Schwarzkopf, Akshay Narayan, and others.)
Replies (1)
-
@shriramk@mastodon.social 2026-04-15 20:39
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!