Automata Runs as Sheaves | Hacker News Reader