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 stopping. I didn’t understand why we all couldn’t just accelerate at the same time all pushing on the pedal at once and stop this infernal snaking. It appeared every hill in the road caused someone up there to brake as they were afraid to top it without first stopping and easing over. I knew just ahead we’d reach the last hill and a valley would put an end to this traffic dance. Not long after topping the hill and getting up to a respectable speed it happened. Continue reading “Automated Reasoning Technology”