با برنامه Player FM !
The Edges of Representation: Katherine Ye
Manage episode 222677849 series 2343646
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
Support us on Patreon: https://www.patreon.com/futureofcoding
See omnystudio.com/listener for privacy information.
73 قسمت
Manage episode 222677849 series 2343646
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
Support us on Patreon: https://www.patreon.com/futureofcoding
See omnystudio.com/listener for privacy information.
73 قسمت
모든 에피소드
×به Player FM خوش آمدید!
Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.