https://thirdsummerofai.org/Recent content on Third Summer of AIHugoen-ushttps://thirdsummerofai.org/about/Mon, 01 Jan 0001 00:00:00 +0000https://thirdsummerofai.org/about/<p>I&rsquo;m an engineering leader with over 25 years building complex distributed systems, and I know from experience how much the quality of a system&rsquo;s specification determines whether the project succeeds.</p> <p>Large language models are remarkably good at producing code, specs, and reasoning — but they&rsquo;re unreliable in exactly the ways that matter most for complex distributed systems. Formal verification tools like TLA+, Z3, and Alloy are precise and trustworthy in exactly those ways — but they&rsquo;re expensive to use, hard to learn, and surprisingly easy to get subtly wrong even when you think you&rsquo;ve got it right.</p>