Formalizing Data Structures and Algorithms with Agents | Dark Hacker News