Hacker News new | ask | show | jobs
Writing Code Like a Mathematical Proof (medium.com)
12 points by bankisan 3134 days ago