Algebraic automata theory | Hacker News Reader