Hacker News

1.		$1.2T in risky corporate debt showing similar warning signs to subprime crisis (latimes.com)
		239 points by prostoalex 4 hours ago \| hide \| 141 comments
2.		Why Don't People Use Formal Methods? (hillelwayne.com)
		66 points by pplonski86 2 hours ago \| hide \| 35 comments
3.		Show HN: Convert article in current tab to readable form and upload it to IPFS (addons.mozilla.org)
		10 points by meehow 43 minutes ago \| hide \| 2 comments
4.		Quinn 0.2.0: QUIC protocol implementation in Rust (github.com)
		111 points by whoisnnamdi 5 hours ago \| hide \| 24 comments
5.		Advanced Mac Substitute: API-level reimplementation of classic Mac OS (v68k.org)
		173 points by fanf2 7 hours ago \| hide \| 37 comments
6.		Flutter: Futures, Isolates, Event Loop (didierboelens.com)
		9 points by yannikyeo 1 hour ago \| hide \| discuss
7.		Genode OS: A tool kit for highly secure special-purpose operating systems (genode.org)
		159 points by doener 8 hours ago \| hide \| 18 comments
8.		On whether changes in bedroom CO2 levels affect sleep quality (gwern.net)
		359 points by pizza 12 hours ago \| hide \| 195 comments
9.		Greenland’s Melting Ice Nears a ‘Tipping Point’ (nytimes.com)
		88 points by crispinb 6 hours ago \| hide \| 51 comments
10.		Volume Rendering with WebGL (willusher.io)
		47 points by ArtWomb 5 hours ago \| hide \| 5 comments
11.		Show HN: FBP editor for music/vfx with [three, tone, tensorflow].js nodes (kousun12.github.io)
		25 points by kousun12 5 hours ago \| hide \| 10 comments
12.		Binder – Turn a Git repo into a collection of interactive notebooks (mybinder.org)
		49 points by jonbaer 5 hours ago \| hide \| 10 comments
13.		If 5G Is So Important, Why Isn’t It Secure? (nytimes.com)
		205 points by kurthr 12 hours ago \| hide \| 150 comments
14.		TiDB open sources its MySQL/MariaDB compatible data migration tool (github.com)
		35 points by ceohockey60 5 hours ago \| hide \| 12 comments
15.		John Carmack on Inlined Code (2014) (number-none.com)
		36 points by tosh 5 hours ago \| hide \| 9 comments
16.		Turns out the science saying screen time is bad isn’t science (techcrunch.com)
		11 points by mrkuchbhi 3 hours ago \| hide \| 6 comments
17.		A command-line installer for Windows (scoop.sh)
		17 points by anuragsoni 3 hours ago \| hide \| 7 comments
18.		A Lifetime of Systems Thinking (thesystemsthinker.com)
		154 points by yarapavan 13 hours ago \| hide \| 40 comments
19.		Objective-Smalltalk: now serving its own web site (objective.st)
		22 points by mpweiher 4 hours ago \| hide \| 9 comments
20.		Make School (YC W12) Is Hiring a Head of Marketing and Admissions
		2 hours ago \| hide
21.		Letter in Response to Jan. 17 Article in The New York Times (hms.harvard.edu)
		274 points by crunchiebones 13 hours ago \| hide \| 129 comments
22.		Munchery Closes Down, Effective Immediately
		49 points by kposehn 2 hours ago \| hide \| 26 comments
23.		Photo-Sketching: Inferring Contour Drawings from Images (arxiv.org)
		44 points by pplonski86 7 hours ago \| hide \| 21 comments
24.		CNIL imposes a financial penalty of 50M euros against Google (cnil.fr)
		307 points by Aissen 13 hours ago \| hide \| 202 comments
25.		Ask HN: What are must know concepts for back end development?
		206 points by chrisdsaldivar 10 hours ago \| hide \| 57 comments
26.		Are We in the Middle of a Programming Bubble? (thinkfaster.co)
		308 points by swimorsinka 12 hours ago \| hide \| 329 comments
27.		A Program Optimization for Automatic Database Result Caching (2017) [pdf] (chlipala.net)
		15 points by mpweiher 5 hours ago \| hide \| 3 comments
28.		Schumpeter on Strategy (reactionwheel.net)
		86 points by imartin2k 14 hours ago \| hide \| 1 comment
29.		How McSema Handles C++ Exceptions (trailofbits.com)
		53 points by matt_d 10 hours ago \| hide \| 6 comments
30.		KSL: Kinematics subroutine library (github.com)
		17 points by adamnemecek 5 hours ago \| hide \| 1 comment
		More