Hacker News
- The Binary System Was Created Before Leibniz https://m.cacm.acm.org/blogs/blog-cacm/221749-the-binary-system-was-created-long-before-leibniz/fulltext 18 comments
- A Mathematical Proof Takes 200 Terabytes to State http://m.cacm.acm.org/news/202462-a-mathematical-proof-takes-200-terabytes-to-state/fulltext 3 comments
Lobsters
- Why Google Stores Billions of Lines of Code in a Single Repository http://m.cacm.acm.org/magazines/2016/7/204032-why-google-stores-billions-of-lines-of-code-in-a-single-repository/fulltext 14 comments practices , vcs
- Lessons Learned from 30 Years of MINIX http://m.cacm.acm.org/magazines/2016/3/198874-lessons-learned-from-30-years-of-minix/fulltext 2 comments historical , unix
- How Amazon Web Services Uses Formal Methods http://m.cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext 3 comments math , programming
- Can drivers stay "in the loop" in a partially automated car? https://m.cacm.acm.org/magazines/2016/5/201592-the-challenges-of-partially-automated-driving/fulltext 7 comments cogsci
- How much money did AT&T make through Unix licences? https://m.cacm.acm.org/magazines/2016/3/198874-lessons-learned-from-30-years-of-minix/fulltext 28 comments compsci
- Lessons Learned from 30 Years of MINIX http://m.cacm.acm.org/magazines/2016/3/198874-lessons-learned-from-30-years-of-minix/fulltext 47 comments programming