Hacker News

1.		$1.2T in risky corporate debt showing similar warning signs to subprime crisis (latimes.com)
		304 points by prostoalex 6 hours ago \| hide \| 180 comments
2.		Why Don't People Use Formal Methods? (hillelwayne.com)
		113 points by pplonski86 4 hours ago \| hide \| 64 comments
3.		Show HN: Convert article in current tab to readable form and upload it to IPFS (addons.mozilla.org)
		46 points by meehow 2 hours ago \| hide \| 7 comments
4.		Flutter: Futures, Isolates, Event Loop (didierboelens.com)
		40 points by yannikyeo 3 hours ago \| hide \| 3 comments
5.		Quinn 0.2.0: QUIC protocol implementation in Rust (github.com)
		130 points by whoisnnamdi 7 hours ago \| hide \| 28 comments
6.		Interview with Japanese demoscener 0x4015 (2017) (6octaves.blogspot.com)
		27 points by codetrotter 2 hours ago \| hide \| 4 comments
7.		Advanced Mac Substitute: API-level reimplementation of classic Mac OS (v68k.org)
		188 points by fanf2 9 hours ago \| hide \| 47 comments
8.		NuCypher (YC S16) is hiring engineers to build privacy-preserving infrastructure
		18 minutes ago \| hide
9.		Hemingway’s World War I savior is anonymous no more (washingtonpost.com)
		7 points by longdefeat 1 hour ago \| hide \| discuss
10.		On whether changes in bedroom CO2 levels affect sleep quality (gwern.net)
		404 points by pizza 14 hours ago \| hide \| 207 comments
11.		Genode OS: A tool kit for highly secure special-purpose operating systems (genode.org)
		169 points by doener 10 hours ago \| hide \| 21 comments
12.		Tesla increases Supercharging prices to the point that gas might be cheaper (techspot.com)
		18 points by harshulpandav 36 minutes ago \| hide \| 3 comments
13.		Rules of Play (wikipedia.org)
		16 points by gekkostate 2 hours ago \| hide \| discuss
14.		A command-line installer for Windows (scoop.sh)
		33 points by anuragsoni 5 hours ago \| hide \| 16 comments
15.		If 5G Is So Important, Why Isn’t It Secure? (nytimes.com)
		218 points by kurthr 14 hours ago \| hide \| 154 comments
16.		Is screen time good or bad? It’s not that simple (techcrunch.com)
		28 points by mrkuchbhi 5 hours ago \| hide \| 16 comments
17.		Can Gradient Boosting Learn Simple Arithmetic? (mariofilho.com)
		4 points by mariofilho 1 hour ago \| hide \| discuss
18.		Munchery Shuts Down (techcrunch.com)
		61 points by kposehn 4 hours ago \| hide \| 53 comments
19.		Volume Rendering with WebGL (willusher.io)
		57 points by ArtWomb 7 hours ago \| hide \| 5 comments
20.		John Carmack on Inlined Code (2014) (number-none.com)
		55 points by tosh 7 hours ago \| hide \| 18 comments
21.		Show HN: FBP editor for music/vfx with [three, tone, tensorflow].js nodes (kousun12.github.io)
		29 points by kousun12 7 hours ago \| hide \| 11 comments
22.		Binder – Turn a Git repo into a collection of interactive notebooks (mybinder.org)
		60 points by jonbaer 7 hours ago \| hide \| 12 comments
23.		TiDB open sources its MySQL/MariaDB compatible data migration tool (github.com)
		47 points by ceohockey60 7 hours ago \| hide \| 14 comments
24.		Objective-Smalltalk: now serving its own web site (objective.st)
		27 points by mpweiher 6 hours ago \| hide \| 12 comments
25.		Ask HN: What are must know concepts for back end development?
		252 points by chrisdsaldivar 12 hours ago \| hide \| 66 comments
26.		What I learned from reading over 100 weight loss studies (intentapp.com)
		53 points by willsun 5 hours ago \| hide \| 60 comments
27.		Are We in the Middle of a Programming Bubble? (thinkfaster.co)
		336 points by swimorsinka 13 hours ago \| hide \| 344 comments
28.		Photo-Sketching: Inferring Contour Drawings from Images (arxiv.org)
		46 points by pplonski86 9 hours ago \| hide \| 21 comments
29.		Infinite Repeating Dashed Lines in SVG (maxmin.io)
		7 points by gk1 3 hours ago \| hide \| discuss
30.		How McSema Handles C++ Exceptions (trailofbits.com)
		57 points by matt_d 12 hours ago \| hide \| 7 comments
		More