ls ./tags/software-engineering
2026-07-30~9 min
Why Apache Avro Needs Two SchemasAvro payloads cannot be decoded without the writer schema, and that two-schema model is what makes rolling upgrades and schema evolution work.
2026-06-09~6 min
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.
2026-05-05~5 min
BugBash 2026, or how the correctness decade has startedA retrospective on BugBash 2026, and why software engineering looks brighter than ever.
2026-01-15~9 min
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.
2025-12-19~6 min
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.
revision history © 2026 Pierre Zemb · last rev. 2026-08-14
contact
githubtwitterblueskylinkedinmastodonrss