Hacker News

1.		Formal Methods in Practice: Using TLA+ at ESpark (medium.com)
		82 points by luu 2 hours ago \| hide \| 11 comments
2.		Getting Closer to Mass Production of Bones, Organs, and Implants (bloomberg.com)
		230 points by jgrahamc 6 hours ago \| hide \| 50 comments
3.		N.S.A Halts Collection of Americans’ Emails About Foreign Targets (nytimes.com)
		99 points by sashk 3 hours ago \| hide \| 56 comments
4.		OfflineIMAP: sync and backup tool for IMAP (github.com)
		63 points by TobyGiacometti 3 hours ago \| hide \| 45 comments
5.		The Arctic as it is known today is almost certainly gone (economist.com)
		65 points by qubitcoder 1 hour ago \| hide \| 14 comments
6.		On the Road with Aristotle: Zen and the Art of Motorcycle Maintenance (1974) (the-tls.co.uk)
		31 points by samclemens 2 hours ago \| hide \| 11 comments
7.		Submittable (YC S12) Is Accepting Summer Technical Fellowship Applications (submittable.com)
		4 minutes ago \| hide
8.		A Trillion Edge Graph on a Single Commodity Node (nextplatform.com)
		58 points by jcbeard 4 hours ago \| hide \| 13 comments
9.		Can the Bay Area Kick the Sprawl Habit? (citylab.com)
		21 points by atsneed 2 hours ago \| hide \| 15 comments
10.		Wendelstein 7-X stellarator getting ready for the next phase of operation [pdf] (mpg.de)
		85 points by clon 6 hours ago \| hide \| 32 comments
11.		Limits of computation (wikipedia.org)
		55 points by diziet 4 hours ago \| hide \| 8 comments
12.		A History of Starcraft AI Competitions (mun.ca)
		24 points by jonbaer 2 hours ago \| hide \| 4 comments
13.		How The Boring Company tunnels will move cars faster [video] (techcrunch.com)
		24 points by sethbannon 1 hour ago \| hide \| 19 comments
14.		Comments on Consolidated Tape Association Plan/Consolidated Quotation Plan (sec.gov)
		12 points by walterbell 1 hour ago \| hide \| 2 comments
15.		A dive into spatial search algorithms (medium.com)
		88 points by signa11 6 hours ago \| hide \| 14 comments
16.		Just Say No (jacquesmattheij.com)
		457 points by janvdberg 7 hours ago \| hide \| 274 comments
17.		Rethinking Design Tools in the Age of Machine Learning (medium.com)
		34 points by mayava 3 hours ago \| hide \| 2 comments
18.		Baking with the Bread Whisperers of Paris (saveur.com)
		21 points by bootload 3 hours ago \| hide \| 13 comments
19.		Facebook and Google were conned out of $100m in phishing scheme (theguardian.com)
		128 points by mattmanser 9 hours ago \| hide \| 49 comments
20.		PostgreSQL response to Uber [pdf] (thebuild.com)
		8 points by Walkman 41 minutes ago \| hide \| 1 comment
21.		A Trick That Hides Censored Websites Inside Cat Videos (theatlantic.com)
		7 points by fraqed 1 hour ago \| hide \| 1 comment
22.		Stupid security things (troyhunt.com)
		447 points by troyhunt 10 hours ago \| hide \| 111 comments
23.		VM Escape: QEMU Case Study (phrack.org)
		84 points by 0xFFC 9 hours ago \| hide \| 24 comments
24.		Basic Type-Level Programming in Haskell (parsonsmatt.org)
		87 points by runeks 8 hours ago \| hide \| 15 comments
25.		Europe’s Famed Bog Bodies Are Starting to Reveal Their Secrets (smithsonianmag.com)
		10 points by diodorus 2 hours ago \| hide \| discuss
26.		So you think you know what a number is (improbable.org)
		53 points by DamonHD 6 hours ago \| hide \| 22 comments
27.		People Who Train Robots to Do Their Own Jobs (nytimes.com)
		93 points by daschaefer 8 hours ago \| hide \| 71 comments
28.		A Geometric Algebra Implementation Using Binary Tree (archives-ouvertes.fr)
		53 points by grondilu 5 hours ago \| hide \| 5 comments
29.		How to talk about yourself in a developer interview (stackoverflow.blog)
		364 points by NickLarsen 9 hours ago \| hide \| 166 comments
30.		Lab-grown ‘mini-brains’ do mimic human brain development (spectrumnews.org)
		63 points by chc2149 7 hours ago \| hide \| 33 comments
		More