Hacker News

1.		F* – An ML-like functional programming language aimed at program verification (fstar-lang.org)
		83 points by philonoist 4 hours ago \| hide \| 19 comments
2.		Near Future of Programming Languages [pdf] (stephendiehl.com)
		180 points by myth_drannon 7 hours ago \| hide \| 81 comments
3.		California Wildfires Burned Irreplaceable Documents on Silicon Valley History (pressdemocrat.com)
		157 points by curtis 9 hours ago \| hide \| 59 comments
4.		The quest to evolve neural networks through evolutionary algorithms (oreilly.com)
		109 points by hardmaru 7 hours ago \| hide \| 45 comments
5.		Show HN: Vehicle Detection – using machine learning and computer vision (github.com)
		42 points by tsy 5 hours ago \| hide \| 4 comments
6.		Deepo: a Docker image containing almost all popular deep learning frameworks (github.com)
		50 points by ufoym 6 hours ago \| hide \| 10 comments
7.		Mali’s Desert Elephants, on Edge of Annihilation, Get a Fighting Chance (nytimes.com)
		15 points by nevatiaritika 4 hours ago \| hide \| discuss
8.		Transform SVG into React components (github.com)
		30 points by BafS 4 hours ago \| hide \| 11 comments
9.		Show HN: Simple Deep Learning Tutorials using Microsoft Cognitive Toolkit (github.com)
		56 points by irsina 8 hours ago \| hide \| 12 comments
10.		Best-Ever Algorithm Found for Huge Streams of Data (quantamagazine.org)
		27 points by signa11 5 hours ago \| hide \| 3 comments
11.		Who Will Rein in Facebook? Challengers Are Lining Up (wsj.com)
		159 points by eplanit 13 hours ago \| hide \| 131 comments
12.		The Line Between Aggressive and Crazy (rhsfinancial.com)
		82 points by apsec112 9 hours ago \| hide \| 10 comments
13.		Wines Are No Longer Free to Travel Across State Lines (nytimes.com)
		139 points by prostoalex 15 hours ago \| hide \| 82 comments
14.		Puerto Rico Cancels Whitefish Energy Contract to Rebuild Power Lines (nytimes.com)
		40 points by pitaa 4 hours ago \| hide \| 1 comment
15.		Fable: F# to JavaScript compiler (fable.io)
		123 points by galfarragem 15 hours ago \| hide \| 40 comments
16.		Inadequacy and Modesty (lesserwrong.com)
		124 points by JoshTriplett 6 hours ago \| hide \| 28 comments
17.		Advantages of Tcl over Lisp (2005) (tcl.tk)
		43 points by tonyjstark 10 hours ago \| hide \| 19 comments
18.		Facebook denies 'listening' to conversations (bbc.com)
		185 points by Jerry2 11 hours ago \| hide \| 301 comments
19.		4Clojure Easy Problems Updated on Clojurecademy (clojurecademy.com)
		60 points by ertucetin 11 hours ago \| hide \| 6 comments
20.		Torus Earth (2014) (aleph.se)
		45 points by mef 11 hours ago \| hide \| 8 comments
21.		Replacing exploit-ridden firmware with a Linux kernel [pdf] (schd.ws)
		292 points by dmmalam 16 hours ago \| hide \| 60 comments
22.		How North Korea Smuggled 87 US Scout Helicopters (nationalinterest.org)
		65 points by SEJeff 8 hours ago \| hide \| 1 comment
23.		Memory inside Linux containers (2014) (fabiokung.com)
		44 points by aburan28 11 hours ago \| hide \| 7 comments
24.		A Net Before the Web, Part 1: The Establishment Man and the Magnificent Rogue (filfre.net)
		20 points by doppp 8 hours ago \| hide \| discuss
25.		Fun facts about Rust's growing popularity (jonathanturner.org)
		163 points by JoshTriplett 6 hours ago \| hide \| 33 comments
26.		Show HN: Xmysql – One command to serve REST APIs for any MySql database (github.com)
		49 points by o1lab 12 hours ago \| hide \| 19 comments
27.		Outlawry, Supervillians, and Modern Law (2010) (lawandthemultiverse.com)
		32 points by Mz 13 hours ago \| hide \| 11 comments
28.		How to Be a C.E.O., From a Decade’s Worth of Them (nytimes.com)
		159 points by dsr12 11 hours ago \| hide \| 37 comments
29.		Kotlin Features I miss most in Java (simon-wirtz.de)
		115 points by curtis 12 hours ago \| hide \| 93 comments
30.		Nothing to Hide – a documentary about surveillance and you [video] (vimeo.com)
		168 points by Moru 16 hours ago \| hide \| 25 comments
		More