Provably Correct Data Streaming [pdf] | Hacker News Reader