Category: Tools 2012 Let's improve our code Jan 01 2012 2011 Store Hudson configuration in Git Jan 14 2011 2010 Getting started with Git Mar 18 2010 2009 Systems Researchers Interview Series Mar 14 2009 Web tools I wish I had at work Jan 10 2009 2008 How to use the git protocol through a HTTP CONNECT proxy Dec 09 2008 How to securely delete files before returning a computer Dec 08 2008 Experiences with Mercurial and Git Aug 15 2008 Reduce your context switch delay Jun 25 2008 Choosing a camera for your small business Apr 01 2008 Clean up a Twitter feed with a Yahoo Pipe Mar 17 2008 How to use ssh to securely access the net Mar 14 2008 Twitter needs better message tracking options Mar 12 2008 How to extract PlanetLab geographic data Feb 23 2008 2007 Tools for moving from CVS to Mercurial Jan 31 2007 Choosing Mercurial for Chord Jan 23 2007 2006 First steps with the SunGrid Oct 15 2006 Robert O'Callahan visits MIT Jul 27 2006 First steps with DTrace May 23 2006 Saving bandwidth with DokuWiki Apr 17 2006 Automatically verifying security properties Apr 12 2006 Tools for repeatable research Apr 03 2006 Difficulties in data analysis Mar 23 2006