CONSTRUCTION — Engineering, Coding, and Computation
The pattern in built systems. 20 entries from software bugs through game theory.
I. Software Engineering
- The Bug — A Gap Between Intended and Actual Behavior
- Testing — Honesty Mechanisms for Code
- Type Systems — Propositions as Types, Programs as Proofs
- Version Control — An Honest, Immutable Record
- Technical Debt — Deferred Violations of Structure
- Unix Philosophy — Proportion and Humility as Design Principles
- Open Source — Structural Accountability Through Transparency
II. Theory of Computation
- Turing Completeness — The Structural Invariant of Computation
- Big-O Notation — Proportion Formalized
- Abstraction Layers — Complexity Hidden Within Scope
- Encryption and Hashing — Mathematical Non-Fabrication
- Distributed Systems and Consensus — Honesty Among Unreliable Participants
III. Physical Engineering
- Structural Engineering Safety Factors — Humility Built Into Steel
- Feedback Control Systems — Proportion as Engineering
- Redundancy in Aviation — All Five Properties at Operational Scale
- Materials Science — Structural Limits That Cannot Be Negotiated
IV. Systems and Strategy
- Nash Equilibrium — Alignment Between Individual and Collective
- Network Effects and Lock-In — The Economic Instrument Trap
- Graceful Degradation — Proportion in Failure
- Cathedral and the Bazaar — Two Models of Building
Back to 00-Index
V. Verification and Continuous Alignment
- Formal Verification — The Code IS the Proof
- Continuous Integration — Alignment Verified Continuously