We argue that, with some exceptions, anything less than the release of source programs is intolerable for results that depend on computation.
Schlagwort: Programmieren
Open Sourcience.
Gud advice.
Security doesn't work retroactively, but I believe in you and I think you'll come back from this even stronger than before.
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