December 17, 2021

Dear Friend,

It's been a COVID-19 year, but I am surviving and I hope you are too. I got my COVID Vaccine Dose 2 Appt on 05/22/2021.

Apple accepted my Taj Life game into App Store on 4/8/2021:

TajLife is a simple colorful musical animated board game. Human and Robot players take turns playing. The goal is to capture and surround your opponent's Pieces which are gems and sultans. TajLife is a customizable game inspired partly by Conway's game of Life .
https://www.tajlifegame.com/
https://apps.apple.com/app/id1561100880

I've been attending Zoom conferences: Planet Scale Cloud Computing at Google, Neuromorphic Computing, Forecasting & Optimizing Batteries, Molecular Programming with DNA Nanotechnology, Robot and Aerospace Control ... with Machine Learning and AI, Perseverance Rover Lands on Mars, and OSIRIS-REx Sample Return from Asteroid Bennu, etc.

I tried to see Roger Daltrey in August at the Mountain Winery, but he cancelled. I did see SFPH play "Great Khan" in October. After the play, I found Zaika Indian Cuisine, a small Indian restaurant, on Third Street near the Caltrain station where I got Chicken Korma, with Basmati Rice, Garlic Nan, and Chai. It was raining in Northern California, and I got soaked everywhere that wasn't my shirt which only got damp, despite having an umbrella. I am seeing another SFPH play two days from now.

I'm learning automated theorem proving, higher order logic, type theory, and program verification. This means reading books by people named Bertot, Boldo, Chlipala, Mahboubi, Bradley, Nederpelt, Nipkow, Pierce and playing with INRIA's Coq Theorem Prover. I may apply some of this to my Quantum CAS.

I will be visiting my brother Jerry and his family in Southern California this Christmas.

Merry Christmas to all my friends and family!

Kelly Roach