Dev
Functional Data Structures and Algorithms: A Proof Assistant Approach
2/13/2026

Vulnerabilities
The Broken Promises of 'High-Assurance' Cryptography
2/6/2026

Infrastructure
Beyond Binary Correctness: Measuring Distributed Transaction Performance with Formal Methods
1/29/2026

Security
Cedar Joins CNCF as Sandbox Project: A New Standard for Authorization in Cloud-Native Applications
1/27/2026

Trends
A Focused Effort on Formalizing Computer Science in Lean
1/22/2026

Dev
Building a Verified Forth-like in SPARK: A Journey into Formal Verification and Concatenative Programming
1/15/2026