Hacker News

1.		Finding bugs in Haskell code by proving it (joachim-breitner.de)
		56 points by based2 2 hours ago \| hide \| discuss
2.		A beginner’s guide to getting started in the cryptocurrency world (goodaudience.com)
		115 points by sherm8n 3 hours ago \| hide \| 37 comments
3.		Learn Anything White Paper (github.com)
		107 points by nikivi 3 hours ago \| hide \| 20 comments
4.		Show HN: Airmash – Multiplayer Missile Warfare (HTML5 Game) (airma.sh)
		4 points by fivesigma 36 minutes ago \| hide \| discuss
5.		Comcast is injecting 400+ lines of JavaScript into web pages (xfinity.com)
		490 points by CSDude 8 hours ago \| hide \| 217 comments
6.		A new class of experiential retailers is rising (businessoffashion.com)
		66 points by okket 10 hours ago \| hide \| 30 comments
7.		The destruction of Sappho's works (blogs.bl.uk)
		28 points by lermontov 6 hours ago \| hide \| 2 comments
8.		RISC-V Vector Extension overview and proposal [video] (youtube.com)
		26 points by nickik 2 hours ago \| hide \| 4 comments
9.		Creating a Christmas card on a vintage IBM 1401 mainframe (righto.com)
		7 points by sohkamyung 4 hours ago \| hide \| discuss
10.		Son: A minimal subset of JSON for machine-to-machine communication (github.com)
		99 points by ingve 5 hours ago \| hide \| 82 comments
11.		Out of the Cell (granta.com)
		6 points by fern12 3 hours ago \| hide \| discuss
12.		Why Google stores billions of lines of code in a single repository (2016) (acm.org)
		311 points by fagnerbrack 14 hours ago \| hide \| 206 comments
13.		Boom v2: Open-source out-of-order RISC-V core [video] (youtube.com)
		34 points by nickik 3 hours ago \| hide \| 2 comments
14.		We're building a dystopia just to make people click on ads [video] (youtube.com)
		72 points by DyslexicAtheist 5 hours ago \| hide \| 13 comments
15.		Apple's CVDisplayLink Doesn't Link to Your Display (thume.ca)
		103 points by jordwalke 14 hours ago \| hide \| 23 comments
16.		Languages for online betting: an investigation of Go, Erlang, and Elixir (erlang-solutions.com)
		60 points by iamd3vil 11 hours ago \| hide \| 25 comments
17.		Pods, Pots, and Potions: Putting Cacao to Paper in Early Modern Europe (publicdomainreview.org)
		9 points by benbreen 6 hours ago \| hide \| discuss
18.		Information Extraction with Neural Networks and Free Noisy Supervision (arxiv.org)
		49 points by breck 13 hours ago \| hide \| 2 comments
19.		If your iPhone is slow, try replacing the battery (reddit.com)
		314 points by EduardoBautista 14 hours ago \| hide \| 181 comments
20.		Show HN: Hacker News Ranked by Comment/Score Ratio (paradite.github.io)
		16 points by paradite 8 hours ago \| hide \| 4 comments
21.		Decentralized Web Primer (gitbook.com)
		346 points by xwvvvvwx 21 hours ago \| hide \| 79 comments
22.		Annual survey of book recommendations (bloomberg.com)
		20 points by matco11 5 hours ago \| hide \| 11 comments
23.		List Comprehension in Swift (duan.ca)
		48 points by DaNmarner 13 hours ago \| hide \| 19 comments
24.		The FCC says Net Neutrality cripples investment, but that's not true (wired.com)
		97 points by doener 5 hours ago \| hide \| 27 comments
25.		Encapsulation and Abstraction in 3D: Modules for Vase Sculptures in OpenSCAD (rluckom.github.io)
		8 points by zipfle 1 hour ago \| hide \| 1 comment
26.		The importance of Devuan (ungleich.ch)
		85 points by telmich 5 hours ago \| hide \| 55 comments
27.		Dinosaur tail discovered trapped in amber (2016) (cnn.com)
		192 points by curtis 19 hours ago \| hide \| 44 comments
28.		The importance of dumb mistakes in college (nytimes.com)
		96 points by whyenot 12 hours ago \| hide \| 81 comments
29.		Omega-3 fatty acid DHA has a role in diabetic retinopathy in mice (nature.com)
		34 points by nocoder 6 hours ago \| hide \| 12 comments
30.		Robot Operating System 2.0: Ardent Apalone Release (github.com)
		36 points by bmc7505 10 hours ago \| hide \| 7 comments
		More