Weekly Roundup 2024-02-06 Tags: Dafny game design Tue 06 February 2024 By Max Woerner Chase I accomplished a quantity of things that I find somewhat surprising.