April Update 1
I have been writing the text of my dissertation and made the rendered draft available at https://notes.eutro.dev/cs/diss/output/writeup.pdf.1 I have taken the liberty of sprinkling it with all kinds of notes intended for the reader, about omissions and planned direction. The reader most usually being me, but it could potentially even be you! This is of course a fairly early draft so I am not expecting detailed feedback at this time.
At the moment, the “best-written” part is the introduction. This let me motivate a little bit the project and set out what I intend to include. It is also something I can point to for anyone who asks “what is your dissertation on?” with the hope that it might take at least two sentences before they get completely lost.
Other than that, I am still piecing together the work I have done and text I have already written, trying to fit them neatly into a coherent linear narrative, at points where they will make sense to the reader. I have made some progress so far, but not quite as much as I would have liked. For instance, I am struggling with the placement and explanation of the envelope duploid’s construction. I think I am getting into a workable rhythm with writing though, and my plan and prose are developing healthily in tandem.
I have done some thinking and proving towards the Rezk completion of duploids. In summary: on paper, everything just works. I won’t write about it today though, since I’m just trying to get the draft text up.
Footnotes
1 This link always points to the most up-to-date draft that I have committed and pushed.