Elm Town 84 – Wonder: Elm all the way down with Justin Lubin Podcast By cover art

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

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

Listen for free

View show details

About this listen

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] PicksJustin's pick
  • Design at Work: Cooperative Design of Computer Systems by Joan Greenbaum and Morten Kyng
Jared's pick
  • Entangled Life by Merlin Sheldrake
No reviews yet