Like most of our world, computers don't have to suck, but we must choose improvement.

Formal Methods, F(L)OSS, math memes, general nerdiness.