extratype's blog

coding, math, etc.