Software 2.0 easily automates what you can verify | Dark Hacker News