Coding 2020-06-13
I wouldn't mind working on random stuff if I had a plan for it.
All articles
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.
Weekly Roundup 2020-06-09
I feel like it's rare for me to come out of a ridiculous metaprogramming exercise going "You shouldn't use this because it doesn't meet the requirements." rather than "You shouldn't use this because it's unsettling." Maybe I'm not pushing my code far enough.
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."
Diary 2020-06-06
Feeling excessively aware of my sinuses
Coding 2020-06-05
Maybe I should try outlining my posts sometime.
Coding 2020-06-04
Just writing stuff down can clarify things immensely.