X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/4c4f1c9985c1b7b434cc721f353bc54b57e47d35..c5d21f5538f970f6145160826979f3663bb3d383:/index.m4?ds=sidebyside
diff --git a/index.m4 b/index.m4
index 1f8246e..a760e7f 100644
--- a/index.m4
+++ b/index.m4
@@ -1,88 +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 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. 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 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.$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.
Here are notes about a variety of topics and issues I care about.
-They're also available via
-
-Atom
-and
-
-
RSS feeds.
Here are notes about various topics or issues I care about. +You can also read them via +Atom or +RSS.
My internship with the FSF tech team and beyond -(concluding) | +LibrePlanet 2021: Jami and how it empowers +users | +March 20, 2021 | +
My internship with the FSF +tech team and beyond (concluding) | December 18, 2020 | |
Internship with the FSF tech team -(intro) | +Internship with the FSF tech +team (intro) | May 29, 2020 |
How I do my Computing | +How I do my Computing | September 14, 2019 |
Arch GNU/Linux on MacBook Air 2013 | -November 1, 2016 | -