Blog
News, announcements, and updates from the Clef language project.
Rust's Retrofits
Three RustConf speakers trace the limits of Rust's static checks & we take them as directional confirmation of Clef & Composer Compiler.
Retrieving Fidelity
A hybrid agentic knowledge graph that learns continuously, one commit at a time.
A Path Less Traveled
How Bidirectional Computation Can Lead to Higher Integrity Computation with a Quieter API
Pitch, slew and demand
An interactive pitch-smoothing experiment for HelloDISCO, and what a musical control reveals about signal tracking across analog and digital domains.
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