Scraping an HTTP API with Python and distributed task queues

The company behindĀ  the game World of Tanks provides a public HTTP API for third-party developers to create their own applications. API features include OpenID based login, clan and player statistics and information about the game. I’ve already used this API for my attendance tracker application but wanted to try something of bigger scale and […]

Organizing the SAT Competition 2014

This year I was part of the organizing team of the SAT Competition 2014, a competitive event for solvers for the Boolean Satisfiability (SAT) problem. It is organized – usually annually – as satellite event to the International Conference on Theory and Applications of Satisfiability Testing. SAT solvers are crucial in many applications, from resolving […]