Diary 2019-12-02
No coding today, I guess.
Articles in the Diary category
Diary 2019-11-24
Let's try porting from the outside in.
Diary 2019-11-23
Technology!
Diary 2019-11-22
Fingers crossed.
Diary 2019-11-21
Hopefully the PR will at least serve as a rough guideline for what the feature should do.
Diary 2019-11-20
It's going to be kind of a pain to chase all of the data dependencies, I suspect.
Diary 2019-11-18
Just a whole bunch of scribbling that doesn't go neatly into a blog post.
Diary 2019-11-17
I tend to think at length about things, then do the actual thing really quickly.
Diary 2019-11-16
Taking it easy, but also staying up way too late...
Diary 2019-11-15
Sometimes it turns out that what I want is basically magic...