I use programming language theory to explore / explain / engineer compositional UI, trying to make engagement with algebraic abstractions more fluid, tangible, and fun

Can we make GUIs that compose like languages? Create languages made of GUIs?
Can malleable semantic interfaces help make code a thing you can dip you feet in?

Language servers can provide semantic contextualization and guidance to inform
helpful editing affordances for both people and language models: LLMs need IDEs

Math needs juice. Working on tactile affordances to support the development of
mechanical sympathy in the manipulation of materials with mechanized semantics

PL 🟰 UI

IDEs ✖️ LLMs

Math ➕ Juice