X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/191fccfd5435763f15669b3418429095e1087965..285ad91ca05582a6eb5104214d912c6889b2482f:/index.html?ds=sidebyside
diff --git a/index.html b/index.html
index 5e35e8f..1888e27 100644
--- a/index.html
+++ b/index.html
@@ -1,124 +1,80 @@
-
-
- Hi, I'm Amin. I am currently a graduate student at the
-Waterloo Formal Methods
-group at the University of Waterloo, supervised by
-Nancy Day.
-The main goal of my research is
-improving software and systems reliability
-through application of
-formal methods. My research at WatForm focuses on formal logic, model checking, and
-verification. I am also interested in 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 GNU IceCat.
+I also wear a few other hats around GNU, including helping run the
+Savannah forge for GNU and non-GNU software as a Savannah hacker, and
+serving as an assistant GNUisance. On the side, I enjoy
-hacking on
-elisp
-and guile.
-I am a GNU maintainer and
-webmaster,
-a free software
-activist, and an associate member
-of the Free Software Foundation.
-I'm the co-host of the Emacs.el
-podcast with Daniel Gopar, and
-the chief organizer of the
-EmacsConf conference.
-I'm also a member of the Systems Committee of the
-Computer Science Club of
-the University of Waterloo.bandali's personal site
+
-
Here are notes and writings about topics or issues I care about, +which you can also read via Atom +or RSS feeds.
-Below are a number of free software projects I have worked on:
-Here are notes about a variety of topics and issues I care -about.
- -How I do my Computing | -September 14, 2019 | -
Arch GNU/Linux on MacBook Air 2013 | -November 1, 2016 | -
Copying and distribution of this file, with or without +modification, are permitted in any medium without royalty provided the +copyright notice and this notice are preserved. This file is offered +as-is, without any warranty.
+