Practical language design, one proof path at a time.
The blog publishes technical notes that connect Rasa's language philosophy to working examples, runtime behavior, and inspectable system artifacts.
Waiting Without Coloring the Language: Direct-Style IO Across Native, Wasm, and the Browser
What JVM virtual threads, Rust futures, Tokio, Wasmtime, WASI 0.3, and browser JSPI teach us about simple source code and rigorous concurrency.
July 16, 2026
Read article
Building Rasa / 3
Rasa Data Scripts: A Practical Checkpoint
A small Data Scripts checkpoint showing file IO, JSON, EDN, HTTP, process input, runtime-Wasm parity, and browser fetch through admitted capabilities.
July 2, 2026
Read article
Building Rasa / 2
Rasa in the Browser: One Verified Product
How Rasa packages its Wasm runtime, source inventory, compatibility requirements, capabilities, and sessions behind one browser API.
June 30, 2026
Read article
Building Rasa / 1
Rasa, Capabilities, and Controlled Execution
The first Rasa technical note: why Rasa keeps source semantics pure while making host effects explicit, inspectable, and portable across native and Wasm execution.
June 30, 2026
Read article