From d3adcff4a931922ad5ee52154cf78a7a339835cf Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Sat, 9 Oct 2021 21:45:06 -0400 Subject: [PATCH 1/1] transition to a simple txt-based setup, plus txt2html manually maintaining four different versions of my notes (plain text, html, atom, and rss) turned out to be a bit much. and i don't particularly enjoy hand-writing the latter three anyway. as such, i'm now moving to a barebones setup where everything is written in plain text, and a simple script like txt2html (shout out to public-inbox and Eric!) is used to add convert to html with minimal changes, such as linkifying URLs -- aside: it beats me why so called "modern browsers" don't already do this out of the box for txt files. --- .gitignore | 1 + 404.html | 31 --- 404.txt | 4 +- GNUmakefile | 45 ++++ bandali-computing.txt | 8 +- bandali-contact.txt | 27 ++- bandali-cv.txt | 20 +- bandali-mmath.txt | 15 +- bandali-projects.txt | 8 +- bandali.txt | 25 +- computing.html | 90 ------- contact.html | 43 ---- cv.html | 405 -------------------------------- fa/404.html | 42 ---- fa/bandali-computing.fa.txt | 8 +- fa/bandali-contact.fa.txt | 5 + fa/bandali-projects.fa.txt | 5 + fa/bandali.fa.txt | 12 +- fa/computing.html | 108 --------- fa/contact.html | 58 ----- fa/fsf-internship-beyond.fa.txt | 8 +- fa/fsf-internship-beyond.html | 166 ------------- fa/fsf-internship-intro.fa.txt | 8 +- fa/fsf-internship-intro.html | 134 ----------- fa/index.html | 100 -------- fa/projects.html | 49 ---- fsf-internship-beyond.html | 146 ------------ fsf-internship-beyond.txt | 5 +- fsf-internship-intro.html | 118 ---------- fsf-internship-intro.txt | 5 +- index.html | 80 ------- libreplanet-2021.html | 137 ----------- libreplanet-2021.txt | 5 +- mmath.html | 172 -------------- projects.html | 38 --- se212-f19.html | 5 +- serve.sh | 3 - txt2html | 118 ++++++++++ 38 files changed, 259 insertions(+), 1998 deletions(-) create mode 100644 .gitignore delete mode 100644 404.html create mode 100644 GNUmakefile delete mode 100644 computing.html delete mode 100644 contact.html delete mode 100644 cv.html delete mode 100644 fa/404.html delete mode 100644 fa/computing.html delete mode 100644 fa/contact.html delete mode 100644 fa/fsf-internship-beyond.html delete mode 100644 fa/fsf-internship-intro.html delete mode 100644 fa/index.html delete mode 100644 fa/projects.html delete mode 100644 fsf-internship-beyond.html delete mode 100644 fsf-internship-intro.html delete mode 100644 index.html delete mode 100644 libreplanet-2021.html delete mode 100644 mmath.html delete mode 100644 projects.html delete mode 100755 serve.sh create mode 100644 txt2html diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..2d19fc7 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +*.html diff --git a/404.html b/404.html deleted file mode 100644 index b855b9f..0000000 --- a/404.html +++ /dev/null @@ -1,31 +0,0 @@ - - - - - - -404 not found — bandali - - - -

404

Sorry, that page does not exist. Are you at the right address?

- -

Feel free to go back home -or contact bandali -about this.

- - diff --git a/404.txt b/404.txt index 89bfea3..bc85ecc 100644 --- a/404.txt +++ b/404.txt @@ -5,5 +5,5 @@ Sorry, that page does not exist. Are you at the right address? Feel free to go back home[1] or contact[2] bandali about this. -[1] https://bndl.org/bandali.txt -[2] https://bndl.org/bandali-contact.txt +[1] https://bndl.org +[2] https://bndl.org/contact.html diff --git a/GNUmakefile b/GNUmakefile new file mode 100644 index 0000000..2330e5d --- /dev/null +++ b/GNUmakefile @@ -0,0 +1,45 @@ +# GNUmakefile --- GNU Makefile for building my personal site + +# Copyright (c) 2020-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. + + +gen = perl txt2html < $< > $@ +gen_fa = perl txt2html 'fa' < $< > $@ +port := $(if $(port),$(port),8000) + +TXT := $(filter-out bandali-pubkey.txt bandali.txt,$(wildcard *.txt)) +OUT := $(patsubst %.txt,%.html,$(TXT)) +OUT := $(patsubst bandali-%.html,%.html,$(OUT)) + +TXT_FA := $(filter-out fa/bandali.fa.txt,$(wildcard fa/*.fa.txt)) +OUT_FA := $(patsubst fa/%.fa.txt,fa/%.html,$(TXT_FA)) +OUT_FA := $(patsubst fa/bandali-%.html,fa/%.html,$(OUT_FA)) + +all: $(OUT) $(OUT_FA) index.html fa/index.html + +%.html: bandali-%.txt ; $(gen) +%.html: %.txt ; $(gen) +index.html: bandali.txt ; $(gen) + +fa/%.html: fa/bandali-%.fa.txt ; $(gen_fa) +fa/%.html: fa/%.fa.txt ; $(gen_fa) +fa/index.html: fa/bandali.fa.txt ; $(gen_fa) + + +clean: + rm -f $(OUT) $(OUT_FA) index.html fa/index.html + +serve: + python -m http.server $(port) || python -m SimpleHTTPServer $(port) + +watch: + while true; do \ + echo $(TXT) $(TXT_FA) bandali.txt fa/bandali.fa.txt \ + GNUmakefile txt2html | tr " " "\n" | entr -d make; done + +.PHONY: all clean serve watch diff --git a/bandali-computing.txt b/bandali-computing.txt index 33a7357..b199a13 100644 --- a/bandali-computing.txt +++ b/bandali-computing.txt @@ -1,7 +1,5 @@ -How I do my Computing -by bandali on September 14, 2019 (2019-09-14) -last update on February 28, 2021 (2021-02-28) - +How I do my computing +--------------------- inspired by the computing page of rms: https://stallman.org/stallman-computing.html @@ -59,4 +57,4 @@ 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. -this file: https://bndl.org/bandali-computing.txt +plain text: https://bndl.org/bandali-computing.txt diff --git a/bandali-contact.txt b/bandali-contact.txt index 2511355..f6c82db 100644 --- a/bandali-contact.txt +++ b/bandali-contact.txt @@ -1,21 +1,26 @@ bandali's contact information -https://bndl.org/bandali-contact.txt - +----------------------------- Email is by far my preferred method of communication, and you can -write to me at bandali@gnu.org. For GPG-encrypted mail, you can use -my public key[1] with the fingerprint -BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103. To learn how to -send encrypted email, see the email self-defense[2] guide by the Free -Software Foundation. +write to me at bandali@gnu.org. For GPG-encrypted mail, you can +encrypt your message using my public key[1] with the fingerprint +BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103. + +To learn how to send encrypted email, see the email self-defense[2] +guide by the Free Software Foundation. [1] https://bndl.org/bandali-pubkey.txt [2] https://emailselfdefense.fsf.org/en/ -Besides email, I can also usually be reached via IRC, particularly the -libera[3] and oftc[4] networks, where I idle as bandali. For other -means of communication, please send me an email and we can figure -something out if needed. +Besides email, I can also usually be reached via IRC on the +libera[3] and oftc[4] networks, where I idle as bandali. +For other means of communication, please send me an email +and we can figure something out if needed. [3] https://libera.chat [4] https://www.oftc.net + + + -*- + +plain text: https://bndl.org/bandali-contact.txt diff --git a/bandali-cv.txt b/bandali-cv.txt index bc5335c..ea13352 100644 --- a/bandali-cv.txt +++ b/bandali-cv.txt @@ -1,16 +1,16 @@ - CURRICULUM VITAE + curriculum vitae - Amin Bandali + Amin Bandali ------------------------------------------- -site: https://bndl.org -email: bandali@gnu.org - bandali@uwaterloo.ca -phone: available upon request via email + ------------------------------------------ + site: https://bndl.org + email: bandali@gnu.org + bandali@uwaterloo.ca + phone: available upon request via email -this file: https://bndl.org/bandali-cv.txt -last update: 2021-08-31 ------------------------------------------- + this file: https://bndl.org/bandali-cv.txt + last update: 2021-08-31 + ------------------------------------------ SUMMARY OF QUALIFICATIONS diff --git a/bandali-mmath.txt b/bandali-mmath.txt index 9d41ee2..ebca8b6 100644 --- a/bandali-mmath.txt +++ b/bandali-mmath.txt @@ -1,6 +1,5 @@ bandali's master of mathematics -https://bndl.org/bandali-mmath.txt - +------------------------------- I graduated from the University of Waterloo with the degree of Master of Mathematics in Computer Science in Spring 2020. My research at the @@ -92,3 +91,15 @@ PRESENTATION MODELS Reference version: (coming soon) + + + -*- + +Copyright (c) 2020 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. + +plain text: https://bndl.org/bandali-mmath.txt diff --git a/bandali-projects.txt b/bandali-projects.txt index 5e91c4e..37276aa 100644 --- a/bandali-projects.txt +++ b/bandali-projects.txt @@ -1,6 +1,5 @@ bandali's projects -https://bndl.org/bandali-projects.txt - +------------------ This page used to contain a list of some of the free software projects I had started or contributed to at some point, but it started to get a @@ -11,3 +10,8 @@ my Savannah profile[2]. [1] https://git.shemshak.org/~bandali [2] https://savannah.gnu.org/users/bandali + + + -*- + +plain text: https://bndl.org/bandali-projects.txt diff --git a/bandali.txt b/bandali.txt index 8b59525..5285089 100644 --- a/bandali.txt +++ b/bandali.txt @@ -1,6 +1,5 @@ bandali's personal site -https://bndl.org - +----------------------- 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 @@ -15,30 +14,30 @@ NOTES 2021-03-20 LibrePlanet 2021: Jami and how it empowers users - https://bndl.org/libreplanet-2021.txt + https://bndl.org/libreplanet-2021.html 2020-12-18 My internship with the FSF tech team and beyond - https://bndl.org/fsf-internship-beyond.txt + https://bndl.org/fsf-internship-beyond.html 2020-05-29 Internship with the FSF tech team - https://bndl.org/fsf-internship-intro.txt + https://bndl.org/fsf-internship-intro.html 2019-09-14 How I do my Computing - https://bndl.org/bandali-computing.txt + https://bndl.org/computing.html OTHER PAGES - Some other pages of bndl.org that may be of interest: + The following pages of bndl.org may be of interest: - https://bndl.org/bandali-projects.txt - https://bndl.org/bandali-cv.txt - https://bndl.org/bandali-contact.txt - https://bndl.org/bandali-mmath.txt - https://bndl.org/fa/bandali.fa.txt + https://bndl.org/projects.html + https://bndl.org/cv.html + https://bndl.org/contact.html + https://bndl.org/mmath.html + https://bndl.org/fa/ -*- @@ -50,4 +49,4 @@ 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. -this file: https://bndl.org/bandali.txt +plain text: https://bndl.org/bandali.txt diff --git a/computing.html b/computing.html deleted file mode 100644 index 8c73df1..0000000 --- a/computing.html +++ /dev/null @@ -1,90 +0,0 @@ - - - - - - -How I do my Computing — bandali - - - - - - -

How I do my Computing

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

- -

inspired by the computing page of -rms

- -

Computers

My librebooted ThinkPad X200 -computer is the machine I use the most and where I do most of my -computing. I also have the privilege of having access to a fleet of -servers through our school's -Computer Science Club that I -use for some more computationally intensive tasks every now and again, -and also for hosting this very website.

- -

GNU/Linux distribution

I used a wide variety of distros over the years; but I have since -found Trisquel to be my favourite -and it's put my "distro-hopping" days behind me. Sometimes I pair it -up with GNU Guix. For the kernel, -I usually use -GNU -Linux-libre from jxself's -APT repository.

- -

Actual computing

I spend most of my time in -GNU Emacs.

TODO: elaborate

- -

Maintaining this site

The pages of this site are available in (manually-written) HTML and -plain text, both composed in GNU Emacs. To get the git repository -containing all of the pages of the site and the history of changes to -them, you can run git clone https://bndl.org -in a terminal.

- -

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.

- - diff --git a/contact.html b/contact.html deleted file mode 100644 index 8eca864..0000000 --- a/contact.html +++ /dev/null @@ -1,43 +0,0 @@ - - - - - - -contact information — bandali - - - - - -

bandali's contact information

- -

Email is by far my preferred method of communication, and you can -write to me at bandali@gnu.org. For GPG-encrypted mail, you can use -my public key with the fingerprint -BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103. -To learn how to send encrypted email, see -the email -self-defense guide by the Free Software Foundation.

- -

Besides email, I can also usually be reached via IRC, particularly -the libera -and oftc networks, where I idle -as bandali. For other means of communication, please -send me an email and we can figure something out if needed.

- - diff --git a/cv.html b/cv.html deleted file mode 100644 index d98a864..0000000 --- a/cv.html +++ /dev/null @@ -1,405 +0,0 @@ - - - - - - -curriculum vitae — bandali - - - - - - -

bandali's curriculum vitae

- -

also available in plain text -as bandali-cv.txt

- -

Site: bndl.org
Email: bandali@gnu.org
Phone: available upon request via email

- -

Summary of Qualifications

- -

Experience in building software for diverse areas and platforms in -various programming languages such as C, Python, and Haskell.
Passionate about applying scientific and engineering methods while -designing and building software systems.
Using formal specification techniques to find specification-level -bugs early in the design stage rather than implementation.
GNU/Linux system administration on both the client and the server -side.
Problem-solving and communication skills, honed through research -and teaching roles held in graduate school, as well as holding -tutorials discussing complex concepts with fellow students and peers -throughout undergraduate studies and high school.
Organizational and teamwork skills, strengthened thanks to -community service in form of volunteer activities including organizing -the EmacsConf conference and volunteer work for charities such as the -Free Software Foundation and St. Brigid's Summer Camp.

- -

Education

- -

Master of Mathematics in Computer Science, University of Waterloo, -2020: Research focus: formal logic, model checking, verification; Thesis: A Comprehensive Study of Declarative -Modelling Languages; Supervisor: Prof. Nancy -A. Day; GPA: 3.7/4.0
Bachelor of Science with Honours in Computer Science, York -University, 2017: Favourite courses: System Specification & Refinement, Software -Requirements Engineering, Software Design, Operating Systems, -Computational Complexity, Design & Analysis of Algorithms; GPA: 7.84/9.0

- -

Research Interests

- -formal logic, model checking, theorem proving, verification - -

Publications & Presentations

- -

The complete bibliography of my publications is available as -a bandali.bib -BibT_eX bibliography -file.

- -

Papers

- -

A Comparison of the Declarative Modelling Languages B, DASH, and -TLA⁺ - -[ pdf -| models -] - -: -Ali Abbassi, Amin Bandali, -Nancy A. Day, Jose Serna
-8th IEEE International Model-Driven Requirements Engineering Workshop, MoDRE@RE 2018
-Copyright © 2018 IEEE. All Rights Reserved. Sadly. -

- -

Theses

- -

A Comprehensive Study of Declarative Modelling -Languages - -[ pdf -| hdl -| http -] - -: -Amin Bandali
-MMath Thesis, -University of Waterloo, David R. Cheriton School of Computer Science, -July 2020. -

- -

Talks

- -

Jami and how it empowers users - -[ pdf -(with -notes) -| http -] - -: -Amin Bandali
-Presented at the LibrePlanet 2021 Conference, March 20, 2021. -
The Magic of Specifications and Type Systems - -[ slides -| poster -] - -: -Amin Bandali, -Simon Hudon, -Jonathan S. Ostroff
-Slides presented at the Canadian Undergraduate Computer Science -Conference 2017, University of Toronto, Canada, June 15–17, 2017.
-Poster presented at the Lassonde Undergraduate Summer Student Research -Conference, York University, Toronto, Canada, August 15, 2017. -
Introducing YULUG: -Amin Bandali
-Slides introducing YULUG — (GNU/)Linux User Group at York -University — presented at a Computing Students Hub (CSHub) tech -talk at York University, Toronto, Canada, February 12, 2015. -

- -

Work & Research Experience

- -

Savoir-faire Linux

fall 2020–present | Free Software Consultant | Consultant en -logiciel libre

I am part of the Jami core development team at Savoir-faire Linux, -where I work on various parts of Jami as a Free Software Consultant. -These include working on and maintaining the GTK+-based jami-gnome -client application written in C++ and C, and packaging Jami for -various GNU/Linux distributions and other platforms. I also serve as -a community liaison between the Jami core team and the wider free -software community around Jami, with the goal of helping facilitate -the communications and relations between the two.

- -

Free Software Foundation (FSF)

spring 2020 | Intern

Working with the FSF tech team in a sysadmin role on a variety of -tasks including installation of the Sourcehut free software forge on -the FSF infrastructure for evaluation for the FSF forge project, as -well as a series of enhancements -for www.gnu.org.

- -

Cheriton School of Science, University of Waterloo

winter 2018–spring 2020 | TA, IA, RA ^[*]

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 463 (Software Requirement Specification and Analysis): TA in -spring 2019 and 2018

CS 136 (Elementary Algorithm Design and Data Abstraction): TA in -winter 2018

- -

[*]: Teaching Assistant (marking exams and assignments), -Instructional Apprentice (holding tutorials and marking), Research -Assistant (doing research for/with supervisor)

Department of Electrical Engineering & Computer Science, York -University

fall 2017 | Teaching Assistant

EECS 1012 (Net-Centric Introduction to Computing): TA in fall -2017, running labs and marking labs and exams

- -

Software Engineering Lab, York University

summer 2017 | Research Assistant: Worked on an implementation -of Lampsort -in Eiffel. Extended -the mathmodels -library, implementing a rational class for working with -arbitrarily large rational numbers.

summer 2016 | Research Student: Worked on Literate Unit-B, the verifier for Unit-B, a -new formal method focused on formal verification of reactive, -concurrent and distributed systems. From the Literate Unit-B codebase -(written in Haskell), decoupled the logic module and used it to build -Unit-B Web, a web interface using Literate Unit-B to do -predicate calculus proofs. Unit-B Web, also written in Haskell, -supports the L^aT_eX -syntax of the Unit-B logic, renders user input on the page, and calls -the sequent prover of the logic module, which uses the Z3 SMT solver -to check the validity of user input.; Separated Literate Unit-B's type checker from its parser in a -large refactoring, allowing easier substitution of other type checking -algorithms, and in preparation for implementing subtyping.

Lotek Wireless Inc.

summer 2016 | Software Developer: Designed and developed an Employee Portal web application in C# -and the MVC framework, used by employees for accessing various data -catalogs and archives.

summer 2015 | Computer Programmer: Designed and implemented various applications in C# and C for -analyzing and testing a satellite pass prediction algorithm for -predicting the pass windows of Argos satellites, for scheduling send -times of data collected by the company's wildlife tracking -products.

Athlete Builder

2013–2014 | Software Developer: Developed the Backend of Athlete Builder platform in C# and -MVC.; Key role in development of the platform core.; Developed the alpha version of Athlete Builder Android application -in Java.

- -

Skills

Programming languages: C, C++, Haskell, Emacs Lisp, Guile Scheme, Python, Eiffel, Bash, -C#, Java, JavaScript
Tools: GNU Emacs, Git, Alloy, TLA⁺, -ProB, L^aT_eX, continuous -integration systems
Platforms: GNU/Linux distributions, including Trisquel, GNU Guix, Debian
Languages: Persian (mother tongue), English (native proficiency; IELTS: 9.0), -French (beginner)

- -

Community Service

EmacsConf conference

2019–present: Chief organizer and maintainer of conference infrastructure, -including the streaming servers.
2015: One of the organizers and in charge of setting up and maintaining -vital pieces of infrastructure.

Computer Science Club (CSC) of the University of Waterloo

Served as the CSC System Administrator in Winter and Spring 2020. -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 -the CSC web IRC client as part of an effort in bringing modern -user freedom- and privacy-respecting communication tools to club -members.

Free/libre software contributions

Co-maintainer -of GNUzilla -and IceCat, the GNU version of the Mozilla suite and the Firefox -browser respectively.

Maintainer -of ERC, the -powerful, modular, and extensible IRC client distributed with GNU -Emacs.

Committer and regular contributor -to GNU -Emacs and GNU Guix.

GNU -webmaster -and GNU -Savannah hacker.

Volunteer work

spring 2013 | Application Developer for VONICAL Inc.: Worked on development of the Employment Accessibility Resource -Network (EARN) portal using the Anahita social networking platform, -written in PHP and running on GNU/Linux.
winter 2013 | Mobile & Web Developer for Hire Works Inc.: Worked on a variety of web and mobile development projects for -Hire Works.
summer 2012 | Web Developer for St. Brigid's Summer Camp: Redesigned and revamped the codebase for the photo gallery section -of the camp's website in PHP and JavaScript.

- - diff --git a/fa/404.html b/fa/404.html deleted file mode 100644 index 78d8fa3..0000000 --- a/fa/404.html +++ /dev/null @@ -1,42 +0,0 @@ - - - - - - -ØµÙØÙ Ù¾ÛØ¯Ø§ ÙØ´Ø¯ — Ø¨ÙØ¯Ø¹ÙÛ - - - -

Ø®Ø·Ø§Û Û´Û°Û´

- -

- - diff --git a/fa/bandali-computing.fa.txt b/fa/bandali-computing.fa.txt index 6e5f596..ff3f0fe 100644 --- a/fa/bandali-computing.fa.txt +++ b/fa/bandali-computing.fa.txt @@ -61,8 +61,8 @@ 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. -Ø±ÙÙÙØ´Øª Ù ØªÙØ²ÛØ¹ Ø§ÛÙ Ù¾Ø±ÙÙØ¯ÙØ Ø¨Ø§ ÛØ§ Ø¨Ø¯ÙÙ ØªØºÛÛØ±Ø Ø¯Ø± Ø³Ø±Ø§Ø³Ø± Ø¯ÙÛØ§ Ø¨Ø¯ÙÙ ØÙ -Ø§ÙØªÛØ§Ø² Ù Ø¯Ø± ÙØ± Ø±Ø³Ø§ÙÙâØ§Û ÙØ¬Ø§Ø² Ø§Ø³ØªØ Ø¨Ù Ø´Ø±Ø·Û Ú©Ù Ø§ÛÙ Ø§Ø¹ÙØ§Ù Ù Ø§Ø¹ÙØ§Ù ØÙ ØªÚ©Ø«ÛØ± -ØÙØ¸ Ø´ÙØ¯. Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù Ø¨Ù ØµÙØ±Øª ÙÙØ¬ÙØ¯ Ù Ø¨Ø¯ÙÙ ÙÛÚ Ú¯ÙÙÙ Ø¶ÙØ§ÙØª Ø§Ø±Ø§Ø¦Ù ÙÛâØ´ÙØ¯. +Ø±ÙÙÙØ´Øª Ù ØªÙØ²ÛØ¹ Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù Ø¨Ø§ ÛØ§ Ø¨Û ØªØºÛÛØ± Ø¯Ø± Ø³Ø±Ø§Ø³Ø± Ø¯ÙÛØ§ Ø¨Ø¯ÙÙ ØÙ Ø§ÙØªÛØ§Ø² +Ù Ø¯Ø± ÙØ± Ø±Ø³Ø§ÙÙâØ§Û ÙØ¬Ø§Ø² Ø§Ø³ØªØ Ø¨Ù Ø§ÛÙ Ø´Ø±Ø· Ú©Ù Ø§Ø¹ÙØ§Ù ØÙ ØªÚ©Ø«ÛØ± Ù Ø§ÛÙ Ø§Ø¹ÙØ§Ù ØÙØ¸ +Ø´ÙÙØ¯. Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù Ø¨Ù ØµÙØ±Øª ÙÙØ¬ÙØ¯ Ù Ø¨Ø¯ÙÙ ÙÛÚ Ú¯ÙÙÙ Ø¶ÙØ§ÙØª Ø§Ø±Ø§Ø¦Ù ÙÛâØ´ÙØ¯. -Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù: https://bndl.org/fa/bandali-computing.fa.txt +ÙØªÙ Ø³Ø§Ø¯Ù: https://bndl.org/fa/bandali-computing.fa.txt diff --git a/fa/bandali-contact.fa.txt b/fa/bandali-contact.fa.txt index f9ebbd0..1cff916 100644 --- a/fa/bandali-contact.fa.txt +++ b/fa/bandali-contact.fa.txt @@ -20,3 +20,8 @@ oftc[Û´] Ù¾ÛØºØ§Ù Ø¨ÙØ±Ø³ØªÛØ¯. Ø¨Ø±Ø§Û Ø¯ÛÚ¯Ø± Ø±Ø§ÙâÙØ§Û Ø§Ø±ØªØ¨ [Û³] https://libera.chat [Û´] https://www.oftc.net + + + -*- + +ÙØªÙ Ø³Ø§Ø¯Ù: https://bndl.org/fa/bandali-contact.fa.txt diff --git a/fa/bandali-projects.fa.txt b/fa/bandali-projects.fa.txt index 57cd0f8..128c825 100644 --- a/fa/bandali-projects.fa.txt +++ b/fa/bandali-projects.fa.txt @@ -11,3 +11,8 @@ https://bndl.org/fa/bandali-projects.fa.txt [Û±] https://git.shemshak.org/~bandali [Û²] https://savannah.gnu.org/users/bandali + + + -*- + +ÙØªÙ Ø³Ø§Ø¯Ù: https://bndl.org/fa/bandali-projects.fa.txt diff --git a/fa/bandali.fa.txt b/fa/bandali.fa.txt index 8fc80aa..ef7c8b6 100644 --- a/fa/bandali.fa.txt +++ b/fa/bandali.fa.txt @@ -13,10 +13,6 @@ https://bndl.org/fa/ Ø¯Ø± Ø§ÛÙØ¬Ø§ ÙÛâØªÙØ§ÙÛØ¯ Ø¨Ø±Ø®Û ÛØ§Ø¯Ø¯Ø§Ø´ØªâÙØ§ Ù ÙÙØ´ØªÙâÙØ§ÛÙ Ø¯Ø± Ø±Ø§Ø¨Ø·Ù Ø¨Ø§ ÙÙØ¶ÙØ¹Ø§Øª ÙÙØ±Ø¯ Ø¹ÙØ§ÙÙâØ§Ù ÛØ§ ÙØ³Ø§Ø¦ÙÛ Ú©Ù Ø¨Ø±Ø§ÛÙ ÙÙÙ ÙØ³ØªÙØ¯ Ø±Ø§ Ø¨Ø®ÙØ§ÙÛØ¯: - Û²Ûµ ÙØ§Ø±Ø³ Û²Û°Û²Û± - ÚØ±Ø§ ÙØªÙ Ø³Ø§Ø¯ÙØ - https://bndl.org/fa/why-plain-text.fa.txt - Û²Û° ÙØ§Ø±Ø³ Û²Û°Û²Û± LibrePlanet 2021: Ø¬ÙÛ Ù Ø§ÛÙÚ©Ù ÚÚ¯ÙÙÙ Ø¨Ù Ú©Ø§Ø±Ø¨Ø±Ø§Ù ÙØ¯Ø±Øª ÙÛâØ¨Ø®Ø´Ø¯ (Ø§ÙÚ¯ÙÛØ³Û) https://bndl.org/libreplanet-2021.txt @@ -54,8 +50,8 @@ 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. -Ø±ÙÙÙØ´Øª Ù ØªÙØ²ÛØ¹ Ø§ÛÙ Ù¾Ø±ÙÙØ¯ÙØ Ø¨Ø§ ÛØ§ Ø¨Ø¯ÙÙ ØªØºÛÛØ±Ø Ø¯Ø± Ø³Ø±Ø§Ø³Ø± Ø¯ÙÛØ§ Ø¨Ø¯ÙÙ ØÙ -Ø§ÙØªÛØ§Ø² Ù Ø¯Ø± ÙØ± Ø±Ø³Ø§ÙÙâØ§Û ÙØ¬Ø§Ø² Ø§Ø³ØªØ Ø¨Ù Ø´Ø±Ø·Û Ú©Ù Ø§ÛÙ Ø§Ø¹ÙØ§Ù Ù Ø§Ø¹ÙØ§Ù ØÙ ØªÚ©Ø«ÛØ± -ØÙØ¸ Ø´ÙØ¯. Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù Ø¨Ù ØµÙØ±Øª ÙÙØ¬ÙØ¯ Ù Ø¨Ø¯ÙÙ ÙÛÚ Ú¯ÙÙÙ Ø¶ÙØ§ÙØª Ø§Ø±Ø§Ø¦Ù ÙÛâØ´ÙØ¯. +Ø±ÙÙÙØ´Øª Ù ØªÙØ²ÛØ¹ Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù Ø¨Ø§ ÛØ§ Ø¨Û ØªØºÛÛØ± Ø¯Ø± Ø³Ø±Ø§Ø³Ø± Ø¯ÙÛØ§ Ø¨Ø¯ÙÙ ØÙ Ø§ÙØªÛØ§Ø² +Ù Ø¯Ø± ÙØ± Ø±Ø³Ø§ÙÙâØ§Û ÙØ¬Ø§Ø² Ø§Ø³ØªØ Ø¨Ù Ø§ÛÙ Ø´Ø±Ø· Ú©Ù Ø§Ø¹ÙØ§Ù ØÙ ØªÚ©Ø«ÛØ± Ù Ø§ÛÙ Ø§Ø¹ÙØ§Ù ØÙØ¸ +Ø´ÙÙØ¯. Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù Ø¨Ù ØµÙØ±Øª ÙÙØ¬ÙØ¯ Ù Ø¨Ø¯ÙÙ ÙÛÚ Ú¯ÙÙÙ Ø¶ÙØ§ÙØª Ø§Ø±Ø§Ø¦Ù ÙÛâØ´ÙØ¯. -Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù: https://bndl.org/fa/bandali.fa.txt +ÙØªÙ Ø³Ø§Ø¯Ù: https://bndl.org/fa/bandali.fa.txt diff --git a/fa/computing.html b/fa/computing.html deleted file mode 100644 index 42bac80..0000000 --- a/fa/computing.html +++ /dev/null @@ -1,108 +0,0 @@ - - - - - - -ÚÚ¯ÙÙÙ Ø§Ø² Ø±Ø§ÛØ§ÙÙ Ø§Ø³ØªÙØ§Ø¯Ù ÙÛâÚ©ÙÙ — Ø¨ÙØ¯Ø¹ÙÛ - - - - - - -

ÚÚ¯ÙÙÙ Ø§Ø² Ø±Ø§ÛØ§ÙÙ Ø§Ø³ØªÙØ§Ø¯Ù ÙÛâÚ©ÙÙ

- -

- -

Ø±Ø§ÛØ§ÙÙâÙØ§

- -

ØªÙØ²ÛØ¹ Ú¯ÙÙ/ÙÛÙÙÚ©Ø³

- -

Ú©Ø§Ø±ÙØ§Û Ù¾Ø±Ø¯Ø§Ø²Ø´Û Ù ÙØØ§Ø³Ø¨Ø§ØªÛ

TODO: ØªÙØ¶ÛØ Ø¨ÛØ´ØªØ±

- -

Ø¨ÙâØ±ÙØ²Ø±Ø³Ø§ÙÛ Ø§ÛÙ Ø³Ø§ÛØª

- -

- - diff --git a/fa/contact.html b/fa/contact.html deleted file mode 100644 index 27ae645..0000000 --- a/fa/contact.html +++ /dev/null @@ -1,58 +0,0 @@ - - - - - - -Ø§Ø·ÙØ§Ø¹Ø§Øª ØªÙØ§Ø³ — Ø¨ÙØ¯Ø¹ÙÛ - - - - - -

Ø§Ø·ÙØ§Ø¹Ø§Øª ØªÙØ§Ø³ Ø¨ÙØ¯Ø¹ÙÛ

- -

- -

- - diff --git a/fa/fsf-internship-beyond.fa.txt b/fa/fsf-internship-beyond.fa.txt index d4a9f2d..5826162 100644 --- a/fa/fsf-internship-beyond.fa.txt +++ b/fa/fsf-internship-beyond.fa.txt @@ -96,9 +96,9 @@ 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. -Ø±ÙÙÙØ´Øª Ù ØªÙØ²ÛØ¹ Ø§ÛÙ Ù¾Ø±ÙÙØ¯ÙØ Ø¨Ø§ ÛØ§ Ø¨Ø¯ÙÙ ØªØºÛÛØ±Ø Ø¯Ø± Ø³Ø±Ø§Ø³Ø± Ø¯ÙÛØ§ Ø¨Ø¯ÙÙ ØÙ -Ø§ÙØªÛØ§Ø² Ù Ø¯Ø± ÙØ± Ø±Ø³Ø§ÙÙâØ§Û ÙØ¬Ø§Ø² Ø§Ø³ØªØ Ø¨Ù Ø´Ø±Ø·Û Ú©Ù Ø§ÛÙ Ø§Ø¹ÙØ§Ù Ù Ø§Ø¹ÙØ§Ù ØÙ ØªÚ©Ø«ÛØ± -ØÙØ¸ Ø´ÙØ¯. Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù Ø¨Ù ØµÙØ±Øª ÙÙØ¬ÙØ¯ Ù Ø¨Ø¯ÙÙ ÙÛÚ Ú¯ÙÙÙ Ø¶ÙØ§ÙØª Ø§Ø±Ø§Ø¦Ù ÙÛâØ´ÙØ¯. +Ø±ÙÙÙØ´Øª Ù ØªÙØ²ÛØ¹ Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù Ø¨Ø§ ÛØ§ Ø¨Û ØªØºÛÛØ± Ø¯Ø± Ø³Ø±Ø§Ø³Ø± Ø¯ÙÛØ§ Ø¨Ø¯ÙÙ ØÙ Ø§ÙØªÛØ§Ø² +Ù Ø¯Ø± ÙØ± Ø±Ø³Ø§ÙÙâØ§Û ÙØ¬Ø§Ø² Ø§Ø³ØªØ Ø¨Ù Ø§ÛÙ Ø´Ø±Ø· Ú©Ù Ø§Ø¹ÙØ§Ù ØÙ ØªÚ©Ø«ÛØ± Ù Ø§ÛÙ Ø§Ø¹ÙØ§Ù ØÙØ¸ +Ø´ÙÙØ¯. Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù Ø¨Ù ØµÙØ±Øª ÙÙØ¬ÙØ¯ Ù Ø¨Ø¯ÙÙ ÙÛÚ Ú¯ÙÙÙ Ø¶ÙØ§ÙØª Ø§Ø±Ø§Ø¦Ù ÙÛâØ´ÙØ¯. -Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù: https://bndl.org/fa/fsf-internship-beyond.fa.txt +ÙØªÙ Ø³Ø§Ø¯Ù: https://bndl.org/fa/fsf-internship-beyond.fa.txt diff --git a/fa/fsf-internship-beyond.html b/fa/fsf-internship-beyond.html deleted file mode 100644 index c259e55..0000000 --- a/fa/fsf-internship-beyond.html +++ /dev/null @@ -1,166 +0,0 @@ - - - - - - -Ú©Ø§Ø±Ø¢ÙÙØ²Û ÙÙ Ø¨Ø§ ØªÛÙ ÙÙÛ Ø¨ÙÛØ§Ø¯ ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ Ù ÙØ±Ø§ØªØ± Ø§Ø² Ø¢Ù — Ø¨ÙØ¯Ø¹ÙÛ - - - - - - - -

- -

ÙØ³Ø®ÙÙ Ø§ÙÚ¯ÙÛØ³Û -Ø§ÛÙ ÙÙØ§ÙÙ Ø§Ø¨ØªØ¯Ø§ Ø¯Ø± ÙØ¨ÙØ§Ú¯ ÙØ¯ÛØ± Ø³Ø§ÙØ§ÙÙ Ø¨ÙÛØ§Ø¯ ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ ÙÙØªØ´Ø± -Ø´Ø¯:
-My -internship with the FSF tech team and beyond

- -

- -

- -

- -

- -

- -

- -

- -

- -

- - diff --git a/fa/fsf-internship-intro.fa.txt b/fa/fsf-internship-intro.fa.txt index ae3e763..8cc3c6c 100644 --- a/fa/fsf-internship-intro.fa.txt +++ b/fa/fsf-internship-intro.fa.txt @@ -74,8 +74,8 @@ 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. -Ø±ÙÙÙØ´Øª Ù ØªÙØ²ÛØ¹ Ø§ÛÙ Ù¾Ø±ÙÙØ¯ÙØ Ø¨Ø§ ÛØ§ Ø¨Ø¯ÙÙ ØªØºÛÛØ±Ø Ø¯Ø± Ø³Ø±Ø§Ø³Ø± Ø¯ÙÛØ§ Ø¨Ø¯ÙÙ ØÙ -Ø§ÙØªÛØ§Ø² Ù Ø¯Ø± ÙØ± Ø±Ø³Ø§ÙÙâØ§Û ÙØ¬Ø§Ø² Ø§Ø³ØªØ Ø¨Ù Ø´Ø±Ø·Û Ú©Ù Ø§ÛÙ Ø§Ø¹ÙØ§Ù Ù Ø§Ø¹ÙØ§Ù ØÙ ØªÚ©Ø«ÛØ± -ØÙØ¸ Ø´ÙØ¯. Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù Ø¨Ù ØµÙØ±Øª ÙÙØ¬ÙØ¯ Ù Ø¨Ø¯ÙÙ ÙÛÚ Ú¯ÙÙÙ Ø¶ÙØ§ÙØª Ø§Ø±Ø§Ø¦Ù ÙÛâØ´ÙØ¯. +Ø±ÙÙÙØ´Øª Ù ØªÙØ²ÛØ¹ Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù Ø¨Ø§ ÛØ§ Ø¨Û ØªØºÛÛØ± Ø¯Ø± Ø³Ø±Ø§Ø³Ø± Ø¯ÙÛØ§ Ø¨Ø¯ÙÙ ØÙ Ø§ÙØªÛØ§Ø² +Ù Ø¯Ø± ÙØ± Ø±Ø³Ø§ÙÙâØ§Û ÙØ¬Ø§Ø² Ø§Ø³ØªØ Ø¨Ù Ø§ÛÙ Ø´Ø±Ø· Ú©Ù Ø§Ø¹ÙØ§Ù ØÙ ØªÚ©Ø«ÛØ± Ù Ø§ÛÙ Ø§Ø¹ÙØ§Ù ØÙØ¸ +Ø´ÙÙØ¯. Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù Ø¨Ù ØµÙØ±Øª ÙÙØ¬ÙØ¯ Ù Ø¨Ø¯ÙÙ ÙÛÚ Ú¯ÙÙÙ Ø¶ÙØ§ÙØª Ø§Ø±Ø§Ø¦Ù ÙÛâØ´ÙØ¯. -Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù: https://bndl.org/fa/fsf-internship-intro.fa.txt +ÙØªÙ Ø³Ø§Ø¯Ù: https://bndl.org/fa/fsf-internship-intro.fa.txt diff --git a/fa/fsf-internship-intro.html b/fa/fsf-internship-intro.html deleted file mode 100644 index 97e59cd..0000000 --- a/fa/fsf-internship-intro.html +++ /dev/null @@ -1,134 +0,0 @@ - - - - - - -Ú©Ø§Ø±Ø¢ÙÙØ²Û Ø¨Ø§ ØªÛÙ ÙÙÛ Ø¨ÙÛØ§Ø¯ ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ — Ø¨ÙØ¯Ø¹ÙÛ - - - - - - - -

- -

ÙØ³Ø®ÙÙ Ø§ÙÚ¯ÙÛØ³Û Ø§ÛÙ -ÙÙØ§ÙÙ Ø§Ø¨ØªØ¯Ø§ Ø¯Ø± ÙØ¨ÙØ§Ú¯ ÙØ¯ÛØ± Ø³Ø§ÙØ§ÙÙ Ø¨ÙÛØ§Ø¯ ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ ÙÙØªØ´Ø± -Ø´Ø¯:
-Introducing Amin -Bandali, intern with the FSF tech team

- -

- -

- -

- -

- -

- -

- - diff --git a/fa/index.html b/fa/index.html deleted file mode 100644 index cc6a8d5..0000000 --- a/fa/index.html +++ /dev/null @@ -1,100 +0,0 @@ - - - - - - -Ø³Ø§ÛØª Ø´Ø®ØµÛ Ø¨ÙØ¯Ø¹ÙÛ - - - - - - - - -

Ø³Ø§ÛØª Ø´Ø®ØµÛ Ø¨ÙØ¯Ø¹ÙÛ

- - -

- -

ÙÙØ´ØªÙâÙØ§

- -

LibrePlanet 2021: -Ø¬ÙÛ Ù Ø§ÛÙÚ©Ù ÚÚ¯ÙÙÙ Ø¨Ù Ú©Ø§Ø±Ø¨Ø±Ø§Ù ÙØ¯Ø±Øª ÙÛâØ¨Ø®Ø´Ø¯ (Ø§ÙÚ¯ÙÛØ³Û) -(Û²Û° ÙØ§Ø±Ø³ Û²Û°Û²Û±)
Ú©Ø§Ø±Ø¢ÙÙØ²Û ÙÙ Ø¨Ø§ ØªÛÙ ÙÙÛ Ø¨ÙÛØ§Ø¯ -ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ Ù ÙØ±Ø§ØªØ± Ø§Ø² Ø¢Ù -(Û±Û¸ Ø¯Ø³Ø§ÙØ¨Ø± Û²Û°Û²Û°)
Ú©Ø§Ø±Ø¢ÙÙØ²Û Ø¨Ø§ ØªÛÙ ÙÙÛ Ø¨ÙÛØ§Ø¯ -ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ (Û²Û¹ ÙÙ Û²Û°Û²Û°)
ÚÚ¯ÙÙÙ Ø§Ø² Ø±Ø§ÛØ§ÙÙ Ø§Ø³ØªÙØ§Ø¯Ù -ÙÛâÚ©ÙÙ (Û±Û´ Ø³Ù¾ØªØ§ÙØ¨Ø± Û²Û°Û±Û¹)

- -

- - diff --git a/fa/projects.html b/fa/projects.html deleted file mode 100644 index cac48ab..0000000 --- a/fa/projects.html +++ /dev/null @@ -1,49 +0,0 @@ - - - - - - -Ù¾Ø±ÙÚÙâÙØ§ — Ø¨ÙØ¯Ø¹ÙÛ - - - - - -

Ù¾Ø±ÙÚÙâÙØ§Û Ø¨ÙØ¯Ø¹ÙÛ

- -

- - diff --git a/fsf-internship-beyond.html b/fsf-internship-beyond.html deleted file mode 100644 index 0fc2cf4..0000000 --- a/fsf-internship-beyond.html +++ /dev/null @@ -1,146 +0,0 @@ - - - - - - -My internship with the FSF tech team and beyond — bandali - - - - - - - -

My internship with the FSF tech team and beyond

by bandali -on December 18, 2020 (also -in plain text)

- -

Originally published on the Free Software Foundation's -sysadmin blog:
-My internship with the FSF tech team and beyond

- -

Hello! I'm -Amin Bandali, -and this is my second blog post on the FSF sysadmin blog, concluding -my internship with the FSF tech team this year.

- -

Throughout my internship with the tech team, I have worked mainly -on sysadmin tasks related to setting up and/or managing FSF's -GNU/Linux servers. Perhaps most significantly, I set up an instance -of the Sourcehut forge software to -help -evaluate -it as a candidate for the upcoming -FSF forge project. -I documented the installation and setup process of Sourcehut's various -components in the form of a literate GNU Emacs Org-mode file, where -source blocks are interspersed with comments and prose explaining -them. One can then progressively evaluate and execute the source -blocks, and optionally have their results stored back in the Org file -itself to help with documentation/demonstration.

- -

I have also been slowly working on various improvements for the -server running www.gnu.org, and will continue doing work on it as a -volunteer after the end of my internship. This will hopefully be -beneficial to the FSF sysadmins running the server, the GNU webmasters -who do webmastering work on gnu.org, and the general public browsing -and using gnu.org's pages. Notably, changes included upgrading the -server to the latest release of Trisquel GNU/Linux, and revamping and -improving the search mechanism for gnu.org's pages. Additionally, -there are several other projects that I would like to tackle with the -tech team in the near future.

- -

During my internship with the FSF tech team, I picked up a variety -of new skills and learned more about a diverse set of topics and -tools. This included building and installing a complex piece of -software like Sourcehut and debugging issues encountered along the -way, using Ansible for managing and deploying infrastructure, as well -as learning more about the Exim mail transfer agent used to run FSF -and GNU's array of mail servers.

- -

In conclusion to my internship and the year 2020, it's safe to say -that this year has been an eventful year for many people, including -myself. I started my internship with the tech team back in May, and -as a graduate student at the time, I was expecting a reasonable and -balanced workload for my work on my thesis over the coming months. -However, early on (less than two weeks) into my internship I learned -that due to a number of reasons, I needed to complete my master's -studies on a two-month deadline. I told the tech team about the -issue, asking whether I could take a hiatus to complete my studies -without affecting my internship. I am beyond thankful to the tech -team and the FSF as whole for being accommodating, and for their -flexibility in allowing me to take a leave to focus on writing my -thesis and wrapping up my master's studies. I managed to successfully -wrap up my studies in that short timeline, and focus on my internship -afterwards.

- -

However, all good things must come to an end, and this internship -is no exception. I am incredibly grateful to the members of the FSF -tech team -- Ian, Andrew, Ruben, and Michael -- for welcoming me to -the team as an intern and mentoring me, answering my many questions, -and helping me learn more. It has been an honour and a wonderful -experience for me all around working with you all and seeing the -energy and passion with which you take on the work and -responsibilities that come with being an FSF sysadmin and Web -developer. While most of my interactions were with the tech team, I -also got to interact with FSF staffers from several other teams during -my internship, and I'm thankful for our conversations and the chance -to get to know and appreciate the important work you do.

- -

This internship has come to an end, but I will carry with me all of -the good memories and the lessons I learned along the way, and will -happily to continue working with you as a volunteer. The things I -learned have been invaluable and greatly helpful to me, as I -transitioned into my new full-time job at Savoir-faire Linux as a Free -Software Consultant, where I get to work on various parts and aspects -of Jami, a GNU package for universal communication which respects the -freedoms and privacy of its users.

- -

I would like to thank the FSF for providing me this excellent -opportunity to work alongside the tech team as an intern, and take -away so many valuable lessons and great memories.

- -

Interested in interning for the Free Software -Foundation? The application period for spring 2021 internships is -currently open. Please see -https://www.fsf.org/volunteer/internships -for more details and information on how to apply!

- -

- - diff --git a/fsf-internship-beyond.txt b/fsf-internship-beyond.txt index 9778adb..97253b9 100644 --- a/fsf-internship-beyond.txt +++ b/fsf-internship-beyond.txt @@ -1,6 +1,5 @@ My internship with the FSF tech team and beyond -by bandali on December 18, 2020 (2020-12-18) - +----------------------------------------------- Originally published on the Free Software Foundation's sysadmin blog: @@ -111,4 +110,4 @@ 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. -this file: https://bndl.org/fsf-internship-beyond.txt +plain text: https://bndl.org/fsf-internship-beyond.txt diff --git a/fsf-internship-intro.html b/fsf-internship-intro.html deleted file mode 100644 index c8170c3..0000000 --- a/fsf-internship-intro.html +++ /dev/null @@ -1,118 +0,0 @@ - - - - - - -Internship with the FSF tech team — bandali - - - - - - - -

Internship with the FSF tech team

by bandali -on May 29, 2020 (also -in plain text)

- -

Originally published on the Free Software Foundation's -sysadmin blog:
-Introducing -Amin Bandali, intern with the FSF tech team

- -

Hi there, I'm Amin Bandali, often just bandali on the -interwebs. I wear a few different hats around GNU as a maintainer, -webmaster, and Savannah hacker, and I'm very excited to be extending -that to the Free Software Foundation (FSF) as an intern with the FSF -tech team for spring 2020.

- -

Growing up around parents with backgrounds in computer engineering -and programming, it did not take long for me to find an interest in -tinkering and playing with computers as a kid, and I first came into -contact with GNU/Linux in my teenage years. My first introduction to -the world of free software came a few years later, when a friend -kindly pointed out to me that what I had vaguely known and referred to -as "open source" software is more properly referred to as free -software, and helped me see -why -"open source" misses the point of free software. After learning -about and absorbing the ideas and ideals of free software, I have -since become a free software activist. As a computer scientist who -enjoys studying and hacking on various programs and sometimes writing -my own, I have made a point of releasing all I can under strong -copyleft licenses, particularly the -GNU AGPL -license.

- -

My involvement with the GNU -Project started in 2016, first as a volunteer webmaster, and later -as one of the maintainers of -GNUzilla and -IceCat late last year. Also around the same time, I led a group -of volunteers in organizing and holding -EmacsConf 2019 as a -completely online conference, using only free software tools, much -like the excellent -LibrePlanet -2020. I love GNU -Emacs, and use it more than any other program. GNU Emacs helps me -do a wide variety of tasks such as programming, reading and composing -emails, and chatting via IRC.

- -

More closely related to my internship with the FSF tech team, I -have been familiarizing myself with various pieces of the -GNU Savannah infrastructure -with help from veteran Savannah hacker Bob Proulx, gradually learning -and picking up tasks helping with the administration and maintenance -of Savannah. I am also a member of the Systems Committee of my -university's computer science club, overseeing and maintaining a large -fleet of GNU/Linux servers for our club members.

- -

For my internship with the Free Software Foundation, I will be -working with the FSF tech team on a number of tasks, including helping -with -the free -software forge project, as well as various improvements for -gnu.org. I look forward to learning many new things and picking up -valuable skills through my internship with the FSF's exceptional tech -team, who do so much for the GNU project and the wider free -software community.

- -

- - diff --git a/fsf-internship-intro.txt b/fsf-internship-intro.txt index 8c9658d..4ea77bc 100644 --- a/fsf-internship-intro.txt +++ b/fsf-internship-intro.txt @@ -1,6 +1,5 @@ Internship with the FSF tech team -by bandali on May 29, 2020 (2020-05-29) - +--------------------------------- Originally published on the Free Software Foundation's sysadmin blog: @@ -77,4 +76,4 @@ 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. -this file: https://bndl.org/fsf-internship-intro.txt +plain text: https://bndl.org/fsf-internship-intro.txt diff --git a/index.html b/index.html deleted file mode 100644 index 1888e27..0000000 --- a/index.html +++ /dev/null @@ -1,80 +0,0 @@ - - - - - - -bandali's personal site - - - - - - - - -

bandali's personal site

- - -

I am a free -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.

- -

notes

Here are notes and writings about topics or issues I care about, -which you can also read via Atom -or RSS feeds.

- -

LibrePlanet 2021: Jami and how it -empowers users (March 20, 2021)
My internship with the FSF -tech team and beyond (December 18, 2020)
Internship with the FSF tech -team (May 29, 2020)
How I do my Computing -(September 14, 2019)

- -

- - diff --git a/libreplanet-2021.html b/libreplanet-2021.html deleted file mode 100644 index 60bea1a..0000000 --- a/libreplanet-2021.html +++ /dev/null @@ -1,137 +0,0 @@ - - - - - - -LibrePlanet 2021: Jami and how it empowers users — bandali - - - - - - -

LibrePlanet 2021: Jami and how it empowers users

by bandali -on March 20, 2021 (last update: March 21, 2021) -(also in plain text)

- -

I am giving my very first -LibrePlanet talk today on -March 20th. I will be talking about -Jami, the GNU package for universal -communication that respects the freedoms and privacy of its users. -I'll be giving an introduction to Jami and its architecture, sharing -important and exciting development news from the Jami team about -rendezvous -points, JAMS, -the plugin SDK, -Swarm -chats, and more; and how these features each help empower users to -communicate with their loved ones without sacrificing their privacy or -freedom.

- -

Here is the abstract for my talk, also available on the -LibrePlanet -2021's speakers page: - -

-
Jami is free software for universal communication that respects the -freedoms and privacy of its users. Jami is an official GNU package -with a main goal of providing a framework for virtual communications, -along with a series of end-user applications for audio/video calling -and conferencing, text messaging, and file transfer.
- -
With the outbreak of the COVID-19 pandemic, working from home has -become the norm for many workers around the world. More and more -people are using videoconferencing tools to work or communicate with -their loved ones. The emergence of these tools has been followed by -many questions and scandals concerning the privacy and freedom of -users.
- -
This talk gives an introduction to Jami, a free/libre, truly -distributed, and peer-to-peer solution, and explains why and how it -differs from all other existing solutions and how it empowers -users.
-

- -

I have been an attendee of LibrePlanet for some years, and am very -excited to be giving my first ever talk at LibrePlanet 2021 this year! -You can watch my talk and other speakers' talks live this weekend, -from the LibrePlanet 2021 -- Live page. Attendance is gratis (no cost), and you can register -at https://u.fsf.org/lp21-sp.

- -

Presentation slides: -pdf -(with notes) | -bib
- -L^aT_eX sources: -tar.gz | -zip

- -

I hope to see you around this year's all-online LibrePlanet -conference this weekend!

- -

LibrePlanet is a conference about software freedom, -happening March 20 through 21, 2021. The event is hosted by the Free -Software Foundation (FSF), and brings together software developers, -law and policy experts, activists, students, and computer users to -learn skills, celebrate free software accomplishments, and face -upcoming challenges. Newcomers are always welcome, and LibrePlanet -2021 will feature programming for all ages and experience levels.

- -

- - diff --git a/libreplanet-2021.txt b/libreplanet-2021.txt index 1eac211..ebece7c 100644 --- a/libreplanet-2021.txt +++ b/libreplanet-2021.txt @@ -1,6 +1,5 @@ LibrePlanet 2021: Jami and how it empowers users -by bandali on March 20, 2021 (2021-03-20) - +------------------------------------------------ I am giving my very first LibrePlanet[1] talk today on March 20th. I will be talking about Jami[2], the GNU package for universal @@ -78,4 +77,4 @@ 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. -this file: https://bndl.org/libreplanet-2021.txt +plain text: https://bndl.org/libreplanet-2021.txt diff --git a/mmath.html b/mmath.html deleted file mode 100644 index 1c7fc59..0000000 --- a/mmath.html +++ /dev/null @@ -1,172 +0,0 @@ - - - - - - -master of mathematics — bandali - - - - - -

bandali's master of mathematics

- -

I graduated from the University of Waterloo with the degree of -Master of Mathematics in Computer Science in Spring 2020. My research -at the Waterloo Formal Methods -group focused on formal logic, model checking, and verification; under -supervision of -Prof. Nancy Day.

- -

A Comprehensive Study of Declarative Modelling Languages

- - - -

Thesis

- -

Reference version: -pdf | -bib
- -L^aT_eX sources: -tar.gz | -zip

- -

Abstract

-
Declarative behavioural modelling is a powerful modelling paradigm -that enables users to model system functionality abstractly and -formally. An abstract model is a concise and compact representation -of key characteristics of a system, and enables the stakeholders to -reason about the correctness of the system in the early stages of -development.
- -
There are many different declarative languages and they have -greatly varying constructs for representing a transition system, and -they sometimes differ in rather subtle ways. In this thesis, we -compare seven formal declarative modelling languages B, Event-B, -Alloy, Dash, TLA⁺, PlusCal, and AsmetaL on several -criteria. We classify these criteria under three main categories: -structuring transition systems (control modelling), data descriptions -in transition systems (data modelling), and modularity aspects of -modelling. We developed this comparison by completing a set of case -studies across the data- vs. control-oriented spectrum in all of the -above languages.
- -
Structurally, a transition system is comprised of a snapshot -declaration and snapshot space, initialization, and a transition -relation, which is potentially composed of individual transitions. -We meticulously outline the differences between the languages with -respect to how the modeller would express each of the above components -of a transition system in each language, and include discussions -regarding stuttering and inconsistencies in the transition relation. -Data-related aspects of a formal model include use of basic and -composite datatypes, well-formedness and typechecking, and separation -of name spaces with respect to global and local variables. Modularity -criteria includes subtransition systems and data decomposition. -We employ a series of small and concise exemplars we have devised to -highlight these differences in each language. To help modellers -answer the important question of which declarative modelling language -may be most suited for modelling their system, we present -recommendations based on our observations about the differentiating -characteristics of each of these languages.
-

- -

License

-This thesis is free software: you can redistribute it and/or modify
-it under the terms of the GNU General Public License as published by
-the Free Software Foundation, either version 3 of the License, or
-(at your option) any later version.
-
-This thesis is distributed in the hope that it will be useful,
-but WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-GNU General Public License for more details.
-
-You should have received a copy of the GNU General Public License
-along with this thesis.  If not, see <https://www.gnu.org/licenses/>.
-

- -

A copy of the GNU General Public License is available from the -COPYING file included in both of -the L^aT_eX source -archives linked above.

- -

Presentation

- -

Reference version: -pdf (coming soon)
-L^aT_eX sources: -tar.gz | zip (coming soon)

- -

This is the presentation I delivered to my supervisor and the -second readers of my thesis on Jun 30, 2020, as -announced -on the Cheriton School of Computer Science website.

- -

Models

- -

Reference version: -tar.gz | zip (coming soon)

- -

- - diff --git a/projects.html b/projects.html deleted file mode 100644 index 0ec9997..0000000 --- a/projects.html +++ /dev/null @@ -1,38 +0,0 @@ - - - - - - -projects — bandali - - - - - -

bandali's projects

This page used to contain a list of some of the free software -projects I had started or contributed to at some point, but it started -to get a bit unwieldy and frequently out-of-date, so I decided to -retire it.

- -

I'll instead directly refer you to -my public git -repositories and -my Savannah -profile.

- - diff --git a/se212-f19.html b/se212-f19.html index 86e7c48..e257deb 100644 --- a/se212-f19.html +++ b/se212-f19.html @@ -5,14 +5,11 @@ SE 212 Material — bandali - - \n" + : '', + '

', $txt, '

'); +STDOUT->flush; -- 2.20.1

404