I use programming language theory to explore & explain user interfaces,
making engagement with abstractions more tangible and more 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 your 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