~/talk

A New Programming Model for Full-Stack Distributed Systems

Talkat LambdaConf 2025 · 2025-05-12..05-13· [microservices, frontend-architecture]
github:benh
slides:none on file

A new framework called reboot.dev implements a concrete programming model (TypeScript and Python) that treats data as durable, addressable objects described in protobuf IDL and exposes typed functions as readers, writers, transactions, workflows. It generates React hooks like useAccountBalances, enforces semantics (double-execute strict mode in dev), makes idempotent calls by default, and offers atomic transactions across partitioned instances; the implementation exists now and is downloadable so the demo claims can be tried.

AI-written summary · about

  1. 0:00Introduction
  2. 0:26Background and Motivation
  3. 2:27The Reboot Framework
  4. 6:06Reboot Data Model
  5. 8:55Reboot Functions
  6. 10:39Effect Management
  7. 13:34Enforcing Semantics
  8. 15:01Imperative and Functional
  9. 17:06First-Class Reactivity
  10. 21:22Handling Unreliable Networks
  11. 24:18Item Potency in Practice
  12. 25:59Data Inconsistencies
  13. 30:03Database Assimilation
  14. 32:28First-Class Transactions
  15. 35:14External Effect Challenges
  16. 38:15Reboot Workflows
  17. 46:15Summary and Future Vision
  18. 47:44Q&A Session
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.