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#transcript

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:
<ul>
<li>embodied intuition</li>
<li>code as rhetoric</li>
<li>asemic language</li>
<li>Colorless green ideas sleep furiously.</li>
<li>univalence, homotopy, equivalence, equality</li>
<li>modeling the notation of mathematics</li>
<li>knot notation, dance notation, and the periodic table of juggling notation</li>
<li>a studio class on notation design</li>
<li>explorable explanations</li>
<li>speculative nonfiction</li>
<li>the unexpected futures next door</li>
</ul>
Transcript provided by <a href="https://repl.it">repl.it</a> at&nbsp;<a href="https://futureofcoding.org/episodes/34#transcript">https://futureofcoding.org/episodes/34#transcript</a>

A romp through the field of computer programming, grapling with our history and wondering what should come next. A mix of deeply technical talk, philosophy, art, dark lore, and good takes. Hosted by Ivan Reese, Jimmy Miller, and Lu Wilson.

A romp through the field of computer programming, grapling with our history and wondering what should come next. A mix of deeply technical talk, philosophy, art, dark lore, and good takes. Hosted by <a href="https://ivanish.ca/">Ivan Reese</a>, <a href="https://jimmyhmiller.github.io/">Jimmy Miller</a>, and <a href="https://todepond.com/">Lu Wilson</a>.

Feeling of Computing

An imaginative, ruminative romp through the land of poisoned sand. What even are computers, where did they come from, and how might we make them radically different. Hosted by Ivan Reese, Jimmy Miller, and Lu Wilson.

An imaginative, ruminative romp through the land of poisoned sand. What even are computers, where did they come from, and how might we make them radically different. Hosted by <a href="https://ivanish.ca/">Ivan Reese</a>, <a href="https://jimmyhmiller.github.io/">Jimmy Miller</a>, and <a href="https://todepond.com/">Lu Wilson</a>.

Advertisement