Hacker News

1.		Formal Methods in Practice: Using TLA+ at ESpark (medium.com)
		46 points by luu 1 hour ago \| hide \| 1 comment
2.		Getting Closer to Mass Production of Bones, Organs, and Implants (bloomberg.com)
		223 points by jgrahamc 5 hours ago \| hide \| 47 comments
3.		N.S.A Halts Collection of Americans’ Emails About Foreign Targets (nytimes.com)
		73 points by sashk 2 hours ago \| hide \| 41 comments
4.		OfflineIMAP: sync and backup tool for IMAP (github.com)
		52 points by TobyGiacometti 2 hours ago \| hide \| 32 comments
5.		A Trillion Edge Graph on a Single Commodity Node (nextplatform.com)
		46 points by jcbeard 3 hours ago \| hide \| 10 comments
6.		How to talk about yourself in a developer interview (stackoverflow.blog)
		339 points by NickLarsen 8 hours ago \| hide \| 154 comments
7.		On the Road with Aristotle: Zen and the Art of Motorcycle Maintenance (1974) (the-tls.co.uk)
		16 points by samclemens 1 hour ago \| hide \| discuss
8.		Comments on Consolidated Tape Association Plan/Consolidated Quotation Plan (sec.gov)
		11 points by walterbell 28 minutes ago \| hide \| 1 comment
9.		Wendelstein 7-X stellarator getting ready for the next phase of operation [pdf] (mpg.de)
		77 points by clon 5 hours ago \| hide \| 30 comments
10.		Limits of computation (wikipedia.org)
		44 points by diziet 3 hours ago \| hide \| 7 comments
11.		A dive into spatial search algorithms (medium.com)
		80 points by signa11 5 hours ago \| hide \| 12 comments
12.		The Arctic as it is known today is almost certainly gone (economist.com)
		5 points by qubitcoder 31 minutes ago \| hide \| discuss
13.		Just Say No (jacquesmattheij.com)
		433 points by janvdberg 6 hours ago \| hide \| 263 comments
14.		People Who Train the Robots to Do Their Own Jobs (nytimes.com)
		89 points by daschaefer 7 hours ago \| hide \| 61 comments
15.		Facebook and Google were conned out of $100m in phishing scheme (theguardian.com)
		120 points by mattmanser 8 hours ago \| hide \| 45 comments
16.		Baking with the Bread Whisperers of Paris (saveur.com)
		14 points by bootload 2 hours ago \| hide \| 4 comments
17.		VM Escape: QEMU Case Study (phrack.org)
		78 points by 0xFFC 8 hours ago \| hide \| 18 comments
18.		Stupid security things (troyhunt.com)
		422 points by troyhunt 9 hours ago \| hide \| 97 comments
19.		A Geometric Algebra Implementation Using Binary Tree (archives-ouvertes.fr)
		46 points by grondilu 4 hours ago \| hide \| 4 comments
20.		Invisible ripples in wireless spectrum tell Aura if someone’s in your house (cbc.ca)
		124 points by rhschan 5 hours ago \| hide \| 112 comments
21.		Europe’s Famed Bog Bodies Are Starting to Reveal Their Secrets (smithsonianmag.com)
		4 points by diodorus 1 hour ago \| hide \| discuss
22.		So you think you know what a number is (improbable.org)
		47 points by DamonHD 5 hours ago \| hide \| 22 comments
23.		Basic Type-Level Programming in Haskell (parsonsmatt.org)
		77 points by runeks 7 hours ago \| hide \| 13 comments
24.		Citus (YC S11) is hiring a technical writer (citusdata.com)
		2 hours ago \| hide
25.		A History of Starcraft AI Competitions (mun.ca)
		11 points by jonbaer 1 hour ago \| hide \| 2 comments
26.		Lab-grown ‘mini-brains’ do mimic human brain development (spectrumnews.org)
		61 points by chc2149 6 hours ago \| hide \| 30 comments
27.		Rethinking Design Tools in the Age of Machine Learning (medium.com)
		17 points by mayava 2 hours ago \| hide \| 1 comment
28.		How to Use Responsive Images (ycombinator.com)
		67 points by yoav 3 hours ago \| hide \| 25 comments
29.		Show HN: Tweeple Search – Find relevant audience and influencers on Twitter (tweeplesearch.com)
		52 points by shuss 6 hours ago \| hide \| 19 comments
30.		Why My Handwriting Sucks: A Typographical Analysis (medium.com)
		57 points by hellomaggiema 6 hours ago \| hide \| 22 comments
		More