- 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.
Conversation
Replying to
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.
1
5
