Hacker News

1.		Finding bugs in Haskell code by proving it (joachim-breitner.de)
		24 points by based2 1 hour ago \| hide \| discuss
2.		A beginner’s guide to getting started in the cryptocurrency world (goodaudience.com)
		64 points by sherm8n 2 hours ago \| hide \| 20 comments
3.		Learn Anything White Paper (github.com)
		74 points by nikivi 2 hours ago \| hide \| 17 comments
4.		RISC-V Vector Extension overview and proposal [video] (youtube.com)
		18 points by nickik 1 hour ago \| hide \| 1 comment
5.		Comcast is injecting 400+ lines of JavaScript into web pages (xfinity.com)
		393 points by CSDude 7 hours ago \| hide \| 170 comments
6.		Son: A minimal subset of JSON for machine-to-machine communication (github.com)
		85 points by ingve 4 hours ago \| hide \| 66 comments
7.		A new class of experiential retailers is rising (businessoffashion.com)
		60 points by okket 9 hours ago \| hide \| 23 comments
8.		The importance of Devuan (ungleich.ch)
		67 points by telmich 4 hours ago \| hide \| 37 comments
9.		The destruction of Sappho's works (blogs.bl.uk)
		14 points by lermontov 5 hours ago \| hide \| 1 comment
10.		Why Google stores billions of lines of code in a single repository (2016) (acm.org)
		302 points by fagnerbrack 13 hours ago \| hide \| 198 comments
11.		Boom v2: Open-source out-of-order RISC-V core [video] (youtube.com)
		29 points by nickik 2 hours ago \| hide \| 2 comments
12.		Apple's CVDisplayLink Doesn't Link to Your Display (thume.ca)
		98 points by jordwalke 13 hours ago \| hide \| 22 comments
13.		We're building a dystopia just to make people click on ads [video] (youtube.com)
		51 points by DyslexicAtheist 4 hours ago \| hide \| 7 comments
14.		Omega-3 fatty acid DHA has a role in diabetic retinopathy in mice (nature.com)
		30 points by nocoder 5 hours ago \| hide \| 9 comments
15.		Information Extraction with Neural Networks and Free Noisy Supervision (arxiv.org)
		46 points by breck 12 hours ago \| hide \| 2 comments
16.		If your iPhone is slow, try replacing the battery (reddit.com)
		280 points by EduardoBautista 13 hours ago \| hide \| 153 comments
17.		Decentralized Web Primer (gitbook.com)
		341 points by xwvvvvwx 20 hours ago \| hide \| 77 comments
18.		Languages for online betting: an investigation of Go, Erlang, and Elixir (erlang-solutions.com)
		48 points by iamd3vil 10 hours ago \| hide \| 20 comments
19.		Pods, Pots, and Potions: Putting Cacao to Paper in Early Modern Europe (publicdomainreview.org)
		7 points by benbreen 5 hours ago \| hide \| discuss
20.		The FCC says Net Neutrality cripples investment, but that's not true (wired.com)
		79 points by doener 4 hours ago \| hide \| 23 comments
21.		Annual survey of book recommendations (bloomberg.com)
		14 points by matco11 4 hours ago \| hide \| 9 comments
22.		List Comprehension in Swift (duan.ca)
		46 points by DaNmarner 12 hours ago \| hide \| 17 comments
23.		Show HN: Hacker News Ranked by Comment/Score Ratio (paradite.github.io)
		11 points by paradite 7 hours ago \| hide \| 3 comments
24.		Dinosaur tail discovered trapped in amber (2016) (cnn.com)
		190 points by curtis 18 hours ago \| hide \| 44 comments
25.		Robot Operating System 2.0: Ardent Apalone Release (github.com)
		32 points by bmc7505 9 hours ago \| hide \| 5 comments
26.		The importance of dumb mistakes in college (nytimes.com)
		90 points by whyenot 11 hours ago \| hide \| 70 comments
27.		Revenue and Customs Brief 9: Bitcoin and other cryptocurrencies (2014) (gov.uk)
		21 points by nunoferreira 4 hours ago \| hide \| 9 comments
28.		Ask HN: What software/service helps you be an effective remote developer?
		175 points by pearphp 11 hours ago \| hide \| 98 comments
29.		Making a Game Boy game in 2017 (gamasutra.com)
		439 points by doppp 1 day ago \| hide \| 57 comments
30.		Tencent investor Naspers has outgrown the South African market (bloomberg.com)
		33 points by mbgaxyz 8 hours ago \| hide \| 1 comment
		More