Notes

If writing tests is now cheap, what changes about how we design software in the first place? A proposal to treat verification as a design input, not a design output.