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: [email protected].

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