Proving the coding interview, part 2 | Hacker News Reader