Hacker News

1.		The C standard formalized in Coq (robbertkrebbers.nl)
		75 points by janvdberg 2 hours ago \| 17 comments
2.		Double paid traffic (hetzner.de)
		219 points by revelation 5 hours ago \| 42 comments
3.		Learning (needlessly) hard technology (johndcook.com)
		21 points by peterkrieg 1 hour ago \| 15 comments
4.		Permutations of a children's trainset visualized (mcconn.xyz)
		12 points by mcconnma 1 hour ago \| 1 comment
5.		Show HN: Mmm – manual memory management for golang (github.com)
		10 points by teh_cmc 1 hour ago \| discuss
6.		EasyPost Is Hiring Sales – Sell an API That Ships Millions (easypost.com)
		1 minute ago
7.		The Grim and Gory Reality of Surgery in Space (bbc.com)
		16 points by cmsefton 1 hour ago \| 3 comments
8.		Time travel: An isochronic map of travel times from London circa 1914 (intelligentlifemagazine.com)
		92 points by Petiver 6 hours ago \| 22 comments
9.		Notes on indexes and index-like structures (dbms2.com)
		19 points by espeed 2 hours ago \| 1 comment
10.		How to Use LLVM API with Swift (lowlevelbits.org)
		20 points by AlexDenisov 2 hours ago \| discuss
11.		Donate mozilla (mozilla.org)
		43 points by swcoders 3 hours ago \| 2 comments
12.		Bilingual people are twice as likely to recover from a stroke, study finds (sciencealert.com)
		59 points by hunglee2 6 hours ago \| 12 comments
13.		Raspberry Pi Zero – Conserve power and reduce draw to 30mA (midwesternmac.com)
		143 points by geerlingguy 11 hours ago \| 56 comments
14.		Retrospective on Binary Search and Comp{ress,ilat}ion (pvk.ca)
		14 points by luu 3 hours ago \| discuss
15.		Cutting the Lights: Vulnerabilities in a Billboard Lighting System (randywestergren.com)
		22 points by rwestergren 3 hours ago \| 2 comments
16.		The new enthusiasm for neuroplasticity (bbc.com)
		28 points by t23 5 hours ago \| discuss
17.		A Battery Revolution in Motion (cnrs.fr)
		97 points by vmarsy 5 hours ago \| 55 comments
18.		Coverage Is Not Strongly Correlated with Test Suite Effectiveness (2014) (linozemtseva.com)
		31 points by sawwit 4 hours ago \| 9 comments
19.		Why the Public Can't Read the Press (theatlantic.com)
		47 points by gabbo 6 hours ago \| 18 comments
20.		Ask HN: What's your favorite online course?
		297 points by sidcool 12 hours ago \| 123 comments
21.		Loneliness may warp our genes, and our immune systems (npr.org)
		3 points by gpvos 1 hour ago \| 1 comment
22.		GNU Coreutils Gotchas (pixelbeat.org)
		24 points by signa11 6 hours ago \| 8 comments
23.		Show HN: Open-source Telegram bot for music sharing (github.com)
		34 points by szastupov 7 hours ago \| 16 comments
24.		The Last Bus Startup Standing: Chariot (techcrunch.com)
		13 points by doppp 4 hours ago \| 5 comments
25.		Uber for banking? Coins.ph turns people into ATMs (techinasia.com)
		28 points by jaysoncena 5 hours ago \| 13 comments
26.		Visual question answering using CNN+RNN (github.com)
		99 points by abhshkdz 12 hours ago \| 7 comments
27.		Scientists argue that beer motivated our ancestors to start grain farming (nautil.us)
		50 points by JumpCrisscross 9 hours ago \| 12 comments
28.		Icarus, or the Future of Science (1924) (bactra.org)
		4 points by rvern 1 hour ago \| discuss
29.		My father had one job, I've had six, my kids will have six at the same time (theguardian.com)
		69 points by walterbell 6 hours ago \| 42 comments
30.		CodaLab: Accelerating reproducible computational research (codalab.org)
		9 points by hooande 4 hours ago \| discuss
		More