From 7808cfc75162b31f8a0a3fa6c462bea40c82d360 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Thu, 4 Nov 2021 19:00:17 -0400 Subject: [PATCH] switch back to hand-written html and feeds also planning to use extension-less urls along with apache httpd's mod_negotiation module for 'Content Negotiation' to serve the right variant (e.g. html vs txt) of the files, based on client's indicated preferences using the Accept header, and perhaps User-Agent as well. --- .gitignore | 3 - 2020/05/29/fsf-internship-intro.html | 96 +++++ .../05/29/fsf-internship-intro.txt | 2 +- 2020/12/18/fsf-internship-beyond.html | 126 ++++++ .../12/18/fsf-internship-beyond.txt | 2 +- 2021/03/20/libreplanet-2021.html | 105 +++++ .../03/20/libreplanet-2021.txt | 2 +- 404.html | 20 + 404.txt | 2 +- GNUmakefile | 63 --- bandali-computing.txt | 13 - bandali-cv.txt | 22 +- bandali-projects.txt | 10 +- bandali.txt | 16 +- computing.html | 60 +++ contact.html | 33 ++ cv.html | 372 ++++++++++++++++++ .../05/29}/fsf-internship-intro.fa.txt | 0 fa/2020/05/29/fsf-internship-intro.html | 106 +++++ .../12/18}/fsf-internship-beyond.fa.txt | 0 fa/2020/12/18/fsf-internship-beyond.html | 139 +++++++ fa/404.html | 28 ++ fa/bandali-computing.fa.txt | 14 - fa/bandali.fa.txt | 19 +- fa/computing.html | 74 ++++ fa/contact.html | 43 ++ fa/index.html | 79 ++++ fa/notes.atom | 235 +++++++++++ fa/notes.rss | 239 +++++++++++ fa/projects.html | 34 ++ index.html | 65 +++ mmath.html | 144 +++++++ notes.atom | 310 +++++++++++++++ notes.rss | 314 +++++++++++++++ projects.html | 27 ++ txt2pre | 5 +- 36 files changed, 2688 insertions(+), 134 deletions(-) delete mode 100644 .gitignore create mode 100644 2020/05/29/fsf-internship-intro.html rename fsf-internship-intro.txt => 2020/05/29/fsf-internship-intro.txt (98%) create mode 100644 2020/12/18/fsf-internship-beyond.html rename fsf-internship-beyond.txt => 2020/12/18/fsf-internship-beyond.txt (98%) create mode 100644 2021/03/20/libreplanet-2021.html rename libreplanet-2021.txt => 2021/03/20/libreplanet-2021.txt (98%) create mode 100644 404.html delete mode 100644 GNUmakefile create mode 100644 computing.html create mode 100644 contact.html create mode 100644 cv.html rename fa/{ => 2020/05/29}/fsf-internship-intro.fa.txt (100%) create mode 100644 fa/2020/05/29/fsf-internship-intro.html rename fa/{ => 2020/12/18}/fsf-internship-beyond.fa.txt (100%) create mode 100644 fa/2020/12/18/fsf-internship-beyond.html create mode 100644 fa/404.html create mode 100644 fa/computing.html create mode 100644 fa/contact.html create mode 100644 fa/index.html create mode 100644 fa/notes.atom create mode 100644 fa/notes.rss create mode 100644 fa/projects.html create mode 100644 index.html create mode 100644 mmath.html create mode 100644 notes.atom create mode 100644 notes.rss create mode 100644 projects.html diff --git a/.gitignore b/.gitignore deleted file mode 100644 index d872455..0000000 --- a/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -*.html -*.atom -*.rss diff --git a/2020/05/29/fsf-internship-intro.html b/2020/05/29/fsf-internship-intro.html new file mode 100644 index 0000000..7273e01 --- /dev/null +++ b/2020/05/29/fsf-internship-intro.html @@ -0,0 +1,96 @@ + + + + +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/2020/05/29/fsf-internship-intro.txt similarity index 98% rename from fsf-internship-intro.txt rename to 2020/05/29/fsf-internship-intro.txt index afba902..ee6ebe2 100644 --- a/fsf-internship-intro.txt +++ b/2020/05/29/fsf-internship-intro.txt @@ -77,4 +77,4 @@ notice and this notice are preserved. This file is offered as-is, without any warranty. published: 2020-05-29 -plain text: https://bndl.org/fsf-internship-intro.txt +plain text: https://bndl.org/2020/05/29/fsf-internship-intro.txt diff --git a/2020/12/18/fsf-internship-beyond.html b/2020/12/18/fsf-internship-beyond.html new file mode 100644 index 0000000..25b5c81 --- /dev/null +++ b/2020/12/18/fsf-internship-beyond.html @@ -0,0 +1,126 @@ + + + + +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/2020/12/18/fsf-internship-beyond.txt similarity index 98% rename from fsf-internship-beyond.txt rename to 2020/12/18/fsf-internship-beyond.txt index cc140db..73c05b8 100644 --- a/fsf-internship-beyond.txt +++ b/2020/12/18/fsf-internship-beyond.txt @@ -111,4 +111,4 @@ notice and this notice are preserved. This file is offered as-is, without any warranty. published: 2020-12-18 -plain text: https://bndl.org/fsf-internship-beyond.txt +plain text: https://bndl.org/2020/12/18/fsf-internship-beyond.txt diff --git a/2021/03/20/libreplanet-2021.html b/2021/03/20/libreplanet-2021.html new file mode 100644 index 0000000..f95de4a --- /dev/null +++ b/2021/03/20/libreplanet-2021.html @@ -0,0 +1,105 @@ + + + + +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/2021/03/20/libreplanet-2021.txt similarity index 98% rename from libreplanet-2021.txt rename to 2021/03/20/libreplanet-2021.txt index 2bca77e..af45d83 100644 --- a/libreplanet-2021.txt +++ b/2021/03/20/libreplanet-2021.txt @@ -79,4 +79,4 @@ without any warranty. updated: 2021-03-21 published: 2021-03-20 -plain text: https://bndl.org/libreplanet-2021.txt +plain text: https://bndl.org/2021/03/20/libreplanet-2021.txt diff --git a/404.html b/404.html new file mode 100644 index 0000000..d0188cd --- /dev/null +++ b/404.html @@ -0,0 +1,20 @@ + + + + +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 ea5f09f..20cff50 100644 --- a/404.txt +++ b/404.txt @@ -6,4 +6,4 @@ 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 -[2] https://bndl.org/contact.html +[2] https://bndl.org/contact diff --git a/GNUmakefile b/GNUmakefile deleted file mode 100644 index 24e9f9f..0000000 --- a/GNUmakefile +++ /dev/null @@ -1,63 +0,0 @@ -# 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 txt2pre $(1) < $< > $@ -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)) -FEEDS := notes.atom notes.rss -NOTES := $\ -libreplanet-2021.txt $\ -fsf-internship-beyond.txt $\ -fsf-internship-intro.txt $\ -bandali-computing.txt $\ - -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)) -FEEDS_FA := fa/notes.atom fa/notes.rss -NOTES_FA := $\ -fa/fsf-internship-beyond.fa.txt $\ -fa/fsf-internship-intro.fa.txt $\ -fa/bandali-computing.fa.txt $\ - -all: $(OUT) $(FEEDS) index.html $(OUT_FA) $(FEEDS_FA) fa/index.html - -%.html: bandali-%.txt txt2pre; $(gen) -%.html: %.txt txt2pre; $(gen) -index.html: bandali.txt txt2pre; $(call gen,--index) -notes.%: $(NOTES) txt2pre - perl txt2pre --index --header --format='$*' > $@ - for n in $(NOTES); do perl txt2pre --format='$*' < "$$n" >> $@; done - perl txt2pre --index --footer --format='$*' >> $@ - -fa/%.html: fa/bandali-%.fa.txt txt2pre; $(call gen,--lang='fa') -fa/%.html: fa/%.fa.txt txt2pre; $(call gen,--lang='fa') -fa/index.html: fa/bandali.fa.txt txt2pre; $(call gen,--lang='fa' --index) -fa/notes.%: $(NOTES_FA) txt2pre - perl txt2pre --lang='fa' --index --header --format='$*' > $@ - for n in $(NOTES_FA); do perl txt2pre --lang='fa' --format='$*' < "$$n" >> $@; done - perl txt2pre --lang='fa' --index --footer --format='$*' >> $@ - - -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 txt2pre | tr " " "\n" | entr -d make; done - -.PHONY: all clean serve watch diff --git a/bandali-computing.txt b/bandali-computing.txt index 26475bd..36ae128 100644 --- a/bandali-computing.txt +++ b/bandali-computing.txt @@ -40,18 +40,6 @@ ACTUAL COMPUTING TODO: elaborate -MAINTAINING THIS SITE - - The pages of this site are all written in plain text and composed in - GNU Emacs. They are then automatically converted to output markups - such as HTML with minimal changes -- mostly linkifying URLs -- on - each git push using a server-side git post-receive hook that runs - `make' -- see https://bndl.org/GNUmakefile -- which ultimately runs - this nifty Perl script: https://bndl.org/txt2pre. To get the git - repository containing all of the pages and their history of changes, - you can run git clone https://bndl.org in a terminal. - - -*- Copyright (c) 2019, 2020, 2021 bandali @@ -63,4 +51,3 @@ without any warranty. updated: 2021-02-28 published: 2019-09-14 -plain text: https://bndl.org/bandali-computing.txt diff --git a/bandali-cv.txt b/bandali-cv.txt index ea13352..2195709 100644 --- a/bandali-cv.txt +++ b/bandali-cv.txt @@ -9,7 +9,7 @@ phone: available upon request via email this file: https://bndl.org/bandali-cv.txt - last update: 2021-08-31 + last update: 2021-10-30 ------------------------------------------ @@ -18,8 +18,8 @@ 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. + - Passionate about applying scientific and engineering methods in + design and implementation of software systems. - Using formal specification techniques to find specification-level bugs early in the design stage rather than implementation. @@ -41,8 +41,8 @@ SUMMARY OF QUALIFICATIONS EDUCATION - Master of Mathematics in Computer Science, University of Waterloo, - 2020 + Master of Mathematics in Computer Science, + University of Waterloo, 2020 Research focus: formal logic, model checking, verification @@ -53,8 +53,8 @@ EDUCATION GPA: 3.7/4.0 - Bachelor of Science with Honours in Computer Science, York - University, 2017 + Bachelor of Science with Honours in Computer Science, + York University, 2017 Favourite courses: System Specification & Refinement, Software Requirements @@ -97,7 +97,7 @@ PUBLICATIONS & PRESENTATIONS pdf: https://p.bndl.org/bandali-mmath-thesis.pdf hdl: https://hdl.handle.net/10012/16059 - http: https://bndl.org/mmath.html + http: https://bndl.org/mmath TALKS @@ -109,7 +109,7 @@ PUBLICATIONS & PRESENTATIONS slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf slides with notes: https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf - http: https://bndl.org/libreplanet-2021.html + http: https://bndl.org/libreplanet-2021 The Magic of Specifications and Type Systems @@ -142,7 +142,7 @@ WORK & RESEARCH EXPERIENCE I am part of the Jami core development team at Savoir-faire Linux, where I get to 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 + 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 @@ -171,7 +171,7 @@ WORK & RESEARCH EXPERIENCE CS 136 (Elementary Algorithm Design and Data Abstraction): TA in winter 2018 - [*]: Teaching Assistant (marking exams and assignments), + [*] Teaching Assistant (marking exams and assignments), Instructional Apprentice (holding tutorials and marking), Research Assistant (doing research for/with supervisor) diff --git a/bandali-projects.txt b/bandali-projects.txt index 37276aa..6aa0ed2 100644 --- a/bandali-projects.txt +++ b/bandali-projects.txt @@ -2,16 +2,12 @@ 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 had started or contributed to, but at some point it started to get +a bit unwieldy and was frequently out of date, so I decided to retire +it. I'll instead directly refer you to my public git repositories[1] and 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 8a10135..673de4f 100644 --- a/bandali.txt +++ b/bandali.txt @@ -14,19 +14,19 @@ NOTES 2021-03-20 LibrePlanet 2021: Jami and how it empowers users - https://bndl.org/libreplanet-2021.html + https://bndl.org/2020/03/30/libreplanet-2021 2020-12-18 My internship with the FSF tech team and beyond - https://bndl.org/fsf-internship-beyond.html + https://bndl.org/2020/12/18/fsf-internship-beyond 2020-05-29 Internship with the FSF tech team - https://bndl.org/fsf-internship-intro.html + https://bndl.org/2020/05/29/fsf-internship-intro 2019-09-14 How I do my Computing - https://bndl.org/computing.html + https://bndl.org/computing [*] also available via Atom and RSS feeds: https://bndl.org/notes.atom @@ -37,10 +37,10 @@ OTHER PAGES The following pages of bndl.org may be of interest: - https://bndl.org/projects.html - https://bndl.org/cv.html - https://bndl.org/contact.html - https://bndl.org/mmath.html + https://bndl.org/projects + https://bndl.org/cv + https://bndl.org/contact + https://bndl.org/mmath https://bndl.org/fa/ diff --git a/computing.html b/computing.html new file mode 100644 index 0000000..2e793e4 --- /dev/null +++ b/computing.html @@ -0,0 +1,60 @@ + + + + +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.

+ +

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

+ +
+

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 new file mode 100644 index 0000000..9719d8b --- /dev/null +++ b/contact.html @@ -0,0 +1,33 @@ + + + + +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 +encrypt your message using my public +key with the following 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 on +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 new file mode 100644 index 0000000..6c57ce9 --- /dev/null +++ b/cv.html @@ -0,0 +1,372 @@ + + + + +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 +BibTeX bibliography +file, bandali.bib.

+ +

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/fsf-internship-intro.fa.txt b/fa/2020/05/29/fsf-internship-intro.fa.txt similarity index 100% rename from fa/fsf-internship-intro.fa.txt rename to fa/2020/05/29/fsf-internship-intro.fa.txt diff --git a/fa/2020/05/29/fsf-internship-intro.html b/fa/2020/05/29/fsf-internship-intro.html new file mode 100644 index 0000000..f87b3df --- /dev/null +++ b/fa/2020/05/29/fsf-internship-intro.html @@ -0,0 +1,106 @@ + + + + +کارآموزی با تیم فنی بنیاد نرم‌افزار آزاد — بندعلی + + + + + + +

کارآموزی با تیم فنی بنیاد نرم‌افزار آزاد

+

نوشتهٔ بندعلی +در ۲۹ مه ۲۰۲۰ (همچنین +در متن ساده)

+ +

نسخهٔ +انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار آزاد +منتشر شد:
+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/fsf-internship-beyond.fa.txt b/fa/2020/12/18/fsf-internship-beyond.fa.txt similarity index 100% rename from fa/fsf-internship-beyond.fa.txt rename to fa/2020/12/18/fsf-internship-beyond.fa.txt diff --git a/fa/2020/12/18/fsf-internship-beyond.html b/fa/2020/12/18/fsf-internship-beyond.html new file mode 100644 index 0000000..a500690 --- /dev/null +++ b/fa/2020/12/18/fsf-internship-beyond.html @@ -0,0 +1,139 @@ + + + + +کارآموزی من با تیم فنی بنیاد نرم‌افزار آزاد و فراتر از آن — بندعلی + + + + + + +

کارآموزی من با تیم فنی بنیاد نرم‌افزار آزاد و فراتر از آن

+

نوشتهٔ بندعلی +در ۱۸ دسامبر ۲۰۲۰ (همچنین +در متن ساده)

+ +

نسخهٔ +انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار آزاد +منتشر شد:
+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/404.html b/fa/404.html new file mode 100644 index 0000000..368e580 --- /dev/null +++ b/fa/404.html @@ -0,0 +1,28 @@ + + + + +خطای Û´Û°Û´ - صفحه پیدا نشد — بندعلی + + + +

خطای ۴۰۴

+

متأسفم، صفحهٔ مورد نظر پیدا نشد. آیا آدرس صفحه درست است؟

+ +

اگر تمایل دارید به صفحهٔ اصلی +بروید یا در این باره با +بندعلی تماس بگیرید.

+ + diff --git a/fa/bandali-computing.fa.txt b/fa/bandali-computing.fa.txt index e801cc0..aac35ea 100644 --- a/fa/bandali-computing.fa.txt +++ b/fa/bandali-computing.fa.txt @@ -41,20 +41,6 @@ TODO: توضیح بیشتر -به‌روزرسانی این سایت - - تمام صفحات این سایت در متن ساده و با استفاده از گنو ایمکس نوشته - شده‌اند. این صفحات سپس به صورت اتوماتیک و با حداقل تغییرات به - فرمت‌های خروجی همانند HTML تبدیل می‌شوند. شروع این پروسه بر عهدهٔ یک - قلاب post-receive (پس از دریافت) گیت است که پس از ارسال دریافت هر - مجموعه تغییرات مخزن گیت روی سرور دستور «make» را اجرا می‌کند (برای - اطلاعات بیشتر پروندهٔ https://bndl.org/GNUmakefile را ببینید) که - نهایتا این برنامهٔ Perl را اجرا می‌کند: https://bndl.org/txt2pre. - برای دریافت مخزن گیت شامل تمامی صفحات سایت و تاریخچهٔ تغییراتشان - می‌توانید دستور git clone https://bndl.org را در یک ترمینال اجرا - کنید. - - -*- Copyright (c) 2019, 2020, 2021 bandali diff --git a/fa/bandali.fa.txt b/fa/bandali.fa.txt index 8509bbc..bd1ce1e 100644 --- a/fa/bandali.fa.txt +++ b/fa/bandali.fa.txt @@ -8,24 +8,23 @@ نوشته‌ها - در اینجا می‌توانید برخی یادداشت‌ها و نوشته‌هایم[*] در رابطه با موضوعات - مورد علاقه‌ام یا مسائلی که برایم مهم هستند را بخوانید: + یادداشت‌هایم[*] در رابطه با برخی موضوعات و مسائلی که برایم مهم هستند: Û²Û° مارس Û²Û°Û²Û± LibrePlanet 2021: جمی و اینکه چگونه به کاربران قدرت می‌بخشد (انگلیسی) - https://bndl.org/libreplanet-2021.html + https://bndl.org/2020/03/30/libreplanet-2021 Û±Û¸ دسامبر Û²Û°Û²Û° کارآموزی من با تیم فنی بنیاد نرم‌افزار آزاد و فراتر از آن - https://bndl.org/fa/fsf-internship-beyond.html + https://bndl.org/fa/2020/12/18/fsf-internship-beyond Û²Û¹ مه Û²Û°Û²Û° کارآموزی با تیم فنی بنیاد نرم‌افزار آزاد - https://bndl.org/fa/fsf-internship-intro.html + https://bndl.org/fa/2020/05/29/fsf-internship-intro Û±Û´ سپتامبر Û²Û°Û±Û¹ چگونه از رایانه استفاده می‌کنم - https://bndl.org/fa/computing.html + https://bndl.org/fa/computing [*] همچنین از طریق خوراک‌های اتم و آر‌اس‌اس: https://bndl.org/fa/notes.atom @@ -36,10 +35,10 @@ برخی صفحات دیگر bndl.org که ممکن است مورد توجه واقع‌شوند: - https://bndl.org/fa/projects.html - https://bndl.org/cv.html - https://bndl.org/fa/contact.html - https://bndl.org/mmath.html + https://bndl.org/fa/projects + https://bndl.org/cv + https://bndl.org/fa/contact + https://bndl.org/mmath https://bndl.org diff --git a/fa/computing.html b/fa/computing.html new file mode 100644 index 0000000..34d7a99 --- /dev/null +++ b/fa/computing.html @@ -0,0 +1,74 @@ + + + + +چگونه از رایانه استفاده می‌کنم — بندعلی + + + + + + +

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

+

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

+ +

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

+ +

رایانه‌ها

+

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

+ +

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

+

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

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

+

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

+ +

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

+ +
+

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 new file mode 100644 index 0000000..9e5f459 --- /dev/null +++ b/fa/contact.html @@ -0,0 +1,43 @@ + + + + +اطلاعات تماس — بندعلی + + + + + + +

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

+

بهترین راه تماس با من ارسال رایانامه (ایمیل) به نشانی +bandali@gnu.org است. برای مکاتبهٔ امن با من می‌توانید +از کلید عمومی من +با اثر انگشت (fingerprint) ذیل برای رمزنگاری پیام‌تان استفاده کنید:

+ +
BE62 7373 8E61 6D6D 1B3A  08E8 A21A 0202 4881 6103
+ +

برای یادگیری چگونگی رمزنگاری رایانامه می‌توانید به +راهنمای محافظت از ایمیل +شخصی تهیه شده توسط بنیاد نرم‌افزار آزاد مراجعه کنید.

+ +

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

+ + diff --git a/fa/index.html b/fa/index.html new file mode 100644 index 0000000..de39bd4 --- /dev/null +++ b/fa/index.html @@ -0,0 +1,79 @@ + + + + +سایت شخصی بندعلی + + + + + + + + +

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

+ + +

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

+ +

یادداشت‌ها

+

یادداشت‌هایم در رابطه با برخی موضوعات و مسائلی که برایم مهم +هستند:

+ + + +

این یادداشت‌ها همچنین از طریق خوراک‌های اتم +و آر‌اس‌اس در دسترس هستند.

+ +
+

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/notes.atom b/fa/notes.atom new file mode 100644 index 0000000..aed669d --- /dev/null +++ b/fa/notes.atom @@ -0,0 +1,235 @@ + + +سایت شخصی بندعلی +نوشته‌ها و بلاگ پست‌های بندعلی +tag:bndl.org,2020:fa/notes.atom + + + + + + + + +2021-10-22T03:49:09+00:00 + + +بندعلی +tag:bndl.org,2020:fa/notes.atom:fsf-internship-beyond +2020-12-18T00:00:00+00:00 +2020-12-18T00:00:00+00:00 + + + + +کارآموزی من با تیم فنی بنیاد نرم‌افزار آزاد و فراتر از آن — بندعلی +نسخهٔ +انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار آزاد +منتشر شد:
+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 +را برای اطلاعات بیشتر در مورد درخواست کارآموزی ببینید!

+]]> + + +بندعلی +tag:bndl.org,2020:fa/notes.atom:fsf-internship-intro +2020-05-29T00:00:00+00:00 +2020-05-29T00:00:00+00:00 + + + + +کارآموزی با تیم فنی بنیاد نرم‌افزار آزاد — بندعلی +نسخهٔ +انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار آزاد +منتشر شد:
+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 می‌روم، که زحمات بسیاری برای پروژهٔ گنو و جامعهٔ +بزرگتر نرم‌افزار آزاد می‌کشند.

+]]> + + +بندعلی +tag:bndl.org,2020:fa/notes.atom:computing +2019-09-14T00:00:00+00:00 +2021-02-28T00:00:00+00:00 + + + + +چگونه از رایانه استفاده می‌کنم — بندعلی +با الهام از +صفحهٔ استالمن +در این باره

+ +

رایانه‌ها

+

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

+ +

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

+

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

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

+

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

+ +

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

+]]> + diff --git a/fa/notes.rss b/fa/notes.rss new file mode 100644 index 0000000..06845f1 --- /dev/null +++ b/fa/notes.rss @@ -0,0 +1,239 @@ + + + +سایت شخصی بندعلی +نوشته‌ها و بلاگ پست‌های بندعلی +https://bndl.org/fa/ +fa +Fri, 22 Oct 2021 03:49:09 +0000 +Fri, 22 Oct 2021 03:49:09 +0000 +1800 + + + + + + + + + + +کارآموزی من با تیم فنی بنیاد نرم‌افزار آزاد و فراتر از آن — بندعلی +https://bndl.org/fa/2020/12/18/fsf-internship-beyond.html + + + + +tag:bndl.org,2020:fa/notes.rss:fsf-internship-beyond +Fri, 18 Dec 2020 00:00:00 +0000 +نسخهٔ +انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار آزاد +منتشر شد:
+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 +را برای اطلاعات بیشتر در مورد درخواست کارآموزی ببینید!

+]]> + + +کارآموزی با تیم فنی بنیاد نرم‌افزار آزاد — بندعلی +https://bndl.org/fa/2020/05/29/fsf-internship-intro.html + + + + +tag:bndl.org,2020:fa/notes.rss:fsf-internship-intro +Fri, 29 May 2020 00:00:00 +0000 +نسخهٔ +انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار آزاد +منتشر شد:
+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 می‌روم، که زحمات بسیاری برای پروژهٔ گنو و جامعهٔ +بزرگتر نرم‌افزار آزاد می‌کشند.

+]]> + + +چگونه از رایانه استفاده می‌کنم — بندعلی +https://bndl.org/fa/computing.html + + + + +tag:bndl.org,2020:fa/notes.rss:computing +Sat, 14 Sep 2019 00:00:00 +0000 +2021-02-28T00:00:00+00:00 +با الهام از +صفحهٔ استالمن +در این باره

+ +

رایانه‌ها

+

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

+ +

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

+

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

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

+

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

+ +

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

+]]> + diff --git a/fa/projects.html b/fa/projects.html new file mode 100644 index 0000000..7fa97b1 --- /dev/null +++ b/fa/projects.html @@ -0,0 +1,34 @@ + + + + +پروژه‌ها — بندعلی + + + + + + +

پروژه‌های بندعلی

+

در گذشته صفحهٔ پروژه‌هایم فهرستی از پروژه‌های نرم‌افزار آزادی که شروع +کرده یا در آن‌ها مشارکت کرده‌بودم داشت، اما به مرور بروز نگهداری فهرست +دشوارتر شد؛ لذا تصمیم به حذف آن گرفتم.

+ +

برای دیدن برخی از پروژه‌های خودم و دیگر پروژه‌هایی که در آن‌ها مشارکت +می‌کنم، به مخازن گیت من +و همچنین نمایهٔ +ساوانای من سری بزنید.

+ + diff --git a/index.html b/index.html new file mode 100644 index 0000000..fce13e9 --- /dev/null +++ b/index.html @@ -0,0 +1,65 @@ + + + + +bandali's personal site + + + + + + + + +

bandali's personal site

+ + +

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 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 about topics or issues I care about:

+ + + +

The notes are also available via Atom +and 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/mmath.html b/mmath.html new file mode 100644 index 0000000..b9dcbea --- /dev/null +++ b/mmath.html @@ -0,0 +1,144 @@ + + + + +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

+ +

Jump to: +thesis | +presentation | +models

+ +

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/notes.atom b/notes.atom new file mode 100644 index 0000000..f4e1b56 --- /dev/null +++ b/notes.atom @@ -0,0 +1,310 @@ + + +bandali's personal site +notes and blog posts by bandali +tag:bndl.org,2020:notes.atom + + + + + + + + +2021-10-22T03:49:09+00:00 + + +bandali +tag:bndl.org,2020:notes.atom:libreplanet-2021 +2021-03-20T00:00:00+00:00 +2021-03-21T00:00:00+00:00 + + +LibrePlanet 2021: Jami and how it empowers users — bandali +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.

+]]> + + +bandali +tag:bndl.org,2020:notes.atom:fsf-internship-beyond +2020-12-18T00:00:00+00:00 +2020-12-18T00:00:00+00:00 + + + + +My internship with the FSF tech team and beyond — bandali +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!

+]]> + + +bandali +tag:bndl.org,2020:notes.atom:fsf-internship-intro +2020-05-29T00:00:00+00:00 +2020-05-29T00:00:00+00:00 + + + + +Internship with the FSF tech team — bandali +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.

+]]> + + +bandali +tag:bndl.org,2020:notes.atom:computing +2019-09-14T00:00:00+00:00 +2021-02-28T00:00:00+00:00 + + + + +How I do my computing — bandali +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.

+ +

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

+]]> + diff --git a/notes.rss b/notes.rss new file mode 100644 index 0000000..98b3302 --- /dev/null +++ b/notes.rss @@ -0,0 +1,314 @@ + + + +bandali's personal site +notes and blog posts by bandali +https://bndl.org +en +Fri, 22 Oct 2021 03:49:09 +0000 +Fri, 22 Oct 2021 03:49:09 +0000 +1800 + + + + + + + + + + +LibrePlanet 2021: Jami and how it empowers users — bandali +https://bndl.org/2021/03/20/libreplanet-2021.html + + +tag:bndl.org,2020:notes.rss:libreplanet-2021 +Sat, 20 Mar 2021 00:00:00 +0000 +2021-03-21T00:00:00+00:00 +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.

+]]> + + +My internship with the FSF tech team and beyond — bandali +https://bndl.org/2020/12/18/fsf-internship-beyond.html + + + + +tag:bndl.org,2020:notes.rss:fsf-internship-beyond +Fri, 18 Dec 2020 00:00:00 +0000 +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!

+]]> + + +Internship with the FSF tech team — bandali +https://bndl.org/2020/05/29/fsf-internship-intro.html + + + + +tag:bndl.org,2020:notes.rss:fsf-internship-intro +Fri, 29 May 2020 00:00:00 +0000 +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.

+]]> + + +How I do my computing — bandali +https://bndl.org/computing.html + + + + +tag:bndl.org,2020:notes.rss:computing +Sat, 14 Sep 2019 00:00:00 +0000 +2021-02-28T00:00:00+00:00 +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.

+ +

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

+]]> + diff --git a/projects.html b/projects.html new file mode 100644 index 0000000..7deb5c9 --- /dev/null +++ b/projects.html @@ -0,0 +1,27 @@ + + + + +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, but at some point it started +to get a bit unwieldy and was 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/txt2pre b/txt2pre index 1f04eb4..f25cbcf 100644 --- a/txt2pre +++ b/txt2pre @@ -2,7 +2,7 @@ # txt2pre --- convert my site's txt files to `pre'-based atom/rss/html # Copyright (C) 2014-2021 all contributors -# Copyright (c) 2021 Amin Bandali +# Copyright (c) 2021 bandali # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU Affero General Public License as @@ -21,6 +21,9 @@ # wonderful public-inbox project, under AGPLv3+, with additions of # my own. +# Update (2021-11-01): this script isn't currently used for generating +# my site's pages anymore; but kept for future reference. + use strict; use warnings 'all'; -- 2.20.1