btat1··on Don’t pay the for-loop taxYou're right. 30 years ago, you can't do that with imperative languages. The only solution was a for or a while loop, sometimes quicker than the for loop.
btat1··on Disable Your Antivirus Software (Except Microsoft's)Thanks for "what every developer knows but can't tell"!
btat1··on Dafny – A programming language with a program verifierGreat job! I remember porting Fortran 77 programs on a Debian. The harder was to find then to understand the old compiler documentation :)