Hacker News

1.		The C standard formalized in Coq (robbertkrebbers.nl)
		35 points by janvdberg 1 hour ago \| 1 comment
2.		Double paid traffic (hetzner.de)
		181 points by revelation 4 hours ago \| 35 comments
3.		Learning (needlessly) hard technology (johndcook.com)
		9 points by peterkrieg 53 minutes ago \| 2 comments
4.		Time travel: An isochronic map of travel times from London circa 1914 (intelligentlifemagazine.com)
		81 points by Petiver 5 hours ago \| 20 comments
5.		How to Use LLVM API with Swift (lowlevelbits.org)
		11 points by AlexDenisov 1 hour ago \| discuss
6.		Why Americans dress so casually (washingtonpost.com)
		29 points by gotchange 3 hours ago \| 30 comments
7.		Raspberry Pi Zero – Conserve power and reduce draw to 30mA (midwesternmac.com)
		132 points by geerlingguy 10 hours ago \| 48 comments
8.		A Battery Revolution in Motion (cnrs.fr)
		88 points by vmarsy 4 hours ago \| 49 comments
9.		Coverage Is Not Strongly Correlated with Test Suite Effectiveness (2014) (linozemtseva.com)
		23 points by sawwit 3 hours ago \| 4 comments
10.		Why the Public Can't Read the Press (theatlantic.com)
		42 points by gabbo 5 hours ago \| 16 comments
11.		Bilingual people are twice as likely to recover from a stroke, study finds (sciencealert.com)
		40 points by hunglee2 5 hours ago \| 8 comments
12.		Notes on indexes and index-like structures (dbms2.com)
		6 points by espeed 1 hour ago \| discuss
13.		Retrospective on Binary Search and Comp{ress,ilat}ion (pvk.ca)
		8 points by luu 2 hours ago \| discuss
14.		The new enthusiasm for neuroplasticity (bbc.com)
		20 points by t23 4 hours ago \| discuss
15.		Show HN: Open-source Telegram bot for music sharing (github.com)
		33 points by szastupov 6 hours ago \| 15 comments
16.		Ask HN: What's your favorite online course?
		271 points by sidcool 11 hours ago \| 103 comments
17.		The Last Bus Startup Standing: Chariot (techcrunch.com)
		9 points by doppp 3 hours ago \| 4 comments
18.		Show HN: Interactive factorization diagrams (david-peter.de)
		15 points by sharkdp 3 hours ago \| 8 comments
19.		Cutting the Lights: Vulnerabilities in a Billboard Lighting System (randywestergren.com)
		12 points by rwestergren 2 hours ago \| discuss
20.		Visual question answering using CNN+RNN (github.com)
		98 points by abhshkdz 11 hours ago \| 7 comments
21.		Human beings are not computers (theenergyproject.com)
		15 points by zick 4 hours ago \| 3 comments
22.		Uber for banking? Coins.ph turns people into ATMs (techinasia.com)
		22 points by jaysoncena 4 hours ago \| 9 comments
23.		Multi-Bootable N-in-1 CD Howto (2002) (altervista.org)
		8 points by userbinator 1 hour ago \| discuss
24.		My father had one job, I've had six, my kids will have six at the same time (theguardian.com)
		56 points by walterbell 5 hours ago \| 32 comments
25.		Scientists argue that beer motivated our ancestors to start grain farming (nautil.us)
		44 points by JumpCrisscross 8 hours ago \| 11 comments
26.		Is SystemVerilog the COBOL of Electronic Design? (edacafe.com)
		5 points by BooneJS 2 hours ago \| 2 comments
27.		GNU Coreutils Gotchas (pixelbeat.org)
		12 points by signa11 5 hours ago \| discuss
28.		CodaLab: Accelerating reproducible computational research (codalab.org)
		6 points by hooande 3 hours ago \| discuss
29.		The Generic City (slate.com)
		11 points by mkrfox 5 hours ago \| 2 comments
30.		C++ Fun with(out) keyword explicit (arne-mertz.de)
		30 points by ingve 8 hours ago \| 13 comments
		More