A proof assistant is a tool that guides you through the process of constructing and verifying formal proofs, step by step. But when is that actually useful? And why might you start hearing more about proof assistants in the future?
Graph6 to Boost
C++ program to convert graphs from the graph6 format to the Boost library.
Some papers I liked
A casual roundup of research papers from last four months that caught my eye.
Condorcet Elections at the ICPC
The International Collegiate Programming Contest recently featured a problem related to social choice theory, specifically the Condorcet Paradox. This post is a brief description of a search for the optimal solution.
May’s theorem
May’s theorem states that majority rule is the only reasonable voting system for two candidates. Although majority rule is quite intuitive, it is surprising that among the infinite number of functions, there is only one that meets a few basic assumptions.
War with the Newts
My delight with Karel Čapek’s book and Hans Ticha’s art.
Have you ever used git config?
Some tricks and tips for git config and git in general.