X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/87aa40b41940a33ea353bc139d1111e858a088ba..6dbc815a4b38bc06cb634d818f845f47865f7ca0:/index.html
diff --git a/index.html b/index.html
index 381c6d9..b49d1e7 100644
--- a/index.html
+++ b/index.html
@@ -1,125 +1,67 @@
-
-
-
- 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 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 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:
-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.
+ +