Interested in low-level programming, device virtualization, functional programming, type theory, blockchain and swimming.