« March 2005 | Main | May 2005 »
April 26, 2005
[Tech Support] how to configure a wiki
[HelpOnConfiguration - MoinMoin] Supposedly this works?
Posted by jones at 01:23 PM | Comments (0)
[Research] References on interesting logics
[Math 670 Fall 1998 MWF 10:30-12 DRL 4C4] We are starting an independent study course on logics in verification. These are some good references.
Posted by jones at 10:14 AM | Comments (0)
April 25, 2005
[Misc.] Thinking about what I do outside
[The Deseret Morning News Obituary Notices] This is the obituary for John Anderson. He was a student in my class and a fine TA afterwards (before he changed to Construction management, he was a brilliant CS major but his heart wasn't in it). Thinking about John and dying in a pool of cold water in a slot canyon makes me reconsider how I spend my time outside. I enjoy being outside but I enjoy living even more. Still, the most risky part of most trips is the drive to the trailhead. Lots to think about. In the end though, I don't do anything remotely risky. I don't even own a climbing harness.
Posted by jones at 04:15 PM | Comments (0)
April 08, 2005
[Misc.] shopping list
[Buy.com - PP160-C PORTABLE COMPTER BTTERY 15V 8 AH 120 WH G3 & G4 POWERBOOKS] This would be good for international and conference travel in which battery life becomes more important that weight and volume.
Posted by jones at 06:46 AM | Comments (2)
April 04, 2005
[Research] TACAS presentation on model checking with magnetic disk
[TACAS talk (pdf)] The slides from an early version of my talk for this friday. Its here mostly just in case something bad happens to my laptop on the way to Edinburgh...
Posted by jones at 10:40 PM | Comments (0)