Hacker News

1.		Why is writing mathematical proofs more fault-proof than writing code? (2011) (stackexchange.com)
		37 points by dgellow 2 hours ago \| hide \| 12 comments
2.		IOHIDeous OS X Local Kernel Vulnerability (siguza.github.io)
		369 points by tptacek 13 hours ago \| hide \| 92 comments
3.		Chemists provide theoretical interpretation to understand chemical reactions (phys.org)
		3 points by dnetesn 16 minutes ago \| hide \| discuss
4.		Tiny, weird online communities made a comeback in 2017 (theverge.com)
		105 points by prostoalex 8 hours ago \| hide \| 27 comments
5.		Testing Microservices the sane way (medium.com)
		32 points by alfiedotwtf 4 hours ago \| hide \| 1 comment
6.		Spotting Field Sabotage in Meetings (2011) (whatsthepont.com)
		37 points by signa11 5 hours ago \| hide \| 6 comments
7.		How I Learned to Stop Worrying and Love the Job Hunt (stephanbehnke.com)
		212 points by rbanffy 14 hours ago \| hide \| 120 comments
8.		A 12-year basic income experiment in Kenya (businessinsider.com)
		36 points by SQL2219 6 hours ago \| hide \| 12 comments
9.		Scan technique reveals secret writing in mummy cases (bbc.co.uk)
		23 points by bauc 7 hours ago \| hide \| 1 comment
10.		The man who can't face the internet (bbc.co.uk)
		12 points by dberhane 2 hours ago \| hide \| 9 comments
11.		Wav2letter: Automatic Speech Recognition Toolkit from Facebook AI Research (github.com)
		76 points by stablemap 14 hours ago \| hide \| 4 comments
12.		Urban Pulse: Capturing the Rhythm of Cities (github.com)
		13 points by lainon 5 hours ago \| hide \| discuss
13.		Under 'Kenyan Time,' You're Expected To Arrive, Oh, Whenever (npr.org)
		29 points by arunc 7 hours ago \| hide \| 25 comments
14.		The complexity of obtaining blood for people with the rarest blood types (2014) (theatlantic.com)
		20 points by daegloe 7 hours ago \| hide \| 1 comment
15.		RAM-less Buffers (emsea.github.io)
		86 points by emily-c 13 hours ago \| hide \| 27 comments
16.		Why people believe others' social lives are richer than their own (nih.gov)
		55 points by lainon 5 hours ago \| hide \| 15 comments
17.		Terminal: How the airport came to embody our national psychosis (slate.com)
		23 points by jseliger 7 hours ago \| hide \| 2 comments
18.		Origami-Style Cardboard Tents for Homeless in Brussels (nytimes.com)
		18 points by zonotope 7 hours ago \| hide \| discuss
19.		Pen Plotter Art and Algorithms (mattdesl.svbtle.com)
		10 points by ingve 2 hours ago \| hide \| discuss
20.		Take it from the insiders: Silicon Valley is eating your soul (theguardian.com)
		8 points by DrNuke 1 hour ago \| hide \| discuss
21.		U.S. oil production booms as new year begins (msn.com)
		16 points by kimsk112 7 hours ago \| hide \| 6 comments
22.		A pint of Guinness gets cheaper when it leaves Ireland (irishtimes.com)
		13 points by SQL2219 7 hours ago \| hide \| 6 comments
23.		When volcanic ash stopped a Jumbo at 37000 feet (2010) (bbc.co.uk)
		64 points by andrewshadura 11 hours ago \| hide \| 26 comments
24.		Three Years on Google App Engine (stephanbehnke.com)
		283 points by indigodaddy 17 hours ago \| hide \| 93 comments
25.		New Year, New Job: Flexport is hiring for almost every kind of role (flexport.com)
		2 hours ago \| hide
26.		What sugar does to your brain (theage.com.au)
		91 points by piotrkaminski 10 hours ago \| hide \| 17 comments
27.		The Story of the Gömböc (2009) (maths.org)
		10 points by mhb 5 hours ago \| hide \| 3 comments
28.		Ethereum Foundation Releases Alpha Casper Proof of Stake Testnet (notes.eth.sg)
		248 points by sethbannon 17 hours ago \| hide \| 160 comments
29.		Atari Video Music Teardown [video] (youtube.com)
		40 points by bane 14 hours ago \| hide \| 2 comments
30.		Show HN: Order pizza with random toppings (roulette.pizza)
		114 points by rscott 16 hours ago \| hide \| 91 comments
		More