number theorist x software hacker • rustacean • engineering manager at HERE • corazón andaluz • permanent antipodean • he/him