All posts published during .
My quest to to find a good digital preservation technique for my college math and computer science notebooks has been rekindled most recently by idris and earlier by metamath and proofcheck.
"The best way to find information since the card catalog"
I'm purging another box of files today: college math & C.S. notes, including a few dozen transparencies I prepared for classes on...
Since my Sep 2006 visit to the ACL 2 seminar, I've been trying to get my head around existentials in ACL2. The lightbulb finally...
Working with the MIT tabulator students has been such a blast that while I was at U.T. Austin for the research library symposium, I...
In our PAW and TAMI projects, we're making a lot of progress on the practical aspects of proof exchange: in PAW we're working out...
Wow. What a week! I'm always on the lookout for opportunities to get back to Austin, so I was happy to accept an invitation to this...
SxSWi looks to be quite the PathCross: The microformats panel on Monday is what put the conference on my radar this year, but it's...