HN
Hacker News
Top
New
Best
Ask
Show
Jobs
rwosync
1,596 karma · joined July 10, 2013
submissions
comments
Formally Verified Mathematics
cacm.acm.org
·
4 pts
·
rwosync
·
0
General Purpose Programming with Dependent Types [video]
youtube.com
·
3 pts
·
rwosync
·
0
Brutal Introduction to Dependent Types
oxij.org
·
2 pts
·
rwosync
·
0
CLaSH: A functional hardware description language
hackage.haskell.org
·
87 pts
·
rwosync
·
44
AngularJS integration with Haskell
github.com
·
46 pts
·
rwosync
·
13
Implementing a JIT Compiled Language with Haskell and LLVM
stephendiehl.com
·
207 pts
·
rwosync
·
23
Implementing a JIT Compiled Language with Haskell and LLVM
stephendiehl.com
·
3 pts
·
rwosync
·
0
Clang 3.4 Release Notes
llvm.org
·
64 pts
·
rwosync
·
7
Odd Odd Even Proof in Agda
brianmckenna.org
·
41 pts
·
rwosync
·
2
Haskell for Web Developers
stephendiehl.com
·
128 pts
·
rwosync
·
163
Monads Made Difficult
stephendiehl.com
·
139 pts
·
rwosync
·
67
Zen - A new Python graph theory library
github.com
·
3 pts
·
rwosync
·
0
Understanding the Yoneda Lemma
bartoszmilewski.com
·
8 pts
·
rwosync
·
0
← Previous
Page 2 of 2