Articles2020Solving Binary Puzzles using Python and Z3Published May 1, 2020.2013Enhancing SSL Security for IRC: DANE SupportPublished September 14, 2013.2009Open Source Days 2009: SlidesPublished November 16, 2009.Status UpdatePublished October 1, 2009.Enhanced Twelf-mode for VimPublished August 17, 2009.R.I.P FerrisPublished August 13, 2009.Open Source Days 2009: Talk SuggestionsPublished August 13, 2009.Introduction to TwelfPublished August 4, 2009.New Blog Engine, take N + 1Published July 31, 2009.Irssi 0.8.14 ReleasedPublished July 28, 2009.Irssi 0.8.13 ReleasedPublished April 1, 2009.New Irssi Feature: Selective LoggingPublished February 12, 2009.2008Inkpot Theme for MuttPublished August 3, 2008.Framebuffer and XenPublished June 27, 2008.