The Incredible Proof Machine
(incredible.nomeata.de)
2015 Archive
9631.
9632.
9633.
Turning the Arduino Uno into an Apple II
(dpeckett.com)
9634.
How and why Tor changes its protocol
(blog.torproject.org)
9635.
Vellvm: Verified LLVM
(cis.upenn.edu)
9636.
How my son and I kind of became game programmers
(theguardian.com)
9637.
9638.
Foreword to “High-Output Management”, Second Edition
(bhorowitz.com)
9639.
Why Chromium has code owners
(meowni.ca)
9640.
The Year in Fungi
(newyorker.com)
9642.
How we served 20k IPython notebooks for Nature readers
(developer.rackspace.com)
9643.
MIT Announces New Institute for Data, Systems, and Society
(newsoffice.mit.edu)
9645.
Why a German billionaire says that pledges like Mark Zuckerberg’s are really bad
(washingtonpost.com)
9646.
9647.
Scheme vs. Python (2011)
(cs.berkeley.edu)
9648.
9649.
Porting the Unity Editor to Linux: Stuff I Wish We’d Done Then
(natoshabard.com)
9650.
9651.
Ad-blocking: a sign that web publishers don’t care about readers
(blogs.law.harvard.edu)
9652.
Which Programming Languages Are Functional?
(blog.jenkster.com)
9653.
The euro is a disaster even for the countries that do everything right
(washingtonpost.com)
9654.
Grepping logs is terrible
(asylum.madhouse-project.org)
9655.
9656.
Coming soon: chicken meat without slaughter
(israel21c.org)
9658.
How Many Mutual Funds Routinely Rout the Market? Zero
(nytimes.com)
9659.
9660.
I Turned Off JavaScript for a Week
(wired.com)