Engineering Reads — 2026-07-14#
The Big Idea#
Modern software engineering increasingly demands building robust architectural boundaries around inherently untrustworthy or chaotic inputs—whether constraining unpredictable LLMs with rigid Domain-Specific Languages, intentionally leveraging replay attacks for stateless authentication, or defending against a massive wave of web scraping originating from compromised residential appliances.
Deep Reads#
DSLs Enable Reliable Use of LLMs · Unmesh Joshi · MartinFowler.com While Large Language Models generate code incredibly fast, they require clear, strict boundaries to ensure the output is reliable and matches intended behavior. Abstractions and Domain-Specific Languages (DSLs) provide a strong harness that guides LLMs right from the start. Using the example of Tickloom—a domain model for illustrating distributed system behavior—Joshi demonstrates using an LLM as a partner to iteratively build and interface with a formal DSL. The core tradeoff is that teams must invest upfront in building this DSL to act as the primary source of truth, rather than relying directly on raw, stochastic LLM output. Software engineers integrating AI into complex or critical workflows should read this to see how formal modeling principles remain essential in the age of generative AI.