Autonomy, Correctness and Complexity – pick two | Hacker News Reader