Articles2020Solving Binary Puzzles using Python and Z3Published May 1, 2020 in Python, and Z3.2013Enhancing SSL Security for IRC: DANE SupportPublished September 14, 2013 in DNSSEC, IRC, Irssi, and TLS.2009Open Source Days 2009: SlidesPublished November 16, 2009 in C++, C++0x, Conference, and Git.Status UpdatePublished October 1, 2009 in Free Software, and Life.Enhanced Twelf-mode for VimPublished August 17, 2009 in Free Software, Twelf, and Vim.R.I.P FerrisPublished August 13, 2009 in Gentoo.Open Source Days 2009: Talk SuggestionsPublished August 13, 2009 in Conference, Free Software, and Git.Introduction to TwelfPublished August 4, 2009 in Twelf.New Blog Engine, take N + 1Published July 31, 2009 in Blog, and Git.Irssi 0.8.14 ReleasedPublished July 28, 2009 in Free Software, and Irssi.Irssi 0.8.13 ReleasedPublished April 1, 2009 in Free Software, and Irssi.New Irssi Feature: Selective LoggingPublished February 12, 2009 in Free Software, and Irssi.2008Inkpot Theme for MuttPublished August 3, 2008 in Free Software, Mutt, and Vim.Framebuffer and XenPublished June 27, 2008 in Free Software, Gentoo, and Xen.