Coding 2020-06-20
Still haven't had the time to really go in-depth on this project lately.
Articles in the Coding category
Coding 2020-06-19
Status of this one type that I really want to fit into a type system: it still doesn't fit into any type system I know of.
Coding 2020-06-18
I'm not saying don't use Cement. I just haven't figured out what it does for me yet, if anything.
Coding 2020-06-17
I really tried to give some other libraries a fair shake.
Coding 2020-06-15
Hard to believe I was getting by without this, like, two days ago.
Coding 2020-06-14
The commit with the workaround is just a bunch of incoherent swears.
Coding 2020-06-13
I wouldn't mind working on random stuff if I had a plan for it.
Coding 2020-06-12
It feels so off to be telling myself "no, no, this is good enough for now".
Coding 2020-06-11
I wonder if there are type checkers for Python with more extensive dependent types support.
Coding 2020-06-10
Still a little sad that I can't use ludicrous type hacks. I might try to come up with something.