All
5+
10+
25+
50+
100+
30
Wadler's Law (haskell.org)
a week ago |
Hirrolot
| haskell.org
|
newest
1
Size Optimization Tricks (justine.lol)
a month ago |
Hirrolot
| justine.lol
|
newest
2
The syntax of C in Backus-Naur Form (wmich.edu)
a month ago |
Hirrolot
| wmich.edu
|
newest
1
The Principle of Categorical Harmony (ebrary.net)
a month ago |
Hirrolot
| ebrary.net
|
newest
47
Solving SAT via Positive Supercompilation (hirrolot.github.io)
3 months ago |
Hirrolot
| github.io
|
best
3
Alan Kay – Programming and Scaling [video] (youtube.com)
6 months ago |
Hirrolot
| youtube.com
|
newest
2
Dynamic Typing with Dependent Types (psu.edu)
7 months ago |
Hirrolot
| psu.edu
|
newest
1
How to implement dependent types in 80 lines of code (gist.github.com)
a year ago |
Hirrolot
| github.com
|
newest
2
x86 Opcode and Instruction Reference
a year ago |
Hirrolot
| x86asm.net
|
newest
3
Barebones Lambda Cube in OCaml
a year ago |
Hirrolot
| github.com
|
newest