Hacker News
new
|
comments
|
show
|
ask
|
jobs
|
submit
login
1.
F* – An ML-like functional programming language aimed at program verification
(
fstar-lang.org
)
106 points
by
philonoist
5 hours ago
|
hide
|
27 comments
2.
So you want to write a type checker
(
languagengine.co
)
15 points
by
ChickeNES
1 hour ago
|
hide
|
6 comments
3.
Near Future of Programming Languages [pdf]
(
stephendiehl.com
)
204 points
by
myth_drannon
8 hours ago
|
hide
|
92 comments
4.
California Wildfires Burned Irreplaceable Documents on Silicon Valley History
(
pressdemocrat.com
)
167 points
by
curtis
10 hours ago
|
hide
|
61 comments
5.
The quest to evolve neural networks through evolutionary algorithms
(
oreilly.com
)
121 points
by
hardmaru
8 hours ago
|
hide
|
51 comments
6.
Mali’s Desert Elephants, on Edge of Annihilation, Get a Fighting Chance
(
nytimes.com
)
21 points
by
nevatiaritika
5 hours ago
|
hide
|
discuss
7.
Deepo: a Docker image containing almost all popular deep learning frameworks
(
github.com
)
66 points
by
ufoym
7 hours ago
|
hide
|
13 comments
8.
Show HN: Vehicle Detection – using machine learning and computer vision
(
github.com
)
52 points
by
tsy
6 hours ago
|
hide
|
5 comments
9.
Transform SVG into React components
(
github.com
)
37 points
by
BafS
5 hours ago
|
hide
|
12 comments
10.
Show HN: Simple Deep Learning Tutorials using Microsoft Cognitive Toolkit
(
github.com
)
62 points
by
irsina
9 hours ago
|
hide
|
12 comments
11.
Who Will Rein in Facebook? Challengers Are Lining Up
(
wsj.com
)
165 points
by
eplanit
14 hours ago
|
hide
|
134 comments
12.
The Line Between Aggressive and Crazy
(
rhsfinancial.com
)
88 points
by
apsec112
10 hours ago
|
hide
|
12 comments
13.
Wines Are No Longer Free to Travel Across State Lines
(
nytimes.com
)
142 points
by
prostoalex
16 hours ago
|
hide
|
83 comments
14.
Fable: F# to JavaScript compiler
(
fable.io
)
130 points
by
galfarragem
16 hours ago
|
hide
|
44 comments
15.
Best-Ever Algorithm Found for Huge Streams of Data
(
quantamagazine.org
)
34 points
by
signa11
7 hours ago
|
hide
|
4 comments
16.
Advantages of Tcl over Lisp (2005)
(
tcl.tk
)
47 points
by
tonyjstark
11 hours ago
|
hide
|
19 comments
17.
Inadequacy and Modesty
(
lesserwrong.com
)
133 points
by
JoshTriplett
7 hours ago
|
hide
|
31 comments
18.
Facebook denies 'listening' to conversations
(
bbc.com
)
195 points
by
Jerry2
12 hours ago
|
hide
|
313 comments
19.
Torus Earth (2014)
(
aleph.se
)
54 points
by
mef
12 hours ago
|
hide
|
9 comments
20.
4Clojure Easy Problems Updated on Clojurecademy
(
clojurecademy.com
)
62 points
by
ertucetin
12 hours ago
|
hide
|
7 comments
21.
Replacing exploit-ridden firmware with a Linux kernel [pdf]
(
schd.ws
)
295 points
by
dmmalam
17 hours ago
|
hide
|
62 comments
22.
Memory inside Linux containers (2014)
(
fabiokung.com
)
52 points
by
aburan28
12 hours ago
|
hide
|
7 comments
23.
Show HN: Xmysql – One command to serve REST APIs for any MySql database
(
github.com
)
56 points
by
o1lab
13 hours ago
|
hide
|
20 comments
24.
How North Korea Smuggled 87 US Scout Helicopters
(
nationalinterest.org
)
69 points
by
SEJeff
9 hours ago
|
hide
|
1 comment
25.
A Net Before the Web, Part 1: The Establishment Man and the Magnificent Rogue
(
filfre.net
)
22 points
by
doppp
9 hours ago
|
hide
|
discuss
26.
Fun facts about Rust's growing popularity
(
jonathanturner.org
)
175 points
by
JoshTriplett
7 hours ago
|
hide
|
39 comments
27.
Outlawry, Supervillians, and Modern Law (2010)
(
lawandthemultiverse.com
)
35 points
by
Mz
14 hours ago
|
hide
|
12 comments
28.
Kotlin Features I miss most in Java
(
simon-wirtz.de
)
122 points
by
curtis
13 hours ago
|
hide
|
101 comments
29.
Nothing to Hide – a documentary about surveillance and you [video]
(
vimeo.com
)
176 points
by
Moru
17 hours ago
|
hide
|
25 comments
30.
How to Be a C.E.O., From a Decade’s Worth of Them
(
nytimes.com
)
164 points
by
dsr12
12 hours ago
|
hide
|
43 comments
More
Guidelines
|
FAQ
|
Support
|
API
|
Security
|
Lists
|
Bookmarklet
|
DMCA
|
Apply to YC
|
Contact
Search: