HN
Hacker News
Top
New
Best
Ask
Show
Jobs
rs86
186 karma · joined February 2, 2017
submissions
comments
Ask HN: Python Weekly Newsletters?
1 pts
·
rs86
·
2
Philip Wadler talk on why people use FP
youtu.be
·
1 pts
·
rs86
·
0
A very simple example of verification in Idris
gist.github.com
·
1 pts
·
rs86
·
0
Lessons learned building a toy compiler (2017)
jaseemabid.github.io
·
1 pts
·
rs86
·
0
Compiling Lambda Calculus
t3x.org
·
3 pts
·
rs86
·
1
Ask HN: Are you using generative testing?
1 pts
·
rs86
·
0
Ask HN: Android app to read source code on GitHub?
2 pts
·
rs86
·
1
Valuing ICOs from fundamentals – ideas?
3 pts
·
rs86
·
3
Ask HN: Would you pay for an ad free Facebook account?
4 pts
·
rs86
·
12
Ask HN: How to get acquainted with an open source code base?
3 pts
·
rs86
·
1
Ask HN: How low can Facebook stock go?
5 pts
·
rs86
·
10
Ask HN: Are programmers afraid of new syntax?
9 pts
·
rs86
·
17
Ask HN: Vulnerabilities in ML frameworks
9 pts
·
rs86
·
7
Ask HN: Best way to learn emacs?
6 pts
·
rs86
·
6
Why are types so cool, Part I: Result types
blue-dinosaur.github.io
·
3 pts
·
rs86
·
0
Ask HN: Back end analogue for Elm?
3 pts
·
rs86
·
0
Set
en.wikipedia.org
·
4 pts
·
rs86
·
0
A quick look at self-information
medium.com
·
1 pts
·
rs86
·
0
Why bind has signature a → m b
medium.com
·
1 pts
·
rs86
·
0
Ask HN: What libraries are a joy to work with?
5 pts
·
rs86
·
12
Ask HN: Does anyone dream of code?
104 pts
·
rs86
·
139