What we learned building proactive agents | Dark Hacker News