Any Debian users interested in Spin ought to be able to `apt-get install spin` sometime soon: https://tracker.debian.org/pkg/spin

It's already landed in unstable, testing shouldn't be too far away.

Thanks! We updated the link from http://www.rankred.com/nasa-coding-rules.

I understand the need for linking to the original source, but I just looked at both and the latter is arguably harder to read.

Yes, but the rankred article hasn't reproduced the full paper, it's just cherry picked and summarised in a way that you would have no idea if you missed something worthwhile.

The original paper isn't that terrible to read.

Also the amount of third party cookie crap that site tries to deposit in my browser is crazy.

That's why HN prefers source material, not blogspam stuff like this which adds nothing new and often removes possibly useful information.