There’s a classical intuition in computer science that verifying a solution is easier than finding one. For NP-complete problems, this
Continue readingWhy Verification Is Harder Than Generation for AI Coding Agents
The dominant scaling narrative in large language models has been straightforward: more parameters, more data, more compute. But there’s a
Continue readingLoopCoder-v2: Why Two Loops Beat Four in Test-Time Compute Scaling
Editor’s note, September 2026: GLM-5.2 is no longer the newest model in the family — GLM-5.3 shipped in August 2026
Continue readingGLM-5.2: The New #1 Open-Weight LLM and Why IndexShare Matters
Microsoft’s Build 2026 conference delivered a move that had been anticipated for months but still landed with weight: the company
Editor’s note, September 2026: Written at launch in May 2026, when pricing hadn’t been published — that has since changed:
Continue readingQwen3.7-Max: Built for the Agent Era, Not the Chat Era