Hacker News

Hacker News

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