Katherine Ye is a PhD student at CMU, where she works on representation, including programming languages, visualizations, notations, and interfaces to enable thinking and creating. She's been affiliated with MIT CSAIL, Princeton, Distill at Google Brain, and the Recurse Center.
In this conversation we discuss Penrose, her project to _democraize visual intuition_. Katherine envisions "a magical machine where you can dump in a math textbook and out comes a fully-illustrated math textbook, or more specifically a platform where you can simply type mathematical notation in plain text and automatically get many useful and beautiful diagrams out illustrating the notation." It's a fascinating project in the intersection of mathematics, intuition, education, visualization, communication, programming, domain specific languages... basically, all of the interesting topics in one project.
As you'd expect in a conversation about the edges of representation, this is a wide-ranging conversation that I can described by a collection of keywords that came up:

embodied intuition
code as rhetoric
asemic language
Colorless green ideas sleep furiously.
univalence, homotopy, equivalence, equality
modeling the notation of mathematics
knot notation, dance notation, and the periodic table of juggling notation
a studio class on notation design
explorable explanations
speculative nonfiction
the unexpected futures next door

Transcript provided by repl.it at https://futureofcoding.org/episodes/34#transcriptSee omnystudio.com/listener for privacy information.