Comment Comment by neuropie The proof contains some strange bash commands, using & instead of &&: https://news.ycombinator.com/item?id=11610192 parent neuropie 10 years ago
