I work on verifying compiler optimization passes, mainly using weird category theory, so the traveling is mostly orthogonal!