Hacker News

1.		Design flaw behind MacBook Pro’s “stage light” effect (ifixit.org)
		42 points by vinhnx 27 minutes ago \| hide \| 2 comments
2.		Pharo 7.0 released (pharo.org)
		113 points by estebanlor 2 hours ago \| hide \| 68 comments
3.		CompCert – A formally verified C compiler (inria.fr)
		56 points by cjg 2 hours ago \| hide \| 15 comments
4.		For the Love of Pipes (jessfraz.com)
		244 points by ingve 5 hours ago \| hide \| 146 comments
5.		Big Cities No Longer Deliver for Low-Skill Workers (bloomberg.com)
		99 points by pseudolus 1 hour ago \| hide \| 88 comments
6.		“The Linux of social media” – How LiveJournal pioneered, then lost, blogging (arstechnica.com)
		74 points by Tomte 3 hours ago \| hide \| 39 comments
7.		Valve Breaks the Shackles of Proton (boilingsteam.com)
		189 points by ekianjo 3 hours ago \| hide \| 72 comments
8.		Cambridge University releases an app that improves concentration akin to Ritalin (abc.net.au)
		75 points by clouddrover 5 hours ago \| hide \| 33 comments
9.		Seneca Valley Virus has earned a reputation as a potent oncolytic agent (pnas.org)
		211 points by known 8 hours ago \| hide \| 53 comments
10.		Bauhaus at 100: its legacy in five key designs (theguardian.com)
		48 points by matt4077 4 hours ago \| hide \| 8 comments
11.		Structure of recent philosophy (2017) (univie.ac.at)
		51 points by lainon 4 hours ago \| hide \| 12 comments
12.		Remote code execution vulnerability in apt/apt-get (justi.cz)
		39 points by justicz 1 hour ago \| hide \| 5 comments
13.		Why Don't People Use Formal Methods? (hillelwayne.com)
		352 points by pplonski86 14 hours ago \| hide \| 191 comments
14.		Oceans Are Getting Louder, Posing Potential Threats to Marine Life (nytimes.com)
		43 points by pseudolus 4 hours ago \| hide \| 5 comments
15.		Odd History of the SD Logo [video] (youtube.com)
		32 points by CaliforniaKarl 3 hours ago \| hide \| 9 comments
16.		Why Is Uranus the Only Planet Without Interesting Features on It? (forbes.com)
		29 points by mweibel 3 hours ago \| hide \| 18 comments
17.		High-Assurance Separation Kernels: A Survey on Formal Methods (2017) (arxiv.org)
		4 points by doener 1 hour ago \| hide \| discuss
18.		Asynchronous Programming in Rust book (rust-lang.github.io)
		133 points by guifortaine 10 hours ago \| hide \| 17 comments
19.		Show HN: Convert article in current tab to readable form and upload it to IPFS (addons.mozilla.org)
		168 points by meehow 12 hours ago \| hide \| 41 comments
20.		Voynich Manuscripts Problematic Pipes (2018) (ciphermysteries.com)
		20 points by Petiver 4 hours ago \| hide \| 6 comments
21.		Flutter: Futures, Isolates, Event Loop (didierboelens.com)
		160 points by yannikyeo 13 hours ago \| hide \| 27 comments
22.		Starcity (YC S16) Is Hiring React Native Engineers (starcity.com)
		2 hours ago \| hide
23.		Hemingway’s World War I savior is anonymous no more (washingtonpost.com)
		79 points by longdefeat 11 hours ago \| hide \| 37 comments
24.		Show HN: Instantly create a secure URL to your Mac (emporter.app)
		30 points by youngdynasty 6 hours ago \| hide \| 36 comments
25.		Consul – Open Government and E-Participation Web Software (github.com)
		11 points by anthelios 3 hours ago \| hide \| 4 comments
26.		Paradise Lost is one of the most important poems (bbc.com)
		79 points by keiferski 9 hours ago \| hide \| 33 comments
27.		Interview with Japanese demoscener 0x4015 (2017) (6octaves.blogspot.com)
		116 points by codetrotter 12 hours ago \| hide \| 21 comments
28.		Analog computation, Part 1: What and why (analogictips.com)
		64 points by hk__2 10 hours ago \| hide \| 14 comments
29.		Things you should know about the Ottoman Janissaries (realmofhistory.com)
		58 points by codermobile 9 hours ago \| hide \| 34 comments
30.		What Makes a Great Logo – Four Critical Qualities That Nobody Talks About (medium.com)
		5 points by xTWOz 38 minutes ago \| hide \| discuss
		More