Coding 2024-02-15
Was there really a point to this? No. Is it likely to make sense to anyone else? Also no. But I did it, and I feel like that counts for something.
All articles
Coding 2024-02-14
The screens have much information about how to build software artifacts, but also, they have the terrible terrible light.
Weekly Roundup 2024-02-13
Train of thought jumped the tracks and landed on another set of tracks.
Coding 2024-02-12
Closing in on a design with a speed normally reserved for something that could get spooked.
Coding 2024-02-11
Gathering requirements
Coding 2024-02-10
The category and tags are all wonky now, but I feel committed, so oh well.
Coding 2024-02-09
It's a little weird that this works, except that there's no reason it shouldn't.
Coding 2024-02-08
A potential victory in the fight against Dafny's syntax(!)
Coding 2024-02-07
Pardon my extremely unmotivated notational choices.
Weekly Roundup 2024-02-06
I accomplished a quantity of things that I find somewhat surprising.