Ask HN: Did studying proof based math topics make you a better programmer? | Heykuki News