Weekly Roundup 2024-06-25
This is going to get so brittle when I manage to express absolute convergence. Oh well.
All articles
Coding 2024-06-24
Dafny, please tell me what's missing.
Coding 2024-06-23
Poking some more at Dafny.
Coding 2024-06-22
I wasn't expecting some of these issues, but in retrospect, I can't imagine what else the documentation would have meant.
Coding 2024-06-21
Hooray for tooling!
Coding 2024-06-20
Quick thoughts on the layouts... the "Relation" module should be separate, and all of the rest should be focused around "real-valued sums"...
Coding 2024-06-19
Let's get interesting...
Weekly Roundup 2024-06-18
Definitely out of excuses at this point.
Coding 2024-06-17
Looks like I have no choice but to make actual progress.
Coding 2024-06-16
Somewhat productive in spite of travel.