X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/4f38fff24d8bee6ffbda295649235aab265761fb..HEAD:/index.html?ds=inline
diff --git a/index.html b/index.html
index a1f7823..af68beb 100644
--- a/index.html
+++ b/index.html
@@ -1,127 +1,74 @@
-
-
-
- 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/libre
+software activist and a computing scientist. I'm a GNU maintainer
+of Jami
+and GNU IceCat,
+and wear a
+few other hats around GNU as well: Savannah hacker/admin,
+assistant GNUisance, GNU webmaster, etc. On the side, I enjoy
-hacking on
-elisp
-and guile. I am a
-GNU maintainer,
-webmaster,
-and Savannah
-hacker. I am also a
-free software
-activist, and an associate
-member of the Free Software
-Foundation. I'm 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.bandali's personal site
+
-
Here are notes about topics or issues I care about:
-The notes are also available via Atom +and RSS feeds.
-Below are a number of free software projects I have worked on:
-Some of the talks and presentations I've given over the years:
-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 | -
Copyright © 2012–2021 bandali
+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.
+ +