Hacker News

1.		A meteorite hit the moon during yesterday's total lunar eclipse (newscientist.com)
		252 points by curtis 4 hours ago \| hide \| 47 comments
2.		Wine 4.0 released (winehq.org)
		134 points by KindOne 2 hours ago \| hide \| 56 comments
3.		DeepMind – StarCraft II Demonstration (blizzard.com)
		170 points by steve_musk 6 hours ago \| hide \| 113 comments
4.		Ontology Is Overrated: Categories, Links, and Tags (shirky.com)
		85 points by zdw 4 hours ago \| hide \| 43 comments
5.		Formally Verified Software in the Real World (2018) (acm.org)
		25 points by icc97 3 hours ago \| hide \| discuss
6.		Zero-shot transfer across 93 languages (fb.com)
		205 points by moneil971 8 hours ago \| hide \| 60 comments
7.		AMD Open Source Driver for Vulkan (github.com)
		388 points by ajr0 7 hours ago \| hide \| 110 comments
8.		Modifying MS Flight Simulator 4 (1989) to run on three immersive monitors (tinmith.net)
		31 points by anyfoo 2 hours ago \| hide \| 11 comments
9.		Google proposes changes to Chromium which would disable uBlock Origin (chromium.org)
		659 points by Apylon777 3 hours ago \| hide \| 384 comments
10.		Pharo 7.0 released (pharo.org)
		304 points by estebanlor 12 hours ago \| hide \| 176 comments
11.		Drones Flying Near Newark Liberty Airport Temporarily Halt Flights (nytimes.com)
		39 points by jbegley 2 hours ago \| hide \| 41 comments
12.		Companies Manipulate Glassdoor by Inflating Rankings and Pressuring Employees (wsj.com)
		589 points by treebro 9 hours ago \| hide \| 415 comments
13.		Road to OCIv2 Images: What's Wrong with Tar? (cyphar.com)
		46 points by dankohn1 4 hours ago \| hide \| 11 comments
14.		Google gives Wikimedia millions (wired.com)
		54 points by tgvaughan 2 hours ago \| hide \| 21 comments
15.		Did Australia Poke a Hole in Your Phone’s Security? (nytimes.com)
		146 points by boyter 4 hours ago \| hide \| 102 comments
16.		CompCert – A formally verified C compiler (inria.fr)
		158 points by cjg 12 hours ago \| hide \| 51 comments
17.		Turtle meat – the ultimate survival diet? (bbc.co.uk)
		7 points by gadders 1 hour ago \| hide \| 3 comments
18.		Backblaze Hard Drive Stats for 2018 (backblaze.com)
		341 points by sashk 9 hours ago \| hide \| 134 comments
19.		BackerKit (YC W13) is looking for devs who love to pair – join our dream team
		1 hour ago \| hide
20.		Surprising importance of spontaneous order and noise to how we think (nautil.us)
		71 points by dnetesn 8 hours ago \| hide \| 15 comments
21.		Diskee: Apollo's Most Important Crewmember (paleotronic.com)
		31 points by empressplay 6 hours ago \| hide \| 11 comments
22.		Yorimitsu and Shuten-Dôji: The drunken demon of Kyoto (bbc.com)
		14 points by pseudolus 3 hours ago \| hide \| 1 comment
23.		“The Linux of social media” – How LiveJournal pioneered, then lost, blogging (arstechnica.com)
		172 points by Tomte 13 hours ago \| hide \| 93 comments
24.		An Open Source UI Builder for React (github.com)
		88 points by gablg1 10 hours ago \| hide \| 16 comments
25.		Big Cities No Longer Deliver for Low-Skill Workers (bloomberg.com)
		295 points by pseudolus 11 hours ago \| hide \| 353 comments
26.		Remote code execution vulnerability in apt/apt-get (justi.cz)
		335 points by justicz 11 hours ago \| hide \| 142 comments
27.		Euro area is back on the brink of recession (economist.com)
		53 points by theBashShell 3 hours ago \| hide \| 45 comments
28.		Bauhaus at 100: its legacy in five key designs (theguardian.com)
		128 points by matt4077 14 hours ago \| hide \| 33 comments
29.		Accounting machines, the IBM 1403, and why printers standardized on 132 columns (righto.com)
		56 points by mmastrac 8 hours ago \| hide \| 21 comments
30.		Highly Available MySQL Clusters at WePay (wepay.com)
		45 points by riccomini 6 hours ago \| hide \| 6 comments
		More