Practical Proofs: Proof Approximations for Practical Code
(zerobugsandprogramfaster.net)
October 2016 Archive
1861.
1862.
5th RISC-V Workshop Preliminary Agenda
(riscv.org)
1863.
1864.
Document Structure Analysis Algorithms: A Literature Survey [pdf]
(lhncbc.nlm.nih.gov)
1865.
Mysterious factory break-in raises suspicions about Chinese visit
(theguardian.com)
1866.
Noam Chomsky: The Alien perspective on humanity [video]
(youtube.com)
1867.
Show HN: CSS ICON animate, morph between any two icons
(cssicon.space)
1868.
Introducing Our Domain Dashboard
(netlify.com)
1869.
1870.
Social Learning in Nature Is Ubiquitous
(nautil.us)
1871.
1873.
Standing-only escalators can carry up to 30 per cent more people
(telegraph.co.uk)
1874.
What's Up with Those Voices in Your Head?
(nytimes.com)
1875.
10 Misconceptions about AMP
(paulbakaus.com)
1876.
1878.
Advertising Strategies Used by the World's Biggest Brands
(ideas.adlove.com)
1879.
How ‘strong anonymity’ will finally fix the privacy problem
(venturebeat.com)
1880.
1881.
Brexit: Theresa May to trigger article 50 by end of March 2017
(theguardian.com)
1882.
1883.
Scientific Background on the Nobel Prize in Physics 2016 [pdf]
(nobelprize.org)
1884.
1885.
Wirth's Law - Software gets slower more quickly than hardware gets faster
(en.wikipedia.org)
1886.
Chelsea Manning is missing
(boingboing.net)
1887.
Iceland election could propel radical Pirate party into power
(theguardian.com)
1888.
MySQL 8.0: The end of MyISAM
(percona.com)
1889.
Welcome to the Linux Kernel’s documentation
(kernel.org)
1890.
Health Law Tax Penalty? I’ll Take It, Millions Say
(mobile.nytimes.com)