Where are the proactive AI coding tools? | Dark Hacker News