Teaching AI to Reason About Software | Hacker News Reader