Month: February 2024
-
Automated Reasoning Technology
It was a beautiful spring morning but the traffic was horrific on HWY101 so I had to hurry. I didn’t have time to enjoy the ride even though I had pulled back the rag top on my little red Miata. The traffic was doing its snaking thing. Moving fast for a half mile then suddenly…