Hacker News new | ask | show | jobs
by mrkeen 2 days ago
The most widely available, useful, and best-bang-for-buck formal method is using a good type system.