Tag
testing
- Jul 23, 2026 What Sanitizers and Miri Cannot Prove Instrumentation detects violations on the paths an execution took, and an interpreter sees only the code it can run, so both produce evidence of bugs rather than evidence of their absence. systems programming
- Feb 14, 2025 Consumer-Driven Contract Testing and the Cost of Many Consumers How consumer expectations become executable contracts, what verification proves about a provider, and why the pattern needs a broker and a deployment gate to be worth its cost. software architecture
- Aug 23, 2024 Checking Contrast Against What Renders, Not What Is Declared Computed styles, compositing, canvas readback, and the sampling decisions that decide whether a measured ratio corresponds to anything a reader sees. accessibility
- Jul 31, 2023 Finding Seams in Legacy Code That Was Never Built to Have Them How object, link, and preprocessor seams let behaviour be substituted without editing the code under test, and what each kind of indirection costs at runtime and in maintenance. software architecture