Hacker News

1.		Use Coq in the Browser: The JsCoq Theorem Prover Online IDE (jscoq.github.io)
		15 points by lelf 30 minutes ago \| hide \| 1 comment
2.		Libra White Paper (libra.org)
		169 points by hulahoof 4 hours ago \| hide \| 103 comments
3.		Show HN: My new book on mental models, Super Thinking (superthinking.com)
		174 points by yegg 2 hours ago \| hide \| 42 comments
4.		Facebook Plans Global Financial System Based on Cryptocurrency (nytimes.com)
		67 points by jbegley 3 hours ago \| hide \| 39 comments
5.		Mezzano, an operating system written in Common Lisp (github.com)
		136 points by pjmlp 6 hours ago \| hide \| 37 comments
6.		Things I learnt the hard way in thirty years of software development (juliobiason.net)
		153 points by pbowyer 1 hour ago \| hide \| 38 comments
7.		Lockheed has an opening for engineers with VAX experience for the F22 (lockheedmartinjobs.com)
		125 points by killjoywashere 8 hours ago \| hide \| 107 comments
8.		Two potentially life-friendly planets found orbiting a star 12 light-years away (nationalgeographic.com)
		3 points by TuringTest 13 minutes ago \| hide \| discuss
9.		Go Creeping In (tbray.org)
		192 points by mpweiher 3 hours ago \| hide \| 130 comments
10.		Dogs’ Eyes Have Changed Since Humans Befriended Them (theatlantic.com)
		151 points by gilad 9 hours ago \| hide \| 54 comments
11.		'They didn't look old enough': who filled a French art gallery with fakes? (theguardian.com)
		8 points by prismatic 1 hour ago \| hide \| discuss
12.		The Dawn of Robot Surveillance (aclu.org)
		24 points by oil25 3 hours ago \| hide \| 1 comment
13.		Adventure Games and Eigenvalues (2017) (evanmiller.org)
		82 points by rayvega 8 hours ago \| hide \| 7 comments
14.		The Haarp Project Explained Simply (rtl-sdr.com)
		30 points by wolframio 5 hours ago \| hide \| 2 comments
15.		Superblocks: Barcelona’s plan to take back streets from cars (vox.com)
		63 points by diggan 9 hours ago \| hide \| 15 comments
16.		Two centuries of rapid global population growth will come to an end (ourworldindata.org)
		48 points by sohkamyung 3 hours ago \| hide \| 50 comments
17.		Level Design and Shaping a Roguelike Experience (gridsagegames.com)
		129 points by tiniuclx 15 hours ago \| hide \| 19 comments
18.		Observations on Wikipedia Behavior (2008) (wikipedia.org)
		54 points by salutonmundo 9 hours ago \| hide \| 31 comments
19.		Mazda is purging touchscreens from its vehicles (motorauthority.com)
		2086 points by meteor333 1 day ago \| hide \| 868 comments
20.		An artificially intelligent, open-source bionic leg (qz.com)
		53 points by akeck 9 hours ago \| hide \| 10 comments
21.		Ireland to ban new petrol and diesel vehicles from 2030 (bbc.com)
		180 points by clouddrover 4 hours ago \| hide \| 171 comments
22.		Levittown (granolashotgun.com)
		128 points by burlesona 12 hours ago \| hide \| 83 comments
23.		The NSA has tried to backdoor Linux [kernel at least] three times (2017) (reddit.com)
		4 points by MrXOR 13 minutes ago \| hide \| 1 comment
24.		Head Wounds and Steel Helmets (historicalfirearms.info)
		23 points by smacktoward 7 hours ago \| hide \| 9 comments
25.		DPAPI security flaw in Windows 10 (passcape.com)
		140 points by iohn 7 hours ago \| hide \| 48 comments
26.		SACK Panic – Multiple TCP-based remote denial-of-service issues (redhat.com)
		373 points by cdingo 19 hours ago \| hide \| 123 comments
27.		Asian countries take a stand against the rich world’s plastic waste (latimes.com)
		386 points by ilamont 22 hours ago \| hide \| 204 comments
28.		Libra Core (github.com)
		79 points by dfischer 4 hours ago \| hide \| 37 comments
29.		Mathematician Disproves Hedetniemi’s Graph Theory Conjecture (quantamagazine.org)
		405 points by headalgorithm 21 hours ago \| hide \| 66 comments
30.		Spilld Email Server (github.com)
		24 points by luu 8 hours ago \| hide \| 4 comments
		More