Hacker News

1.		Show HN: TabNine, an autocompleter for all languages (tabnine.com)
		141 points by jacob-jackson 1 hour ago \| hide \| 43 comments
2.		A Lisp Way to Type Theory and Formal Proofs [pdf] (european-lisp-symposium.org)
		70 points by pmoriarty 3 hours ago \| hide \| 2 comments
3.		Designing an Engineering Performance Management System from Scratch (gitprime.com)
		128 points by thebent 3 hours ago \| hide \| 21 comments
4.		SoftBank’s debt obsession (techcrunch.com)
		31 points by devy 1 hour ago \| hide \| 3 comments
5.		Three European Countries Block Tax on Tech Giants (bloomberg.com)
		126 points by adventured 5 hours ago \| hide \| 200 comments
6.		MemSQL is now free to use for databases with up to 128GB of RAM usage (memsql.com)
		140 points by bsg75 4 hours ago \| hide \| 64 comments
7.		New Lower-Cost, AMD-Powered M5a and R5a EC2 Instances (amazon.com)
		131 points by jeffbarr 2 hours ago \| hide \| 48 comments
8.		Neutrino tomography of Earth (nature.com)
		36 points by lainon 2 hours ago \| hide \| 8 comments
9.		Impostor syndrome strikes men just as hard as women in technical interviews (interviewing.io)
		165 points by leeny 3 hours ago \| hide \| 100 comments
10.		AMD Announces 7nm Rome CPUs and MI60 GPUs (tomshardware.com)
		113 points by ccwilson10 1 hour ago \| hide \| 67 comments
11.		Operation Luigi: How I hacked my friend without her noticing (2017) (pdf.zone)
		98 points by petethomas 5 hours ago \| hide \| 23 comments
12.		VMware acquires Heptio, the startup founded by 2 co-founders of Kubernetes (techcrunch.com)
		194 points by kaboro 9 hours ago \| hide \| 45 comments
13.		Programming Quotes (cat-v.org)
		145 points by chauhankiran 8 hours ago \| hide \| 46 comments
14.		Series A Fundraising Guide (marathon.vc)
		30 points by gtzi 2 hours ago \| hide \| 5 comments
15.		Mystery Math Whiz and Novelist Advance Permutation Problem (quantamagazine.org)
		287 points by beefman 12 hours ago \| hide \| 69 comments
16.		At least it wasn't Oracle (chrisshort.net)
		230 points by koolherc 5 hours ago \| hide \| 95 comments
17.		rr: lightweight recording and deterministic debugging (rr-project.org)
		235 points by pmoriarty 13 hours ago \| hide \| 45 comments
18.		2018 Mac Mini Review (marco.org)
		336 points by janvdberg 8 hours ago \| hide \| 476 comments
19.		Microsoft built its new campus in Minecraft [video] (cnbc.com)
		39 points by myinnerbanjo 2 hours ago \| hide \| 16 comments
20.		Instant runoff voting is the system we need (chuckgreenman.posthaven.com)
		88 points by chuckgreenman 4 hours ago \| hide \| 137 comments
21.		Fishing for Hackers: Analysis of a Linux Server Attack (2014) (sysdig.com)
		52 points by pmoriarty 6 hours ago \| hide \| 2 comments
22.		Scylla 3.0 announced – Secondary Indexes, Cassandra 3.0 compatibility and more (scylladb.com)
		23 points by mcms 1 hour ago \| hide \| 8 comments
23.		Deadlines, lies and videotape: The tale of a gRPC bug (hostedgraphite.com)
		35 points by fanf2 4 hours ago \| hide \| 7 comments
24.		Re-affirming Long-Term Support for Java in Amazon Linux (amazon.com)
		120 points by pritambarhate 11 hours ago \| hide \| 49 comments
25.		The Mysteries of Animal Movement (nytimes.com)
		4 points by digital55 1 hour ago \| hide \| discuss
26.		Personal Panopticons (reallifemag.com)
		30 points by kawera 5 hours ago \| hide \| 3 comments
27.		How to speed up the Rust compiler in 2018: NLL edition (blog.mozilla.org)
		167 points by markdog12 7 hours ago \| hide \| 57 comments
28.		CDC director warns that Congo's Ebola outbreak may not be containable (washingtonpost.com)
		18 points by loisaidasam 1 hour ago \| hide \| 1 comment
29.		Contract Simply (YC S17) is hiring full-stack developers in Austin
		3 hours ago \| hide
30.		Children's screen time has little effect on sleep, says study (bbc.co.uk)
		86 points by hanoz 7 hours ago \| hide \| 72 comments
		More