Hacker News

Hacker News

1.		Coding is not the new literacy (chris-granger.com)
		60 points by wglass 2 hours ago \| 28 comments
2.		CompCert: A formally verified optimizing C compiler (absint.com)
		33 points by adamnemecek 2 hours ago \| 16 comments
3.		An Explanation of Type Inference for ML/Haskell (bitbucket.org)
		40 points by bjz_ 3 hours ago \| 3 comments
4.		Ibash notebook (jeroenjanssens.com)
		28 points by grej 7 hours ago \| 1 comment
5.		Chip Makers Will Merge in Deal Worth $11.8B (nytimes.com)
		47 points by luu 6 hours ago \| 17 comments
6.		Notes on watching "Aliens" for the first time again, with a bunch of kids (rogerebert.com)
		341 points by dcre 18 hours ago \| 238 comments
7.		Venture Capital in the 1980s (reactionwheel.net)
		56 points by theyeti 8 hours ago \| 4 comments
8.		Mozilla to open first-world front in Firefox OS war (cnet.com)
		205 points by je_bailey 16 hours ago \| 129 comments
9.		SpaceX ABS/EUTELSAT-1 Launch Webcast [video] (spacex.com)
		42 points by chazlupei 7 hours ago \| 15 comments
10.		Predicting and Plotting Crime in Seattle (racketracer.wordpress.com)
		8 points by racketracer 2 hours ago \| 2 comments
11.		Bradley Horowitz Is Now Running Google+ (techcrunch.com)
		38 points by dredmorbius 7 hours ago \| 35 comments
12.		BIT Poised to Become Publicly Traded Bitcoin Fund (wsj.com)
		123 points by softdev12 12 hours ago \| 40 comments
13.		Forget the ‘To-Do’ List, You Need a ‘Stop Doing’ List (time.com)
		187 points by jeremynixon 17 hours ago \| 56 comments
14.		Yann LeCun on a MIT Tech Review article that is all hype (facebook.com)
		133 points by bmease 16 hours ago \| 20 comments
15.		Kino by Haruki Murakami (newyorker.com)
		168 points by pmcpinto 20 hours ago \| 38 comments
16.		Inconvenient Message Detection: A way to hide communication metadata (topchicksdigengineeringguys.blogspot.com)
		9 points by DickingAround 8 hours ago \| 1 comment
17.		Stephen King's “Everything You Need to Know About Writing Successfully” (aerogrammestudio.com)
		106 points by takinola 5 hours ago \| 17 comments
18.		LibreOffice Project's Check (viva64.com)
		70 points by mmastrac 12 hours ago \| 16 comments
19.		Stone Age Britons imported wheat (reuters.com)
		13 points by luu 5 hours ago \| 7 comments
20.		You can teach a computer to play games, but better that it teach itself (economist.com)
		5 points by edward 2 hours ago \| 2 comments
21.		Superoptimizing Compilers (superoptimization.org)
		90 points by dmmalam 16 hours ago \| 32 comments
22.		Roto Jam – casting physical objects with particle jamming (monograph.io)
		7 points by manto 6 hours ago \| discuss
23.		ASCIIFlow Infinity – ASCII diagrams with export (asciiflow.com)
		31 points by tonteldoos 3 hours ago \| 7 comments
24.		The Outsiders – Homelessness in San Francisco (modernluxury.com)
		6 points by brandonb 7 hours ago \| discuss
25.		Ask HN: Who is hiring? (March 2015)
		357 points by whoishiring 19 hours ago \| 446 comments
26.		Document Storage Gymnastics with Postgres (conery.io)
		93 points by mrmondo 23 hours ago \| 37 comments
27.		San Francisco's Drug Geography (lmart999.github.io)
		87 points by laurenmo 17 hours ago \| 19 comments
28.		Clojure and Overtone Driving Minecraft (josephwilk.net)
		63 points by michaelsbradley 17 hours ago \| 5 comments
29.		How We Learned to Kill (nytimes.com)
		131 points by mayukh 20 hours ago \| 105 comments
30.		‘Everything Is Design’ Showcases Paul Rand, Master of Brand Identity (nytimes.com)
		9 points by shawndumas 10 hours ago \| 1 comment
		More