HNHacker News
TopNewBestAskShowJobs

TheAsprngHacker

873 karma · joined November 3, 2017

submissionscomments

Political theorists have been worrying about mob rule for 2,000 years

economist.com·22 pts·TheAsprngHacker·
6

The Ghosts of the ’68 Election Still Haunt Our Politics (2018)

nymag.com·1 pts·TheAsprngHacker·
0

Are Asian Americans the Last Undecided Voters?

newyorker.com·2 pts·TheAsprngHacker·
0

The KyoAni I Felt: The kind touch of K-On and the studio behind it

dosaylazy.github.io·4 pts·TheAsprngHacker·
0

Ask HN: How to network if I share a name with another person in the same field?

2 pts·TheAsprngHacker·
9

Implementing Swift Generics (2017) [video]

youtube.com·2 pts·TheAsprngHacker·
0

The anime K-ON! helped preserve the small town of Toyosato

crunchyroll.com·2 pts·TheAsprngHacker·
0

Students report big problems with online AP tests

washingtonpost.com·1 pts·TheAsprngHacker·
0

Sharing Joel David Hamkins’s “almost correct proofs” tweet with my son

mikesmathpage.wordpress.com·2 pts·TheAsprngHacker·
0

Principles of Programming Languages [JHU Textbook] [PDF]

pl.cs.jhu.edu·3 pts·TheAsprngHacker·
1

Verified Functional Programming in Agda

dl.acm.org·88 pts·TheAsprngHacker·
10

Naoko Yamada: Filmed with the Heart

blog.sakugabooru.com·1 pts·TheAsprngHacker·
0

Coq 8.11.0 released, featuring new Ltac2 tactic language

github.com·1 pts·TheAsprngHacker·
1

Ask HN: I got rejected from Cornell. I want to study PL theory; what to do?

1 pts·TheAsprngHacker·
6

A New Way to Solve Quadratic Equations – Po-Shen Loh

poshenloh.com·1 pts·TheAsprngHacker·
1

Ask HN: What are the security and legal aspects of websites with user content?

2 pts·TheAsprngHacker·
1

Functor, Applicative, and Monad

typeslogicscats.gitlab.io·252 pts·TheAsprngHacker·
120

SOSML – Online Standard ML Interpreter

sosml.github.io·1 pts·TheAsprngHacker·
1

Why Isn't the Intermediate Value Theorem Constructive?

math.stackexchange.com·1 pts·TheAsprngHacker·
1

Functor, Applicative, and Monad

typeslogicscats.gitlab.io·1 pts·TheAsprngHacker·
0

Snap! 5 is here

snap.berkeley.edu·96 pts·TheAsprngHacker·
16

Ask HN: I Deleted a Submission Because of a Typo, and I Can't Resubmit It?

3 pts·TheAsprngHacker·
4

Ask HN: How can I make the most out of high school?

67 pts·TheAsprngHacker·
63

Heaps – Haxe game engine by the language’s creator

heaps.io·58 pts·TheAsprngHacker·
7

A-Normalization: Why and How

matt.might.net·3 pts·TheAsprngHacker·
0

A Haskell Compiler – Slides on GHC Implementation (2013)

scs.stanford.edu·101 pts·TheAsprngHacker·
18

Compiling Pattern Matching to Good Decision Trees [pdf]

moscova.inria.fr·3 pts·TheAsprngHacker·
0

Why do people criticize the performance of Java, but not other JVM langs?

3 pts·TheAsprngHacker·
2

Functional Geekery Episode 48 – Matthias Felleisen [audio]

functionalgeekery.com·81 pts·TheAsprngHacker·
4

Lifetime Safety: Preventing Leaks and Dangling [pdf]

github.com·1 pts·TheAsprngHacker·
0
Page 1 of 2Next →