All posts published during 2010.
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...
On building a Linux box, from December 1995 I'm purging files, and I think the 9505 Beach Hardware folder can go. beach.w3.org was...
Fun and Frustration with Scala In a September item, Martin Kleppmann says: Scala in 2009 has the place which Python had in 2004. I...
« Back to MadMode | Browse the archives | 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000