Articles

2020

• Solving Binary Puzzles using Python and Z3

  Published May 1, 2020 in Python, and Z3.

2013

• Enhancing SSL Security for IRC: DANE Support

  Published September 14, 2013 in DNSSEC, IRC, Irssi, and TLS.

2009

• Open Source Days 2009: Slides

  Published November 16, 2009 in C++, C++0x, Conference, and Git.

• Status Update

  Published October 1, 2009 in Free Software, and Life.

• Enhanced Twelf-mode for Vim

  Published August 17, 2009 in Free Software, Twelf, and Vim.

• R.I.P Ferris

  Published August 13, 2009 in Gentoo.

• Open Source Days 2009: Talk Suggestions

  Published August 13, 2009 in Conference, Free Software, and Git.

• Introduction to Twelf

  Published August 4, 2009 in Twelf.

• New Blog Engine, take N + 1

  Published July 31, 2009 in Blog, and Git.

• Irssi 0.8.14 Released

  Published July 28, 2009 in Free Software, and Irssi.

• Irssi 0.8.13 Released

  Published April 1, 2009 in Free Software, and Irssi.

• New Irssi Feature: Selective Logging

  Published February 12, 2009 in Free Software, and Irssi.

2008

• Inkpot Theme for Mutt

  Published August 3, 2008 in Free Software, Mutt, and Vim.

• Framebuffer and Xen

  Published June 27, 2008 in Free Software, Gentoo, and Xen.