Somehow I found Steve Yegge's blog, and was drawn by some of the humor.
Saturday, January 07, 2012
A sigh of relief
Wikileaks to Release 5000 Open Source Java Programs with Abstract and Final removed.
Friday, January 06, 2012
Busy Week
We wanted to see "The Artist" on New Years Day, but the showing we planned on was sold out. Our second choice, "A Dangerous Method", left us with one hour of free time. The theater in Evanston has a Cost Plus next door, so we decided to while away the time in there. My wife found these very attractive blue leather chairs, and launched on a mission to replace our used Ikea chairs with the white slipcovers with these 'more adult' chairs. We placed a hold that day and borrowed a truck from someone who owed us a small favor for moving their things on New Years Eve. We were able to find a home for the other chairs with a friend the same day, and now we are back to a normal set of two chairs in the living room.
While at the friends apartment delivering chairs, I picked up her copy of "The Winter of Our Discontent" by Steinbeck and have since devoured it. I look forward to returning it with positive reviews.
Lately I've been reading through some of the published ACL2 'books' for inspiration. The system looks quite readable, and after wrestling for some time with Cyc, it's a pleasure to find something so aesthically pleasant. The modifications and extensions to the main CL functions are mostly removable from the axioms file, and implementing and testing some of the methods has been a relaxing pastime. Having the full source in /usr/share is a wonderful benefit to the curious. Anyone looking for hints on how to bootstrap lisp in lisp is encouraged to read through the beautifully documented acl2.lisp file, which sets up all packages and handles masking out the existing language while preserving the system's symbols in another area.
School starts Monday. I picked up my bus pass and last book yesterday. I look forward to the interaction and stimulation that a group effort to understand some thorny subjects will bring.
I've recently started using github. Somehow, within 24 hours, a friend from school had found me and followed me. Amazing how quickly information spreads. Nothing I've put there is particularly interesting, but it's useful to think I can have an additional backup, and starting to use vc is enlightening. I think I hear sourceforge slowly collapsing.
Beth left town tonight for the weekend. That leaves me to indulge in stuffed green peppers and Sabado Gigante. I can't wait to watch el Chacal de la trompeta eliminate some more contestants.
While at the friends apartment delivering chairs, I picked up her copy of "The Winter of Our Discontent" by Steinbeck and have since devoured it. I look forward to returning it with positive reviews.
Lately I've been reading through some of the published ACL2 'books' for inspiration. The system looks quite readable, and after wrestling for some time with Cyc, it's a pleasure to find something so aesthically pleasant. The modifications and extensions to the main CL functions are mostly removable from the axioms file, and implementing and testing some of the methods has been a relaxing pastime. Having the full source in /usr/share is a wonderful benefit to the curious. Anyone looking for hints on how to bootstrap lisp in lisp is encouraged to read through the beautifully documented acl2.lisp file, which sets up all packages and handles masking out the existing language while preserving the system's symbols in another area.
School starts Monday. I picked up my bus pass and last book yesterday. I look forward to the interaction and stimulation that a group effort to understand some thorny subjects will bring.
I've recently started using github. Somehow, within 24 hours, a friend from school had found me and followed me. Amazing how quickly information spreads. Nothing I've put there is particularly interesting, but it's useful to think I can have an additional backup, and starting to use vc is enlightening. I think I hear sourceforge slowly collapsing.
Beth left town tonight for the weekend. That leaves me to indulge in stuffed green peppers and Sabado Gigante. I can't wait to watch el Chacal de la trompeta eliminate some more contestants.
Thursday, January 05, 2012
Subscribe to:
Posts (Atom)