Elm Town 84 – Wonder: Elm all the way down with Justin Lubin

Justin Lubin sketches his journey from undergrad research at UChicago with Ravi Chugh on output-directed and bidirectional programming environments (Sketch-n-Sketch) to graduate work at UC Berkeley with Sarah E. Chasins, focusing on programming language theory, researching how statically-typed functional programmers write code, and beyond, to helping domain experts. Thanks to our sponsor, Logistically. Email: elmtown@logisticallyinc.com . Music by Jesse Moore. Recording date: 2024.12.09 Guest Justin Lubin Show notes [00:00:44] Introducing Justin Sketch-n-Sketch "How statically-typed functional programmers write code" by Justin Lubin and Sarah E. Chasins [00:07:07] Elm all the way down [00:08:36] What is Sketch-n-Sketch? Hazel [00:11:03] From Parker Ziegler: Getting started in a large Elm codebase [00:13:01] The Sketch-n-Sketch cinematic universe Maniposynth [00:22:21] Research on how statically-typed functional programmers write code Elm Town 83 – Wonder: Meeting people where they are with Ryan Haskell [00:35:11] From Parker Ziegler: Ergonomics vs. hindrances [00:40:25] Fork of the Elm compiler ravichugh/sketch-n-sketch (GitHub) [00:45:04] Cobbler "Equivalence by Canonicalization for Synthesis-Backed Refactoring" by Justin Lubin, Jeremy Ferguson, Kevin Ye, Jacob Yim, and Sarah E. Chasins Cobbler (GitHub) [00:47:36] Justin's current work [00:51:45] Picks Justin's pick Design at Work: Cooperative Design of Computer Systems by Joan Greenbaum and Morten Kyng Jared's pick Entangled Life by Merlin Sheldrake

You can listen to Elm Town 84 – Wonder: Elm all the way down with Justin Lubin online on Radio and Podcast. Open the player on this page to stream the available audio.

Elm Town 84 – Wonder: Elm all the way down with Justin Lubin is an episode from Elm Town by Jared M. Smith.

This episode is 00:55:46 long.

This episode was published on Jun 3, 2025.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Elm Town when more episodes are available from the podcast feed.