Hacker News

1.		A curated directory of resources and tools to help you build your Startup (startupstash.com)
		8 points by TheVinous 59 minutes ago \| hide \| 1 comment
2.		So you want to write a type checker (languagengine.co)
		44 points by ChickeNES 3 hours ago \| hide \| 22 comments
3.		F* – An ML-like functional programming language aimed at program verification (fstar-lang.org)
		132 points by philonoist 7 hours ago \| hide \| 40 comments
4.		Near Future of Programming Languages [pdf] (stephendiehl.com)
		243 points by myth_drannon 10 hours ago \| hide \| 128 comments
5.		California Wildfires Burned Irreplaceable Documents on Silicon Valley History (pressdemocrat.com)
		178 points by curtis 12 hours ago \| hide \| 68 comments
6.		The quest to evolve neural networks through evolutionary algorithms (oreilly.com)
		133 points by hardmaru 10 hours ago \| hide \| 53 comments
7.		Deepo: a Docker image containing almost all popular deep learning frameworks (github.com)
		84 points by ufoym 9 hours ago \| hide \| 19 comments
8.		Show HN: Vehicle Detection – using machine learning and computer vision (github.com)
		62 points by tsy 8 hours ago \| hide \| 5 comments
9.		Transform SVG into React components (github.com)
		46 points by BafS 7 hours ago \| hide \| 16 comments
10.		Mali’s Desert Elephants, on Edge of Annihilation, Get a Fighting Chance (nytimes.com)
		25 points by nevatiaritika 7 hours ago \| hide \| 1 comment
11.		Show HN: Simple Deep Learning Tutorials using Microsoft Cognitive Toolkit (github.com)
		70 points by irsina 11 hours ago \| hide \| 14 comments
12.		The Line Between Aggressive and Crazy (rhsfinancial.com)
		99 points by apsec112 12 hours ago \| hide \| 14 comments
13.		Who Will Rein in Facebook? Challengers Are Lining Up (wsj.com)
		168 points by eplanit 16 hours ago \| hide \| 143 comments
14.		Advantages of Tcl over Lisp (2005) (tcl.tk)
		56 points by tonyjstark 13 hours ago \| hide \| 23 comments
15.		Torus Earth (2014) (aleph.se)
		67 points by mef 14 hours ago \| hide \| 10 comments
16.		Facebook denies 'listening' to conversations (bbc.com)
		216 points by Jerry2 14 hours ago \| hide \| 347 comments
17.		Inadequacy and Modesty (lesserwrong.com)
		146 points by JoshTriplett 9 hours ago \| hide \| 41 comments
18.		Firefox takes a bite out of the canvas ‘super cookie’ (sophos.com)
		20 points by robin_reala 1 hour ago \| hide \| 1 comment
19.		4Clojure Easy Problems Updated on Clojurecademy (clojurecademy.com)
		64 points by ertucetin 14 hours ago \| hide \| 7 comments
20.		Replacing exploit-ridden firmware with a Linux kernel [pdf] (schd.ws)
		301 points by dmmalam 19 hours ago \| hide \| 66 comments
21.		Memory inside Linux containers (2014) (fabiokung.com)
		57 points by aburan28 14 hours ago \| hide \| 7 comments
22.		Show HN: Xmysql – One command to serve REST APIs for any MySql database (github.com)
		59 points by o1lab 15 hours ago \| hide \| 30 comments
23.		How North Korea Smuggled 87 US Scout Helicopters (nationalinterest.org)
		79 points by SEJeff 11 hours ago \| hide \| 1 comment
24.		A Net Before the Web, Part 1: The Establishment Man and the Magnificent Rogue (filfre.net)
		24 points by doppp 11 hours ago \| hide \| discuss
25.		Outlawry, Supervillians, and Modern Law (2010) (lawandthemultiverse.com)
		36 points by Mz 16 hours ago \| hide \| 13 comments
26.		Fun facts about Rust's growing popularity (jonathanturner.org)
		193 points by JoshTriplett 9 hours ago \| hide \| 58 comments
27.		Nothing to Hide – a documentary about surveillance and you [video] (vimeo.com)
		188 points by Moru 19 hours ago \| hide \| 30 comments
28.		How to Be a C.E.O., From a Decade’s Worth of Them (nytimes.com)
		175 points by dsr12 14 hours ago \| hide \| 50 comments
29.		Kotlin Features I miss most in Java (simon-wirtz.de)
		131 points by curtis 15 hours ago \| hide \| 113 comments
30.		Wines Are No Longer Free to Travel Across State Lines (nytimes.com)
		145 points by prostoalex 18 hours ago \| hide \| 87 comments
		More