Diary 2023-01-02
Let's see how trying to get back to normal goes. I should maybe take notes.
All articles
Coding 2023-01-01
The names are less abstract, but they still feel too abstract...
Coding 2022-12-31
This is going to make the implementation ever so slightly squirrellier than the Platonic ideal, but, um, tough.
Coding 2022-12-30
It turns out there may have been a reason I haven't come up with a better name yet?
Coding 2022-12-29
Finding problems, looking for solutions.
Coding 2022-12-28
Starting to rework more names
Weekly Roundup 2022-12-27
Weird, self-inflicted problems...
Coding 2022-12-26
Feature request if I ever work on NABTO seriously: type checking should provide some visibility into how it's reasoning, because where I am right now just feels awful.
Coding 2022-12-25
I really appreciate, I think, how some of the stuff that I'm doing to Mypy that probably shouldn't work, just... does.
Coding 2022-12-24
It's a good thing I'm not competing with anything, because wow, this is some careful deliberation.