From: Amin Bandali
Date: Sun, 8 Nov 2020 01:20:34 +0000 (-0500)
Subject: mention my employment at SFL
X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/commitdiff_plain/35cf61e5ebc8e561d2ec022c1cd938ba226226f9?hp=2ff75a66b23f155cd79c1ef18a21244bf0eef841
mention my employment at SFL
---
diff --git a/GNUmakefile b/GNUmakefile
index fb9fc11..3f2c9be 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -24,8 +24,8 @@ clean:
rm -rf out/
deploy:
- rsync -avzLP out/ abandali@bndl.org:www/site/
- ssh abandali@bndl.org mv www/site/.htaccess-www www/.htaccess
+ rsync -avzLP out/ abandali@bndl.org:www/bndl.org/
+ ssh abandali@bndl.org mv www/bndl.org/.htaccess-www www/.htaccess
watch:
while true; do \
diff --git a/index.m4 b/index.m4
index 2a9ef01..3767710 100644
--- a/index.m4
+++ b/index.m4
@@ -11,13 +11,23 @@ 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. The main
-goal of my research is improving software and systems
+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.
+
On the side, I
enjoy hacking
on elisp