Hacker News

1.		Why Don't People Use Formal Methods? (hillelwayne.com)
		214 points by pplonski86 7 hours ago \| hide \| 111 comments
2.		Show HN: Convert article in current tab to readable form and upload it to IPFS (addons.mozilla.org)
		92 points by meehow 5 hours ago \| hide \| 19 comments
3.		Hemingway’s World War I savior is anonymous no more (washingtonpost.com)
		39 points by longdefeat 4 hours ago \| hide \| 9 comments
4.		Flutter: Futures, Isolates, Event Loop (didierboelens.com)
		95 points by yannikyeo 6 hours ago \| hide \| 14 comments
5.		Researchers Have Identified a Virus That Attacks Human Cancer Cells (healthfoodis.com)
		8 points by known 58 minutes ago \| hide \| 3 comments
6.		Analog computation, Part 1: What and why (analogictips.com)
		24 points by hk__2 3 hours ago \| hide \| 1 comment
7.		Things you should know about the Ottoman Janissaries (realmofhistory.com)
		24 points by codermobile 2 hours ago \| hide \| 1 comment
8.		Paradise Lost is one of the most important poems (bbc.com)
		19 points by keiferski 2 hours ago \| hide \| 7 comments
9.		Quinn 0.2.0: QUIC protocol implementation in Rust (github.com)
		162 points by whoisnnamdi 10 hours ago \| hide \| 35 comments
10.		$1.2T in risky corporate debt showing similar warning signs to subprime crisis (latimes.com)
		357 points by prostoalex 9 hours ago \| hide \| 204 comments
11.		Advanced Mac Substitute: API-level reimplementation of classic Mac OS (v68k.org)
		220 points by fanf2 12 hours ago \| hide \| 58 comments
12.		Interview with Japanese demoscener 0x4015 (2017) (6octaves.blogspot.com)
		58 points by codetrotter 5 hours ago \| hide \| 7 comments
13.		Genode OS: A tool kit for highly secure special-purpose operating systems (genode.org)
		179 points by doener 13 hours ago \| hide \| 23 comments
14.		Naïve Math: The Mendocino Motor and Earnshaw's Theorem (habr.com)
		3 points by haqreu 1 hour ago \| hide \| discuss
15.		A command-line installer for Windows (scoop.sh)
		63 points by anuragsoni 8 hours ago \| hide \| 38 comments
16.		Asynchronous Programming in Rust book (rust-lang.github.io)
		10 points by guifortaine 2 hours ago \| hide \| discuss
17.		Munchery Shuts Down (techcrunch.com)
		85 points by kposehn 7 hours ago \| hide \| 90 comments
18.		John Carmack on Inlined Code (2014) (number-none.com)
		97 points by tosh 10 hours ago \| hide \| 40 comments
19.		Volume Rendering with WebGL (willusher.io)
		74 points by ArtWomb 10 hours ago \| hide \| 5 comments
20.		Can Gradient Boosting Learn Simple Arithmetic? (mariofilho.com)
		22 points by mariofilho 4 hours ago \| hide \| 4 comments
21.		Is screen time good or bad? It’s not that simple (techcrunch.com)
		39 points by mrkuchbhi 8 hours ago \| hide \| 23 comments
22.		Binder – Turn a Git repo into a collection of interactive notebooks (mybinder.org)
		79 points by jonbaer 10 hours ago \| hide \| 25 comments
23.		Show HN: FBP editor for music/vfx with [three, tone, tensorflow].js nodes (kousun12.github.io)
		33 points by kousun12 10 hours ago \| hide \| 13 comments
24.		On whether changes in bedroom CO2 levels affect sleep quality (gwern.net)
		456 points by pizza 17 hours ago \| hide \| 229 comments
25.		Rules of Play (wikipedia.org)
		24 points by gekkostate 5 hours ago \| hide \| 4 comments
26.		Infinite Repeating Dashed Lines in SVG (maxmin.io)
		25 points by gk1 6 hours ago \| hide \| 3 comments
27.		Objective-Smalltalk: now serving its own web site (objective.st)
		43 points by mpweiher 9 hours ago \| hide \| 18 comments
28.		TiDB open sources its MySQL/MariaDB compatible data migration tool (github.com)
		53 points by ceohockey60 10 hours ago \| hide \| 16 comments
29.		NuCypher (YC S16) is hiring engineers to build privacy-preserving infrastructure
		3 hours ago \| hide
30.		Ask HN: What are must know concepts for back end development?
		321 points by chrisdsaldivar 15 hours ago \| hide \| 78 comments
		More