Coding 2020-06-11
I wonder if there are type checkers for Python with more extensive dependent types support.
Articles in the Coding category
Coding 2020-06-10
Still a little sad that I can't use ludicrous type hacks. I might try to come up with something.
Coding 2020-06-08
A learning experience.
Coding 2020-06-07
Good turnaround from "How can I possibly do this?" to "I can do this."
Coding 2020-06-05
Maybe I should try outlining my posts sometime.
Coding 2020-06-04
Just writing stuff down can clarify things immensely.
Coding 2020-06-03
Oh boy, I'm going to need a local package repository if I go through with this idea...
Coding 2020-06-01
I'm going to have to learn to debug with Mono before I can hope to resolve these test failures.
Coding 2020-05-31
They have overlapping functionality, but I think they both have some unique features.
Coding 2020-05-30
Blurring the line between self-isolation and just really not wanting to be out in that weather.