All posts published during 2006.
This has been such a stimulating week that I wasn't sure how I was going to get it all into the web so that I could share it with...
OmniOutliner is great; I used it to put together the panel remarks I mentioned an earlier breadcrumbs item. The XHTML export...
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...
« Back to MadMode | Browse the archives | 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000