Teaching AI to Reason About Software · HackerLangs