My blog about foundations of mathematics, computation and kettlebells.