Hacker News new | ask | show | jobs
Are Correctness Conditions Descriptive or Prescriptive? (buttondown.com)
1 points by dbrumbaugh 490 days ago