Synthesizing Sorting Networks With Disjunctive ASP
Claude writes a sorting-network synthesizer using disjunctive answer-set programming, catches its own logic bug, and verifies results by brute force.
Related
Debugging a Clustering Algorithm From an Academic Paper
A user and Claude implement a clustering algorithm from an academic paper in C++, then hunt down a string of real compiler errors together, line by line.
A tangled family river-crossing puzzle, solved and checked
The user brings a family river-crossing puzzle with tricky safety rules, gets a 15-step solution animated in React, then catches a flawed alternate solution.
Auditing grok-build's Silent Repository Upload Code
Claude reverse-engineers xAI's coding agent after reports it exfiltrated repositories, tracing a server kill switch and vestigial upload code in the source.
Auditing the Physics of an AI-Built Power Amplifier Simulator
A detailed physics audit turns a React power-amplifier simulator into a self-consistent device model, with sharp back-and-forth catching real math errors.