Coding 2023-11-26
Three new okay names, but still haven't replaced the bad one...
Articles in the Coding category
Coding 2023-11-25
I didn't have time to properly describe anything I did.
Coding 2023-11-24
Yet more incremental progress, some of it via just slapping a type: ignore on.
Coding 2023-11-23
Mypy is punishing me for my hubris, for some reason.
Coding 2023-11-22
This is not a great job of evaluating marimo, but I didn't hate it even though I was arguably kind of misusing it, so that's cool.
Coding 2023-11-19
I'm not sure how many distinct configurations this adds up to...
Coding 2023-11-17
Figuring out a good developer experience for myself.
Coding 2023-11-16
Maybe this will be helpful to someone else who wants to write plugins for supporting utterly wretched code.
Coding 2023-11-13
I had to update one line of test code, and then the tests passed. Spooky.
Coding 2023-11-12
Mypy somehow managed to infer types that shouldn't even exist...