Solo (Reprise) by Frank Ocean
Two IBM Bob agents translate COBOL to Python while being completely blind. A prosecutor hunts for inputs where they both disagree, and the real COBOL binary judges byte-for-byte. Found 4 silent bugs, then verified 5 programs on 5,044 inputs.
.png&w=256&q=75)
