Oleksandr Gavenko (aka gavenkoa)

I use GNU Emacs since middle of 2006, and live inside it starting from 2008.

My latest .emacs accessible from:

Resources about me:

You can hear my voice from and

Also I read/post at:,, gmane.emacs.devel, gmane.emacs.sources,

Software developer.

Like: foundations of mathematics, proof assistant, music theory, play on keyboard/synt, ham radio, Internet.

Use: Emacs, Debian, fvwm, Mercurial, Firefox, mc, vlc