Lindsey's episode (#346)

Author: nomeata

podcast/34/index.markdown

@@ -0,0 +1,9 @@
+---
+title: Lindsey Kuper
+episode: 34
+buzzsproutId: 13697879
+recorded: 2023-06-20
+published: 2023-10-02
+---
+
+In this episode Niki Vazou and Wouter Swierstra chat with Lindsey Kuper, Assistant Professor at University of California, Santa Cruz. They discuss what to do when your data center gets hit by a tornado, life in academia versus life in industry, and what is choreographic programming.

podcast/34/links.markdown

@@ -0,0 +1,11 @@
+* [Lindsey’s Website](https://users.soe.ucsc.edu/~lkuper/)
+* [Lindsey’s Mastodon](https://recurse.social/@lindsey)
+* [Lindsey’s Blog](https://decomposition.al/)
+* [Lindsey’s Github](https://github.com/lkuper)
+* [Lindsey’s Youtube](https://youtube.com/lindseykuperwithasharpie)
+* [HasChor Paper](https://arxiv.org/pdf/2303.00924.pdf)
+* [Lvars Paper](https://users.soe.ucsc.edu/~lkuper/papers/lvars-fhpc13.pdf)
+* [Liquid Haskell Verified CB Paper](https://users.soe.ucsc.edu/~lkuper/papers/cbcast-lh-ifl22.pdf)
+* [CRDTs wikipedia](https://en.wikipedia.org/wiki/Conflict-free_replicated_data_type)
+* [Julia programming language](https://julialang.org/)
+* [The Elsa evaluator for lambda calculus](https://github.com/ucsd-progsys/elsa)