Pokale ©

Objective-C/Swift developer. I`m good at Bash scripting From time to time I use Python and Ruby for setup and maintaining CI or others activities. ©

was in the logic group at UCB for awhile. Went through a bit of a rough time for personal reasons, and could not finish there. Would love to complete graduate study in logic (esp. set theory) elsewhere. Lately i`ve been getting into topoi. Also, some problems in physics (which i know very little bout) have been keeping me up a night lately ©