Hacker News

1.		F* – An ML-like functional programming language aimed at program verification (fstar-lang.org)
		123 points by philonoist 6 hours ago \| hide \| 31 comments
2.		So you want to write a type checker (languagengine.co)
		30 points by ChickeNES 2 hours ago \| hide \| 15 comments
3.		Near Future of Programming Languages [pdf] (stephendiehl.com)
		219 points by myth_drannon 9 hours ago \| hide \| 109 comments
4.		California Wildfires Burned Irreplaceable Documents on Silicon Valley History (pressdemocrat.com)
		171 points by curtis 11 hours ago \| hide \| 65 comments
5.		The quest to evolve neural networks through evolutionary algorithms (oreilly.com)
		125 points by hardmaru 9 hours ago \| hide \| 52 comments
6.		Deepo: a Docker image containing almost all popular deep learning frameworks (github.com)
		76 points by ufoym 8 hours ago \| hide \| 15 comments
7.		Transform SVG into React components (github.com)
		45 points by BafS 6 hours ago \| hide \| 14 comments
8.		Show HN: Vehicle Detection – using machine learning and computer vision (github.com)
		56 points by tsy 7 hours ago \| hide \| 5 comments
9.		Mali’s Desert Elephants, on Edge of Annihilation, Get a Fighting Chance (nytimes.com)
		23 points by nevatiaritika 6 hours ago \| hide \| discuss
10.		Show HN: Simple Deep Learning Tutorials using Microsoft Cognitive Toolkit (github.com)
		66 points by irsina 10 hours ago \| hide \| 12 comments
11.		The Line Between Aggressive and Crazy (rhsfinancial.com)
		92 points by apsec112 11 hours ago \| hide \| 12 comments
12.		Who Will Rein in Facebook? Challengers Are Lining Up (wsj.com)
		166 points by eplanit 15 hours ago \| hide \| 137 comments
13.		Advantages of Tcl over Lisp (2005) (tcl.tk)
		52 points by tonyjstark 12 hours ago \| hide \| 22 comments
14.		Inadequacy and Modesty (lesserwrong.com)
		144 points by JoshTriplett 8 hours ago \| hide \| 34 comments
15.		Facebook denies 'listening' to conversations (bbc.com)
		203 points by Jerry2 13 hours ago \| hide \| 327 comments
16.		Torus Earth (2014) (aleph.se)
		58 points by mef 13 hours ago \| hide \| 9 comments
17.		4Clojure Easy Problems Updated on Clojurecademy (clojurecademy.com)
		63 points by ertucetin 13 hours ago \| hide \| 7 comments
18.		Replacing exploit-ridden firmware with a Linux kernel [pdf] (schd.ws)
		299 points by dmmalam 18 hours ago \| hide \| 62 comments
19.		Memory inside Linux containers (2014) (fabiokung.com)
		55 points by aburan28 13 hours ago \| hide \| 7 comments
20.		Show HN: Xmysql – One command to serve REST APIs for any MySql database (github.com)
		57 points by o1lab 14 hours ago \| hide \| 23 comments
21.		How North Korea Smuggled 87 US Scout Helicopters (nationalinterest.org)
		74 points by SEJeff 10 hours ago \| hide \| 1 comment
22.		Kotlin Features I miss most in Java (simon-wirtz.de)
		128 points by curtis 14 hours ago \| hide \| 107 comments
23.		A Net Before the Web, Part 1: The Establishment Man and the Magnificent Rogue (filfre.net)
		23 points by doppp 10 hours ago \| hide \| discuss
24.		Fun facts about Rust's growing popularity (jonathanturner.org)
		188 points by JoshTriplett 8 hours ago \| hide \| 49 comments
25.		Outlawry, Supervillians, and Modern Law (2010) (lawandthemultiverse.com)
		36 points by Mz 15 hours ago \| hide \| 12 comments
26.		Nothing to Hide – a documentary about surveillance and you [video] (vimeo.com)
		182 points by Moru 18 hours ago \| hide \| 30 comments
27.		How to Be a C.E.O., From a Decade’s Worth of Them (nytimes.com)
		172 points by dsr12 13 hours ago \| hide \| 47 comments
28.		Wines Are No Longer Free to Travel Across State Lines (nytimes.com)
		142 points by prostoalex 17 hours ago \| hide \| 82 comments
29.		The often-overlooked random forest kernel (rmarcus.info)
		172 points by stablemap 20 hours ago \| hide \| 18 comments
30.		Fable: F# to JavaScript compiler (fable.io)
		133 points by galfarragem 17 hours ago \| hide \| 48 comments
		More