LIVE 2024
who it's for
tooling engineers, developer experience engineers, language designers, frontend engineers, runtime engineers, creative coders, research engineers
topics
scoped propagators; reactive relational algebra; scrap script DSL; transcluded documents as apps; managed effects in structured editors; closure serialization for shipping code; live object model for Go; diff-based compiler testing; example-driven tests returning objects; programmable sketching and napkin interfaces
| title | author | length |
|---|---|---|
| Scoped Propagators | Orion Reed | 10m |
A lightweight embedding called Scoped Propagators treats computation as functions on edges rather than nodes, implementing single-input single-output… | ||
| ScrapSheets: Async Programs in a Reactive 2D Environment | Taylor Troesh | 07m |
A working browser prototype implements composable, user-editable rules collocated with sheet data, exposing a SQL-like DSL called scrap script and an Elm… | ||
| DocuApps: Ampleforth Documents as Applications | Gilad Bracha | 06m |
Claims that Ampleforth can build apps are validated by two concrete apps: Telescreen, a presentation system where the slides and the app itself are transcluded… | ||
| EYG a predictable, and useful, programming language | Peter Saxton | 07m |
EYG presents a small functional language plus a structured editor that enforces managed effects so program semantics do not depend on the runtime environment… | ||
| Manifold: Throwing Together Software Systems | Jeff Lindsay | 14m |
A runtime and object model that assembles components live and language‑independent in practice today for Go with a VS Code extension. Demo builds a hello world… | ||
| Live Programming a Live Programming Environment: An Experience Report | Elliot Evans, Philippa Markovics, Martin Kavalar, Andrea Amantini, Jack Rusher | 15m |
Builds a browser report-builder prototype from Clojure and Clerk that composes a data-transformation pipeline, shows intermediate results and generates plots… | ||
| Example-driven development: bridging tests and documentation | Oscar Nierstrasz, Andrei Chiş, Tudor Girba | 08m |
Claims that tiny change—making tests tests that return objects—turns TDD into live, explorable documentation. Shows a working Glamorous Toolkit substrate with… | ||
| Diff-based interactive compiler debugging and testing | Luyu Cheng, Lionel Parreaux | 09m |
A test runner for the MLscript compiler monitors saved files in VS Code, evaluates sequential test blocks and writes inferred types, runtime results and… | ||
| TAPE: From direct to programmatic and back | Ian J Clester | 15m |
TAPE is a text-based prototype that records direct edits inside computed output as preserving computed regions so edits survive reevaluation and remain linked… | ||
| Run, Build and Grow Small Systems Without Leaving Your Text Editor | Albert Zak, Karl M. Göschka | 13m |
A ClojureScript-based editor becomes a runtime: a query macro injects live values inline (use a leading bang to update on every keystroke), async promises and… | ||
| Arroost: Unblocking creation with friends | Lu Wilson | 18m |
Arroost is an experimental live‑coding music tool that targets emotional blockers, not just intellectual ones, by surfacing randomness, coarse feedback and… | ||
| Inkling: Sketching Dynamic Systems | Marcel Goethals, Alessandro Warth, Ivan Reese | 14m |
A tablet prototype called Inkling turns sketches into runnable dynamic models by letting users draw programmable napkin gizmos with handles, wires and simple… | ||
| Snappets: a VR animation system based on Projective Geometric Algebra | Hamish Todd | 15m |
Snappets is a VR animation tool that records hand motions as transform compositions and creates spreadsheet entries, using Projective Geometric Algebra so… | ||
| Code flow canvas - a generic visual programming system | Maikel van de Lisdonk | 08m |
A generic embeddable core visual programming system runs in the browser, exports to TypeScript, and separates an execution engine so different backends can run… | ||
| Subsequently: Telling stories with pictures makes programs | Marcel Goethals | 11m |
A live programming environment called Subsequently lets users build algorithms by directly manipulating concrete values and wiring control flow as a… | ||
| Definitions and Dimensions of Liveness | Joshua Horowitz | 37m |
Argues for five concrete axes of live feedback and shows real systems mapped to them: granularity of feedback (Brett Victor demo, Observable notebooks… | ||
| The Meaning of LIVE | Jonathan Edwards | 47m |
Argues the current cloud/stack is a viral, inhumane architecture and proposes data-first software: substrates that are a persistent code+data store with… | ||
| nothing matches | ||