Weekly Roundup 2024-02-13
Train of thought jumped the tracks and landed on another set of tracks.
Train of thought jumped the tracks and landed on another set of tracks.
Closing in on a design with a speed normally reserved for something that could get spooked.
Gathering requirements
The category and tags are all wonky now, but I feel committed, so oh well.
It's a little weird that this works, except that there's no reason it shouldn't.
A potential victory in the fight against Dafny's syntax(!)
Pardon my extremely unmotivated notational choices.
I accomplished a quantity of things that I find somewhat surprising.
The whole setup still looks a little strange.
Life hack: write the bulk of the post like three months ago, and then, this is the important part, actually publish it.