Verified Compilers for a Multi-Language World [pdf]
(ccs.neu.edu)
August 2015 Archive
3541.
3542.
Did a deathbed confession reveal the location of Nazi gold train?
(telegraph.co.uk)
3543.
The Coddling of the American Mind
(theatlantic.com)
3544.
QKarD Quantum Smart Card
(lanl.gov)
3545.
Natal: Bootstrap ClojureScript React Native Apps
(github.com)
3546.
Microscopic Analysis of the 1989 Fleer Ripken “Mystery” Card (2012)
(billripken.com)
3547.
Print-on-Demand Areopagitica
(digitalhumanities.org)
3548.
Myths about millennials
(economist.com)
3549.
3550.
Who actually reads the code?
(fsf.org)
3551.
America Is No Longer a Democracy
(huffingtonpost.com)
3552.
Postmortem for July 27 outage of the Manta service
(joyent.com)
3553.
GitHub Nukes Repository Over Use of the Word 'Retard'
(techdirt.com)
3554.
The Workhouse Postmortem
(theworkhouse.co)
3555.
3556.
HTTP benchmarking tool written in Crystal
(github.com)
3557.
San Francisco mayor and city officials accused of accepting bribes
(sfexaminer.com)
3558.
3559.
Inbound Marketing Is About Much More Than Getting Found Online
(inboundrocket.co)
3560.
EnterTheWall – We are monitoring the Internet from China
(beta.enterthewall.net)
3561.
Bayes vs Darwin-Wallace
(bactra.org)
3562.
Global and Local Network Effects
(hmaeda.com)
3563.
Mastering the Product Demo
(product.hubspot.com)
3564.
Construction of languages
(000024.org)
3565.
Docker Basics: A practical starters guide
(conetix.com.au)
3567.
P is for Puppies
(kakapoopoo.xyz)
3568.
Smart Contracts to Establish Efficient Business
(bytecoin.org)
3569.
3570.