KEYNOTE: Liveness, Literacy, Local First, Lambdas and Llamas
summary
Argues that liveness matters concretely: demos show a newp workspace with object presenters, live evaluation at liveness level three and editable runtime code that takes effect immediately — what is called liveness level four. Shows Elm and Hazel examples (type and value holes, time‑travelish debugging) and a telescreen/ampleforth live‑document prototype where slides are runnable widgets. Claims live runtimes enable seamless over‑the‑air updates, local‑first resilience with CRDT reconciliation, and AI that produces verifiable specs rather than fragile code.
AI-written summary · about
chapters (17)
- 0:00Liveness introduction
- 2:10What is liveness
- 6:57Why liveness is good
- 7:18Liveness history
- 14:20Punch cards to feedback
- 18:51Dead workflow problems
- 19:12Literate programming
- 24:46Live documentation
- 26:30Live document composition
- 26:53Local first intro
- 29:44Local first reconciliation
- 31:09Functional programming & liveness
- 34:59Hazel advanced liveness
- 37:03Liveness, AI and lambdas
- 38:07Local first & AI agency
- 40:54Future of live systems
- 41:57Closing & Q&A
related talks
45mLIVE 2023 Closing
01h 15m10x Development: LLMs For the working Programmer
44mKeynote Speaker - Simon Willison
01h 00mFrom LLM Theory to Practical Agentic Implementations
44mLivebook: functional notebooks for AI and Web with Elixir
44mJoint Keynote Address: Accelerating Software Development: The LLM (R)evolution
23mDeterministic LLM UI Rendering in Phoenix LiveView
49mCoding Tomorrow