Blog

2020

• Solving Binary Puzzles Using Python and Z3

  2020-05-01 Python, and Z3.

2013

• Enhancing SSL Security for IRC: DANE Support

  2013-09-14 DNSSEC, IRC, Irssi, and TLS.

2009

• Open Source Days 2009: Slides

  2009-11-16 C++, C++0x, Conference, and Git.

• Status Update

  2009-10-01 Free Software.

• Enhanced Twelf-Mode for Vim

  2009-08-17 Free Software, Twelf, and Vim.

• R.I.P Ferris

  2009-08-13 Gentoo.

• Open Source Days 2009: Talk Suggestions

  2009-08-13 Conference, Free Software, and Git.

• Introduction to Twelf

  2009-08-04 Twelf.

• New Blog Engine, Take N + 1

  2009-07-31 Blog, and Git.

• Irssi 0.8.14 Released

  2009-07-28 Free Software, and Irssi.

• Irssi 0.8.13 Released

  2009-04-01 Free Software, and Irssi.

• New Irssi Feature: Selective Logging

  2009-02-12 Free Software, and Irssi.

2008

• Inkpot Theme for Mutt

  2008-08-03 Free Software, Mutt, and Vim.

• Framebuffer and Xen

  2008-06-27 Free Software, Gentoo, and Xen.