A blog about understanding the world through the lens of formalization (with the help of a computer).