What is a proof, really?
(profkeithdevlin.org)
November 2014 Archive
1201.
1202.
The Science of Interstellar [video]
(interstellar.withgoogle.com)
1203.
'Being homeless is better than working for Amazon'
(theguardian.com)
1204.
Gravity: An orbital simulation game written in Elm
(github.com)
1205.
Block rewriting with Clang
(techtalk.intersec.com)
1207.
Fitbit Data Now Being Used In The Courtroom
(forbes.com)
1208.
AWS Config
(aws.amazon.com)
1209.
The Cost of Cryptography
(nautil.us)
1210.
Emacs: Autotetris Mode
(nullprogram.com)
1211.
1212.
Startup Fun
(booootstrap.com)
1213.
Alexander Grothendieck – A Country Known Only by Name
(inference-review.com)
1214.
U.S. Navy Deploys First Laser Weapon in Persian Gulf
(gcaptain.com)
1215.
Peter Sunde: 'In prison, you become brain-dead'
(theguardian.com)
1216.
1217.
1218.
Don't Fly Drones Here
(mapbox.com)
1219.
The Ladies Vanish
(thenewinquiry.com)
1220.
Event Notifications for Amazon S3
(aws.amazon.com)
1221.
Editors and iframes
(jasonchen.me)
1222.
The Endlessly Examined Life: A most chronic depression
(thebaffler.com)
1223.
Getting started with JetBrains Nitra
(timjones.tw)
1224.
The Racial Dot Map: One Dot per Person for the Entire U.S.
(demographics.coopercenter.org)
1225.
1226.
Chartist.js – Simple Responsive Charts
(code-stuff.com)
1227.
Folds and parallelism
(scs.stanford.edu)
1228.
Exploring large projects with Projectile
(tuhdo.github.io)
1229.
The 7th Underhanded C Contest is now Open
(underhanded-c.org)
1230.
Regular Expressions in OCaml
(rgrinberg.com)