Live Coding
Edward Kmett · Twitch recordings
Sessions 1–26, including split recordings. Follow the session numbers here; the dated archive uses the known YouTube release dates where original broadcast dates are unavailable.
- Live Coding — Session 1: Commutativity
- Live Coding — Session 2.1: Q&A
- Live Coding — Session 2.2: Q&A
- Live Coding — Session 3: Authenticated Computation
- Live Coding — Session 4.1: Regular and Inverse Semigroups
- Live Coding — Session 4.2: Q&A
- Live Coding — Session 5.1: Propagators
- Live Coding — Session 5.2: Propagators
- Live Coding — Session 6: CEK Machines
- Live Coding — Session 7: More Machines
- Live Coding — Session 8: Succinct Data Structures and Dynamization
- Live Coding — Session 9: Succinct Serialization, Part 1
- Live Coding — Session 10: Succinct Serialization, Part 2
- Live Coding — Session 11: Succinct Serialization, Part 3
- Live Coding — Session 12: Succinct Serialization, Part 4
- Live Coding — Session 13: Succinct Serialization, Part 5
- Live Coding — Session 14.1: Succinct Serialization, Part 6
- Live Coding — Session 14.2: Succinct Serialization, Part 6
- Live Coding — Session 14.3: Succinct Serialization, Part 6
- Live Coding — Session 15: Back from ICFP
- Live Coding — Session 16: Relational Programming, Part 2
- Live Coding — Session 17: Relational Programming, Part 3
- Live Coding — Session 18: Nominal Sets
- Live Coding — Session 19: Relational Programming, Part 4 (Soul of a New Machine)
- Live Coding — Session 20: Relational Programming, Part 5
- Live Coding — Session 21: Relational Programming, Part 6
- Live Coding — Session 22: Dancing Links
- Live Coding — Session 23: Dancing Links, Part 2
- Live Coding — Session 24: Dancing with Decision Diagrams
- Live Coding — Session 25: Guanxi Review
- Live Coding — Session 26