Blog
News, announcements, and updates from the Clef language project.
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.
Weaving the Braid
True Concurrency weaves sequential control through selective parallelism.
A Lesson in Memory Safety
A FreeBSD kernel bug hidden in plain sight by numeric representation.
The Gift of Deferred Inference
How information preservation can be a power tool for optimization
Going Deep with Flow Loss Analysis
Measuring data-flow parallelism for spatial speedup and computation cost analysis
Between Rocq & A Hard Case
How automated proofs keep the framework's highest tier available while also keeping it off the everyday path
Counting the Cost of Coordination
Concurrency coordination is expensive at the CPU cache line. Our actor and arena model treats that cost as a structural property instead of leaving it to be hand-tuned away.
Fearless Concurrency Gets Real
How Clef delivers memory safety and liveness integrity for multi-threaded and multi-process applications