Hacker News new | past | comments | ask | show | jobs | submit
At least in some cases it is easier to verify bytecode/assembly than source code.