Conversation

- Finally in a job that works kinda ok with my (suspected) ADD. - Learned lots about dependent type theory, getting better at understanding/implementing it, and getting closer to using it in the real world™. - Getting better at life/friends/relationships, but still a way to go.

Quote Tweet

arshia

@arshia__

· Dec 19, 2018

tell me your 1(+) good thing about 2018!! twitter.com/arshia__/statu…

Brendan Zabarauskas

@brendanzab

Technically number 1 was at the end of last year, but it's only now become apparent how good a move it was. It's not easy work - lots of getting up and close to the unknown, which can be stressful at times, but it's super fulfilling.

3:22 AM · Dec 19, 2018Twitter Web Client

Replying to

I'm glad to hear that you're happy with the choice & result. Sounds like the job change worked better than you imagined.