Weekly Roundup 2024-01-23
- Wednesday: I started looking into summation, and thinking about how to handle it in Dafny.
- Thursday: I narrowed in on the thing that I absolutely need to figure out how to do in Dafny, in order to use it for verifying this math.
- Friday: I took another look at the chapter in the textbook, and things ended up going a little out of control.
- Saturday: I discovered that interacting with sets in Dafny is... strange.
- Sunday: I found a few things that I had been doing wrong with Dafny, and then ended up doing a few other things wrong.
- Monday: Got sick.
Next week, I'm not sure what I feel like doing. I did discover that whatever I'm doing wrong with Dafny is orphaning z3 processes that are squatting on one core each-ish, so that's... not ideal. As far as Dafny goes, I want to try and figure out at which point the hang is coming into play. As far as other things go... I'm not sure, we'll see.