Gilad Bracha
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
- LIVE2 editions2021–2025
all 5 in the filters
on a stage with
- Edwin Bradyonce
- Felienne Hermansonce
- Martin Oderskyonce
all 4 in the filters
who talks about the same things
- Einar W. Høst30 talks
- Jessica Kerr44 talks
- Michael Sperber15 talks
- Tomas Petricek22 talks
- Andrea Magnorsky7 talks
- Adam McCullough6 talks
| title | conference | date |
|---|---|---|
| DocuApps: Ampleforth Documents as Applications | LIVE 2024 | 2025-03-28 |
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… | ||
| Apps and their Stores: An Alternative History | Rebase 2024 | 2024-10-20 |
An alternate history argues that apps can be local‑first, auto‑synced, and updated without restarts by treating programs as data and letting the platform… | ||
| KEYNOTE: Liveness, Literacy, Local First, Lambdas and Llamas | LambdaConf 2024 | 2024-05-04 |
Argues that liveness matters concretely: demos show a newp workspace with object presenters, live evaluation at liveness level three and editable runtime code… | ||
| Enhancing Liveness with Exemplars in the Newspeak IDE | LIVE 2021 | 2021-10-19 |
A web based Newspeak IDE integrates an evaluator so code under edit can be executed using tagged exemplar comments that contain textual expressions which… | ||
| A Ray of Hope: Array Programming for the 21st Century | SPLASH 2020 REBASE | 2020-11-16 |
A new language called ShapeRank implements a statically typed, purely functional array model that treats every value as a tensor, extends rank-polymorphism to… | ||
| Panel discussion: Types for All: From weak to strong, from static to dynamic | Code Mesh LDN 2020 | 2020-11-05 |
Panelists compare concrete systems and trade-offs: dependent types in Idris 2 (about 50,000 lines of Idris, with tests taking ~3x the build time) eliminate… | ||
| nothing matches | ||