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…