Ganakv2 Released
Ethereum in the age of AOL
Computing Tricky Probabilities
Some food for thought: great content on the Internet
On SAT/SMT Model Counting