Teaching AI to Reason About Software | Dark Hacker News