Security doesn't work retroactively, but I believe in you and I think you'll come back from this even stronger than before.
Schlagwort-Archiv: Programmieren
Gud advice.
Legit.
It is easy to shoot your foot off with git, but also easy to revert to a previous foot and merge it with your current leg.
Structure first, Bedenken second.
Bad programmers worry about the code. Good programmers worry about data structures and their relationships.
Runless.
A proof assistant is what happens if you spend all your time developing a type checker for your language and forget that programs also need to be run.
Vladislav Zavialov: Why Dependent Haskell is the Future of Software Development
Zombie Code.
Most surprisingly, dead code may affect the result of the program -- even though it is not even executed.
Rationalität statt Raserei.
Move at an appropriate speed and make things work.