Blog
News, announcements, and updates from the Clef language project.
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
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 the framework plans to connect routine checks, specialist proofs, and evidence about the code that runs
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