Brian's corner

This is my little corner of the internet. Expect posts related to C++, software verification, and theoretical computer science.