Top network posts
- 26 Interpret brainf***
- 25 Self-Interpreting Interpreter
- 22 Write an interpreter for the untyped lambda calculus
- 14 What computational problems would be good proof-of-work problems for cryptocurrency mining?
- 8 Seeking proof of the Cuckoo Cycle Conjecture
- 8 Memory-hard proof-of-work: are they ASIC-resistant?
- 7 What's the smallest $\lambda$-calculus term not known to have a normal form?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.