## Progressive Summary **Executive Summary (Layer 3)**: **AI represents the next rung on the semantic expression ladder** (from binary to assembler to high-level languages), but formalism and architectural principles remain essential. **Key Insight (Layer 2)**: "**Even though the syntax allows informal statement, you cannot abandon formalism**: Gherkin triplets (Given/When/Then) form a formal description of the finite state machine representing application behavior" **Context (Layer 1)**: - Source: @unclebobmartin (Uncle Bob Martin), saved 2026-04-15 - Evolution: Binary → Assembler → Fortran → C → Java → Python → AI - Key formalisms: Gherkin (GWT triplets), module dependency graphs, testing and complexity constraints - Core principle: Behavioral and structural semantics still apply **Discoverability Score**: 9/10 --- ## Original Content AIs are just another step up the semantic expression ladder: binary → assembler → Fortran → C → Java → Python → AI. When you take that step, nothing else changes: you still express behavioral and structural semantics, and all the old design and architecture principles still apply. Even though the syntax allows informal statement, you cannot abandon formalism: Gherkin's Given/When/Then triplets each define a state-machine transition, and a full suite is a formal description of the application's finite state machine. Other formalisms still matter: module dependency graphs, testing constraints, complexity constraints. The step up the ladder provides enormous options; choose them wisely. ## Cross-Domain Connections - [[LLMs as Translation Layer]] — the same rung seen as a translation: AI translates intent down the ladder into lower-level code rather than replacing the levels - [[From Prompt Engineering to System Engineering — The AI Leverage Shift]] — the "architecture still applies" corollary: leverage moves up the ladder to specifying the system, not away from engineering it - [[NASA Systems Engineering Is the Model for LLM Coding]] — the concrete form of "you cannot abandon formalism": explicit specs are what keep the higher rung checkable ## Source - [[AIs are just another step up the semantic expression ladder]] — Uncle Bob Martin (@unclebobmartin), X, 2026-04-15 — https://x.com/unclebobmartin/status/2044408827747967293/?s=12&rw_tt_thread=True