Hacker News

1.		F* is functional programming language aimed at program verification (fstar-lang.org)
		24 points by philonoist 1 hour ago \| hide \| 3 comments
2.		Near Future of Programming Languages [pdf] (stephendiehl.com)
		99 points by myth_drannon 4 hours ago \| hide \| 36 comments
3.		California Wildfires Burned Irreplaceable Documents on Silicon Valley History (gizmodo.com)
		126 points by curtis 6 hours ago \| hide \| 45 comments
4.		The quest to evolve neural networks through evolutionary algorithms (oreilly.com)
		74 points by hardmaru 4 hours ago \| hide \| 35 comments
5.		Fun facts about Rust's growing popularity (jonathanturner.org)
		121 points by JoshTriplett 3 hours ago \| hide \| 27 comments
6.		Replacing exploit-ridden firmware with a Linux kernel [pdf] (schd.ws)
		273 points by dmmalam 13 hours ago \| hide \| 54 comments
7.		Show HN: Vehicle Detection – using machine learning and computer vision (github.com)
		19 points by tsy 2 hours ago \| hide \| 2 comments
8.		Show HN: Simple Deep Learning Tutorials using Microsoft Cognitive Toolkit(CNTK) (github.com)
		37 points by irsina 5 hours ago \| hide \| 8 comments
9.		Who Will Rein in Facebook? Challengers Are Lining Up (wsj.com)
		147 points by eplanit 10 hours ago \| hide \| 118 comments
10.		Inadequacy and Modesty (lesserwrong.com)
		90 points by JoshTriplett 3 hours ago \| hide \| 19 comments
11.		The Line Between Aggressive and Crazy (rhsfinancial.com)
		58 points by apsec112 6 hours ago \| hide \| 8 comments
12.		Wines Are No Longer Free to Travel Across State Lines (nytimes.com)
		132 points by prostoalex 12 hours ago \| hide \| 77 comments
13.		Nothing to Hide – a documentary about surveillance and you [video] (vimeo.com)
		143 points by Moru 13 hours ago \| hide \| 23 comments
14.		Deepo: a Docker image containing almost all popular deep learning frameworks (github.com)
		14 points by ufoym 3 hours ago \| hide \| 1 comment
15.		Fable: F# to JavaScript compiler (fable.io)
		106 points by galfarragem 12 hours ago \| hide \| 36 comments
16.		4Clojure Easy Problems Updated on Clojurecademy (clojurecademy.com)
		50 points by ertucetin 8 hours ago \| hide \| 6 comments
17.		Transform SVG into React components (github.com)
		4 points by BafS 1 hour ago \| hide \| 1 comment
18.		Torus Earth (2014) (aleph.se)
		33 points by mef 8 hours ago \| hide \| 2 comments
19.		How North Korea Smuggled 87 US Scout Helicopters (nationalinterest.org)
		46 points by SEJeff 5 hours ago \| hide \| discuss
20.		Kotlin Features I miss most in Java (simon-wirtz.de)
		92 points by curtis 9 hours ago \| hide \| 71 comments
21.		DeepLearning11: 10x Nvidia GTX 1080 Ti Single Root Deep Learning Server (servethehome.com)
		66 points by tim_sw 10 hours ago \| hide \| 25 comments
22.		Advantages of Tcl over Lisp (2005) (tcl.tk)
		28 points by tonyjstark 7 hours ago \| hide \| 17 comments
23.		A Net Before the Web, Part 1: The Establishment Man and the Magnificent Rogue (filfre.net)
		15 points by doppp 5 hours ago \| hide \| discuss
24.		Ideas on how to store energy (arstechnica.com)
		79 points by robin_reala 13 hours ago \| hide \| 47 comments
25.		Show HN: Xmysql – One command to serve REST APIs for any MySql database (github.com)
		38 points by o1lab 9 hours ago \| hide \| 17 comments
26.		Memory inside Linux containers (2014) (fabiokung.com)
		29 points by aburan28 8 hours ago \| hide \| 7 comments
27.		Outlawry, Supervillians, and Modern Law (2010) (lawandthemultiverse.com)
		28 points by Mz 10 hours ago \| hide \| 10 comments
28.		The Istanbul Derby (sbnation.com)
		22 points by lermontov 6 hours ago \| hide \| 7 comments
29.		How to Be a C.E.O. – insights from interviews of 525 CEOs over a decade (nytimes.com)
		127 points by dsr12 8 hours ago \| hide \| 23 comments
30.		PCI-SIG Releases PCIe 4.0 Specs (tomshardware.com)
		35 points by jonbaer 4 hours ago \| hide \| 8 comments
		More