Backend engineer interested in distributed systems and type theory