Well, there we go. Just shy of four years after I started my PhD, I’ve finally submitted a research paper to a workshop. In this case: “The Workshop on Type-Driven Development” – abbreviated TyDe – 2024. Papers aren’t a requirement for passing your PhD here (and I know several successful people who never did as part of their PhD), but it still feels good to at least have submitted something (I’m so not counting my chickens yet!). The title of it is “Type-level Property Based Testing”.
Tue, 28 May 2024
I am coming up on the end of my allotted time for my PhD and need to write up. There is little content of this follow-along-journal-kind out there (as far as I know), so I thought it might be interesting to document, if nothing else for myself to look back over someday. I’ll update this from time to time, either when something big happens or changes, or when I feel I should add a bit (probably around once per week). Fair warning: this will likely become rambling and incohesive as the stress increases, and for this I ask you to please be understanding.
Tue, 16 Jan 2024