B blog.trailofbits.com How we use /goal to find bugs in Patch the Planet 4 points hardhat 3 months ago 1 comments