Blog
News, announcements, and updates from the Clef language project.
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 lives in plain sight due to 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
Where Native Goes, Mobile Follows
How Fidelity's day-one architectural choices produce native mobile artifacts without a runtime substrate
Don't Assume All Proofs Are Bulletproof
Cryptographic Proofs Depend on Their Threat Models, For Better and For Worse