Notes on Realizability [pdf] | Hacker News Reader