Make smaller, more bite-sized PRs! That was pretty much it. They weren’t extremely effusive in their praise, but I figure that’s about as much as they would’ve said, given that I haven’t blown the roof off of anything they were doing. Generally pretty happy with everything that happened. Didn’t talk to Eunice about the paycheck thing, I guess I’ll talk to her about it when I get my next paycheck in a couple days.
uuid: 202004281336 Theorem feedback notes: 04-28-20 date: Apr 28, 2020 tags: #theorem #meetings