Hacker News

1.		$1.2T in risky corporate debt showing similar warning signs to subprime crisis (latimes.com)
		269 points by prostoalex 5 hours ago \| hide \| 165 comments
2.		Why Don't People Use Formal Methods? (hillelwayne.com)
		89 points by pplonski86 3 hours ago \| hide \| 47 comments
3.		Show HN: Convert article in current tab to readable form and upload it to IPFS (addons.mozilla.org)
		24 points by meehow 1 hour ago \| hide \| 4 comments
4.		Quinn 0.2.0: QUIC protocol implementation in Rust (github.com)
		121 points by whoisnnamdi 6 hours ago \| hide \| 25 comments
5.		Flutter: Futures, Isolates, Event Loop (didierboelens.com)
		22 points by yannikyeo 2 hours ago \| hide \| discuss
6.		Advanced Mac Substitute: API-level reimplementation of classic Mac OS (v68k.org)
		177 points by fanf2 8 hours ago \| hide \| 43 comments
7.		Interview with Japanese demoscener 0x4015 (2017) (6octaves.blogspot.com)
		14 points by codetrotter 1 hour ago \| hide \| 2 comments
8.		Genode OS: A tool kit for highly secure special-purpose operating systems (genode.org)
		164 points by doener 9 hours ago \| hide \| 18 comments
9.		On whether changes in bedroom CO2 levels affect sleep quality (gwern.net)
		379 points by pizza 13 hours ago \| hide \| 202 comments
10.		Greenland’s Melting Ice Nears a ‘Tipping Point’ (nytimes.com)
		98 points by crispinb 7 hours ago \| hide \| 63 comments
11.		Volume Rendering with WebGL (willusher.io)
		53 points by ArtWomb 6 hours ago \| hide \| 5 comments
12.		If 5G Is So Important, Why Isn’t It Secure? (nytimes.com)
		214 points by kurthr 13 hours ago \| hide \| 153 comments
13.		Rules of Play (wikipedia.org)
		6 points by gekkostate 1 hour ago \| hide \| discuss
14.		Is screen time good or bad? It’s not that simple (techcrunch.com)
		21 points by mrkuchbhi 4 hours ago \| hide \| 12 comments
15.		Show HN: FBP editor for music/vfx with [three, tone, tensorflow].js nodes (kousun12.github.io)
		28 points by kousun12 6 hours ago \| hide \| 11 comments
16.		A command-line installer for Windows (scoop.sh)
		23 points by anuragsoni 4 hours ago \| hide \| 13 comments
17.		Binder – Turn a Git repo into a collection of interactive notebooks (mybinder.org)
		57 points by jonbaer 6 hours ago \| hide \| 11 comments
18.		John Carmack on Inlined Code (2014) (number-none.com)
		44 points by tosh 6 hours ago \| hide \| 13 comments
19.		TiDB open sources its MySQL/MariaDB compatible data migration tool (github.com)
		43 points by ceohockey60 6 hours ago \| hide \| 13 comments
20.		A Lifetime of Systems Thinking (thesystemsthinker.com)
		169 points by yarapavan 14 hours ago \| hide \| 40 comments
21.		Letter in Response to Jan. 17 Article in The New York Times (hms.harvard.edu)
		276 points by crunchiebones 14 hours ago \| hide \| 129 comments
22.		Objective-Smalltalk: now serving its own web site (objective.st)
		24 points by mpweiher 5 hours ago \| hide \| 11 comments
23.		Ask HN: What are must know concepts for back end development?
		231 points by chrisdsaldivar 11 hours ago \| hide \| 61 comments
24.		CNIL imposes a financial penalty of 50M euros against Google (cnil.fr)
		311 points by Aissen 14 hours ago \| hide \| 202 comments
25.		Photo-Sketching: Inferring Contour Drawings from Images (arxiv.org)
		44 points by pplonski86 8 hours ago \| hide \| 21 comments
26.		Make School (YC W12) Is Hiring a Head of Marketing and Admissions
		2 hours ago \| hide
27.		Are We in the Middle of a Programming Bubble? (thinkfaster.co)
		321 points by swimorsinka 12 hours ago \| hide \| 335 comments
28.		Night of a cascading failure (rachelbythebay.com)
		49 points by ingve 7 hours ago \| hide \| 21 comments
29.		How McSema Handles C++ Exceptions (trailofbits.com)
		56 points by matt_d 11 hours ago \| hide \| 7 comments
30.		KSL: Kinematics subroutine library (github.com)
		20 points by adamnemecek 6 hours ago \| hide \| 1 comment
		More