A blog on mathematics, logic and software by @marcusklaas.

blog entries