The bunkbed conjecture is false(igorpak.wordpress.com)181 points by surprisetalk 2 years ago | 62 comments
Rosser's Theorem via Turing Machines (2011)(scottaaronson.blog)59 points by dargscisyhp 2 years ago | 8 comments
A peculiarity of the GNU Coreutils version of 'test' and '['(utcc.utoronto.ca)71 points by ingve 2 years ago | 42 comments