LLMLL A language where AI agents write the code and a compiler proves it meets its specification. https://machunter.github.io/llmll/feed.xml 2026-10-04T00:00:00+00:00 Burc Sahinoglu Post 1: The bugs that looked like correct code https://machunter.github.io/llmll/blog/post-1-the-bugs-that-looked-correct.html 2026-07-25T00:00:00+00:00 2026-09-24T00:00:00+00:00 Post 2: A compiler that refuses https://machunter.github.io/llmll/blog/post-2-a-compiler-that-refuses.html 2026-07-25T00:00:00+00:00 2026-10-04T00:00:00+00:00 Post 3: Composition, and the bound that wasn't there https://machunter.github.io/llmll/blog/post-3-composition-and-the-missing-bound.html 2026-07-25T00:00:00+00:00 2026-09-24T00:00:00+00:00 Post 4: Who writes the decomposition? https://machunter.github.io/llmll/blog/post-4-who-writes-the-decomposition.html 2026-07-25T00:00:00+00:00 2026-10-04T00:00:00+00:00 Post 5: A channel that stands where TLS fell https://machunter.github.io/llmll/blog/post-5-the-payoff.html 2026-07-25T00:00:00+00:00 2026-10-04T00:00:00+00:00