Debugging a two-stage BJT amplifier optimizer's physics
A long session fixing a broken circuit-optimizer artifact, tracing bogus gain and stability numbers back to a missing Miller-effect term in the math.
Related
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.
Chasing a phantom padding bug through a C++ tokenizer
A long hunt for pad tokens appearing at the start of every chunk, ending in a switch to left-padding so the last token lands where embeddings want it.
Hunting memory bugs in a borrow-checker-without-types compiler
Claude audits an experimental Zig borrow-checker, tracing a double-free through nested destructuring and five other subtle provenance bugs with exact triggers.
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.