Super HN

   Are Correctness Conditions Descriptive or Prescriptive? (buttondown.com) 1 point by dbrumbaugh 2 minutes ago