Hacker News

1.		SEL4: Mathematically Verified Software Kernels (2014) [pdf] (sel4.systems)
		27 points by setra 1 hour ago \| hide \| 3 comments
2.		About Those Air Cushions in Amazon Packages Everywhere (theatlantic.com)
		42 points by lobster_johnson 1 hour ago \| hide \| 30 comments
3.		Russian Sports Officials Admit to Systematic Doping Effort (nytimes.com)
		28 points by wallflower 1 hour ago \| hide \| 2 comments
4.		Library-managed 'arXiv' spreads scientific advances rapidly and worldwide (cornell.edu)
		296 points by tosh 8 hours ago \| hide \| 89 comments
5.		Haskus, a Haskell Framework for Systems Programming (github.com)
		29 points by Vosporos 2 hours ago \| hide \| 1 comment
6.		WebRTC: the future of web games (getkey.eu)
		150 points by getkey 6 hours ago \| hide \| 88 comments
7.		Orbital Determination for Proxima Centauri (centauri-dreams.org)
		26 points by japaget 2 hours ago \| hide \| discuss
8.		Understanding Clojure's PersistentVector implementation (higher-order.net)
		61 points by tosh 4 hours ago \| hide \| 1 comment
9.		Maslow's Hierarchy of Site Reliability Engineering Needs (2015) (plus.google.com)
		26 points by pkaeding 2 hours ago \| hide \| 14 comments
10.		Finger Trees: A Simple General-Purpose Data Structure (2006) (city.ac.uk)
		197 points by tosh 11 hours ago \| hide \| 63 comments
11.		Bach's Holy Dread (newyorker.com)
		78 points by tintinnabula 6 hours ago \| hide \| 15 comments
12.		Quoting command line arguments the wrong way (2011) (microsoft.com)
		105 points by moopling 8 hours ago \| hide \| 119 comments
13.		Egypt blocks the encrypted messaging app Signal as it continues cyber crackdown (techcrunch.com)
		72 points by sidcool 8 hours ago \| hide \| 32 comments
14.		2016’s top programming trends (techcrunch.com)
		8 points by muzz 2 hours ago \| hide \| 1 comment
15.		Why Skee-Ball Doesn't Change (theatlantic.com)
		50 points by prismatic 6 hours ago \| hide \| 10 comments
16.		Blocking-resistant communication through domain fronting (2015) [pdf] (icir.org)
		14 points by hartem_ 2 hours ago \| hide \| 2 comments
17.		Open Letter to a Car-Addicted City (2014) (planetizen.com)
		74 points by jseliger 3 hours ago \| hide \| 65 comments
18.		Emacs Bytecode Internals (2014) (nullprogram.com)
		108 points by noch 12 hours ago \| hide \| 22 comments
19.		Top-down learning path: Machine Learning for Software Engineers (github.com)
		157 points by zuzoovn 8 hours ago \| hide \| 20 comments
20.		Early Alzheimer's Gene Is a Curse for Families, a Gift for Science (npr.org)
		37 points by happy-go-lucky 7 hours ago \| hide \| 13 comments
21.		A self-healing, transparent, highly stretchable material (sciencebulletin.org)
		43 points by manojr 8 hours ago \| hide \| 7 comments
22.		Writing Software is Hard (signalvnoise.com)
		57 points by brianprovost 3 hours ago \| hide \| 17 comments
23.		Indexing JSON logs with Parquet (vistarmedia.com)
		44 points by vistarchris 9 hours ago \| hide \| 12 comments
24.		Ask HN: What was your greatest accomplishment in 2016?
		85 points by kernelv 3 hours ago \| hide \| 136 comments
25.		Police seek Amazon Echo data in murder case (engadget.com)
		242 points by gscott 8 hours ago \| hide \| 185 comments
26.		The best board games of 2016 (arstechnica.com)
		170 points by kevlar1818 8 hours ago \| hide \| 56 comments
27.		Thank You and Goodbye, the CyanogenMod Team (plus.google.com)
		75 points by IvarTheHomeless 7 hours ago \| hide \| 37 comments
28.		China renews calls for tighter cyberspace security (reuters.com)
		43 points by lineroping 11 hours ago \| hide \| 7 comments
29.		Watership Down author Richard Adams dies aged 96 (bbc.co.uk)
		71 points by open-source-ux 5 hours ago \| hide \| 28 comments
30.		The Resurgence of C Programming (oreilly.com)
		149 points by ingve 8 hours ago \| hide \| 225 comments
		More