Coding 2023-11-12
Mypy somehow managed to infer types that shouldn't even exist...
Articles in the short post tag
Diary 2023-11-11
Meh, whatever.
Coding 2023-11-10
No significant progress.
Coding 2023-11-09
Looks like the old layout was almost right, which is a shame, because I still have no idea what to call these things...
Coding 2023-11-08
I think this made coverage go up, as well?
Diary 2023-11-06
Really not sure where to take this...
Diary 2023-11-05
It's hard to come up with stuff to say beyond "still on par, wish I could get a buffer, but I'm not going to beat myself up over it".
Diary 2023-11-04
A mathematically average day of writing, for what it's worth.
Diary 2023-11-03
Had a bad day, just hoping for some good days to balance it out.
Diary 2023-11-02
I put most of my words today into a text file called "draft", so there aren't many in this post.