Computers don't have to suck, but we have to choose to fix them. Formal Methods, F(L)OSS, math memes, general nerdiness. aka @csoutherland