Top network posts
- 27 Interpret brainf***
- 25 Self-Interpreting Interpreter
- 24 Write an interpreter for the untyped lambda calculus
- 16 What's the smallest $\lambda$-calculus term not known to have a normal form?
- 14 What computational problems would be good proof-of-work problems for cryptocurrency mining?
- 8 Memory-hard proof-of-work: are they ASIC-resistant?
- 8 Seeking proof of the Cuckoo Cycle Conjecture
- View more network posts →