Hey, it’s been a while. I’m still here. It just turns out that even though I do enjoy tending to this little corner of the internet which I’ve decided is mine, writing up a PhD really tires you out. Especially so in terms of wanting to write any text at all ever again.
Fri, 7 Mar 2025
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