I blog about math and programming. It is a random collection but mostly (but not only) functional programming, formal verification.