From: Amin Bandali Date: Thu, 4 Nov 2021 23:00:17 +0000 (-0400) Subject: switch back to hand-written html and feeds X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/7808cfc75162b31f8a0a3fa6c462bea40c82d360?ds=sidebyside 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. --- 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.

+ +

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/2020/05/29/fsf-internship-intro.txt b/2020/05/29/fsf-internship-intro.txt new file mode 100644 index 0000000..ee6ebe2 --- /dev/null +++ b/2020/05/29/fsf-internship-intro.txt @@ -0,0 +1,80 @@ +Internship with the FSF tech team +--------------------------------- + + Originally published on the Free Software Foundation's sysadmin + blog: + https://www.fsf.org/blogs/sysadmin/introducing-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[1]. 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[2] +license. + +[1] https://www.gnu.org/philosophy/open-source-misses-the-point.html +[2] https://www.gnu.org/licenses/agpl.html + +My involvement with the GNU Project[3] started in 2016, first as a +volunteer webmaster, and later as one of the maintainers of GNUzilla +and IceCat[4] late last year. Also around the same time, I led a +group of volunteers in organizing and holding EmacsConf 2019[5] as a +completely online conference, using only free software tools, much +like the excellent LibrePlanet 2020[6]. I love GNU Emacs[7], 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. + +[3] https://www.gnu.org +[4] https://www.gnu.org/software/gnuzilla/ +[5] https://emacsconf.org/2019 +[6] https://libreplanet.org/wiki/LibrePlanet:Conference/2020 +[7] https://www.gnu.org/software/emacs/ + +More closely related to my internship with the FSF tech team, I have +been familiarizing myself with various pieces of the GNU Savannah[8] +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. + +[8] https://savannah.gnu.org + +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[9] 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. + +[9] https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration + + + -*- + +Copyright (c) 2020 bandali + +Copying and distribution of this file, with or without modification, +are permitted in any medium without royalty provided the copyright +notice and this notice are preserved. This file is offered as-is, +without any warranty. + +published: 2020-05-29 +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!

+ +

+ + diff --git a/2020/12/18/fsf-internship-beyond.txt b/2020/12/18/fsf-internship-beyond.txt new file mode 100644 index 0000000..73c05b8 --- /dev/null +++ b/2020/12/18/fsf-internship-beyond.txt @@ -0,0 +1,114 @@ +My internship with the FSF tech team and beyond +----------------------------------------------- + + Originally published on the Free Software Foundation's sysadmin + blog: + https://www.fsf.org/blogs/sysadmin/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[1] forge software to help evaluate[2] it as a candidate +for the upcoming FSF forge project[3]. 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. + +[1] https://sourcehut.org +[2] https://libreplanet.org/wiki/FSF_2020_forge_evaluation +[3] https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration + +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. + +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 (c) 2020 bandali + +Copying and distribution of this file, with or without modification, +are permitted in any medium without royalty provided the copyright +notice and this notice are preserved. This file is offered as-is, +without any warranty. + +published: 2020-12-18 +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
+ +L^aT_eX sources: +tar.gz | +zip

+ +

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

+ +

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

+ +

+ + diff --git a/2021/03/20/libreplanet-2021.txt b/2021/03/20/libreplanet-2021.txt new file mode 100644 index 0000000..af45d83 --- /dev/null +++ b/2021/03/20/libreplanet-2021.txt @@ -0,0 +1,82 @@ +LibrePlanet 2021: Jami and how it empowers users +------------------------------------------------ + +I am giving my very first LibrePlanet[1] talk today on March 20th. +I will be talking about Jami[2], the GNU package for universal +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[3], JAMS[4], the plugin SDK[5], Swarm chats[6], +and more; and how these features help empower users to communicate +with their loved ones without sacrificing their privacy or freedom. + +[1] https://libreplanet.org/2021/ +[2] https://jami.net +[3] https://jami.net/together-the-new-version-of-jami-and-a-new-step-forward +[4] https://jami.biz/jams-user-guide +[5] https://jami.net/plugins-sdk +[6] https://jami.net/swarm-introducing-a-new-generation-of-group-conversations + +Here is the abstract for my talk, also available on the LibrePlanet +2021's speakers page[7]: + + 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. + +[7] https://libreplanet.org/2021/speakers/#4285 + +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 https://libreplanet.org/2021/live/ page. Attendance is +gratis (no cost) and you can register at https://u.fsf.org/lp21-sp. + +Presentation slides: + - https://p.bndl.org/bandali-jami-libreplanet-2021.pdf + - https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf + - https://bndl.org/bandali.bib +LaTeX sources: + - https://p.bndl.org/bandali-jami-libreplanet-2021.tar.gz + - https://p.bndl.org/bandali-jami-libreplanet-2021.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 (c) 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. + +updated: 2021-03-21 +published: 2021-03-20 +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

+ +

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

+ +

Site: bndl.org
Email: bandali@gnu.org
bandali@uwaterloo.ca
Phone: available upon request via email
Last update: November 1, 2021

+ +

Summary of Qualifications

+ +

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

+ +

Education

+ +

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

+ +

Research Interests

+ +

formal logic, model checking, theorem proving, verification

+ +

Publications & Presentations

+ +

The complete bibliography of my publications is available as a +BibT_eX 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 L^aT_eX +syntax of the Unit-B logic, renders user input on the page, and calls +the sequent prover of the logic module, which uses the Z3 SMT solver +to check the validity of user input.; Separated Literate Unit-B's type checker from its parser in a +large refactoring, allowing easier substitution of other type checking +algorithms, and in preparation for implementing subtyping.

Lotek Wireless Inc.

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

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

Athlete Builder

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

+ +

Skills

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

+ +

Community Service

EmacsConf conference

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

Computer Science Club (CSC) of the University of Waterloo

Served as the CSC System Administrator in Winter and Spring 2020. +Present member of the CSC Systems Committee, overseeing and +maintaining a large fleet of GNU/Linux servers for CSC members, as +well as running the CSC mirror for free software projects.

Notable projects +include launching +the CSC web IRC client as part of an effort in bringing modern +user freedom- and privacy-respecting communication tools to club +members.

Free/libre software contributions

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

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

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

GNU +webmaster +and GNU +Savannah hacker.

Volunteer work

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

+ + diff --git a/fa/2020/05/29/fsf-internship-intro.fa.txt b/fa/2020/05/29/fsf-internship-intro.fa.txt new file mode 100644 index 0000000..e03f7aa --- /dev/null +++ b/fa/2020/05/29/fsf-internship-intro.fa.txt @@ -0,0 +1,80 @@ +Ú©Ø§Ø±Ø¢ÙÙØ²Û Ø¨Ø§ ØªÛÙ ÙÙÛ Ø¨ÙÛØ§Ø¯ ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ + + ÙØ³Ø®ÙÙ Ø§ÙÚ¯ÙÛØ³Û Ø§ÛÙ ÙÙØ§ÙÙ Ø§Ø¨ØªØ¯Ø§ Ø¯Ø± ÙØ¨ÙØ§Ú¯ ÙØ¯ÛØ± Ø³Ø§ÙØ§ÙÙ Ø¨ÙÛØ§Ø¯ ÙØ±ÙâØ§ÙØ²Ø§Ø± + Ø¢Ø²Ø§Ø¯ ÙÙØªØ´Ø± Ø´Ø¯: + https://www.fsf.org/blogs/sysadmin/introducing-bandali-intern-with-the-fsf-tech-team + +Ø³ÙØ§ÙØ Ø§ÙÛÙ Ø¨ÙØ¯Ø¹ÙÛ ÙØ³ØªÙ Ù ÙØ¹ÙÙÙØ§ Ø§Ø² ÙØ§Ù Ú©Ø§Ø±Ø¨Ø±Û bandali Ø¯Ø± Ø§ÛÙØªØ±ÙØª +Ø§Ø³ØªÙØ§Ø¯Ù ÙÛâÚ©ÙÙ. Ø¯Ø± Ù¾Ø±ÙÚÙÙ Ú¯ÙÙ Ø¨Ù Ø¹ÙÙØ§Ù ÛÚ© Ø³Ø±Ù¾Ø±Ø³Øª (maintainer) Ù ÙØ¨âÙØ³ØªØ± +Ù ÙØ¯ÛØ± Ø³Ø§ÙØ§ÙÙ Ø³Ø§ÙØ§ÙØ§ ÙØ¹Ø§ÙÛØª ÙÛâÚ©ÙÙØ Ù Ø®Ø±Ø³ÙØ¯Ù Ú©Ù ÙØ´Ø§Ø±Ú©ØªÙ Ø¯Ø± Ø²ÙÛÙÙÙ +ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ Ø±Ø§ Ø¨Ù Ø¨ÙÛØ§Ø¯ ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ ÛØ§ ÙÙØ§Ù FSF (ÙØ®ÙÙ Free +Software Foundation) Ø¨Ù Ø¹ÙÙØ§Ù ÛÚ© Ú©Ø§Ø±Ø¢ÙÙØ² ØªÛÙ ÙÙÛ FSF Ø¯Ø± Ø¨ÙØ§Ø± Û²Û°Û²Û° +Ú¯Ø³ØªØ±Ø´ Ø¯ÙÙ. + +Ø¨Ù ÙØ§Ø³Ø·ÙÙ Ø§Ø±ØªØ¨Ø§Ø· Ú©Ø§Ø± ÙØ§ÙØ¯ÛÙÙ Ø¨Ø§ Ø±Ø§ÛØ§ÙÙâÙØ§ Ø¨Ù Ø¹ÙÙØ§Ù Ø¯Ù ÙÙÙØ¯Ø³ Ù Ø¨Ø±ÙØ§ÙÙâÙÙÛØ³ +Ø±Ø§ÛØ§ÙÙØ Ø§Ø² Ú©ÙØ¯Ú©Û Ø¨Ù Ø¨Ø§Ø²Û Ù Ú©Ø§Ø± Ø¨Ø§ Ø±Ø§ÛØ§ÙÙâÙØ§ Ø¹ÙØ§ÙÙâÙÙØ¯ Ø´Ø¯Ù Ù Ø¨Ø¹Ø¯ÙØ§ Ø¨Ø±Ø§Û +Ø§ÙÙÛÙ Ø¨Ø§Ø± Ø¯Ø± Ø§ÙØ§ÛÙ ÙÙØ¬ÙØ§ÙÛ Ø¨Ø§ Ú¯ÙÙ/ÙÛÙÙÚ©Ø³ Ø¢Ø´ÙØ§ Ø´Ø¯Ù. Ø§ÙØ¨ØªÙ Ø§ÙÙÛÙ Ø¢Ø´ÙØ§ÛÛ +ÙÙ Ø¨Ø§ Ø¯ÙÛØ§Û ÙØ±ÙâØ§ÙØ²Ø§Ø±ÙØ§Û Ø¢Ø²Ø§Ø¯ ÙÙÚ¯Ø§ÙÛ Ø§ØªÙØ§Ù Ø§ÙØªØ§Ø¯ Ú©Ù ÚÙØ¯ Ø³Ø§Ù Ø¨Ø¹Ø¯ ÛÚ©Û Ø§Ø² +Ø¯ÙØ³ØªØ§Ù ÙØ¬Ø§Ø²ÛÙ Ø¨Ù ÙÙ Ø§Ø´Ø§Ø±Ù Ú©Ø±Ø¯ Ú©Ù ÚÛØ²Û Ú©Ù Ø¨Ù Ø·ÙØ± ÙØ¨ÙÙâÙØ§Ø± Ø¨Ù Ø¹ÙÙØ§Ù +ÙØ±ÙâØ§ÙØ²Ø§Ø± Â«ÙØªÙ Ø¨Ø§Ø²Â» ÙÛâØ´ÙØ§Ø®ØªÙ Ø¨ÙØªØ± Ø§Ø³Øª Ú©Ù Ø¨Ø§ Ø¹ÙÙØ§Ù Â«ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯Â» Ø§Ø² Ø¢Ù +ÛØ§Ø¯ Ø´ÙØ¯Ø Ù Ø§ÛÙ Ø¯ÙØ³Øª Ø¹Ø²ÛØ² Ø¨Ù ÙÙ Ú©ÙÚ© Ú©Ø±Ø¯ ÙØªÙØ¬Ù Ø´ÙÙ Ú©Ù ÚØ±Ø§ ÙØªÙâØ¨Ø§Ø² ÙØ¯Ù +Ø§ØµÙÛ ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ Ø±Ø§ Ø¨Ø±Ø¢ÙØ±Ø¯Ù ÙÙÛâÚ©ÙØ¯[Û±]. Ù¾Ø³ Ø§Ø² ÛØ§Ø¯Ú¯ÛØ±Û Ù Ø®Ù Ú¯Ø±ÙØªÙ Ø¨Ø§ +Ø§ÛØ¯ÙâÙØ§ Ù Ø§ÛØ¯ÙâØ¢ÙâÙØ§Û ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯Ø Ø¨Ù ÙØ±ÙØ± Ø´Ø±ÙØ¹ Ø¨Ù ÙØ¹Ø§ÙÛØª Ø¯Ø± Ø¹Ø±ØµÙÙ +ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ Ú©Ø±Ø¯Ù. Ø¨Ù Ø¹ÙÙØ§Ù ÛÚ© Ø¹ÙØ§ÙÙâÙÙØ¯ Ù ÙØØµÙ Ø¯Ø± Ø´Ø§Ø®ÙÙ Ø¹ÙÙÙ Ø±Ø§ÛØ§ÙÙ +Ú©Ù Ø§Ø² ÙØ·Ø§ÙØ¹Ù Ù Ø¯Ø³ØªÚ©Ø§Ø±Û Ú©Ø¯ ÙØªÙ Ø¨Ø±ÙØ§ÙÙâÙØ§Û ÙØ®ØªÙÙ ÙØ°Øª ÙÛâØ¨Ø±Ø¯ Ù ÙØ± Ø§Ø² Ú¯Ø§ÙÛ +Ø¨Ø±ÙØ§ÙÙâÙØ§Û Ø®ÙØ¯Ø´ Ø±Ø§ ÙÛâÙÙÛØ³Ø¯Ø ØªØ§ ÙÛâØªÙØ§ÙÙ Ú©Ø¯Ù Ø±Ø§ ØªØØª ÙØ¬ÙØ²ÙØ§Û Ú©Ù¾ÛâÙÙØª ÙÙÛ +ÙØ«Ù GNU AGPL[Û²] ÙÙØªØ´Ø± ÙÛâÚ©ÙÙ. + +[Û±] https://www.gnu.org/philosophy/open-source-misses-the-point.fa.html +[Û²] https://www.gnu.org/licenses/agpl.html + +ÙØ´Ø§Ø±Ú©Øª ÙÙ Ø¯Ø± Ù¾Ø±ÙÚÙÙ Ú¯ÙÙ[Û³] Ø§Ø¨ØªØ¯Ø§ Ø¯Ø± Ø³Ø§Ù Û²Û°Û±Û¶ Ø¨Ù Ø¹ÙÙØ§Ù ÛÚ© ÙØ¨âÙØ³ØªØ± Ø¯Ø§ÙØ·ÙØ¨ +Ø¢ØºØ§Ø² Ø´Ø¯Ø Ù Ø¨Ø¹Ø¯Ø§ Ø§Ø² Ø¢Ø®Ø± Ø³Ø§Ù Ú¯Ø°Ø´ØªÙÙ ÙÛÙØ§Ø¯Û Ø¨Ù Ø¹ÙÙØ§Ù ÛÚ©Û Ø§Ø² Ø³Ø±Ù¾Ø±Ø³ØªØ§Ù +Ú¯ÙÙØ²ÛÙØ§ Ù Ø¢ÛØ³âÚ©Øª[Û´]. ØªÙØ±ÛØ¨Ø§ Ø¯Ø± ÙÙØ§Ù Ø²ÙØ§ÙØ ÙÙ Ú¯Ø±ÙÙÛ Ø§Ø² Ø¯Ø§ÙØ·ÙØ¨Ø§Ù Ø±Ø§ Ø¨Ø±Ø§Û +Ø³Ø§Ø²ÙØ§ÙâØ¯ÙÛ Ù Ø¨Ø±Ú¯Ø°Ø§Ø±Û EmacsConf 2019[Ûµ] Ø¨Ù Ø¹ÙÙØ§Ù ÛÚ© Ú©ÙÙØ±Ø§ÙØ³ ÙØ¬Ø§Ø²Û Ù +ØªÙØ§ÙØ§ Ø¨Ø§ Ø§Ø³ØªÙØ§Ø¯Ù Ø§Ø² ÙØ±ÙâØ§ÙØ²Ø§Ø±ÙØ§Û Ø¢Ø²Ø§Ø¯ (ÙÙØ§ÙÙØ¯ Ú©ÙÙØ±Ø§ÙØ³ Ø¹Ø§ÙÛ +LibrePlanet 2020[Û¶]) Ø³Ø±Ù¾Ø±Ø³ØªÛ Ú©Ø±Ø¯Ù. ÙÙ Ø¨Ø³ÛØ§Ø± Ú¯ÙÙ Ø§ÛÙÚ©Ø³ Ø±Ø§ Ø¯ÙØ³Øª Ø¯Ø§Ø±Ù Ù +Ø¨ÛØ´ Ø§Ø² ÙØ± ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¯ÛÚ¯Ø±Û Ø§Ø² Ø¢Ù Ø§Ø³ØªÙØ§Ø¯Ù ÙÛâÚ©ÙÙ. Ú¯ÙÙ Ø§ÛÙÚ©Ø³[Û·] Ø¨Ù ÙÙ Ø¯Ø± +Ø§ÙØ¬Ø§Ù Ú©Ø§Ø±ÙØ§Û ÙØªÙÙØ¹Û ÙØ§ÙÙØ¯ Ø¨Ø±ÙØ§ÙÙ ÙÙÛØ³Û Ù Ø®ÙØ§ÙØ¯Ù Ù ÙÙØ´ØªÙ Ø±Ø§ÛØ§ÙØ§ÙÙ Ù ÚØª +Ø§Ø² Ø·Ø±ÛÙ IRC Ú©ÙÚ© ÙÛâÚ©ÙØ¯. + +[Û³] https://www.gnu.org/home.fa.html +[Û´] https://www.gnu.org/software/gnuzilla/ +[Ûµ] https://emacsconf.org/2019 +[Û¶] https://libreplanet.org/wiki/LibrePlanet:Conference/2020 +[Û·] https://www.gnu.org/software/emacs/ + +Ø¯Ø± Ø¬ÙØª Ú©Ø§Ø±Ø¢ÙÙØ²ÛÙ Ø¨Ø§ ØªÛÙ ÙÙÛ FSFØ Ø§Ø®ÛØ±Ø§ Ø¨Ø§ Ú©ÙÚ© Ø¨Ø§Ø¨ Ù¾Ø±Ù (Bob Proulx)Ø ÛÚ© +ÙØ¯ÛØ± Ø³Ø§ÙØ§ÙÙ Ø®Ø¨Ø±ÙÙ Ú¯ÙÙ Ø³Ø§ÙØ§ÙØ§[Û¸]Ø Ø®ÙØ¯Ù Ø±Ø§ Ø¨Ø§ Ø§Ø¬Ø²Ø§Û ÙØ®ØªÙÙ Ø²ÛØ±Ø³Ø§Ø®Øª Ø¢Ù Ù +Ø¨Ø±Ø®Û ÙØ¸Ø§ÛÙ ÙØ¯ÛØ±ÛØªÛ Ù Ø³Ø±Ù¾Ø±Ø³ØªÛ Ø³Ø§ÙØ§ÙØ§ Ø¢Ø´ÙØ§ Ú©Ø±Ø¯Ù Ù Ø¨Ù ØªØ¯Ø±ÛØ¬ Ø¨Ø± Ø¹ÙØ¯Ù +Ú¯Ø±ÙØªÙ. ÙÙ ÙÙÚÙÛÙ ÛÚ©Û Ø§Ø² Ø§Ø¹Ø¶Ø§Û Ú©ÙÛØªÙ Ø³ÛØ³ØªÙâÙØ§Û Ø¨Ø§Ø´Ú¯Ø§Ù Ø¹ÙÙÙ Ø±Ø§ÛØ§ÙÙ +Ø¯Ø§ÙØ´Ú¯Ø§ÙâÙØ§Ù ÙØ³ØªÙØ Ú©Ù ÙØ¸Ø§Ø±Øª Ù Ø³Ø±Ù¾Ø±Ø³ØªÛ Ú¯Ø±ÙÙ Ø¨Ø²Ø±Ú¯Û Ø³Ø±ÙØ±ÙØ§Û Ú¯ÙÙ/ÙÛÙÙÚ©Ø³ Ø¨Ø±Ø§Û +Ø§Ø¹Ø¶Ø§Û Ø¨Ø§Ø´Ú¯Ø§Ù Ø±Ø§ Ø¨Ø± Ø¹ÙØ¯Ù Ø¯Ø§Ø±Ø¯. + +[Û¸] https://savannah.gnu.org + +Ø¨Ø±Ø§Û Ú©Ø§Ø±Ø¢ÙÙØ²ÛÙ Ø¨Ø§ ØªÛÙ ÙÙÛ FSFØ Ø¨Ø§ Ø§Ø¹Ø¶Ø§Û ØªÛÙ Ø±ÙÛ ÚÙØ¯ Ú©Ø§Ø± Ù Ù¾Ø±ÙÚÙÙ ÙØ®ØªÙÙ +Ú©Ø§Ø± Ø®ÙØ§ÙÙâÚ©Ø±Ø¯Ø Ø§Ø² Ø¬ÙÙÙ Ú©ÙÚ© Ø¨Ù Ù¾ÛØ´Ø¨Ø±Ø¯ Ù¾Ø±ÙÚÙÙ ÙÛØ²Ø¨Ø§Ù ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯[Û¹] Ù +ÚÙØ¯ÛÙ ØªØºÛÛØ± Ù Ø¨ÙØ¨ÙØ¯ ÙØ®ØªÙÙ Ø¨Ø±Ø§Û gnu.org. ÙØ´ØªØ§ÙØ§ÙÙ Ø¨Ù Ø§Ø³ØªÙØ¨Ø§Ù ÛØ§Ø¯Ú¯ÛØ±Û +ÙÚ©Ø§Øª Ø¬Ø¯ÛØ¯ Ù Ú©Ø³Ø¨ ÙÙØ§Ø±ØªâÙØ§Û Ø§Ø±Ø²Ø´ÙÙØ¯ Ø¨Ù ÙØ§Ø³Ø·ÙÙ Ú©Ø§Ø±Ø¢ÙÙØ²ÛÙ Ø¨Ø§ ØªÛÙ ÙÙÛ +ÙÙÙâØ§ÙØ¹Ø§Ø¯ÙÙ FSF ÙÛâØ±ÙÙØ Ú©Ù Ø²ØÙØ§Øª Ø¨Ø³ÛØ§Ø±Û Ø¨Ø±Ø§Û Ù¾Ø±ÙÚÙÙ Ú¯ÙÙ Ù Ø¬Ø§ÙØ¹ÙÙ Ø¨Ø²Ø±Ú¯ØªØ± +ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ ÙÛâÚ©Ø´ÙØ¯. + +[Û¹] https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration + + + -*- + +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. + +Ø±ÙÙÙØ´Øª Ù ØªÙØ²ÛØ¹ Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù Ø¨Ø§ ÛØ§ Ø¨Û ØªØºÛÛØ± Ø¯Ø± Ø³Ø±Ø§Ø³Ø± Ø¯ÙÛØ§ Ø¨Ø¯ÙÙ ØÙ Ø§ÙØªÛØ§Ø² +Ù Ø¯Ø± ÙØ± Ø±Ø³Ø§ÙÙâØ§Û ÙØ¬Ø§Ø² Ø§Ø³ØªØ Ø¨Ù Ø§ÛÙ Ø´Ø±Ø· Ú©Ù Ø§Ø¹ÙØ§Ù ØÙ ØªÚ©Ø«ÛØ± Ù Ø§ÛÙ Ø§Ø¹ÙØ§Ù ØÙØ¸ +Ø´ÙÙØ¯. Ø§ÛÙ Ù¾Ø±ÙÙØ¯Ù Ø¨Ù ØµÙØ±Øª ÙÙØ¬ÙØ¯ Ù Ø¨Ø¯ÙÙ ÙÛÚ Ú¯ÙÙÙ Ø¶ÙØ§ÙØª Ø§Ø±Ø§Ø¦Ù ÙÛâØ´ÙØ¯. + +Ø§ÙØªØ´Ø§Ø±: 2020-05-29 +ÙØªÙ Ø³Ø§Ø¯Ù: https://bndl.org/fa/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

+ +

+ +

+ +

+ +

+ +

+ +

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.

+ +

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

+ +

+ +

+ +

+ +

+ +

+ +

+ +

+ +

+ +

+ +

+ + 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 @@ + + + + +ÚÚ¯ÙÙÙ Ø§Ø² Ø±Ø§ÛØ§ÙÙ Ø§Ø³ØªÙØ§Ø¯Ù ÙÛâÚ©ÙÙ — Ø¨ÙØ¯Ø¹ÙÛ + + + + + + +

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

+ +

+ +

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

+ +

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

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

+ +

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

+ +

+ + 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 @@ + + + + +Ø§Ø·ÙØ§Ø¹Ø§Øª ØªÙØ§Ø³ — Ø¨ÙØ¯Ø¹ÙÛ + + + + + + +

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

+ +

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

+ +

+ +

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

+ + +

+ +

ÛØ§Ø¯Ø¯Ø§Ø´ØªâÙØ§

+ +

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

+ +

+ +

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

+ +

+]]> + + +Ø¨ÙØ¯Ø¹ÙÛ +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

+ +

+]]> + + +Ø¨ÙØ¯Ø¹ÙÛ +tag:bndl.org,2020:fa/notes.atom:computing +2019-09-14T00:00:00+00:00 +2021-02-28T00:00:00+00:00 + + + + +ÚÚ¯ÙÙÙ Ø§Ø² Ø±Ø§ÛØ§ÙÙ Ø§Ø³ØªÙØ§Ø¯Ù ÙÛâÚ©ÙÙ — Ø¨ÙØ¯Ø¹ÙÛ +Ø¨Ø§ Ø§ÙÙØ§Ù Ø§Ø² +ØµÙØÙÙ Ø§Ø³ØªØ§ÙÙÙ +Ø¯Ø± Ø§ÛÙ Ø¨Ø§Ø±Ù

+ +

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

+ +

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

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

+ +

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

+ +

+]]> + + +Ú©Ø§Ø±Ø¢ÙÙØ²Û Ø¨Ø§ ØªÛÙ ÙÙÛ Ø¨ÙÛØ§Ø¯ ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ — Ø¨ÙØ¯Ø¹ÙÛ +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

+ +

+]]> + + +ÚÚ¯ÙÙÙ Ø§Ø² Ø±Ø§ÛØ§ÙÙ Ø§Ø³ØªÙØ§Ø¯Ù ÙÛâÚ©ÙÙ — Ø¨ÙØ¯Ø¹ÙÛ +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 +Ø¨Ø§ Ø§ÙÙØ§Ù Ø§Ø² +ØµÙØÙÙ Ø§Ø³ØªØ§ÙÙÙ +Ø¯Ø± Ø§ÛÙ Ø¨Ø§Ø±Ù

+ +

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

+ +

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/fsf-internship-beyond.txt b/fsf-internship-beyond.txt deleted file mode 100644 index cc140db..0000000 --- a/fsf-internship-beyond.txt +++ /dev/null @@ -1,114 +0,0 @@ -My internship with the FSF tech team and beyond ------------------------------------------------ - - Originally published on the Free Software Foundation's sysadmin - blog: - https://www.fsf.org/blogs/sysadmin/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[1] forge software to help evaluate[2] it as a candidate -for the upcoming FSF forge project[3]. 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. - -[1] https://sourcehut.org -[2] https://libreplanet.org/wiki/FSF_2020_forge_evaluation -[3] https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration - -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. - -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 (c) 2020 bandali - -Copying and distribution of this file, with or without modification, -are permitted in any medium without royalty provided the copyright -notice and this notice are preserved. This file is offered as-is, -without any warranty. - -published: 2020-12-18 -plain text: https://bndl.org/fsf-internship-beyond.txt diff --git a/fsf-internship-intro.txt b/fsf-internship-intro.txt deleted file mode 100644 index afba902..0000000 --- a/fsf-internship-intro.txt +++ /dev/null @@ -1,80 +0,0 @@ -Internship with the FSF tech team ---------------------------------- - - Originally published on the Free Software Foundation's sysadmin - blog: - https://www.fsf.org/blogs/sysadmin/introducing-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[1]. 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[2] -license. - -[1] https://www.gnu.org/philosophy/open-source-misses-the-point.html -[2] https://www.gnu.org/licenses/agpl.html - -My involvement with the GNU Project[3] started in 2016, first as a -volunteer webmaster, and later as one of the maintainers of GNUzilla -and IceCat[4] late last year. Also around the same time, I led a -group of volunteers in organizing and holding EmacsConf 2019[5] as a -completely online conference, using only free software tools, much -like the excellent LibrePlanet 2020[6]. I love GNU Emacs[7], 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. - -[3] https://www.gnu.org -[4] https://www.gnu.org/software/gnuzilla/ -[5] https://emacsconf.org/2019 -[6] https://libreplanet.org/wiki/LibrePlanet:Conference/2020 -[7] https://www.gnu.org/software/emacs/ - -More closely related to my internship with the FSF tech team, I have -been familiarizing myself with various pieces of the GNU Savannah[8] -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. - -[8] https://savannah.gnu.org - -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[9] 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. - -[9] https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration - - - -*- - -Copyright (c) 2020 bandali - -Copying and distribution of this file, with or without modification, -are permitted in any medium without royalty provided the copyright -notice and this notice are preserved. This file is offered as-is, -without any warranty. - -published: 2020-05-29 -plain text: https://bndl.org/fsf-internship-intro.txt 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:

+ +

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

+ +

The notes are also available via Atom +and RSS feeds.

+ +

+ + diff --git a/libreplanet-2021.txt b/libreplanet-2021.txt deleted file mode 100644 index 2bca77e..0000000 --- a/libreplanet-2021.txt +++ /dev/null @@ -1,82 +0,0 @@ -LibrePlanet 2021: Jami and how it empowers users ------------------------------------------------- - -I am giving my very first LibrePlanet[1] talk today on March 20th. -I will be talking about Jami[2], the GNU package for universal -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[3], JAMS[4], the plugin SDK[5], Swarm chats[6], -and more; and how these features help empower users to communicate -with their loved ones without sacrificing their privacy or freedom. - -[1] https://libreplanet.org/2021/ -[2] https://jami.net -[3] https://jami.net/together-the-new-version-of-jami-and-a-new-step-forward -[4] https://jami.biz/jams-user-guide -[5] https://jami.net/plugins-sdk -[6] https://jami.net/swarm-introducing-a-new-generation-of-group-conversations - -Here is the abstract for my talk, also available on the LibrePlanet -2021's speakers page[7]: - - 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. - -[7] https://libreplanet.org/2021/speakers/#4285 - -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 https://libreplanet.org/2021/live/ page. Attendance is -gratis (no cost) and you can register at https://u.fsf.org/lp21-sp. - -Presentation slides: - - https://p.bndl.org/bandali-jami-libreplanet-2021.pdf - - https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf - - https://bndl.org/bandali.bib -LaTeX sources: - - https://p.bndl.org/bandali-jami-libreplanet-2021.tar.gz - - https://p.bndl.org/bandali-jami-libreplanet-2021.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 (c) 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. - -updated: 2021-03-21 -published: 2021-03-20 -plain text: https://bndl.org/libreplanet-2021.txt 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
+ +L^aT_eX sources: +tar.gz | +zip

+ +

Abstract

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

+ +

License

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

+ +

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

+ +

Presentation

+ +

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

+ +

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

+ +

Models

+ +

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

+ +

+ + diff --git a/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.
+

+ +

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

+ +

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

+ +

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

+ +

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.

+ +

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

+ +

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

+ +

GNU/Linux distribution

+ +

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

+ +

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

+ +

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

+ +

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

+ +

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.

+ +

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

+ +

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

+ +

GNU/Linux distribution

+ +

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

Internship with the FSF tech team

My internship with the FSF tech team and beyond

LibrePlanet 2021: Jami and how it empowers users

404

How I do my computing

Computers

GNU/Linux distribution

Actual computing

bandali's contact information

bandali's curriculum vitae

Summary of Qualifications

Education

Research Interests

Publications & Presentations

Papers

Theses

Talks

Work & Research Experience

Skills

Community Service

Ú©Ø§Ø±Ø¢Ù ÙØ²Û Ø¨Ø§ ØªÛÙ ÙÙÛ Ø¨ÙÛØ§Ø¯ ÙØ±Ù âØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯

Ú©Ø§Ø±Ø¢Ù ÙØ²Û Ù Ù Ø¨Ø§ ØªÛÙ ÙÙÛ Ø¨ÙÛØ§Ø¯ ÙØ±Ù âØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ Ù ÙØ±Ø§ØªØ± Ø§Ø² Ø¢Ù

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

ÚÚ¯ÙÙÙ Ø§Ø² Ø±Ø§ÛØ§ÙÙ Ø§Ø³ØªÙØ§Ø¯Ù Ù ÛâÚ©ÙÙ

Ø±Ø§ÛØ§ÙÙâÙØ§

ØªÙØ²ÛØ¹ Ú¯ÙÙ/ÙÛÙÙÚ©Ø³

Ú©Ø§Ø±ÙØ§Û Ù¾Ø±Ø¯Ø§Ø²Ø´Û Ù Ù Ø­Ø§Ø³Ø¨Ø§ØªÛ

Ø§Ø·ÙØ§Ø¹Ø§Øª ØªÙ Ø§Ø³ Ø¨ÙØ¯Ø¹ÙÛ

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

ÛØ§Ø¯Ø¯Ø§Ø´ØªâÙØ§

Ø±Ø§ÛØ§ÙÙâÙØ§

ØªÙØ²ÛØ¹ Ú¯ÙÙ/ÙÛÙÙÚ©Ø³

Ú©Ø§Ø±ÙØ§Û Ù¾Ø±Ø¯Ø§Ø²Ø´Û Ù Ù Ø­Ø§Ø³Ø¨Ø§ØªÛ

Ø±Ø§ÛØ§ÙÙâÙØ§

ØªÙØ²ÛØ¹ Ú¯ÙÙ/ÙÛÙÙÚ©Ø³

Ú©Ø§Ø±ÙØ§Û Ù¾Ø±Ø¯Ø§Ø²Ø´Û Ù Ù Ø­Ø§Ø³Ø¨Ø§ØªÛ

Ù¾Ø±ÙÚÙâÙØ§Û Ø¨ÙØ¯Ø¹ÙÛ

bandali's personal site

notes

bandali's master of mathematics

A Comprehensive Study of Declarative Modelling Languages

Thesis

Presentation

Models

Computers

GNU/Linux distribution

Actual computing

Computers

GNU/Linux distribution

Actual computing

bandali's projects

Ú©Ø§Ø±Ø¢ÙÙØ²Û Ø¨Ø§ ØªÛÙ ÙÙÛ Ø¨ÙÛØ§Ø¯ ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯

Ú©Ø§Ø±Ø¢ÙÙØ²Û ÙÙ Ø¨Ø§ ØªÛÙ ÙÙÛ Ø¨ÙÛØ§Ø¯ ÙØ±ÙâØ§ÙØ²Ø§Ø± Ø¢Ø²Ø§Ø¯ Ù ÙØ±Ø§ØªØ± Ø§Ø² Ø¢Ù

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

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

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

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

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

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

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

ÛØ§Ø¯Ø¯Ø§Ø´ØªâÙØ§

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

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

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

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

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

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

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