2018 Archive
25381.
Synquid: Synthesize Programs from Refinement Types
(comcom.csail.mit.edu)
25382.
Better documentation – on the web and for LibreSSL [pdf]
(openbsd.org)
25383.
Jamal Khashoggi: What the Arab world needs most is free expression
(washingtonpost.com)
25384.
25385.
Science and the Rise of the Co-Authors (2015)
(blogs.plos.org)
25386.
L4Drop: XDP DDoS Mitigations
(blog.cloudflare.com)
25387.
25388.
The story of the Moscow Planetarium
(nautil.us)
25389.
25390.
The Importance of Taleb’s System: The Fourth Quadrant to the Skin in the Game
(glineq.blogspot.com)
25392.
25393.
Erlang/OTP team: I/O polling options in OTP 21
(blog.erlang.org)
25395.
Facebook Insiders Sold $3.9B of Shares Since Scandal
(bloomberg.com)
25396.
In horrifying detail, women accuse US customs officers of invasive body searches
(washingtonpost.com)
25397.
The History and Concept of Computability (1996) [pdf]
(people.cs.uchicago.edu)
25398.
The Woman Who Reinvented the Moon
(nautil.us)
25399.
How to Game the App Store
(davidbarnard.com)
25400.
25401.
25402.
Netflix Fires PR Chief After Use of N-Word in Meeting
(hollywoodreporter.com)
25403.
SourceForge's GitHub Importer
(sourceforge.net)
25404.
25406.
CEO of Bulletproof Coffee shares why he left Silicon Valley and moved to Canada
(businessinsider.com)
25407.
25409.
How much would you pay to keep using Google?
(economist.com)
25410.
Is Serverless Just a New Word for Cloud Based?
(percona.com)