
Dev
Why Every Programmer Needs a Blueprint: Reflections on Specification
5/20/2026

Vulnerabilities
How Quint Helped Uncover Over 10 SQLite Bugs While Hardening Turto
5/19/2026
Trends
Reassessing Lean's Place in the History of Formal Mathematics
4/28/2026

LLMs
The Spec-Code Divide: Why Specifications Are Not Implementations
4/16/2026

Dev
Swift's Concurrency Type System: The Mathematics Behind Modern Async Programming
4/15/2026
Dev
Tony Hoare: The Architect of Structured Thinking in Computer Science
3/9/2026

DevOps
A Universal Language for Package Dependencies: The Package Calculus
3/1/2026

Security
Monitoring Data-Dependent Temporal Patterns: A Comprehensive Survey of Formal Methods and Runtime Verification
2/19/2026

Python
Bridging Lean and Python: A Practical Exploration of Cross-Language Interoperability
2/5/2026

Infrastructure
How S3 is built - by Gergely Orosz - The Pragmatic Engineer
1/21/2026

Dev
Simulate - Quint Visualizer: Mapping State Transitions for Formal Verification
1/16/2026