X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/2eab6513bd3b4650108e41c6bc603c73cdab6793..c5d21f5538f970f6145160826979f3663bb3d383:/index.m4?ds=sidebyside
diff --git a/index.m4 b/index.m4
index 43531d0..a760e7f 100644
--- a/index.m4
+++ b/index.m4
@@ -1,134 +1,62 @@
dnl -*- html -*-
-define(__title, `Amin Bandali''`s Personal Site')dnl
+define(__title, __site__title)dnl
define(__slug, `home')dnl
define(__nts)dnl
include(header.html)dnl
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 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
-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. Here are some of my recent free software projects:$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.Papers
-
-
-
-2018 IEEE 8th International Model-Driven Requirements Engineering
-Workshop (MoDRE)
-Copyright © 2018 IEEE. All Rights Reserved. Sadly.
-Talks
-
-
-Projects
-
-
+hacking on
+GNU Emacs and Emacs Lisp. I'm the current maintainer of
+ERC the
+powerful and modular IRC client built into GNU Emacs, an organizer of
+the EmacsConf conference, and
+co-host of the Emacs.el podcast with
+Gopar.
Here are notes about a variety of topics and issues I care
-about.
-They are 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.
How I do my Computing | -September 14, 2019 | +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) | +May 29, 2020 | ||
Arch GNU/Linux on MacBook Air 2013 | -November 1, 2016 | +How I do my Computing | +September 14, 2019 |