While AI benchmarks continue to surge—with SWE-Bench scores climbing and models demonstrating increasing proficiency on complex tasks—the practical experience of integrating Large Language Models (LLMs) into daily development workflows remains nuanced. Developers often encounter specific friction points: Type Safety Violations: Bypassing strict type systems (e.g., OCaml) by relying on primitive string manipulation instead of proper types. Legacy Integration Issues: Struggling to navigate or adhere to the constraints of large, pre-existing codebases.…

Specifications are documents that describe how software should behave and what functions it must perform. In other words, they are a separate form of implementation that exists independently of the actual program. By leveraging specifications, we can verify that our software is constructed correctly, which improves its safety and reliability. Yet maintaining specifications is hard and boring. Because specifications do not directly improve performance or features, most companies neglect them. Once a specification falls behind, it quickly degrades into legacy that nobody reads or maintains.…

The history of architecture can be divided into before and after the development of reinforced concrete. Steel rebar and concrete each have strength against different types of forces: tension and compression. When combined, both materials’ advantages can be fully utilized. Moreover, the two materials have nearly identical thermal expansion coefficients, preventing cracks from forming even with temperature changes. There are also attempts to develop an equivalent of reinforced concrete in the AI field: Neuro-Symbolic AI.…