Hacker News new | past | comments | ask | show | jobs | submit
In that context, it'd only be slop if Terry published those proofs and asked someone else to do that work.