X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/ea39cfbe2bcedcc63c7d14bb0643064c5399e7a1..refs/heads/experimental-pre:/index.m4?ds=inline;pf=~bandali diff --git a/index.m4 b/index.m4 index 4263196..7b5a568 100644 --- a/index.m4 +++ b/index.m4 @@ -1,73 +1,45 @@ dnl -*- html -*- -define(__title, `Bandali''`s Personal Site')dnl +define(__title, `home')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 Dr. Nancy Day. The main -goal of my research is 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'm a free software activist [1] and computing scientist [2]. +I'm a GNU maintainer of Jami [3] and GNUzilla and IceCat [4], +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. -

On the side, I -enjoy hacking -on elisp -and guile. 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.

+[1]: https://www.gnu.org/philosophy/free-sw.html +[2]: https://bndl.org/mmath +[3]: https://jami.net +[4]: https://www.gnu.org/software/gnuzilla/ -

Starting in spring 2020, I am an intern with the FSF tech team.

-
+For my $dayjob I work on Jami as a Free Software Consultant at SFL, +where I get to hack on various parts of Jami, and also help maintain +Jami packages for various GNU/Linux distributions. I am also somewhat +of 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 here are solely my own, and do not necessarily +represent those of my employer (or anyone else's, for that matter). -
-

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.

+Outside $dayjob, I enjoy hacking on [5] GNU Emacs and Emacs Lisp, and +doing a few things around the Emacs community such as maintaining the +ERC [6] IRC client built into GNU Emacs, organizing the EmacsConf [7] +conference, and hosting the Emacs.el [8] podcast with gopar. - - - - - - - - - - - - - - - -
Internship with the FSF tech team -(intro)May 29, 2020
How I do my ComputingSeptember 14, 2019
Arch GNU/Linux on MacBook Air 2013November 1, 2016
-
+[5]: https://stallman.org/articles/on-hacking.html +[6]: https://www.gnu.org/software/emacs/erc.html +[7]: https://emacsconf.org +[8]: https://emacsel.com + + +NOTES + +Here are notes about a variety of topics and issues I care about. +You can also get these notes and future ones in your feed reader +by subscribing to notes.atom or notes.rss. + +2020-12-18 My internship with the FSF tech team and beyond + +2020-05-29 Internship with the FSF tech team -define(__copy, `2016–2020')dnl include(footer.html)dnl