Spec-Driven Development with OpenCode and OpenSpec
Spec-Driven Development with OpenCode and OpenSpec
Blog Posts
Recent posts
C++ - Catching Bugs Early: Validating C++26 Contracts with Static Analysis
Catching Bugs Early: Validating C++ Contracts with Static Analysis - Mike Fairhurst & Peter Martin - CppCon 2025
C++ - Forward Progress Guarantees
Forward Progress Guarantees in C++ - Olivier Giroux - CppNow 2023
C++ - Work Contracts in Action: Advancing High-Performance, Low-Latency Concurrency
Michael Maniscalco - Work Contracts in Action: Advancing High-Performance, Low-Latency Concurrency in C++ - CppCon 2025
C++ - Work Contracts: Rethinking Task-Based Concurrency for Low Latency
Michael Maniscalco - Work Contracts: Rethinking Task-Based Concurrency and Parallelism for Low Latency C++ - CppCon 2024