Hacker News

1.		Writing in the Morning (gwern.net)
		132 points by jxub 4 hours ago \| hide \| 19 comments
2.		Thelio – System76 (system76.com)
		558 points by secure 15 hours ago \| hide \| 169 comments
3.		Why3 – A platform for deductive program verification (lri.fr)
		39 points by based2 3 hours ago \| hide \| 1 comment
4.		Facebook Is Full of Emotional-Support Groups (theatlantic.com)
		36 points by axiomdata316 5 hours ago \| hide \| 25 comments
5.		Creating a QR Code step by step (nayuki.io)
		23 points by nayuki 4 hours ago \| hide \| 1 comment
6.		A Common Derivation for Markov Chain Monte Carlo Algorithms [pdf] (arxiv.org)
		14 points by magoghm 4 hours ago \| hide \| discuss
7.		SCCS: The Posix Standard Source Code Control System (2017) (sourceforge.net)
		21 points by beefhash 4 hours ago \| hide \| 11 comments
8.		Filament (3D renderer from Google) for the Web (prideout.net)
		31 points by corysama 6 hours ago \| hide \| 9 comments
9.		Housing can’t both be a good investment and be affordable (cityobservatory.org)
		404 points by DoreenMichele 14 hours ago \| hide \| 276 comments
10.		What Does It Take to Keep a Classic Mainframe Alive? (ieee.org)
		91 points by amynordrum 15 hours ago \| hide \| 27 comments
11.		Intro to Congestion Control (squidarth.com)
		43 points by luu 10 hours ago \| hide \| 2 comments
12.		Streak Is Hiring Senior Back-End Engineers in SF (streak.com)
		1 hour ago \| hide
13.		Stop biodiversity loss or we could face our own extinction, warns UN (theguardian.com)
		106 points by nwrk 6 hours ago \| hide \| 44 comments
14.		Ask HN: Companies Using Racketlang / PLT Scheme
		13 points by ctas 1 hour ago \| hide \| 1 comment
15.		1 in 4 Statisticians Say They Were Asked to Commit Scientific Fraud (acsh.org)
		439 points by brahmwg 21 hours ago \| hide \| 171 comments
16.		Ace – an embeddable code editor (c9.io)
		47 points by ____Sash---701_ 11 hours ago \| hide \| 15 comments
17.		Soviet Children’s Books That Broke the Rules of Propaganda (atlasobscura.com)
		51 points by gotocake 13 hours ago \| hide \| 15 comments
18.		Colorizing and restoring old images with deep learning (github.com)
		575 points by varal7 22 hours ago \| hide \| 96 comments
19.		Mindstorms: Children, Computers, and Powerful Ideas (1980) [pdf] (worrydream.com)
		105 points by tosh 19 hours ago \| hide \| 18 comments
20.		Proposed to Target JDK 12: JEP 230: Microbenchmark Suite (java.net)
		6 points by javinpaul 1 hour ago \| hide \| 4 comments
21.		New antimatter gravity experiments begin at CERN (home.cern)
		236 points by lainon 16 hours ago \| hide \| 117 comments
22.		Why Big Tech pays poor Kenyans to programme self-driving cars (bbc.co.uk)
		49 points by zeristor 4 hours ago \| hide \| 46 comments
23.		Let's remove Quaternions from every 3D Engine (marctenbosch.com)
		379 points by Glench 19 hours ago \| hide \| 146 comments
24.		Bitcoin’s ‘First Felon’ Faces More Legal Trouble (nytimes.com)
		88 points by ilamont 19 hours ago \| hide \| 44 comments
25.		Goldman Sachs Ensnarled in Vast 1MDB Fraud Scandal (nytimes.com)
		332 points by SREinSF 18 hours ago \| hide \| 101 comments
26.		A history of sports fans resorting to performance-enhancing curses (laphamsquarterly.org)
		26 points by benbreen 11 hours ago \| hide \| 2 comments
27.		Five-year-old boy's 15-page CV grabs China online attention (bbc.com)
		15 points by kamaal 9 hours ago \| hide \| 3 comments
28.		Making trains run on time (economist.com)
		36 points by crunchiebones 15 hours ago \| hide \| 13 comments
29.		The red flags and magic numbers that investors look for in startup's metrics (andrewchen.co)
		338 points by prostoalex 21 hours ago \| hide \| 60 comments
30.		A Heretic's Guide to Deplatforming (easydns.com)
		210 points by StuntPope 18 hours ago \| hide \| 297 comments
		More