Why the hardest part of proactive agents isn't finding problems · HackerTrans