interested in programming, category theory, mathematical physics