Writing on software engineering, AI coding agents, and product craft.https://rossmiller.dev/en-ushttps://rossmiller.dev/writing/making-illegal-states-unrepresentable/https://rossmiller.dev/writing/making-illegal-states-unrepresentable/Type systems can shape AI-generated code instead of grading it after the fact, making whole classes of bugs impossible to write down.Thu, 25 Jun 2026 00:00:00 GMT