Hacker News new | ask | show | jobs
by twirlock 2185 days ago
See also: The difference between correct definitions and a correct runtime system.