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