Weekly Roundup 2023-01-03
It's a little rough how I thought about some of these things a lot, and it still wasn't enough.
It's a little rough how I thought about some of these things a lot, and it still wasn't enough.
The names are less abstract, but they still feel too abstract...
This is going to make the implementation ever so slightly squirrellier than the Platonic ideal, but, um, tough.
It turns out there may have been a reason I haven't come up with a better name yet?
Finding problems, looking for solutions.
Starting to rework more names
Weird, self-inflicted problems...
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.
I really appreciate, I think, how some of the stuff that I'm doing to Mypy that probably shouldn't work, just... does.
It's a good thing I'm not competing with anything, because wow, this is some careful deliberation.