Content provided by Jared M. Smith. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Jared M. Smith or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://staging.podcastplayer.com/legal.

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

12d ago 55:46

MP3•Episode home

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] 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

86 episodes

#Prog Languages #Kevin Yank #Murphy Randle #Tech

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

Elm Town

206 subscribers

published 12d ago

MP3•Episode home

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] 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

86 episodes

#Prog Languages #Kevin Yank #Murphy Randle #Tech

All episodes

Welcome to Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

Listen to 500+ topics

Similar to Elm Town

Podcasts Worth a Listen

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

Guest

Show notes

[00:00:44] Introducing Justin

[00:07:07] Elm all the way down

[00:08:36] What is Sketch-n-Sketch?

[00:11:03] From Parker Ziegler: Getting started in a large Elm codebase

[00:13:01] The Sketch-n-Sketch cinematic universe

[00:22:21] Research on how statically-typed functional programmers write code

[00:35:11] From Parker Ziegler: Ergonomics vs. hindrances

[00:40:25] Fork of the Elm compiler

[00:45:04] Cobbler

[00:47:36] Justin's current work

[00:51:45] Picks

Justin's pick

Jared's pick

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

Guest

Show notes

[00:00:44] Introducing Justin

[00:07:07] Elm all the way down

[00:08:36] What is Sketch-n-Sketch?

[00:11:03] From Parker Ziegler: Getting started in a large Elm codebase

[00:13:01] The Sketch-n-Sketch cinematic universe

[00:22:21] Research on how statically-typed functional programmers write code

[00:35:11] From Parker Ziegler: Ergonomics vs. hindrances

[00:40:25] Fork of the Elm compiler

[00:45:04] Cobbler

[00:47:36] Justin's current work

[00:51:45] Picks

Justin's pick

Jared's pick

Podcasts Worth a Listen

Welcome to Player FM!

Similar to Elm Town

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