Hacker News

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