BusyBeaver(5) is now known to be 47,176,870(scottaaronson.blog)30 points by beefman 2 years ago | 0 comments
The 8000th Busy Beaver number eludes ZF set theory (2016)(scottaaronson.blog)105 points by jkubicek 3 years ago | 67 comments
The zombie misconception of theoretical computer science(scottaaronson.blog)225 points by Tomte 2 years ago | 187 comments