root@pierrezemb.fr:~/blog$ ./read --quorum tags/software-engineering
✓ quorum 2/3 · 4 documents · committed
ls ./tags/software-engineering
2026-06-09
Designing Fakes That Prove CorrectnessYou fake the handful of methods your code actually calls, prove the fake stays honest, and then make it fail the way production does.
#testing #simulation #distributed-systems #software-engineering #rust
2026-05-05
BugBash 2026, or how the correctness decade has startedA retrospective on BugBash 2026, and why software engineering looks brighter than ever.
#software-engineering #testing #simulation #correctness #llm
2026-01-15
What I Tell Colleagues About Using LLMs for EngineeringLLMs amplify expertise, they don't replace it. Here's what works: planning, context, feedback loops, and building systems that let AI discover bugs.
#llm #software-engineering #rust #testing
2025-12-19
Specs Are Back, But We're Missing the ToolsLLMs revived specifications. Model checkers like Fizzbee work for algorithms. But for APIs and business logic? The tooling doesn't exist yet.
#software-engineering #llm #specifications #formal-methods #model-checking #fizzbee
revision history © 2026 Pierre Zemb · last rev. 2026-06-09
contact
githubtwitterblueskyrss