X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/553a0296a5df508f36f9332170ba5037a7d2bf8e..1b0d98a1040ccac430fcef6ec30a68748a5b1c7a:/index.m4 diff --git a/index.m4 b/index.m4 index 02fc07d..a760e7f 100644 --- a/index.m4 +++ b/index.m4 @@ -1,83 +1,62 @@ dnl -*- html -*- -define(__title, `Bandali''`s Personal Site')dnl +define(__title, __site__title)dnl define(__slug, `home')dnl define(__nts)dnl include(header.html)dnl -
-

Hi, I'm bandali. I am -a free software -activist and a computing scientist. I graduated from the University -of Waterloo with a Master of Mathematics degree -in Computer Science, where I did research in formal logic, model -checking, and verification supervised -by Prof. Nancy Day, with the -main goal of improving software and systems -reliability through application of -formal methods. -My research areas of interest include programming languages, proof -assistants, and their type systems.

+
+

I am a free +software activist and computing +scientist. I'm a GNU maintainer +of Jami +and GNUzilla and +IceCat, and I wear a few other hats around GNU, like helping run +the Savannah forge for GNU and non-GNU projects as a Savannah hacker. +My current $dayjob is working on Jami as a Free Software +Consultant, which includes hacking on various parts of Jami and its +packaging for various GNU/Linux distributions.

-

I am currently employed -by Savoir-faire Linux as a -Free Software Consultant, where I get to hack on various parts -of Jami, work with the maintainers of Jami -packages in various GNU/Linux distributions like Debian and Trisquel -to help keep up-to-date the version of Jami available in the official -repositories of those distributions, and generally serve as a -community liaison between the Jami core development team and the wider -free software community around Jami. To be sure, the views or -opinions expressed on this site are solely my own, and do not -necessarily represent those of my employer or anyone else.

- -

On the side, I -enjoy hacking -on Emacs -Lisp. I'm a -GNU maintainer, -webmaster, -and Savannah -hacker; and an associate -member of the Free Software Foundation (FSF). I'm currently the -chief organizer of the EmacsConf -conference, and the co-host of the -Emacs.el podcast with -Daniel Gopar. I am also a member of -the Systems Committee of the -Computer Science Club of the -University of Waterloo.

+

On the side, I enjoy +hacking on +GNU Emacs and Emacs Lisp. I'm the current maintainer of +ERC the +powerful and modular IRC client built into GNU Emacs, an organizer of +the EmacsConf conference, and +co-host of the Emacs.el podcast with +Gopar.

-
-

Notes

-

Here are notes about a variety of topics and issues I care about. -They're also available via - -subscribe to Atom feedAtom -and - -subscribe to RSS feedRSS feeds.

+
+

notes __anc(`notes')

+

Here are notes about various topics or issues I care about. +You can also read them via +Atom or +RSS.

- - + + - - + + - - + + + + + +
Internship with the FSF tech team -(intro)May 29, 2020LibrePlanet 2021: Jami and how it empowers +usersMarch 20, 2021
How I do my ComputingSeptember 14, 2019My internship with the FSF +tech team and beyond (concluding)December 18, 2020
Arch GNU/Linux on MacBook Air 2013November 1, 2016Internship with the FSF tech +team (intro)May 29, 2020
How I do my ComputingSeptember 14, 2019
-define(__copy, `2016–2020')dnl +define(__copy, `2016–2021')dnl include(footer.html)dnl