From: Amin Bandali Date: Sun, 10 Oct 2021 01:45:06 +0000 (-0400) Subject: transition to a simple txt-based setup, plus txt2html X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/d3adcff4a931922ad5ee52154cf78a7a339835cf?hp=641c730d6b295762bd1b74ecdd9483f39a851d76 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. --- 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.

- -
-
-Copyright © 2019, 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.

-
- - 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

- - - -

Summary of Qualifications

- - - -

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 -BibTeX 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 LaTeX -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, LaTeX, 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 @@ - - - - - - -چگونه از رایانه استفاده می‌کنم — بندعلی - - - - - - -

چگونه از رایانه استفاده می‌کنم

-

نوشتهٔ بندعلی در ۱۴ -سپتامبر ۲۰۱۹ (آخرین به‌روزرسانی: ۲۸ فوریه ۲۰۲۱) (همچنین -در متن ساده)

- -

با الهام از -صفحهٔ استالمن -در این باره

- -

رایانه‌ها

-

لپ‌تاپ ThinkPad X200 لیبره‌بوت -شده‌ام رایانه ایست که اکثر مواقع از آن استفاده می‌کنم. همچنین از -طریق باشگاه علوم رایانه -دانشگاه‌مان به تعدادی سرور دسترسی دارم که هر از گاهی ازشان برای کارهای -محاسباتی سنگین‌تر استفاده می‌کنم. به غیر از این‌ها یک Dell XPS 15 و -ThinkPad X220T نیز دارم که کمتر ازشان استفاده می‌کنم.

- -

توزیع گنو/لینوکس

-

در طول سالیان از طیف مختلفی از توزیع‌های گنو/لینوکس استفاده کرده‌ام، -اما پس از پیدا کردن تریسکل و -استفاده از آن در سال‌های اخیر، به عنوان توزیع مورد علاقه‌ام در بیشتر -جاها ازش استفاده می‌کنم. گاهی اوقات -با گنو گیکس ترکیبش می‌کنم. -برای هسته سیستم عامل هم معمولا -از گنو -لینوکس-لیبره از مخزن -APT اداره شده توسط jxself استفاده می‌کنم.

- -

کارهای پردازشی و محاسباتی

-

بیشتر وقتم را در گنو -ایمکس می‌گذارنم و برای بسیاری کارهای مختلف از آن استفاده می‌کنم.

-

TODO: توضیح بیشتر

- -

به‌روزرسانی این سایت

-

صفحات این سایت با استفاده از گنو ایمکس و به صورت دستی با HTML ساده -نوشته شده‌اند. با اجرای دستور git clone -https://bndl.org در یک ترمینال می‌توانید مخرن گیت شامل تمامی -صفحات این سایت و تاریخچهٔ تغییرات آن‌ها را دریافت کنید.

- -
-
-Copyright © 2019, 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.

- -

رونوشت و توزیع این پرونده، با یا بدون تغییر، در سراسر دنیا بدون حق -امتیاز و در هر رسانه‌ای مجاز است، به شرطی که این اعلان و اعلان حق تکثیر -حفظ شود. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه -می‌شود.

-
- - 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 @@ - - - - - - -اطلاعات تماس — بندعلی - - - - - -

اطلاعات تماس بندعلی

- -

بهترین راه تماس با من ارسال رایانامه (ایمیل) به نشانی -bandali@gnu.org است. برای مکاتبهٔ امن با من می‌توانید -از کلید عمومی من برای رمزنگاری -پیام‌تان استفاده کنید. اثر انگشت (fingerprint) این کلید -BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103 است. -برای یادگیری چگونگی رمزنگاری رایانامه می‌توانید به -راهنمای محافظت از ایمیل -شخصی تهیه شده توسط بنیاد نرم‌افزار آزاد مراجعه کنید.

- -

به غیر از رایانامه می‌توانید با من از طریق برخی شبکه‌های آی‌آر‌سی (IRC) -تماس بگیرید. برای این کار، به حساب bandali در -شبکه‌های libera -و oftc پیغام بفرستید. برای دیگر -راه‌های ارتباطی، لطفا ابتدا از طریق نشانی رایانامه بالا با من تماس -بگیرید تا در صورت لزوم راه مناسب دیگری پیدا کنیم.

- - 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

- -

سلام! -من امین -بندعلی هستم و این دومین پست من در وبلاگ مدیر سامانه FSF در انتهای -کارآموزیم است.

- -

در طول کارآموزیم با FSF، عمدتا در وظایف مدیریت سامانه‌ای مربوط به -راه‌اندازی و یا مدیریت سرورهای گنو/لینوکس FSF کار کردم. شاید قابل توجه -ترین کارم در طول این کارآموزی راه‌اندازی یک -سرور سورس‌هات -برای کمک -به ارزیابی -آن به عنوان یک کاندید -برای پروژهٔ میزبانی نرم‌افزار آزاد FSF است. من -مراحل نصب و راه‌اندازی اجزای مختلف سورس‌هات را به صورت -یک پروندهٔ ادیبانه -اُرگ-مُد گنو ایمکس مستندسازی کردم، که در آن بلوک‌های کد با توضیحات -لازم همراهی شده‌اند. در این صورت خوانندهٔ پرونده می‌تواند به مرور هر -بلوک کد را ارزیابی -و اجرا کند و به طور اختیاری نتایج آن‌ها را -در همان پرونده برای مستندسازی ذخیره کند.

- -

من همچنین به آهستگی مشغول کار بر تغییرات مختلف برای بهبود سروری که -www.gnu.org روی آن اجرا می‌شود بوده‌ام، و بعد از اتمام کارآموزیم نیز به -طور داوطلبانه به آن ادامه خواهم داد. امیدوارم این بهبودها برای مدیران -سامانه FSF که مدیریت آن سرور را بر عهده دارند، برای وب‌مسترهای گنو که -روی gnu.org کار می‌کنند، و برای عوام مردم که صفحات gnu.org را مرور کرده -یا می‌خوانند مفید واقع شوند. به ویژه این تغییرات شامل ارتقای سبستم‌عامل -سرور به آخرین نسخهٔ توزیع گنو/لینوکس تریسکل و بازسازی و بهبود مکانیزم -جستجوی صفحات gnu.org می‌شوند. علاوه بر این، چند پروژهٔ دیگر نیز هستند -که تمایل دارم در آیندهٔ نزدیک با تیم فنی FSF به انجام برسانم.

- -

در طول کارآموزیم با تیم فنی FSF، انواع گوناگونی مهارت‌های جدید کسب -کرده و درمورد مجموعه‌ی متنوعی از موضوعات و ابزارهای مختلف مربوط به -مدیریت سامانه سرورهای گنو/لینوکسی یاد گرفتم. این شامل کامپایل/ساخت و -نصب نرم‌افزار پیچیده‌ای مثل سورس‌هات و رفع‌اشکال مسائلی که به آن‌ها -برخوردم، استفاده از Ansible برای مدیریت و استقرار (deploy) زیرساخت‌های -نرم‌افزاری، و یادگیری -دربارهٔ عامل انتقال پیام -Exim که FSF بر روی سرورهای دریافت و ارسال رایانامه‌های خود از آن -استفاده می‌کند می‌شود.

- -

در انتهای کارآموزیم و سال ۲۰۲۰، می‌توان گفت امسال سال…جالب و -پراتقافی برای بیشتر مردم، از جمله خودم، بوده است. من کارآموزیم را در -آخرین ماه مه شروع کردم، و به عنوان یک دانشجوی کارشناسی ارشد، انتظار -داشتم یک بار کاری معقول و متعادل برای کارم روی پایان‌نامه‌ام در ماه‌های -آتی داشته‌باشم. اما کمتر از دو هفته پس از شروع کارآموزیم متوجه شدم که -به چند دلیل مجبورم که دورهٔ کارشناسی ارشدم را در عرض دو ماه به پایان -برسانم. این مسئله را به اطلاع تیم فنی FSF رساندم و اجازه گرفتم تا یک -وقفه در کارآموزیم بگذارم تا بتوانم پایان‌نامه‌ام را بدون لطمه به -کارآموزی یا تحصیلاتم به اتمام برسانم. عمیقا قدردان تیم فنی و سایر -کارمندان FSF هستم که با انعطاف فراوان به من اجازه دادند تا موقتا -کارآموزیم را متوقف کنم تا روی تکمیل پایان‌نامه‌ام و اتمام دوره کارشناسی -ارشدم تمرکز کنم. خوشبختانه با زحمت و مشقت فراوان موفق شدم درسم را در -آن بازهٔ زمانی فوق‌العاده کوتاه تمام کرده و پس از آن به انجام کارآموزیم -بپردازم.

- -

با این حال، تمام چیزهای خوب در نهایت به پایان می‌رسند، از جمله این -کارآموزی. از صمیم قلبم از اعضای تیم فنی FSF -- ایان و اندرو و روبن و -مایکل -- برای پذیرش و استقبال از من در تیم به عنوان یک کارآموز، -راهنمایی و پاسخ دادن به پرسش‌های فراوانم و کمک به یادگیری بیشترم -سپاس‌گذارم. کار کردن در کنار شما و دیدن انرژی و همتی که صرف کار و -مسئولیت‌هایتان به عنوان یک مدیر سامانه و توسعه‌دهندهٔ وب FSF می‌کنید برای -من یک افتخار و تجربهٔ فوق‌العاده بوده است. در حالی که بیشتر ارتباطات من -با اعضای تیم فنی FSF بوده است، من فرصت تعامل با اعضای دیگر تیم‌های FSF -را نیز در طول کارآموزیم داشتم و بابت گفتگوهایمان و فرصت یادگیری دربارهٔ -کارها و وظایف پراهمیتتان و تخصیصتان به انجامشان سپاس‌گذارم.

- -

این کارآموزی به پایان رسیده، اما همه خاطرات خوب و درس‌هایی که در طول -کارآموزیم یاد گرفتم را همیشه با خود خواهم داشت و مشتاقانه به عنوان یک -داوطلب به همکاری با شما ادامه خواهم داد. مطالبی که در طول کارآموزیم -یادگرفته و تجربه‌هایی که کسب کردم در شغل جدیدم به عنوان یک مشاور -نرم‌افزار آزاد در شرکت Savoir-faire Linux برایم بسیار با ارزش و مفید -واقع شده‌اند. در Savoir-faire Linux روی اجزا و قسمت‌های مختلف جمی -— یک برنامهٔ گنو برای ارتباطات جامع که به آزادی‌ها و حریم خصوصی -کاربرانش احترام می‌گذارد — کار می‌کنم. - -

دوست دارم از FSF برای فرصت عالی کار کردن در کنار تیم فنی FSF به -عنوان یک کارآموز قدردانی کنم، که تجربه‌ی عالی و به یاد ماندنی‌ای بود و -درس‌هایی ارزشمند و خاطرات خوب به من هدیه داد.

- -

علاقه‌مند به کارآموزی برای بنیاد نرم‌افزار آزاد هستید؟ -دورهٔ درخواست کارآموزی بهار ۲۰۲۱ در حال حاضر باز است. صفحهٔ -https://www.fsf.org/volunteer/internships -را برای اطلاعات بیشتر در مورد درخواست کارآموزی ببینید!

- -
-
-Copyright © 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.

- -

رونوشت و توزیع این پرونده، با یا بدون تغییر، در سراسر دنیا بدون حق -امتیاز و در هر رسانه‌ای مجاز است، به شرطی که این اعلان و اعلان حق تکثیر -حفظ شود. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه -می‌شود.

-
- - 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

- -

سلام، امین بندعلی هستم و معمولا از نام کاربری bandali -در اینترنت استفاده می‌کنم. در پروژهٔ گنو به عنوان -یک سرپرست و وب‌مستر و مدیر سامانه -ساوانا فعالیت می‌کنم، و خرسندم که مشارکتم در زمینهٔ نرم‌افزار آزاد را به -بنیاد نرم‌افزار آزاد یا همان FSF (مخفف Free Software Foundation) به -عنوان یک کارآموز تیم فنی FSF در بهار ۲۰۲۰ گسترش دهم.

- -

به واسطهٔ ارتباط کار والدینم با رایانه‌ها به عنوان دو مهندس و -برنامه‌نویس رایانه، از کودکی به بازی و کار با رایانه‌ها علاقه‌مند شدم و -بعدها برای اولین بار در اوایل نوجوانی با گنو/لینوکس آشنا شدم. البته -اولین آشنایی من با دنیای نرم‌افزارهای آزاد هنگامی اتفاق افتاد که چند -سال بعد یکی از دوستان مجازیم به من اشاره کرد که چیزی که به طور مبهم‌وار -به عنوان نرم‌افزار «متن باز» می‌شناختم بهتر است که با عنوان «نرم‌افزار -آزاد» از آن یاد شود، و این دوست عزیز به من کمک کرد متوجه شوم -که چرا -متن‌باز هدف اصلی نرم‌افزار آزاد را برآورده نمی‌کند. پس از یادگیری و -خو گرفتن با ایده‌ها و ایده‌آل‌های نرم‌افزار آزاد، به مرور شروع به فعالیت -در عرصهٔ نرم‌افزار آزاد کردم. به عنوان یک علاقه‌مند و محصل در شاخهٔ علوم -رایانه که از مطالعه و دستکاری کد متن برنامه‌های مختلف لذت می‌برد و هر از -گاهی برنامه‌های خودش را می‌نویسد، تا می‌توانم کدم را تحت مجوزهای کپی‌لفت -قوی مثل GNU AGPL -منتشر می‌کنم.

- -

مشارکت من در پروژهٔ -گنو ابتدا در سال ۲۰۱۶ به عنوان یک وب‌مستر داوطلب آغاز شد، و بعدا از -آخر سال گذشتهٔ میلادی به عنوان یکی از -سرپرستان گنوزیلا و -آیس‌کت. تقریبا در همان زمان، من گروهی از داوطلبان را برای -سازمان‌دهی و برگذاری EmacsConf -2019 به عنوان یک کنفرانس مجازی و تماما با استفاده از نرم‌افزارهای -آزاد (همانند کنفرانس -عالی LibrePlanet -2020) سرپرستی کردم. من -بسیار گنو ایمکس را -دوست دارم و بیش از هر نرم‌افزار دیگری از آن استفاده می‌کنم. گنو ایمکس -به من در انجام کارهای متنوعی مانند برنامه نویسی و خواندن و نوشتن -رایانامه و چت از طریق IRC کمک می‌کند.

- -

در جهت کارآموزیم با تیم فنی FSF، اخیرا با -کمک باب پرو، یک مدیر سامانه -خبرهٔ گنو ساوانا، خودم را با -اجزای مختلف زیرساخت آن و برخی وظایف مدیریتی و سرپرستی ساوانا آشنا کرده -و به تدریج بر عهده گرفتم. من همچنین یکی از اعضای کمیته سیستم‌های -باشگاه علوم رایانه دانشگاه‌مان هستم، که نظارت و سرپرستی گروه بزرگی -سرورهای گنو/لینوکس برای اعضای باشگاه را بر عهده دارد.

- -

برای کارآموزیم با تیم فنی FSF، با اعضای تیم روی چند کار و پروژهٔ -مختلف کار خواهم‌کرد، از جمله کمک به پیشبرد -پروژهٔ میزبان نرم‌افزار آزاد و چندین تغییر و -بهبود مختلف برای gnu.org. مشتاقانه به استقبال یادگیری نکات جدید و کسب -مهارت‌های ارزشمند به واسطهٔ کارآموزیم با تیم فنی فوق‌العادهٔ FSF می‌روم، که -زحمات بسیاری برای پروژهٔ گنو و جامعهٔ بزرگتر نرم‌افزار آزاد می‌کشند.

- -
-
-Copyright © 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.

- -

رونوشت و توزیع این پرونده، با یا بدون تغییر، در سراسر دنیا بدون حق -امتیاز و در هر رسانه‌ای مجاز است، به شرطی که این اعلان و اعلان حق تکثیر -حفظ شود. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه -می‌شود.

-
- - 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 @@ - - - - - - -سایت شخصی بندعلی - - - - - - - - -

سایت شخصی بندعلی

- - -

من یک -فعال نرم‌افزار -آزاد و کارشناس ارشد علوم رایانه هستم. -به عنوان یک عضو پروژهٔ گنو، سرپرستی -نرم‌افزارهای جمی -و گنو آیس‌کت را بر -عهده دارم و همچنین در توسعهٔ تعداد دیگری از برنامه‌ها و بخش‌های گنو -مثل ایمکس -و ساوانا مشارکت می‌کنم.

- -

نوشته‌ها

-

در اینجا می‌توانید برخی یادداشت‌ها و نوشته‌هایم در رابطه با موضوعات -مورد علاقه‌ام یا مسائلی که برایم مهم هستند را بخوانید. این نوشته‌ها -همچنین از طریق خوراک‌های اتم -و آر‌اس‌اس در دسترس هستند.

- - - -
-
-Copyright © 2012–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.

- -

رونوشت و توزیع این پرونده، با یا بدون تغییر، در سراسر دنیا بدون حق -امتیاز و در هر رسانه‌ای مجاز است، به شرطی که این اعلان و اعلان حق تکثیر -حفظ شود. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه -می‌شود.

-
- - 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!

- -
-
-Copyright © 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.

-
- - 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.

- -
-
-Copyright © 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.

-
- - 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.

- - - -
-
-Copyright © 2012–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.

-
- - 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
- -LaTeX 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.

- -
-
-Copyright © 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.

-
- - 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
- -LaTeX 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 LaTeX source -archives linked above.

- -

Presentation

- -

Reference version: -pdf (coming soon)
-LaTeX 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)

- -
-
-Copyright © 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.

-
- - 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;