Why most of us won't be inventing little languages(slesinsky.org)82 points by luu 3 years ago | 75 comments
A peculiarity of the GNU Coreutils version of 'test' and '['(utcc.utoronto.ca)71 points by ingve 2 years ago | 42 comments
Rosser's Theorem via Turing Machines (2011)(scottaaronson.blog)59 points by dargscisyhp 2 years ago | 8 comments
The Point of the Banach Tarski Theorem (2015)(solipsys.co.uk)80 points by ColinWright 2 years ago | 54 comments