Hacker News

1.		Why Don't People Use Formal Methods? (hillelwayne.com)
		178 points by pplonski86 6 hours ago \| hide \| 91 comments
2.		Hemingway’s World War I savior is anonymous no more (washingtonpost.com)
		31 points by longdefeat 3 hours ago \| hide \| 3 comments
3.		Show HN: Convert article in current tab to readable form and upload it to IPFS (addons.mozilla.org)
		71 points by meehow 4 hours ago \| hide \| 15 comments
4.		Flutter: Futures, Isolates, Event Loop (didierboelens.com)
		80 points by yannikyeo 5 hours ago \| hide \| 9 comments
5.		Quinn 0.2.0: QUIC protocol implementation in Rust (github.com)
		156 points by whoisnnamdi 9 hours ago \| hide \| 35 comments
6.		$1.2T in risky corporate debt showing similar warning signs to subprime crisis (latimes.com)
		341 points by prostoalex 8 hours ago \| hide \| 197 comments
7.		Advanced Mac Substitute: API-level reimplementation of classic Mac OS (v68k.org)
		209 points by fanf2 11 hours ago \| hide \| 55 comments
8.		Analog computation, Part 1: What and why (analogictips.com)
		13 points by hk__2 2 hours ago \| hide \| 1 comment
9.		Interview with Japanese demoscener 0x4015 (2017) (6octaves.blogspot.com)
		46 points by codetrotter 4 hours ago \| hide \| 6 comments
10.		Paradise Lost is one of the most important poems (bbc.com)
		9 points by keiferski 1 hour ago \| hide \| discuss
11.		Genode OS: A tool kit for highly secure special-purpose operating systems (genode.org)
		174 points by doener 12 hours ago \| hide \| 22 comments
12.		Munchery Shuts Down (techcrunch.com)
		78 points by kposehn 6 hours ago \| hide \| 79 comments
13.		A command-line installer for Windows (scoop.sh)
		45 points by anuragsoni 7 hours ago \| hide \| 26 comments
14.		John Carmack on Inlined Code (2014) (number-none.com)
		82 points by tosh 9 hours ago \| hide \| 32 comments
15.		Is screen time good or bad? It’s not that simple (techcrunch.com)
		35 points by mrkuchbhi 7 hours ago \| hide \| 21 comments
16.		Can Gradient Boosting Learn Simple Arithmetic? (mariofilho.com)
		12 points by mariofilho 3 hours ago \| hide \| 1 comment
17.		Volume Rendering with WebGL (willusher.io)
		65 points by ArtWomb 9 hours ago \| hide \| 5 comments
18.		Rules of Play (wikipedia.org)
		21 points by gekkostate 4 hours ago \| hide \| 2 comments
19.		Binder – Turn a Git repo into a collection of interactive notebooks (mybinder.org)
		71 points by jonbaer 9 hours ago \| hide \| 23 comments
20.		Things you should know about the Ottoman Janissaries (realmofhistory.com)
		4 points by codermobile 1 hour ago \| hide \| discuss
21.		Show HN: FBP editor for music/vfx with [three, tone, tensorflow].js nodes (kousun12.github.io)
		31 points by kousun12 9 hours ago \| hide \| 13 comments
22.		Infinite Repeating Dashed Lines in SVG (maxmin.io)
		17 points by gk1 5 hours ago \| hide \| discuss
23.		NuCypher (YC S16) is hiring engineers to build privacy-preserving infrastructure
		2 hours ago \| hide
24.		On whether changes in bedroom CO2 levels affect sleep quality (gwern.net)
		442 points by pizza 16 hours ago \| hide \| 225 comments
25.		TiDB open sources its MySQL/MariaDB compatible data migration tool (github.com)
		50 points by ceohockey60 9 hours ago \| hide \| 16 comments
26.		Ask HN: What are must know concepts for back end development?
		291 points by chrisdsaldivar 14 hours ago \| hide \| 72 comments
27.		Objective-Smalltalk: now serving its own web site (objective.st)
		36 points by mpweiher 8 hours ago \| hide \| 15 comments
28.		What I learned from reading over 100 weight loss studies (intentapp.com)
		74 points by willsun 7 hours ago \| hide \| 89 comments
29.		Tesla increases Supercharging prices to the point that gas might be cheaper (techspot.com)
		52 points by harshulpandav 2 hours ago \| hide \| 66 comments
30.		If 5G Is So Important, Why Isn’t It Secure? (nytimes.com)
		225 points by kurthr 16 hours ago \| hide \| 157 comments
		More