From 56af22d033482f66966fb7b8edc2bb18f2fec477 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Sun, 7 Nov 2021 01:09:49 -0400 Subject: [PATCH 1/1] rearrange many of the pages/files for better organization --- bandali-cv.txt | 15 ++++++---- bandali.bib | 15 +++++----- bandali.txt | 22 ++++++++++----- computing.html | 2 +- cv.html | 22 +++++++++------ fa/bandali.fa.txt | 23 ++++++++++----- .../beyond.html} | 6 ++-- .../fsf-internship-beyond.fa.txt | 2 +- .../fsf-internship-intro.fa.txt | 2 +- .../intro.html} | 6 ++-- fa/index.html | 27 ++++++++++++------ fa/notes.atom | 24 ++++++++-------- fa/notes.rss | 28 +++++++++---------- .../beyond.html | 4 +-- .../fsf-internship-beyond.txt | 2 +- .../fsf-internship-intro.txt | 2 +- .../intro.html | 4 +-- index.html | 26 +++++++++++------ mmath/bandali-mmath-thesis.pdf | 1 - mmath/bandali-mmath-thesis.tar.gz | 1 - mmath/bandali-mmath-thesis.zip | 1 - notes.atom | 26 ++++++++--------- notes.rss | 26 ++++++++--------- papers/modre2018-declarative.pdf | 1 + se212-f19/se212-h02q04d-soln.grg | 1 - se212-f19/se212-t01-101.pdf | 1 - se212-f19/se212-t01-102.pdf | 1 - se212-f19/se212-t01.org | 1 - se212-f19/se212-t05.org | 1 - se212-f19/se212-t05.pdf | 1 - talks/libreplanet-2021-jami-with-notes.pdf | 1 + talks/libreplanet-2021-jami.bib | 10 +++++++ .../libreplanet-2021-jami.html | 14 +++++----- talks/libreplanet-2021-jami.pdf | 1 + talks/libreplanet-2021-jami.tar.gz | 1 + .../libreplanet-2021-jami.txt | 12 ++++---- talks/libreplanet-2021-jami.zip | 1 + .../index.html => teaching/se212-f19.html | 0 teaching/se212-h02q04d-soln.grg | 1 + teaching/se212-t01-101.pdf | 1 + teaching/se212-t01-102.pdf | 1 + teaching/se212-t01.org | 1 + teaching/se212-t05.org | 1 + teaching/se212-t05.pdf | 1 + theses/bandali-mmath-thesis.bib | 13 +++++++++ theses/bandali-mmath-thesis.pdf | 1 + theses/bandali-mmath-thesis.tar.gz | 1 + theses/bandali-mmath-thesis.zip | 1 + {mmath => theses}/bandali-mmath.txt | 8 +++--- mmath/index.html => theses/mmath.html | 2 +- 50 files changed, 219 insertions(+), 147 deletions(-) rename fa/{2020/12/18/fsf-internship-beyond.html => fsf-internship/beyond.html} (97%) rename fa/{2020/12/18 => fsf-internship}/fsf-internship-beyond.fa.txt (99%) rename fa/{2020/05/29 => fsf-internship}/fsf-internship-intro.fa.txt (98%) rename fa/{2020/05/29/fsf-internship-intro.html => fsf-internship/intro.html} (96%) rename 2020/12/18/fsf-internship-beyond.html => fsf-internship/beyond.html (98%) rename {2020/12/18 => fsf-internship}/fsf-internship-beyond.txt (98%) rename {2020/05/29 => fsf-internship}/fsf-internship-intro.txt (98%) rename 2020/05/29/fsf-internship-intro.html => fsf-internship/intro.html (97%) delete mode 120000 mmath/bandali-mmath-thesis.pdf delete mode 120000 mmath/bandali-mmath-thesis.tar.gz delete mode 120000 mmath/bandali-mmath-thesis.zip create mode 120000 papers/modre2018-declarative.pdf delete mode 120000 se212-f19/se212-h02q04d-soln.grg delete mode 120000 se212-f19/se212-t01-101.pdf delete mode 120000 se212-f19/se212-t01-102.pdf delete mode 120000 se212-f19/se212-t01.org delete mode 120000 se212-f19/se212-t05.org delete mode 120000 se212-f19/se212-t05.pdf create mode 120000 talks/libreplanet-2021-jami-with-notes.pdf create mode 100644 talks/libreplanet-2021-jami.bib rename 2021/03/20/libreplanet-2021.html => talks/libreplanet-2021-jami.html (90%) create mode 120000 talks/libreplanet-2021-jami.pdf create mode 120000 talks/libreplanet-2021-jami.tar.gz rename 2021/03/20/libreplanet-2021.txt => talks/libreplanet-2021-jami.txt (90%) create mode 120000 talks/libreplanet-2021-jami.zip rename se212-f19/index.html => teaching/se212-f19.html (100%) create mode 120000 teaching/se212-h02q04d-soln.grg create mode 120000 teaching/se212-t01-101.pdf create mode 120000 teaching/se212-t01-102.pdf create mode 120000 teaching/se212-t01.org create mode 120000 teaching/se212-t05.org create mode 120000 teaching/se212-t05.pdf create mode 100644 theses/bandali-mmath-thesis.bib create mode 120000 theses/bandali-mmath-thesis.pdf create mode 120000 theses/bandali-mmath-thesis.tar.gz create mode 120000 theses/bandali-mmath-thesis.zip rename {mmath => theses}/bandali-mmath.txt (95%) rename mmath/index.html => theses/mmath.html (98%) diff --git a/bandali-cv.txt b/bandali-cv.txt index 97e87d4..02026c4 100644 --- a/bandali-cv.txt +++ b/bandali-cv.txt @@ -84,7 +84,8 @@ PUBLICATIONS & PRESENTATIONS Engineering Workshop, MoDRE@RE 2018 Copyright (c) 2018 IEEE. All Rights Reserved. Sadly. - pdf: https://p.bndl.org/modre2018-declarative.pdf + pdf: https://bndl.org/papers/modre2018-declarative.pdf + bib: https://bndl.org/papers/modre2018-declarative.bib models: https://cs.uwaterloo.ca/~nday/artifacts/2018-modre/ THESES @@ -95,9 +96,10 @@ PUBLICATIONS & PRESENTATIONS MMath Thesis, University of Waterloo, David R. Cheriton School of Computer Science, July 2020. - pdf: https://bndl.org/mmath/bandali-mmath-thesis.pdf + pdf: https://bndl.org/theses/bandali-mmath-thesis.pdf + bib: https://bndl.org/theses/bandali-mmath-thesis.bib hdl: https://hdl.handle.net/10012/16059 - http: https://bndl.org/mmath/ + http: https://bndl.org/theses/mmath.html TALKS @@ -106,10 +108,11 @@ PUBLICATIONS & PRESENTATIONS Amin Bandali Presented at the LibrePlanet 2021 Conference, March 20, 2021. - slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf + slides: https://bndl.org/talks/libreplanet-2021-jami.pdf slides with notes: - https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf - http: https://bndl.org/2021/03/20/libreplanet-2021.html + https://bndl.org/papers/libreplanet-2021-jami-with-notes.pdf + bib: https://bndl.org/talks/libreplanet-2021-jami.bib + http: https://bndl.org/talks/libreplanet-2021-jami.html The Magic of Specifications and Type Systems diff --git a/bandali.bib b/bandali.bib index 3795fde..86ec7b7 100644 --- a/bandali.bib +++ b/bandali.bib @@ -15,17 +15,18 @@ %% bandali's papers and talks (in reverse chronological order) %% =================================================================== -@misc{bandali-jami-libreplanet-2021, +@misc{bandali-libreplanet-2021-jami, author = {Amin Bandali}, title = {Jami and how it empowers users}, year = 2021, month = {March}, howpublished = {Presented at the LibrePlanet 2021 Conference}, - slides = {https://p.bndl.org/bandali-jami-libreplanet-2021.pdf}, - pdf = {https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf} + url = {https://bndl.org/talks/libreplanet-2021-jami.html}, + slides = {https://bndl.org/talks/libreplanet-2021-jami.pdf}, + pdf = {https://bndl.org/talks/libreplanet-2021-jami-with-notes.pdf} } -@mastersthesis{bandali2020, +@mastersthesis{bandali-mmath-2020, type = {{MMath} thesis}, author = {Amin Bandali}, title = {{A Comprehensive Study of Declarative Modelling Languages}}, @@ -35,8 +36,8 @@ publisher = "UWSpace", url = {http://hdl.handle.net/10012/16059}, note = {\url{http://hdl.handle.net/10012/16059} and - \url{https://bndl.org/mmath/}}, - pdf = {https://bndl.org/mmath/bandali-mmath-thesis.pdf} + \url{https://bndl.org/theses/mmath.html}}, + pdf = {https://bndl.org/theses/bandali-mmath-thesis.pdf} } @inproceedings{DBLP:conf/re/AbbassiBDS18, @@ -57,7 +58,7 @@ timestamp = {Thu, 16 Jul 2020 12:21:41 +0200}, biburl = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18}, bibsource = {dblp computer science bibliography, https://dblp.org}, - pdf = {https://p.bndl.org/modre2018-declarative.pdf} + pdf = {https://bndl.org/papers/modre2018-declarative.pdf} } @proceedings{DBLP:conf/re/2018modre, diff --git a/bandali.txt b/bandali.txt index 24d6d1e..2ffa9ad 100644 --- a/bandali.txt +++ b/bandali.txt @@ -11,17 +11,13 @@ NOTES Here are notes[*] about topics or issues I care about: - 2021-03-20 - LibrePlanet 2021: Jami and how it empowers users - https://bndl.org/2021/03/30/libreplanet-2021.txt - 2020-12-18 My internship with the FSF tech team and beyond - https://bndl.org/2020/12/18/fsf-internship-beyond.txt + https://bndl.org/fsf-internship/fsf-internship-beyond.txt 2020-05-29 Internship with the FSF tech team - https://bndl.org/2020/05/29/fsf-internship-intro.txt + https://bndl.org/fsf-internship/fsf-internship-intro.txt 2019-09-14 How I do my Computing @@ -32,6 +28,19 @@ NOTES https://bndl.org/notes.rss +TALKS + + Some of the talks and presentations I've given over the years: + + 2021-03-20 + LibrePlanet 2021: Jami and how it empowers users + https://bndl.org/talks/libreplanet-2021-jami.txt + + 2020-06-30 + A Comprehensive Study of Declarative Modelling Languages + https://bndl.org/theses/bandali-mmath.txt + + OTHER PAGES The following pages of bndl.org may be of interest: @@ -39,7 +48,6 @@ OTHER PAGES https://bndl.org/bandali-projects.txt https://bndl.org/bandali-cv.txt https://bndl.org/bandali-contact.txt - https://bndl.org/mmath/bandali-mmath.txt https://bndl.org/fa/bandali.fa.txt diff --git a/computing.html b/computing.html index a1af53f..49d4a56 100644 --- a/computing.html +++ b/computing.html @@ -20,7 +20,7 @@ a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}

How I do my computing

by bandali -on September 14, 2019 (last update: February 28, 2021) +on 14 September 2019 (last update: 28 February 2021) (also in plain text)

inspired by the computing page of diff --git a/cv.html b/cv.html index 9c4c548..26922b2 100644 --- a/cv.html +++ b/cv.html @@ -99,7 +99,8 @@ file, bandali.bib.

A Comparison of the Declarative Modelling Languages B, DASH, and TLA+ -[ pdf +[ pdf +| bib | models ] @@ -118,9 +119,10 @@ Copyright © 2018 IEEE. All Rights Reserved. Sadly.
A Comprehensive Study of Declarative Modelling Languages -[ pdf +[ pdf +| bib | hdl -| http +| http ]
@@ -137,10 +139,11 @@ July 2020.
Jami and how it empowers users -[ pdf -(with +[ pdf +(with notes) -| http +| bib +| http ]
@@ -212,8 +215,9 @@ for www.gnu.org.
SE 465 (Software Testing and Quality Assurance): TA in winter 2020
-
SE 212 (Logic and Computation): IA in -Fall 2019, TA in fall 2018
+
SE 212 (Logic and Computation): +IA in Fall 2019, TA in fall +2018
SE 463 (Software Requirement Specification and Analysis): TA in spring 2019 and 2018
CS 136 (Elementary Algorithm Design and Data Abstraction): TA in @@ -333,7 +337,7 @@ Present member of the CSC Systems Committee, overseeing and maintaining a large fleet of GNU/Linux servers for CSC members, as well as running the CSC mirror for free software projects.
Notable projects -include launching +include launching the CSC web IRC client as part of an effort in bringing modern user freedom- and privacy-respecting communication tools to club members.
diff --git a/fa/bandali.fa.txt b/fa/bandali.fa.txt index 30556f5..1caeeb6 100644 --- a/fa/bandali.fa.txt +++ b/fa/bandali.fa.txt @@ -10,17 +10,13 @@ یادداشت‌هایم[*] در رابطه با برخی موضوعات و مسائلی که برایم مهم هستند: - Û²Û° مارس Û²Û°Û²Û± - LibrePlanet 2021: جمی و اینکه چگونه به کاربران قدرت می‌بخشد (انگلیسی) - https://bndl.org/2021/03/30/libreplanet-2021.txt - Û±Û¸ دسامبر Û²Û°Û²Û° کارآموزی من با تیم فنی بنیاد نرم‌افزار آزاد و فراتر از آن - https://bndl.org/fa/2020/12/18/fsf-internship-beyond.txt + https://bndl.org/fa/fsf-internship/fsf-internship-beyond.txt Û²Û¹ مه Û²Û°Û²Û° کارآموزی با تیم فنی بنیاد نرم‌افزار آزاد - https://bndl.org/fa/2020/05/29/fsf-internship-intro.txt + https://bndl.org/fa/fsf-internship/fsf-internship-intro.txt Û±Û´ سپتامبر Û²Û°Û±Û¹ چگونه از رایانه استفاده می‌کنم @@ -31,6 +27,20 @@ https://bndl.org/fa/notes.rss +ارائه‌ها + + برخی ارائه‌ها و پرزنتیشن‌هایم در سال‌های اخیر (اکثرا یا تماما به زبان + انگلیسی): + + Û²Û° مارس Û²Û°Û²Û± + LibrePlanet 2021: جمی و اینکه چگونه به کاربران قدرت می‌بخشد (انگلیسی) + https://bndl.org/talks/libreplanet-2021-jami.txt + + Û³Û° ژوئن Û²Û°Û²Û° + بررسی جامع زبان‌های مدلینگ اعلانی (انگلیسی) + https://bndl.org/theses/bandali-mmath.txt + + دیگر صفحات برخی صفحات دیگر bndl.org که ممکن است مورد توجه واقع‌شوند: @@ -38,7 +48,6 @@ https://bndl.org/fa/bandali-projects.fa.txt https://bndl.org/bandali-cv.txt https://bndl.org/fa/bandali-contact.fa.txt - https://bndl.org/mmath/bandali-mmath.txt https://bndl.org/bandali.txt diff --git a/fa/2020/12/18/fsf-internship-beyond.html b/fa/fsf-internship/beyond.html similarity index 97% rename from fa/2020/12/18/fsf-internship-beyond.html rename to fa/fsf-internship/beyond.html index 413377d..88c770d 100644 --- a/fa/2020/12/18/fsf-internship-beyond.html +++ b/fa/fsf-internship/beyond.html @@ -4,9 +4,9 @@ کارآموزی من با تیم فنی بنیاد نرم‌افزار آزاد و فراتر از آن — بندعلی - + - +