Weekly Roundup 2024-07-02
Losing motivation.
Losing motivation.
Very, very safe to skip.
Somewhat more content, but, like, not much more.
Still safe to skip.
Very safe to skip.
This is all a bit awkward to work with.
Insert regular expressions joke here.
This is going to get so brittle when I manage to express absolute convergence. Oh well.
Dafny, please tell me what's missing.
Poking some more at Dafny.