Weekly Roundup 2024-01-23

By Max Woerner Chase

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.