Coding 2023-04-29
I only hope I'm still happy with this in the morning. Apologies for how vague this post is, but, eh, whatever.
Articles in the Coding category
Coding 2023-04-28
Solving problems with more problems.
Coding 2023-04-27
Getting into a fight with my past self about what the code should do.
Coding 2023-04-26
You know I believe it's important to use gradual typing heavily, because I'm always complaining about it.
Coding 2023-04-24
So many things seemed worth a shot, but I'm not sure what's ultimately worth a shot.
Coding 2023-04-23
I'll probably share this rule after I've written it, since it seems like most people should run into problems if they write code that would trigger it.
Coding 2023-04-21
It's really nice to have updating to deal with a new version just work...
Coding 2023-04-20
I should try to distill Mypy tests out of MOTR's code.
Coding 2023-04-19
After I finished writing this entry, I remembered I should probably be trying to get Mypy unpinned, and, like... I don't wanna...
Coding 2023-04-17
A less painful merge than I expected.