Hacker News

1.		$1.2T in risky corporate debt showing similar warning signs to subprime crisis (latimes.com)
		190 points by prostoalex 3 hours ago \| hide \| 98 comments
2.		Why Don't People Use Formal Methods? (hillelwayne.com)
		19 points by pplonski86 54 minutes ago \| hide \| discuss
3.		Quinn 0.2.0: QUIC protocol implementation in Rust (github.com)
		97 points by whoisnnamdi 3 hours ago \| hide \| 19 comments
4.		Advanced Mac Substitute: API-level reimplementation of classic Mac OS (v68k.org)
		148 points by fanf2 6 hours ago \| hide \| 33 comments
5.		What I learned from reading 107 weight loss studies (intentapp.com)
		33 points by willsun 2 hours ago \| hide \| 38 comments
6.		Genode OS: A tool kit for highly secure special-purpose operating systems (genode.org)
		150 points by doener 7 hours ago \| hide \| 16 comments
7.		Volume Rendering with WebGL (willusher.io)
		40 points by ArtWomb 3 hours ago \| hide \| 4 comments
8.		On whether changes in bedroom CO2 levels affect sleep quality (gwern.net)
		333 points by pizza 10 hours ago \| hide \| 178 comments
9.		Greenland’s Melting Ice Nears a ‘Tipping Point’ (nytimes.com)
		69 points by crispinb 5 hours ago \| hide \| 38 comments
10.		Make School (YC W12) Is Hiring a Head of Marketing and Admissions
		34 minutes ago \| hide
11.		Show HN: FBP editor for music/vfx with [three, tone, tensorflow].js nodes (kousun12.github.io)
		22 points by kousun12 3 hours ago \| hide \| 10 comments
12.		If 5G Is So Important, Why Isn’t It Secure? (nytimes.com)
		194 points by kurthr 10 hours ago \| hide \| 141 comments
13.		TiDB open sources its MySQL/MariaDB compatible data migration tool (github.com)
		28 points by ceohockey60 3 hours ago \| hide \| 8 comments
14.		Intro to hacking MicroSD cards (2013) (bunniestudios.com)
		321 points by bubblehack3r 14 hours ago \| hide \| 29 comments
15.		Binder – Turn a Git repo into a collection of interactive notebooks (mybinder.org)
		34 points by jonbaer 4 hours ago \| hide \| 9 comments
16.		Objective-Smalltalk: now serving its own web site (objective.st)
		15 points by mpweiher 2 hours ago \| hide \| 6 comments
17.		Munchery Closes Down, Effective Immediately
		28 points by kposehn 1 hour ago \| hide \| 12 comments
18.		Letter in Response to Jan. 17 Article in The New York Times (hms.harvard.edu)
		270 points by crunchiebones 11 hours ago \| hide \| 124 comments
19.		A Lifetime of Systems Thinking (thesystemsthinker.com)
		137 points by yarapavan 12 hours ago \| hide \| 37 comments
20.		A command-line installer for Windows (scoop.sh)
		8 points by anuragsoni 2 hours ago \| hide \| 4 comments
21.		Night of a cascading failure (rachelbythebay.com)
		41 points by ingve 5 hours ago \| hide \| 18 comments
22.		Photo-Sketching: Inferring Contour Drawings from Images (arxiv.org)
		42 points by pplonski86 5 hours ago \| hide \| 17 comments
23.		CNIL imposes a financial penalty of 50M euros against Google (cnil.fr)
		302 points by Aissen 12 hours ago \| hide \| 201 comments
24.		A Program Optimization for Automatic Database Result Caching (2017) [pdf] (chlipala.net)
		13 points by mpweiher 4 hours ago \| hide \| 3 comments
25.		History of Teaching Machines (teachingmachin.es)
		30 points by cardamomo 7 hours ago \| hide \| 7 comments
26.		How McSema Handles C++ Exceptions (trailofbits.com)
		51 points by matt_d 9 hours ago \| hide \| 4 comments
27.		Ask HN: What are must know concepts for back end development?
		163 points by chrisdsaldivar 9 hours ago \| hide \| 52 comments
28.		Are We in the Middle of a Programming Bubble? (thinkfaster.co)
		287 points by swimorsinka 10 hours ago \| hide \| 320 comments
29.		Turns out the science saying screen time is bad isn’t science (techcrunch.com)
		4 points by mrkuchbhi 1 hour ago \| hide \| discuss
30.		Schumpeter on Strategy (reactionwheel.net)
		79 points by imartin2k 13 hours ago \| hide \| 1 comment
		More