Software / data engineer with math background. Main interests: combinatorics, topology, computability.