My hobby: proof engineering
I have a great time working with my teammates at Airbnb. Many of them work very hard, so much that they don’t enjoy programming for fun anymore. I still love recreational programming, but in a peculiar sense. When I come home from work, I try to prove theorems in a proof assistant.