Hacker News

1.		Show HN: TabNine, an autocompleter for all languages (tabnine.com)
		209 points by jacob-jackson 2 hours ago \| hide \| 62 comments
2.		SoftBank’s debt obsession (techcrunch.com)
		60 points by devy 2 hours ago \| hide \| 26 comments
3.		A Lisp Way to Type Theory and Formal Proofs [pdf] (european-lisp-symposium.org)
		89 points by pmoriarty 4 hours ago \| hide \| 2 comments
4.		Designing an Engineering Performance Management System from Scratch (gitprime.com)
		143 points by thebent 4 hours ago \| hide \| 28 comments
5.		Three European Countries Block Tax on Tech Giants (bloomberg.com)
		132 points by adventured 6 hours ago \| hide \| 223 comments
6.		Neutrino tomography of Earth (nature.com)
		56 points by lainon 3 hours ago \| hide \| 11 comments
7.		MemSQL is now free to use for databases with up to 128GB of RAM usage (memsql.com)
		151 points by bsg75 5 hours ago \| hide \| 74 comments
8.		New Lower-Cost, AMD-Powered M5a and R5a EC2 Instances (amazon.com)
		157 points by jeffbarr 3 hours ago \| hide \| 54 comments
9.		AMD Announces 7nm Rome CPUs and MI60 GPUs (tomshardware.com)
		155 points by ccwilson10 2 hours ago \| hide \| 79 comments
10.		Impostor syndrome strikes men just as hard as women in technical interviews (interviewing.io)
		189 points by leeny 4 hours ago \| hide \| 125 comments
11.		Flexport is hiring senior software engineers (flexport.com)
		41 minutes ago \| hide
12.		Operation Luigi: How I hacked my friend without her noticing (2017) (pdf.zone)
		115 points by petethomas 6 hours ago \| hide \| 26 comments
13.		Programming Quotes (cat-v.org)
		157 points by chauhankiran 9 hours ago \| hide \| 53 comments
14.		VMware acquires Heptio, the startup founded by 2 co-founders of Kubernetes (techcrunch.com)
		201 points by kaboro 10 hours ago \| hide \| 49 comments
15.		Mystery Math Whiz and Novelist Advance Permutation Problem (quantamagazine.org)
		297 points by beefman 13 hours ago \| hide \| 71 comments
16.		Series A Fundraising Guide (marathon.vc)
		32 points by gtzi 3 hours ago \| hide \| 6 comments
17.		rr: lightweight recording and deterministic debugging (rr-project.org)
		243 points by pmoriarty 14 hours ago \| hide \| 48 comments
18.		The Mysteries of Animal Movement (nytimes.com)
		13 points by digital55 2 hours ago \| hide \| discuss
19.		2018 Mac Mini Review (marco.org)
		357 points by janvdberg 9 hours ago \| hide \| 502 comments
20.		Instant runoff voting is the system we need (chuckgreenman.posthaven.com)
		107 points by chuckgreenman 5 hours ago \| hide \| 168 comments
21.		At least it wasn't Oracle (chrisshort.net)
		249 points by koolherc 6 hours ago \| hide \| 102 comments
22.		CDC director warns that Congo's Ebola outbreak may not be containable (washingtonpost.com)
		50 points by loisaidasam 2 hours ago \| hide \| 4 comments
23.		The first domesticated foxes [video] (youtube.com)
		3 points by kposehn 1 hour ago \| hide \| discuss
24.		Personal Panopticons (reallifemag.com)
		36 points by kawera 6 hours ago \| hide \| 5 comments
25.		Microsoft built its new campus in Minecraft [video] (cnbc.com)
		49 points by myinnerbanjo 3 hours ago \| hide \| 19 comments
26.		Re-affirming Long-Term Support for Java in Amazon Linux (amazon.com)
		121 points by pritambarhate 12 hours ago \| hide \| 50 comments
27.		Fishing for Hackers: Analysis of a Linux Server Attack (2014) (sysdig.com)
		58 points by pmoriarty 7 hours ago \| hide \| 4 comments
28.		How to speed up the Rust compiler in 2018: NLL edition (blog.mozilla.org)
		178 points by markdog12 8 hours ago \| hide \| 60 comments
29.		How to explain the KGB’s amazing success identifying CIA agents? (2015) (salon.com)
		15 points by gregmac 1 hour ago \| hide \| 2 comments
30.		Deadlines, lies and videotape: The tale of a gRPC bug (hostedgraphite.com)
		36 points by fanf2 5 hours ago \| hide \| 7 comments
		More