Contact
@@ -24,19 +24,23 @@- See contact for more, and gpg - for sending me encrypted mail. + See my contact and + gpg pages for more details.
- On the side, I dabble in Lean - and enjoy hacking on - Emacs Lisp. - I’m also a free software - and copyleft - activist, and a volunteer webmaster - for the GNU project. -
-You may wish to view my academic curriculum vitae.
@@ -128,5 +122,18 @@ + +Other interests
++ On the side, I dabble in Lean + and enjoy hacking on + Emacs Lisp. + I’m also a free software + and copyleft + activist, a volunteer webmaster + for the GNU project, and a co-host of the Emacs.el podcast. +
+