CryptoMiniSat 3.2.0 released
CyptoMinSat 3.2.0 has been released. This code should be extremely stable and should contain no bugs. In case it does, CryptoMiniSat will fail quite bady at the competition. I have fuzzed the solver...
View ArticleSetting up encrypted mail in Chrome and Gmail
The use of Gmail is now ubiquitous. Unfortunately, it’s easy to read email in transit and some national governments abuse their power to read email in transit. I have always been using PGP to encrypt...
View ArticleEight Pro Tips on Writing Better Computer Programs
I have been writing computer programs for more than 20 years now. I thought it’s about time to gather some of my experiences and write some advice on building better computer programs. 1. Solve the...
View Article