Hacker News

1.		Pharo 7.0 released (pharo.org)
		60 points by estebanlor 1 hour ago \| hide \| 24 comments
2.		For the Love of Pipes (jessfraz.com)
		202 points by ingve 4 hours ago \| hide \| 127 comments
3.		CompCert – A formally verified C compiler (inria.fr)
		25 points by cjg 1 hour ago \| hide \| 9 comments
4.		Big Cities No Longer Deliver for Low-Skill Workers (bloomberg.com)
		49 points by pseudolus 46 minutes ago \| hide \| 24 comments
5.		“The Linux of social media” – How LiveJournal pioneered, then lost, blogging (arstechnica.com)
		50 points by Tomte 2 hours ago \| hide \| 22 comments
6.		Seneca Valley Virus has earned a reputation as a potent oncolytic agent (pnas.org)
		196 points by known 6 hours ago \| hide \| 43 comments
7.		Valve Breaks the Shackles of Proton (boilingsteam.com)
		139 points by ekianjo 2 hours ago \| hide \| 52 comments
8.		Bauhaus at 100: its legacy in five key designs (theguardian.com)
		38 points by matt4077 3 hours ago \| hide \| 3 comments
9.		Structure of recent philosophy (2017) (univie.ac.at)
		47 points by lainon 3 hours ago \| hide \| 8 comments
10.		We need to be wary of narratives of economic catastrophe (aeon.co)
		31 points by jonbaer 2 hours ago \| hide \| 33 comments
11.		Cambridge University releases an app that improves concentration akin to Ritalin (abc.net.au)
		53 points by clouddrover 4 hours ago \| hide \| 22 comments
12.		Odd History of the SD Logo [video] (youtube.com)
		18 points by CaliforniaKarl 2 hours ago \| hide \| 3 comments
13.		Why Don't People Use Formal Methods? (hillelwayne.com)
		338 points by pplonski86 13 hours ago \| hide \| 184 comments
14.		Oceans Are Getting Louder, Posing Potential Threats to Marine Life (nytimes.com)
		31 points by pseudolus 3 hours ago \| hide \| 4 comments
15.		Asynchronous Programming in Rust book (rust-lang.github.io)
		106 points by guifortaine 9 hours ago \| hide \| 10 comments
16.		Starcity (YC S16) Is Hiring React Native Engineers (starcity.com)
		1 hour ago \| hide
17.		Show HN: Convert article in current tab to readable form and upload it to IPFS (addons.mozilla.org)
		160 points by meehow 11 hours ago \| hide \| 41 comments
18.		Flutter: Futures, Isolates, Event Loop (didierboelens.com)
		148 points by yannikyeo 12 hours ago \| hide \| 25 comments
19.		Why Is Uranus the Only Planet Without Interesting Features on It? (forbes.com)
		6 points by mweibel 2 hours ago \| hide \| 1 comment
20.		Voynich Manuscripts Problematic Pipes (2018) (ciphermysteries.com)
		15 points by Petiver 3 hours ago \| hide \| 5 comments
21.		Nova Hunters (2006) (skyandtelescope.com)
		3 points by wglb 1 hour ago \| hide \| discuss
22.		Hemingway’s World War I savior is anonymous no more (washingtonpost.com)
		72 points by longdefeat 10 hours ago \| hide \| 33 comments
23.		Paradise Lost is one of the most important poems (bbc.com)
		66 points by keiferski 8 hours ago \| hide \| 32 comments
24.		Show HN: Instantly create a secure URL to your Mac (emporter.app)
		20 points by youngdynasty 5 hours ago \| hide \| 21 comments
25.		Interview with Japanese demoscener 0x4015 (2017) (6octaves.blogspot.com)
		108 points by codetrotter 11 hours ago \| hide \| 19 comments
26.		Analog computation, Part 1: What and why (analogictips.com)
		55 points by hk__2 9 hours ago \| hide \| 9 comments
27.		GitHub after Microsoft: How it has changed (infoworld.com)
		14 points by rbanffy 1 hour ago \| hide \| 5 comments
28.		Things you should know about the Ottoman Janissaries (realmofhistory.com)
		53 points by codermobile 8 hours ago \| hide \| 31 comments
29.		A command-line installer for Windows (scoop.sh)
		100 points by anuragsoni 14 hours ago \| hide \| 76 comments
30.		Consul – Open Government and E-Participation Web Software (github.com)
		3 points by anthelios 2 hours ago \| hide \| discuss
		More