Monthly archives: January, 2007

linux.conf.au 2007 Open Day

Joe Hurd is in town – he’s been working with some other local researchers on how to verify probabilistic computing systems. We were looking for some place to meet and catch up with each other, so I suggested we go to the Linux Conference Australia 2007 Open Day. It was an interesting afternoon – a …