~/talk

The WASI OS - Isolation with Communication, Wasm style

links:none on file
slides:none on file

WASI frames an OS personality around explicit isolation and composable communication, using declared imports/exports and resource handles to give modules only the capabilities they need. The talk walks through concrete APIs—WASI-http and WASI-sockets—shows unidirectional input/output streams for sockets and HTTP bodies, describes preview‑2 streams and preview‑3 plans to make streams first‑class types, and argues a default‑deny, contextual linking model yields lightweight, pipe‑like composition that already works in implementations.

AI-written summary · about

  1. 0:00Defining the operating system
  2. 1:49Unix philosophy and Wasm
  3. 3:37Loose coupling and interaction
  4. 5:16Pipes and process separation
  5. 6:40Evolution of computing models
  6. 9:32Default allow vs default deny
  7. 11:20Wasm component interface
  8. 12:56The trusted stack
  9. 14:56Virtualization and IPC
  10. 16:47Wasi OS in practice
  11. 18:49Streams and distributed logic
  12. 21:00Socket and HTTP streams
  13. 23:26Future of streams
  14. 24:35Conclusion and Q&A
~/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.