Viatalk: the final chapter

Over a month after it began, my Viatalk saga has finally come to a satisfactory close.

Scaredy cat

Echo has been a real handful lately; meowing, misbehaving, and generally being a pest to get more attention. So today, feeling bad for her, I put her harness on (which, I might add, was no mean feat with Laura at work) and took her outside. It can’t really be called a walk–the only walking [...]

Echo versus corn on the cob

Who would have thought?

Book review: the omnivore’s dilemma

I finished reading Michael Pollan’s The Omnivore’s Dilemma on the way back from Omaha.

Omaha vacation roundup

We’re back from our trip to Omaha.
Flying from San Antonio to Dallas to Omaha was cheaper than just flying from Dallas to Omaha on the same flight–investigate: would they pay me if I just wanted to fly from San Antonio to Dallas and back? Security was pretty painless; the only highlight was being [...]

Provisional certification

I’ve finally implemented a simple “provisional certification” mechanism for ACL2. This lets me build my Milawa-checkable proofs much more quickly by letting me “certify” books out of order, which means processors never have to idle and wait for some other processor to finish certifying its book.
The difference is pretty dramatic. For example, on [...]

Viatalk update

(This won’t make sense unless you read the previous post.)
Today a package from Viatalk arrived. I haven’t opened it, but it almost certainly contains their router device. Unfortunately, it was delivered via USPS, and they don’t come to the door like UPS does. Instead, since it’s too large to fit into our [...]

Moving to wordpress

I’ve decided to move my blog to WordPress.
I have two reasons. First, the UTCS web server is fairly limited; I can’t use a database there or even use the web server to write to files. This pretty much rules out using off the shelf blog software and implementing features like comments. Second, [...]