#software-engineering

ls ./tags/software-engineering
2026-10-27~13 min
Notes about cell-based architecture

Cell-based architecture as the middle ground between one dense cluster and one cluster per customer, and why moving data is the core capability.

2026-07-30~9 min
Why Apache Avro Needs Two Schemas

Avro 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 Correctness

You 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 started

A 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 Engineering

LLMs 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 Tools

LLMs revived specifications. Model checkers like Fizzbee work for algorithms. But for APIs and business logic? The tooling doesn't exist yet.