From: Amin Bandali Date: Fri, 20 Dec 2019 02:46:00 +0000 (-0500) Subject: remove some vestigial files, add (gnu) favicon X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/commitdiff_plain/e44ce5d3d4a0a31fcfae64c1b77e67e7d0bdf1df remove some vestigial files, add (gnu) favicon by Naveen P L, under CC, from https://www.favicon.cc/?action=icon&file_id=19883 --- diff --git a/bandali-computing.html b/bandali-computing.html deleted file mode 100644 index 306e610..0000000 --- a/bandali-computing.html +++ /dev/null @@ -1,74 +0,0 @@ - - - - - - How I do my Computing | Amin Bandali - - - - - -
-

How I do my computing

-

- (Inspired by computing pages of - rms - and - Leah Rowe) -

- -

Computers

-

- My main computer is a - soon-to-be-librebooted - ThinkPad X200. This is the machine I use the most in or out - the house. I also own and occasionally use a Dell XPS 15 more - as a “Desktop”, and a ThinkPad X220T tablet I use when reading - (and annotating) research papers. -

- -

- I also have the privilege of having access to a fleet of beefy - servers through our school’s - Computer Science Club, - which I use for some heavier computations every now and - again. -

- -

GNU/Linux distros

-

- I’ve used a large number of GNU/Linux distributions - throughout the years, but as of late, my favourite distros - are - Guix System, - Trisquel, and - Debian (with no - contrib or non-free). - I mostly use the - GNU Linux-libre - kernel. Guix System comes with GNU Linux-libre out of - the box, and on Debian-based distros I install it from - jxself’s - APT repository. -

- -

Actual computing

-

- I spend most of my time inside - GNU Emacs. -

- -

Cell phone

-

- I have an old Nexus 5 I reluctantly use from time to time. - It runs LineageOS+microG without GApps. Sadly it still - requires some blobs for functioning. I can’t wait for lxo’s - 0G - to become a reality fast enough :) -

-
- - diff --git a/bandali/theme.scm b/bandali/theme.scm index aa82b85..44c00f6 100644 --- a/bandali/theme.scm +++ b/bandali/theme.scm @@ -33,8 +33,12 @@ (html (head (meta (@ (charset "utf-8"))) + (meta (@ (name "viewport") + (content "width=device-width, initial-scale=1"))) (title ,(if title (string-append title " — " (site-title site)) "Amin Bandali’s Personal Site")) + (link (@ (rel "icon") + (href "/gnu.ico"))) ,(stylesheet "reset") ,(stylesheet "style")) (body diff --git a/common/banner.html b/common/banner.html deleted file mode 100644 index 85751b6..0000000 --- a/common/banner.html +++ /dev/null @@ -1,20 +0,0 @@ - - -
-

- - Amin Bandali’s personal site - - Amin Bandali’s personal site - -

- - - Graduate student at University of Waterloo supervised by - Nancy Day - - Home → - - -
diff --git a/common/footer.html b/common/footer.html deleted file mode 100644 index 6ad61c8..0000000 --- a/common/footer.html +++ /dev/null @@ -1,9 +0,0 @@ - - - diff --git a/common/gnu.ico b/common/gnu.ico deleted file mode 100644 index e363826..0000000 Binary files a/common/gnu.ico and /dev/null differ diff --git a/common/head.html b/common/head.html deleted file mode 100644 index 8453227..0000000 --- a/common/head.html +++ /dev/null @@ -1,4 +0,0 @@ - - - - diff --git a/common/header.html b/common/header.html deleted file mode 100644 index 320d0f3..0000000 --- a/common/header.html +++ /dev/null @@ -1,4 +0,0 @@ - - - - diff --git a/contact.html b/contact.html deleted file mode 100644 index fd14ff5..0000000 --- a/contact.html +++ /dev/null @@ -1,86 +0,0 @@ - - - - - - Contact Information | Amin Bandali - - - - - -
-

Contact information

-

- Email is by far my preferred method of communication. I may - be contacted at any of the following addresses (choose the - most closely related): - -

- - If you want to send me GPG-encrypted mail, you can use my - public key with the - fingerprint  - BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103. -

- - - - - - - - - - - - - - - - - - - - -
IRC - bandali on - freenode and - moznet -
XMPP - - bandali@member.fsf.org -
Matrix - @bandali:matrix.org -
Fediverse - @bandali@pleroma.site -
- -

Elsewhere

-

- You may also find me at a few other places online. Stricken - through accounts are those I don’t use anymore, unless - absolutely necessary. -

- -
- - diff --git a/index.html b/index.html deleted file mode 100644 index e51bf90..0000000 --- a/index.html +++ /dev/null @@ -1,151 +0,0 @@ - - - - - - Amin Bandali's Personal Site - - - - - -
-

Amin Bandali

-
-

- Hi, I’m - Amin Bandali. - I’m a graduate student at WatForm - at University of Waterloo, supervised by - Dr. 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’m also interested in - programming languages, theorem provers, and their type - systems. You may wish to view my - academic curriculum vitae. -

- -

- SE 212 students: - see here for slides and other - material from the tutorials. -

- -

- On the side, I dabble in Lean - and enjoy hacking on - Elisp. - I’m a Free Software activist - and FSF supporter, and a GNU maintainer - and webmaster. - I co-host the Emacs.el podcast with - Daniel Gopar, and - organize EmacsConf with - help from many wonderful people. - - I am also a member of the Systems Committee for the - Computer Science Club - of the University of Waterloo. -

- -

- See my contact page for how to - best reach me. -

-
- -

Papers

-
-
- A Comparison of the Declarative Modelling Languages B, - Dash, and TLA+ - - [ - pdf - | - bib - ] - -
-
- Ali Abbassi, - Amin Bandali, - Nancy A. Day, - and Jose Serna
- 2018 IEEE 8th International Model-Driven Requirements - Engineering Workshop (MoDRE)
- Copyright © 2018 IEEE. All Rights Reserved. Sadly. -
-
- -

Talks

-
-
- The Magic of Specifications and Type Systems - - [ - slides - | - poster - ] - -
-
- Amin Bandali, - Simon Hudon, - Jonathan Ostroff -
-
- -

Projects

-

- Below are a number of free software projects I have worked on: -

-
-
george-mode
-
Emacs major mode for editing George files
- -
alloy-catalyst
-
Framework for performance analysis of Alloy models
- -
unitb-web
-
Web interface for Unit-B
- -
tex2png-hs
-
Library and CLI for converting TeX and LaTeX to PNG images
-
- -

Notes

- -
- - - diff --git a/static/gnu.ico b/static/gnu.ico new file mode 100644 index 0000000..e363826 Binary files /dev/null and b/static/gnu.ico differ