https://buildingsoftware.ai/ https://buildingsoftware.ai/intent/ https://buildingsoftware.ai/verification/ https://buildingsoftware.ai/the-machine/ https://buildingsoftware.ai/math/ https://buildingsoftware.ai/state/ https://buildingsoftware.ai/design/ https://buildingsoftware.ai/operations/ https://buildingsoftware.ai/security/ https://buildingsoftware.ai/directing-agents/ https://buildingsoftware.ai/intent/problem-framing/ https://buildingsoftware.ai/intent/requirements-and-acceptance-criteria/ https://buildingsoftware.ai/intent/domain-modeling-and-invariants/ https://buildingsoftware.ai/intent/design-docs-and-decisions/ https://buildingsoftware.ai/verification/tests-as-specifications/ https://buildingsoftware.ai/verification/robust-tests/ https://buildingsoftware.ai/verification/property-based-testing/ https://buildingsoftware.ai/verification/continuous-testing/ https://buildingsoftware.ai/the-machine/hardware-and-operating-systems/ https://buildingsoftware.ai/the-machine/languages-and-runtimes/ https://buildingsoftware.ai/the-machine/data-representation/ https://buildingsoftware.ai/the-machine/networks/ https://buildingsoftware.ai/math/logic-and-discrete-math/ https://buildingsoftware.ai/math/algorithms-and-complexity/ https://buildingsoftware.ai/math/probability-and-statistics/ https://buildingsoftware.ai/math/estimation/ https://buildingsoftware.ai/state/data-modeling/ https://buildingsoftware.ai/state/transactions-and-consistency/ https://buildingsoftware.ai/state/concurrency-and-races/ https://buildingsoftware.ai/state/distributed-systems/ https://buildingsoftware.ai/design/managing-complexity/ https://buildingsoftware.ai/design/components-and-architecture/ https://buildingsoftware.ai/design/interfaces-and-apis/ https://buildingsoftware.ai/design/error-handling/ https://buildingsoftware.ai/design/logic-and-data/ https://buildingsoftware.ai/design/frontend-and-backend/ https://buildingsoftware.ai/operations/debugging/ https://buildingsoftware.ai/operations/observability/ https://buildingsoftware.ai/operations/reliability-and-redundancy/ https://buildingsoftware.ai/operations/shipping-change-safely/ https://buildingsoftware.ai/operations/performance-and-capacity/ https://buildingsoftware.ai/security/security-boundaries/ https://buildingsoftware.ai/security/authentication-and-authorization/ https://buildingsoftware.ai/security/sensitive-data/ https://buildingsoftware.ai/security/data-in-transit-and-at-rest/ https://buildingsoftware.ai/security/untrusted-input/ https://buildingsoftware.ai/security/supply-chain/ https://buildingsoftware.ai/directing-agents/how-agents-work-and-fail/ https://buildingsoftware.ai/directing-agents/specifying-work-for-agents/ https://buildingsoftware.ai/directing-agents/reviewing-code-you-did-not-write/ https://buildingsoftware.ai/directing-agents/evals/ https://buildingsoftware.ai/directing-agents/orchestration-and-guardrails/ https://buildingsoftware.ai/directing-agents/accountability/