Jenny and I have been in lovely Vancouver, BC for about a year now, after I got my permanent residency in 2019. The weather’s been a wild ride, from a lovely spring to the heat dome and wildfires of the summer, to the flooding this autumn. It’s winter now, though, and I’m hoping we can at least make it out of 2021 without any new natural disasters. At least it’s still beautiful out there!

We were able to travel a bit and actually see people this fall, which was just wonderful. Jenny spent a month in Kenya for work, a couple friends stayed with us for a week back in October, and we just got back from visiting our families back in the US for the first time since 2019. I even got to revisit my childhood and work the last weekend on the family Christmas tree farm!

I’d hoped to do some more travel this winter to mitigate the northern darkness and get some vitamin D, but now that Omicron’s surging so dramatically it looks like we’ll be hunkering in place for the foreseeable future and eagerly awaiting our booster shot. So it goes. We’ve got lots of projects going on at home, too!

This spring I took a class at UBC with Alex Summers on formal verification, and I’ve been dusting off my Go skills by implementing an intermediate modeling language similar to Microsoft’s Boogie. That’s not hosted anywhere yet, but I might eventually release it.

Meanwhile, Jenny’s been learning to juggle, too, so once I finally learn to ride a unicycle we’ll be ready to perform as a little household circus troupe. She’s also been working out how to make Xi’an-style pulled noodles: