Blog
News, announcements, and updates from the Clef language project.
Carrying Proofs into JavaScript
What survives when a verified computation suspends, crosses an isolate boundary, or returns through a durable workflow?
Pondering Fearless Parallelism
What if a compiler could explain and preserve the integrity of parallel work?
Flight-Qualified Bytecode
NASA's flight-compliant WASM, the eBPF shape we see in it, and our own careful line drawn through both
The Web on Native Terms
Two pathways to the web from a compiler that started at the reset vector
An Emergent File System Model
Taking inspiration for low-level soundness at the object level
Beyond the Bitter Lesson
Convergence and construction form a continuum, not a binary choice
Fixing on Falcon
Fixed-Point Signatures and the Shape of Provable Implementation
Another Moog Enters the Conversation
While Bob Moog informs Houston's foundation, we continue to take lessons from another engineer in the Moog family
Surfacing The Scheduler
An Understudy to Prospero until now, Ariel finally steps into the limelight
Opining Upon Reflection
How information preservation rewards design-time considerations and retires the case for runtime reflection
Building Bulletproof eBPF Programs
There's more to CPUs than apps, and we make the deeper reaches more reliable than ever
Getting to the Heart of Unikernels
A toolchain that makes kernels first-class citizens from server workloads to microcontrollers.