Blog
News, announcements, and updates from the Clef language project.
A Path Less Traveled
How Bidirectional Computation Can Lead to Higher Integrity Computation with a Quieter API
Pitch, touch and demand
An interactive pitch-smoothing experiment for HelloDISCO, and what a musical control reveals about demand-driven UI.
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
The Cold Half of Concurrency
Incremental's ML lineage, from adaptive functional programming to industrial stabilizers, and its place in actor-owned reactive graphs
Surfacing The Scheduler
An Understudy to Prospero until now, Ariel finally steps into the limelight