『Elm Town 84 – Wonder: Elm all the way down with Justin Lubin』のカバーアート

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

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] 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
まだレビューはありません