Coding 2023-04-03
No progress yet in understanding why this stuff breaks under Mypy 1.
Articles in the short post tag
Coding 2023-04-02
Things that are necessary and also easy.
Diary 2023-03-26
Stay tuned for: more stuff in this vein throughout the week.
Diary 2023-03-25
Whoops. Don't bother reading this.
Diary 2023-03-24
It's probably fine.
Coding 2023-03-20
Staring at my documentation and pondering what those words should actually mean.
Diary 2023-03-18
Unfortunately, computers,
Diary 2023-03-17
A little work, and then some good ideas for later.
Diary 2023-03-16
I did stuff, really quickly, and had basically no time to write about it.
Diary 2023-03-15
Unfortunately, computers, but fortunately the experience of writing is winning out.