Coding 2023-11-23
Mypy is punishing me for my hubris, for some reason.
Articles in the short post tag
Diary 2023-11-20
On the road again...
Coding 2023-11-19
I'm not sure how many distinct configurations this adds up to...
Diary 2023-11-18
Time management fell off a cliff. Okay to skip this one.
Diary 2023-11-15
Maybe there are other ways to turn the code eldritch.
Coding 2023-11-12
Mypy somehow managed to infer types that shouldn't even exist...
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?