[–] gjvc 1y ago ↗ This article is still relevant though https://people.inf.ethz.ch/wirth/Articles/LeanSoftware.pdf
1 comment
[ 3.4 ms ] story [ 13.8 ms ] thread