Coding 2024-02-21
Decisive action, deferred.
Articles in the short post tag
Coding 2024-02-19
Figuring out the way I want to handle XML in generating the outlines.
Coding 2024-02-18
Doing what I can while I deal with this headache or whatever.
Coding 2024-02-17
Quick refresher...
Coding 2024-02-16
Hooray, I can now apply The Wonders Of Metaprogramming to my build process if I feel like it.
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.
Coding 2024-02-14
The screens have much information about how to build software artifacts, but also, they have the terrible terrible light.
Coding 2024-02-08
A potential victory in the fight against Dafny's syntax(!)
Coding 2024-02-05
The whole setup still looks a little strange.
Diary 2024-02-03
Oh well, maybe tomorrow, but leaning towards not.