Hacker News new | ask | show | jobs
by gjvc 307 days ago
This article is still relevant though https://people.inf.ethz.ch/wirth/Articles/LeanSoftware.pdf