From: Amin Bandali Date: Sun, 7 Nov 2021 05:09:49 +0000 (-0400) Subject: rearrange many of the pages/files for better organization X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/56af22d033482f66966fb7b8edc2bb18f2fec477?ds=inline rearrange many of the pages/files for better organization --- diff --git a/2020/05/29/fsf-internship-intro.html b/2020/05/29/fsf-internship-intro.html deleted file mode 100644 index 7010445..0000000 --- a/2020/05/29/fsf-internship-intro.html +++ /dev/null @@ -1,96 +0,0 @@ - - - - -Internship with the FSF tech team — bandali - - - - - -

Internship with the FSF tech team

-

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -
-

Copyright © 2020 bandali

-

Copying and distribution of this file, with or without -modification, are permitted in any medium without royalty provided the -copyright notice and this notice are preserved. This file is offered -as-is, without any warranty.

- - diff --git a/2020/05/29/fsf-internship-intro.txt b/2020/05/29/fsf-internship-intro.txt deleted file mode 100644 index ac31fc6..0000000 --- a/2020/05/29/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 -this file: 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 deleted file mode 100644 index 4f5656d..0000000 --- a/2020/12/18/fsf-internship-beyond.html +++ /dev/null @@ -1,126 +0,0 @@ - - - - -My internship with the FSF tech team and beyond — bandali - - - - - -

My internship with the FSF tech team and beyond

-

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -
-

Copyright © 2020 bandali

-

Copying and distribution of this file, with or without -modification, are permitted in any medium without royalty provided the -copyright notice and this notice are preserved. This file is offered -as-is, without any warranty.

- - diff --git a/2020/12/18/fsf-internship-beyond.txt b/2020/12/18/fsf-internship-beyond.txt deleted file mode 100644 index 35b6efd..0000000 --- a/2020/12/18/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 -this file: 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 deleted file mode 100644 index ce706b9..0000000 --- a/2021/03/20/libreplanet-2021.html +++ /dev/null @@ -1,105 +0,0 @@ - - - - -LibrePlanet 2021: Jami and how it empowers users — bandali - - - - - -

LibrePlanet 2021: Jami and how it empowers users

-

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

- -

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

- -

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

- -
-

Jami is free software for universal communication that respects the -freedoms and privacy of its users. Jami is an official GNU package -with a main goal of providing a framework for virtual communications, -along with a series of end-user applications for audio/video calling -and conferencing, text messaging, and file transfer.

- -

With the outbreak of the COVID-19 pandemic, working from home has -become the norm for many workers around the world. More and more -people are using videoconferencing tools to work or communicate with -their loved ones. The emergence of these tools has been followed by -many questions and scandals concerning the privacy and freedom of -users.

- -

This talk gives an introduction to Jami, a free/libre, truly -distributed, and peer-to-peer solution, and explains why and how it -differs from all other existing solutions and how it empowers -users.

-
- -

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

- -

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

- -

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

- -

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

- -
-

Copyright © 2021 bandali

-

Copying and distribution of this file, with or without -modification, are permitted in any medium without royalty provided the -copyright notice and this notice are preserved. This file is offered -as-is, without any warranty.

- - diff --git a/2021/03/20/libreplanet-2021.txt b/2021/03/20/libreplanet-2021.txt deleted file mode 100644 index 5a06bc5..0000000 --- a/2021/03/20/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 -this file: https://bndl.org/2021/03/20/libreplanet-2021.txt diff --git a/bandali-cv.txt b/bandali-cv.txt index 97e87d4..02026c4 100644 --- a/bandali-cv.txt +++ b/bandali-cv.txt @@ -84,7 +84,8 @@ PUBLICATIONS & PRESENTATIONS Engineering Workshop, MoDRE@RE 2018 Copyright (c) 2018 IEEE. All Rights Reserved. Sadly. - pdf: https://p.bndl.org/modre2018-declarative.pdf + pdf: https://bndl.org/papers/modre2018-declarative.pdf + bib: https://bndl.org/papers/modre2018-declarative.bib models: https://cs.uwaterloo.ca/~nday/artifacts/2018-modre/ THESES @@ -95,9 +96,10 @@ PUBLICATIONS & PRESENTATIONS MMath Thesis, University of Waterloo, David R. Cheriton School of Computer Science, July 2020. - pdf: https://bndl.org/mmath/bandali-mmath-thesis.pdf + pdf: https://bndl.org/theses/bandali-mmath-thesis.pdf + bib: https://bndl.org/theses/bandali-mmath-thesis.bib hdl: https://hdl.handle.net/10012/16059 - http: https://bndl.org/mmath/ + http: https://bndl.org/theses/mmath.html TALKS @@ -106,10 +108,11 @@ PUBLICATIONS & PRESENTATIONS Amin Bandali Presented at the LibrePlanet 2021 Conference, March 20, 2021. - slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf + slides: https://bndl.org/talks/libreplanet-2021-jami.pdf slides with notes: - https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf - http: https://bndl.org/2021/03/20/libreplanet-2021.html + https://bndl.org/papers/libreplanet-2021-jami-with-notes.pdf + bib: https://bndl.org/talks/libreplanet-2021-jami.bib + http: https://bndl.org/talks/libreplanet-2021-jami.html The Magic of Specifications and Type Systems diff --git a/bandali.bib b/bandali.bib index 3795fde..86ec7b7 100644 --- a/bandali.bib +++ b/bandali.bib @@ -15,17 +15,18 @@ %% bandali's papers and talks (in reverse chronological order) %% =================================================================== -@misc{bandali-jami-libreplanet-2021, +@misc{bandali-libreplanet-2021-jami, author = {Amin Bandali}, title = {Jami and how it empowers users}, year = 2021, month = {March}, howpublished = {Presented at the LibrePlanet 2021 Conference}, - slides = {https://p.bndl.org/bandali-jami-libreplanet-2021.pdf}, - pdf = {https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf} + url = {https://bndl.org/talks/libreplanet-2021-jami.html}, + slides = {https://bndl.org/talks/libreplanet-2021-jami.pdf}, + pdf = {https://bndl.org/talks/libreplanet-2021-jami-with-notes.pdf} } -@mastersthesis{bandali2020, +@mastersthesis{bandali-mmath-2020, type = {{MMath} thesis}, author = {Amin Bandali}, title = {{A Comprehensive Study of Declarative Modelling Languages}}, @@ -35,8 +36,8 @@ publisher = "UWSpace", url = {http://hdl.handle.net/10012/16059}, note = {\url{http://hdl.handle.net/10012/16059} and - \url{https://bndl.org/mmath/}}, - pdf = {https://bndl.org/mmath/bandali-mmath-thesis.pdf} + \url{https://bndl.org/theses/mmath.html}}, + pdf = {https://bndl.org/theses/bandali-mmath-thesis.pdf} } @inproceedings{DBLP:conf/re/AbbassiBDS18, @@ -57,7 +58,7 @@ timestamp = {Thu, 16 Jul 2020 12:21:41 +0200}, biburl = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18}, bibsource = {dblp computer science bibliography, https://dblp.org}, - pdf = {https://p.bndl.org/modre2018-declarative.pdf} + pdf = {https://bndl.org/papers/modre2018-declarative.pdf} } @proceedings{DBLP:conf/re/2018modre, diff --git a/bandali.txt b/bandali.txt index 24d6d1e..2ffa9ad 100644 --- a/bandali.txt +++ b/bandali.txt @@ -11,17 +11,13 @@ NOTES Here are notes[*] about topics or issues I care about: - 2021-03-20 - LibrePlanet 2021: Jami and how it empowers users - https://bndl.org/2021/03/30/libreplanet-2021.txt - 2020-12-18 My internship with the FSF tech team and beyond - https://bndl.org/2020/12/18/fsf-internship-beyond.txt + https://bndl.org/fsf-internship/fsf-internship-beyond.txt 2020-05-29 Internship with the FSF tech team - https://bndl.org/2020/05/29/fsf-internship-intro.txt + https://bndl.org/fsf-internship/fsf-internship-intro.txt 2019-09-14 How I do my Computing @@ -32,6 +28,19 @@ NOTES https://bndl.org/notes.rss +TALKS + + Some of the talks and presentations I've given over the years: + + 2021-03-20 + LibrePlanet 2021: Jami and how it empowers users + https://bndl.org/talks/libreplanet-2021-jami.txt + + 2020-06-30 + A Comprehensive Study of Declarative Modelling Languages + https://bndl.org/theses/bandali-mmath.txt + + OTHER PAGES The following pages of bndl.org may be of interest: @@ -39,7 +48,6 @@ OTHER PAGES https://bndl.org/bandali-projects.txt https://bndl.org/bandali-cv.txt https://bndl.org/bandali-contact.txt - https://bndl.org/mmath/bandali-mmath.txt https://bndl.org/fa/bandali.fa.txt diff --git a/computing.html b/computing.html index a1af53f..49d4a56 100644 --- a/computing.html +++ b/computing.html @@ -20,7 +20,7 @@ a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}

How I do my computing

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

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

A Comparison of the Declarative Modelling Languages B, DASH, and TLA+ -[ pdf +[ pdf +| bib | models ] @@ -118,9 +119,10 @@ Copyright © 2018 IEEE. All Rights Reserved. Sadly.
A Comprehensive Study of Declarative Modelling Languages -[ pdf +[ pdf +| bib | hdl -| http +| http ]
@@ -137,10 +139,11 @@ July 2020.
Jami and how it empowers users -[ pdf -(with +[ pdf +(with notes) -| http +| bib +| http ]
@@ -212,8 +215,9 @@ for www.gnu.org.
SE 465 (Software Testing and Quality Assurance): TA in winter 2020
-
SE 212 (Logic and Computation): IA in -Fall 2019, TA in fall 2018
+
SE 212 (Logic and Computation): +IA in Fall 2019, TA in fall +2018
SE 463 (Software Requirement Specification and Analysis): TA in spring 2019 and 2018
CS 136 (Elementary Algorithm Design and Data Abstraction): TA in @@ -333,7 +337,7 @@ Present member of the CSC Systems Committee, overseeing and maintaining a large fleet of GNU/Linux servers for CSC members, as well as running the CSC mirror for free software projects.
Notable projects -include launching +include launching the CSC web IRC client as part of an effort in bringing modern user freedom- and privacy-respecting communication tools to club members.
diff --git a/fa/2020/05/29/fsf-internship-intro.fa.txt b/fa/2020/05/29/fsf-internship-intro.fa.txt deleted file mode 100644 index 8563193..0000000 --- a/fa/2020/05/29/fsf-internship-intro.fa.txt +++ /dev/null @@ -1,80 +0,0 @@ -کارآموزی با تیم فنی بنیاد نرم‌افزار آزاد - - نسخهٔ انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار - آزاد منتشر شد: - 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 deleted file mode 100644 index 56e059b..0000000 --- a/fa/2020/05/29/fsf-internship-intro.html +++ /dev/null @@ -1,106 +0,0 @@ - - - - -کارآموزی با تیم فنی بنیاد نرم‌افزار آزاد — بندعلی - - - - - - -

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

-

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

- -

نسخهٔ -انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار آزاد -منتشر شد:
-Introducing Amin -Bandali, intern with the FSF tech team

- -

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

- -

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

- -

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

- -

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

- -

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

- -
-

Copyright © 2020, 2021 bandali

-

Copying and distribution of this file, -with or without modification, are permitted in any medium without -royalty provided the copyright notice and this notice are preserved. -This file is offered as-is, without any warranty.

-

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

- - diff --git a/fa/2020/12/18/fsf-internship-beyond.fa.txt b/fa/2020/12/18/fsf-internship-beyond.fa.txt deleted file mode 100644 index 001b2eb..0000000 --- a/fa/2020/12/18/fsf-internship-beyond.fa.txt +++ /dev/null @@ -1,102 +0,0 @@ -کارآموزی من با تیم فنی بنیاد نرم‌افزار آزاد و فراتر از آن - - نسخهٔ انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار - آزاد منتشر شد: - https://www.fsf.org/blogs/sysadmin/my-internship-with-the-fsf-tech-team-and-beyond - -سلام! من امین بندعلی هستم و این دومین پست من در وبلاگ مدیر سامانه FSF -در انتهای کارآموزیم است. - -در طول کارآموزیم با FSF، عمدتا در وظایف مدیریت سامانه‌ای مربوط به -راه‌اندازی و یا مدیریت سرورهای گنو/لینوکس FSF کار کردم. شاید قابل توجه -ترین کارم در طول این کارآموزی راه‌اندازی یک سرور سورس‌هات[Û±] برای کمک به -ارزیابی[Û²] آن به عنوان یک کاندید برای پروژهٔ میزبانی نرم‌افزار آزاد -FSF[Û³] است. من مراحل نصب و راه‌اندازی اجزای مختلف سورس‌هات را به صورت -یک پروندهٔ ادیبانه اُرگ-مُد گنو ایمکس (literate GNU Emacs Org-mode file) -مستندسازی کردم، که در آن بلوک‌های کد با توضیحات لازم همراهی شده‌اند. در -این صورت خوانندهٔ پرونده می‌تواند به مرور هر بلوک کد را ارزیابی و اجرا -کند و به طور اختیاری نتایج آن‌ها را در همان پرونده برای مستندسازی ذخیره -کند. - -[Û±] https://sourcehut.org -[Û²] https://libreplanet.org/wiki/FSF_2020_forge_evaluation -[Û³] https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration - -من همچنین به آهستگی مشغول کار بر تغییرات مختلف برای بهبود سروری که -www.gnu.org روی آن اجرا می‌شود بوده‌ام، و بعد از اتمام کارآموزیم نیز به -طور داوطلبانه به آن ادامه خواهم داد. امیدوارم این بهبودها برای مدیران -سامانه FSF که مدیریت آن سرور را بر عهده دارند، برای وب‌مسترهای گنو که -روی gnu.org کار می‌کنند، و برای عوام مردم که صفحات gnu.org را مرور کرده -یا می‌خوانند مفید واقع شوند. به ویژه این تغییرات شامل ارتقای سبستم‌عامل -سرور به آخرین نسخهٔ توزیع گنو/لینوکس تریسکل و بازسازی و بهبود مکانیزم -جستجوی صفحات gnu.org می‌شوند. علاوه بر این، چند پروژهٔ دیگر نیز هستند -که تمایل دارم در آیندهٔ نزدیک با تیم فنی FSF به انجام برسانم. - -در طول کارآموزیم با تیم فنی FSF، انواع گوناگونی مهارت‌های جدید کسب کرده -و درمورد مجموعه‌ی متنوعی از موضوعات و ابزارهای مختلف مربوط به مدیریت -سامانه سرورهای گنو/لینوکسی یاد گرفتم. این شامل کامپایل/ساخت و نصب -نرم‌افزار پیچیده‌ای مثل سورس‌هات و رفع‌اشکال مسائلی که به آن‌ها برخوردم، -استفاده از Ansible برای مدیریت و استقرار (deploy) زیرساخت‌های -نرم‌افزاری، و یادگیری دربارهٔ عامل انتقال پیام (Mail Transfer Agent -(MTA)) Exim که FSF بر روی سرورهای دریافت و ارسال رایانامه‌های خود از آن -استفاده می‌کند می‌شود. - -در انتهای کارآموزیم و سال ۲۰۲۰، می‌توان گفت امسال سال...جالب و پراتقافی -برای بیشتر مردم، از جمله خودم، بوده است. من کارآموزیم را در آخرین ماه -مه شروع کردم، و به عنوان یک دانشجوی کارشناسی ارشد، انتظار داشتم یک بار -کاری معقول و متعادل برای کارم روی پایان‌نامه‌ام در ماه‌های آتی داشته‌باشم. -اما کمتر از دو هفته پس از شروع کارآموزیم متوجه شدم که به چند دلیل -مجبورم که دورهٔ کارشناسی ارشدم را در عرض دو ماه به پایان برسانم. این -مسئله را به اطلاع تیم فنی FSF رساندم و اجازه گرفتم تا یک وقفه در -کارآموزیم بگذارم تا بتوانم پایان‌نامه‌ام را بدون لطمه به کارآموزی یا -تحصیلاتم به اتمام برسانم. عمیقا قدردان تیم فنی و سایر کارمندان FSF -هستم که با انعطاف فراوان به من اجازه دادند تا موقتا کارآموزیم را متوقف -کنم تا روی تکمیل پایان‌نامه‌ام و اتمام دوره کارشناسی ارشدم تمرکز کنم. -خوشبختانه با زحمت و مشقت فراوان موفق شدم درسم را در آن بازهٔ زمانی -فوق‌العاده کوتاه تمام کرده و پس از آن به انجام کارآموزیم بپردازم. - -با این حال، تمام چیزهای خوب در نهایت به پایان می‌رسند، از جمله این -کارآموزی. از صمیم قلبم از اعضای تیم فنی FSF -- ایان و اندرو و روبن و -مایکل -- برای پذیرش و استقبال از من در تیم به عنوان یک کارآموز، -راهنمایی و پاسخ دادن به پرسش‌های فراوانم و کمک به یادگیری بیشترم -سپاس‌گذارم. کار کردن در کنار شما و دیدن انرژی و همتی که صرف کار و -مسئولیت‌هایتان به عنوان یک مدیر سامانه و توسعه‌دهندهٔ وب FSF می‌کنید برای -من یک افتخار و تجربهٔ فوق‌العاده بوده است. در حالی که بیشتر ارتباطات من -با اعضای تیم فنی FSF بوده است، من فرصت تعامل با اعضای دیگر تیم‌های FSF -را نیز در طول کارآموزیم داشتم و بابت گفتگوهایمان و فرصت یادگیری دربارهٔ -کارها و وظایف پراهمیتتان و تخصیصتان به انجامشان سپاس‌گذارم. - -این کارآموزی به پایان رسیده، اما همه خاطرات خوب و درس‌هایی که در طول -کارآموزیم یاد گرفتم را همیشه با خود خواهم داشت و مشتاقانه به عنوان یک -داوطلب به همکاری با شما ادامه خواهم داد. مطالبی که در طول کارآموزیم -یادگرفته و تجربه‌هایی که کسب کردم در شغل جدیدم به عنوان یک مشاور -نرم‌افزار آزاد در شرکت Savoir-faire Linux برایم بسیار با ارزش و مفید -واقع شده‌اند. در Savoir-faire Linux روی اجزا و قسمت‌های مختلف جمی -- یک -برنامهٔ گنو برای ارتباطات جامع که به آزادی‌ها و حریم خصوصی کاربرانش -احترام می‌گذارد -- کار می‌کنم. - -دوست دارم از FSF برای فرصت عالی کار کردن در کنار تیم فنی FSF به عنوان -یک کارآموز قدردانی کنم، که تجربه‌ی عالی و به یاد ماندنی‌ای بود و درس‌هایی -ارزشمند و خاطرات خوب به من هدیه داد. - - علاقه‌مند به کارآموزی برای بنیاد نرم‌افزار آزاد هستید؟ - دورهٔ درخواست کارآموزی بهار Û²Û°Û²Û± در حال حاضر باز است. - صفحهٔ https://www.fsf.org/volunteer/internships را - برای اطلاعات بیشتر در مورد درخواست کارآموزی ببینید! - - - -*- - -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-12-18 -این پرونده: https://bndl.org/fa/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 deleted file mode 100644 index 413377d..0000000 --- a/fa/2020/12/18/fsf-internship-beyond.html +++ /dev/null @@ -1,139 +0,0 @@ - - - - -کارآموزی من با تیم فنی بنیاد نرم‌افزار آزاد و فراتر از آن — بندعلی - - - - - - -

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

-

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

- -

نسخهٔ -انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار آزاد -منتشر شد:
-My -internship with the FSF tech team and beyond

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -
-

Copyright © 2020, 2021 bandali

-

Copying and distribution of this file, -with or without modification, are permitted in any medium without -royalty provided the copyright notice and this notice are preserved. -This file is offered as-is, without any warranty.

-

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

- - diff --git a/fa/bandali.fa.txt b/fa/bandali.fa.txt index 30556f5..1caeeb6 100644 --- a/fa/bandali.fa.txt +++ b/fa/bandali.fa.txt @@ -10,17 +10,13 @@ یادداشت‌هایم[*] در رابطه با برخی موضوعات و مسائلی که برایم مهم هستند: - Û²Û° مارس Û²Û°Û²Û± - LibrePlanet 2021: جمی و اینکه چگونه به کاربران قدرت می‌بخشد (انگلیسی) - https://bndl.org/2021/03/30/libreplanet-2021.txt - Û±Û¸ دسامبر Û²Û°Û²Û° کارآموزی من با تیم فنی بنیاد نرم‌افزار آزاد و فراتر از آن - https://bndl.org/fa/2020/12/18/fsf-internship-beyond.txt + https://bndl.org/fa/fsf-internship/fsf-internship-beyond.txt Û²Û¹ مه Û²Û°Û²Û° کارآموزی با تیم فنی بنیاد نرم‌افزار آزاد - https://bndl.org/fa/2020/05/29/fsf-internship-intro.txt + https://bndl.org/fa/fsf-internship/fsf-internship-intro.txt Û±Û´ سپتامبر Û²Û°Û±Û¹ چگونه از رایانه استفاده می‌کنم @@ -31,6 +27,20 @@ https://bndl.org/fa/notes.rss +ارائه‌ها + + برخی ارائه‌ها و پرزنتیشن‌هایم در سال‌های اخیر (اکثرا یا تماما به زبان + انگلیسی): + + Û²Û° مارس Û²Û°Û²Û± + LibrePlanet 2021: جمی و اینکه چگونه به کاربران قدرت می‌بخشد (انگلیسی) + https://bndl.org/talks/libreplanet-2021-jami.txt + + Û³Û° ژوئن Û²Û°Û²Û° + بررسی جامع زبان‌های مدلینگ اعلانی (انگلیسی) + https://bndl.org/theses/bandali-mmath.txt + + دیگر صفحات برخی صفحات دیگر bndl.org که ممکن است مورد توجه واقع‌شوند: @@ -38,7 +48,6 @@ https://bndl.org/fa/bandali-projects.fa.txt https://bndl.org/bandali-cv.txt https://bndl.org/fa/bandali-contact.fa.txt - https://bndl.org/mmath/bandali-mmath.txt https://bndl.org/bandali.txt diff --git a/fa/fsf-internship/beyond.html b/fa/fsf-internship/beyond.html new file mode 100644 index 0000000..88c770d --- /dev/null +++ b/fa/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/fsf-internship/fsf-internship-beyond.fa.txt b/fa/fsf-internship/fsf-internship-beyond.fa.txt new file mode 100644 index 0000000..e679a0c --- /dev/null +++ b/fa/fsf-internship/fsf-internship-beyond.fa.txt @@ -0,0 +1,102 @@ +کارآموزی من با تیم فنی بنیاد نرم‌افزار آزاد و فراتر از آن + + نسخهٔ انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار + آزاد منتشر شد: + https://www.fsf.org/blogs/sysadmin/my-internship-with-the-fsf-tech-team-and-beyond + +سلام! من امین بندعلی هستم و این دومین پست من در وبلاگ مدیر سامانه FSF +در انتهای کارآموزیم است. + +در طول کارآموزیم با FSF، عمدتا در وظایف مدیریت سامانه‌ای مربوط به +راه‌اندازی و یا مدیریت سرورهای گنو/لینوکس FSF کار کردم. شاید قابل توجه +ترین کارم در طول این کارآموزی راه‌اندازی یک سرور سورس‌هات[Û±] برای کمک به +ارزیابی[Û²] آن به عنوان یک کاندید برای پروژهٔ میزبانی نرم‌افزار آزاد +FSF[Û³] است. من مراحل نصب و راه‌اندازی اجزای مختلف سورس‌هات را به صورت +یک پروندهٔ ادیبانه اُرگ-مُد گنو ایمکس (literate GNU Emacs Org-mode file) +مستندسازی کردم، که در آن بلوک‌های کد با توضیحات لازم همراهی شده‌اند. در +این صورت خوانندهٔ پرونده می‌تواند به مرور هر بلوک کد را ارزیابی و اجرا +کند و به طور اختیاری نتایج آن‌ها را در همان پرونده برای مستندسازی ذخیره +کند. + +[Û±] https://sourcehut.org +[Û²] https://libreplanet.org/wiki/FSF_2020_forge_evaluation +[Û³] https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration + +من همچنین به آهستگی مشغول کار بر تغییرات مختلف برای بهبود سروری که +www.gnu.org روی آن اجرا می‌شود بوده‌ام، و بعد از اتمام کارآموزیم نیز به +طور داوطلبانه به آن ادامه خواهم داد. امیدوارم این بهبودها برای مدیران +سامانه FSF که مدیریت آن سرور را بر عهده دارند، برای وب‌مسترهای گنو که +روی gnu.org کار می‌کنند، و برای عوام مردم که صفحات gnu.org را مرور کرده +یا می‌خوانند مفید واقع شوند. به ویژه این تغییرات شامل ارتقای سبستم‌عامل +سرور به آخرین نسخهٔ توزیع گنو/لینوکس تریسکل و بازسازی و بهبود مکانیزم +جستجوی صفحات gnu.org می‌شوند. علاوه بر این، چند پروژهٔ دیگر نیز هستند +که تمایل دارم در آیندهٔ نزدیک با تیم فنی FSF به انجام برسانم. + +در طول کارآموزیم با تیم فنی FSF، انواع گوناگونی مهارت‌های جدید کسب کرده +و درمورد مجموعه‌ی متنوعی از موضوعات و ابزارهای مختلف مربوط به مدیریت +سامانه سرورهای گنو/لینوکسی یاد گرفتم. این شامل کامپایل/ساخت و نصب +نرم‌افزار پیچیده‌ای مثل سورس‌هات و رفع‌اشکال مسائلی که به آن‌ها برخوردم، +استفاده از Ansible برای مدیریت و استقرار (deploy) زیرساخت‌های +نرم‌افزاری، و یادگیری دربارهٔ عامل انتقال پیام (Mail Transfer Agent +(MTA)) Exim که FSF بر روی سرورهای دریافت و ارسال رایانامه‌های خود از آن +استفاده می‌کند می‌شود. + +در انتهای کارآموزیم و سال ۲۰۲۰، می‌توان گفت امسال سال...جالب و پراتقافی +برای بیشتر مردم، از جمله خودم، بوده است. من کارآموزیم را در آخرین ماه +مه شروع کردم، و به عنوان یک دانشجوی کارشناسی ارشد، انتظار داشتم یک بار +کاری معقول و متعادل برای کارم روی پایان‌نامه‌ام در ماه‌های آتی داشته‌باشم. +اما کمتر از دو هفته پس از شروع کارآموزیم متوجه شدم که به چند دلیل +مجبورم که دورهٔ کارشناسی ارشدم را در عرض دو ماه به پایان برسانم. این +مسئله را به اطلاع تیم فنی FSF رساندم و اجازه گرفتم تا یک وقفه در +کارآموزیم بگذارم تا بتوانم پایان‌نامه‌ام را بدون لطمه به کارآموزی یا +تحصیلاتم به اتمام برسانم. عمیقا قدردان تیم فنی و سایر کارمندان FSF +هستم که با انعطاف فراوان به من اجازه دادند تا موقتا کارآموزیم را متوقف +کنم تا روی تکمیل پایان‌نامه‌ام و اتمام دوره کارشناسی ارشدم تمرکز کنم. +خوشبختانه با زحمت و مشقت فراوان موفق شدم درسم را در آن بازهٔ زمانی +فوق‌العاده کوتاه تمام کرده و پس از آن به انجام کارآموزیم بپردازم. + +با این حال، تمام چیزهای خوب در نهایت به پایان می‌رسند، از جمله این +کارآموزی. از صمیم قلبم از اعضای تیم فنی FSF -- ایان و اندرو و روبن و +مایکل -- برای پذیرش و استقبال از من در تیم به عنوان یک کارآموز، +راهنمایی و پاسخ دادن به پرسش‌های فراوانم و کمک به یادگیری بیشترم +سپاس‌گذارم. کار کردن در کنار شما و دیدن انرژی و همتی که صرف کار و +مسئولیت‌هایتان به عنوان یک مدیر سامانه و توسعه‌دهندهٔ وب FSF می‌کنید برای +من یک افتخار و تجربهٔ فوق‌العاده بوده است. در حالی که بیشتر ارتباطات من +با اعضای تیم فنی FSF بوده است، من فرصت تعامل با اعضای دیگر تیم‌های FSF +را نیز در طول کارآموزیم داشتم و بابت گفتگوهایمان و فرصت یادگیری دربارهٔ +کارها و وظایف پراهمیتتان و تخصیصتان به انجامشان سپاس‌گذارم. + +این کارآموزی به پایان رسیده، اما همه خاطرات خوب و درس‌هایی که در طول +کارآموزیم یاد گرفتم را همیشه با خود خواهم داشت و مشتاقانه به عنوان یک +داوطلب به همکاری با شما ادامه خواهم داد. مطالبی که در طول کارآموزیم +یادگرفته و تجربه‌هایی که کسب کردم در شغل جدیدم به عنوان یک مشاور +نرم‌افزار آزاد در شرکت Savoir-faire Linux برایم بسیار با ارزش و مفید +واقع شده‌اند. در Savoir-faire Linux روی اجزا و قسمت‌های مختلف جمی -- یک +برنامهٔ گنو برای ارتباطات جامع که به آزادی‌ها و حریم خصوصی کاربرانش +احترام می‌گذارد -- کار می‌کنم. + +دوست دارم از FSF برای فرصت عالی کار کردن در کنار تیم فنی FSF به عنوان +یک کارآموز قدردانی کنم، که تجربه‌ی عالی و به یاد ماندنی‌ای بود و درس‌هایی +ارزشمند و خاطرات خوب به من هدیه داد. + + علاقه‌مند به کارآموزی برای بنیاد نرم‌افزار آزاد هستید؟ + دورهٔ درخواست کارآموزی بهار Û²Û°Û²Û± در حال حاضر باز است. + صفحهٔ https://www.fsf.org/volunteer/internships را + برای اطلاعات بیشتر در مورد درخواست کارآموزی ببینید! + + + -*- + +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-12-18 +این پرونده: https://bndl.org/fa/fsf-internship/fsf-internship-beyond.fa.txt diff --git a/fa/fsf-internship/fsf-internship-intro.fa.txt b/fa/fsf-internship/fsf-internship-intro.fa.txt new file mode 100644 index 0000000..727945c --- /dev/null +++ b/fa/fsf-internship/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/fsf-internship-intro.fa.txt diff --git a/fa/fsf-internship/intro.html b/fa/fsf-internship/intro.html new file mode 100644 index 0000000..8159920 --- /dev/null +++ b/fa/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/index.html b/fa/index.html index b78ae89..95557c6 100644 --- a/fa/index.html +++ b/fa/index.html @@ -37,9 +37,9 @@ a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}}

من یک فعال نرم‌افزار -آزاد و کارشناس ارشد علوم رایانه هستم. به -عنوان یک عضو -پروژهٔ گنو، سرپرستی نرم‌افزارهای جمی +آزاد و کارشناس ارشد علوم رایانه هستم. به عنوان +یک عضو پروژهٔ +گنو، سرپرستی نرم‌افزارهای جمی و گنو آیس‌کت را بر عهده دارم و همچنین در توسعهٔ تعداد دیگری از برنامه‌ها و بخش‌های گنو مثل ایمکس @@ -50,13 +50,10 @@ a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}} هستند:

    -
  • LibrePlanet -2021: جمی و اینکه چگونه به کاربران قدرت می‌بخشد (انگلیسی) -(Û²Û° مارس Û²Û°Û²Û±)
  • -
  • کارآموزی من با تیم +
  • کارآموزی من با تیم فنی بنیاد نرم‌افزار آزاد و فراتر از آن (Û±Û¸ دسامبر Û²Û°Û²Û°)
  • -
  • کارآموزی با تیم فنی +
  • کارآموزی با تیم فنی بنیاد نرم‌افزار آزاد (Û²Û¹ مه Û²Û°Û²Û°)
  • چگونه از رایانه استفاده می‌کنم (Û±Û´ سپتامبر Û²Û°Û±Û¹)
  • @@ -65,6 +62,20 @@ a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}}

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

    +

    ارائه‌ها

    +

    برخی ارائه‌ها و پرزنتیشن‌هایم در سال‌های اخیر (اکثرا یا تماما به زبان +انگلیسی):

    + + +

    Copyright © 2012–2021 bandali

    Copying and distribution of this file, diff --git a/fa/notes.atom b/fa/notes.atom index 8e2bc6d..4f30b65 100644 --- a/fa/notes.atom +++ b/fa/notes.atom @@ -15,16 +15,16 @@ بندعلی -tag:bndl.org,2020:fa/notes.atom:fsf-internship-beyond +tag:bndl.org,2020:fa/notes.atom:fsf-internship/beyond 2020-12-18T00:00:00+00:00 2020-12-18T00:00:00+00:00 - - - - + + + + کارآموزی من با تیم فنی بنیاد نرم‌افزار آزاد و فراتر از آن — بندعلی نسخهٔ +

    نسخهٔ انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار آزاد منتشر شد:
    بندعلی -tag:bndl.org,2020:fa/notes.atom:fsf-internship-intro +tag:bndl.org,2020:fa/notes.atom:fsf-internship/intro 2020-05-29T00:00:00+00:00 2020-05-29T00:00:00+00:00 - - - - + + + + کارآموزی با تیم فنی بنیاد نرم‌افزار آزاد — بندعلی نسخهٔ +

    نسخهٔ انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار آزاد منتشر شد:
    کارآموزی من با تیم فنی بنیاد نرم‌افزار آزاد و فراتر از آن — بندعلی -https://bndl.org/fa/2020/12/18/fsf-internship-beyond.html - - - - -tag:bndl.org,2020:fa/notes.rss:fsf-internship-beyond +https://bndl.org/fa/fsf-internship/beyond.html + + + + +tag:bndl.org,2020:fa/notes.rss:fsf-internship/beyond Fri, 18 Dec 2020 00:00:00 +0000 نسخهٔ +

    نسخهٔ انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار آزاد منتشر شد:
    کارآموزی با تیم فنی بنیاد نرم‌افزار آزاد — بندعلی -https://bndl.org/fa/2020/05/29/fsf-internship-intro.html - - - - -tag:bndl.org,2020:fa/notes.rss:fsf-internship-intro +https://bndl.org/fa/fsf-internship/intro.html + + + + +tag:bndl.org,2020:fa/notes.rss:fsf-internship/intro Fri, 29 May 2020 00:00:00 +0000 نسخهٔ +

    نسخهٔ انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرم‌افزار آزاد منتشر شد:
    + + + +My internship with the FSF tech team and beyond — bandali + + + + + +

    My internship with the FSF tech team and beyond

    +

    by bandali +on 18 December 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/fsf-internship-beyond.txt b/fsf-internship/fsf-internship-beyond.txt new file mode 100644 index 0000000..285b1e7 --- /dev/null +++ b/fsf-internship/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 +this file: https://bndl.org/fsf-internship/fsf-internship-beyond.txt diff --git a/fsf-internship/fsf-internship-intro.txt b/fsf-internship/fsf-internship-intro.txt new file mode 100644 index 0000000..7c05389 --- /dev/null +++ b/fsf-internship/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 +this file: https://bndl.org/fsf-internship/fsf-internship-intro.txt diff --git a/fsf-internship/intro.html b/fsf-internship/intro.html new file mode 100644 index 0000000..3dbdec0 --- /dev/null +++ b/fsf-internship/intro.html @@ -0,0 +1,96 @@ + + + + +Internship with the FSF tech team — bandali + + + + + +

    Internship with the FSF tech team

    +

    by bandali +on 29 May 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/index.html b/index.html index bd9b473..af68beb 100644 --- a/index.html +++ b/index.html @@ -31,8 +31,8 @@ a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}}

    I am a free/libre -software activist and a computing scientist. -I'm a GNU maintainer of Jami +software activist and a computing scientist. I'm a GNU maintainer +of Jami and GNU IceCat, and wear a few other hats around GNU as well: Savannah hacker/admin, @@ -42,20 +42,28 @@ assistant GNUisance, GNU webmaster, etc.

    Here are notes about topics or issues I care about:

    The notes are also available via Atom and RSS feeds.

    +

    talks

    +

    Some of the talks and presentations I've given over the years:

    + + +

    Copyright © 2012–2021 bandali

    Copying and distribution of this file, with or without diff --git a/mmath/bandali-mmath-thesis.pdf b/mmath/bandali-mmath-thesis.pdf deleted file mode 120000 index 5f4212d..0000000 --- a/mmath/bandali-mmath-thesis.pdf +++ /dev/null @@ -1 +0,0 @@ -../../site-files/mmath/bandali-mmath-thesis.pdf \ No newline at end of file diff --git a/mmath/bandali-mmath-thesis.tar.gz b/mmath/bandali-mmath-thesis.tar.gz deleted file mode 120000 index 280d564..0000000 --- a/mmath/bandali-mmath-thesis.tar.gz +++ /dev/null @@ -1 +0,0 @@ -../../site-files/mmath/bandali-mmath-thesis.tar.gz \ No newline at end of file diff --git a/mmath/bandali-mmath-thesis.zip b/mmath/bandali-mmath-thesis.zip deleted file mode 120000 index 5673a86..0000000 --- a/mmath/bandali-mmath-thesis.zip +++ /dev/null @@ -1 +0,0 @@ -../../site-files/mmath/bandali-mmath-thesis.zip \ No newline at end of file diff --git a/mmath/bandali-mmath.txt b/mmath/bandali-mmath.txt deleted file mode 100644 index 831facb..0000000 --- a/mmath/bandali-mmath.txt +++ /dev/null @@ -1,105 +0,0 @@ -bandali's master of mathematics -------------------------------- - -I graduated from the University of Waterloo with the degree of Master -of Mathematics in Computer Science in Spring 2020. My research at the -Waterloo Formal Methods group focused on formal logic, model checking, -and verification; under supervision of Prof. Nancy Day. - - - A Comprehensive Study of Declarative Modelling Languages - -THESIS - - Reference version: - - https://bndl.org/mmath/bandali-mmath-thesis.pdf - LaTeX sources: - - https://bndl.org/mmath/bandali-mmath-thesis.tar.gz - - https://bndl.org/mmath/bandali-mmath-thesis.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 - . - - 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: (coming soon) - LaTeX sources: (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: - - https://cs.uwaterloo.ca/events/masters-thesis-presentation-formal-methods-comprehensive-study-declarative-modelling-languages - -MODELS - - Reference version: (coming soon) - - - -*- - -Copyright (c) 2020 bandali - -Copying and distribution of this file, with or without modification, -are permitted in any medium without royalty provided the copyright -notice and this notice are preserved. This file is offered as-is, -without any warranty. - -plain text: https://bndl.org/mmath/bandali-mmath.txt diff --git a/mmath/index.html b/mmath/index.html deleted file mode 100644 index 505e0c0..0000000 --- a/mmath/index.html +++ /dev/null @@ -1,145 +0,0 @@ - - - - -master of mathematics — bandali - - - - - -

    bandali's master of mathematics

    - -

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

    - - -

    A Comprehensive Study of Declarative Modelling Languages

    - -

    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 index f4e1b56..ed20824 100644 --- a/notes.atom +++ b/notes.atom @@ -15,11 +15,11 @@ bandali -tag:bndl.org,2020:notes.atom:libreplanet-2021 +tag:bndl.org,2020:notes.atom:libreplanet-2021-jami 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 @@ -91,13 +91,13 @@ upcoming challenges. Newcomers are always welcome, and LibrePlanet bandali -tag:bndl.org,2020:notes.atom:fsf-internship-beyond +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 @@ -196,13 +196,13 @@ for more details and information on how to apply!

    bandali -tag:bndl.org,2020:notes.atom:fsf-internship-intro +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 diff --git a/notes.rss b/notes.rss index 98b3302..d3bb98d 100644 --- a/notes.rss +++ b/notes.rss @@ -21,9 +21,9 @@ LibrePlanet 2021: Jami and how it empowers users — bandali -https://bndl.org/2021/03/20/libreplanet-2021.html - - +https://bndl.org/talks/libreplanet-2021-jami.html + + tag:bndl.org,2020:notes.rss:libreplanet-2021 Sat, 20 Mar 2021 00:00:00 +0000 2021-03-21T00:00:00+00:00 @@ -97,11 +97,11 @@ upcoming challenges. Newcomers are always welcome, and LibrePlanet My internship with the FSF tech team and beyond — bandali -https://bndl.org/2020/12/18/fsf-internship-beyond.html - - - - +https://bndl.org/fsf-internship/beyond.html + + + + tag:bndl.org,2020:notes.rss:fsf-internship-beyond Fri, 18 Dec 2020 00:00:00 +0000 Internship with the FSF tech team — bandali -https://bndl.org/2020/05/29/fsf-internship-intro.html - - - - +https://bndl.org/fsf-internship/intro.html + + + + tag:bndl.org,2020:notes.rss:fsf-internship-intro Fri, 29 May 2020 00:00:00 +0000 - - - -SE 212 Material — bandali - - - -

    Material from SE 212 tutorials

    - -

    This page contains slides and other material from -SE 212 -tutorials held by me in Fall 2019. -If you have any questions, concerns, or suggestions about the -presented material, please email me at bandali@uwaterloo.ca or come -see me during -my Friday -office hours.

    - - - - diff --git a/se212-f19/se212-h02q04d-soln.grg b/se212-f19/se212-h02q04d-soln.grg deleted file mode 120000 index 2e26d10..0000000 --- a/se212-f19/se212-h02q04d-soln.grg +++ /dev/null @@ -1 +0,0 @@ -../../site-files/se212-f19/se212-h02q04d-soln.grg \ No newline at end of file diff --git a/se212-f19/se212-t01-101.pdf b/se212-f19/se212-t01-101.pdf deleted file mode 120000 index a3fbaf0..0000000 --- a/se212-f19/se212-t01-101.pdf +++ /dev/null @@ -1 +0,0 @@ -../../site-files/se212-f19/se212-t01-101.pdf \ No newline at end of file diff --git a/se212-f19/se212-t01-102.pdf b/se212-f19/se212-t01-102.pdf deleted file mode 120000 index 3d3e1bd..0000000 --- a/se212-f19/se212-t01-102.pdf +++ /dev/null @@ -1 +0,0 @@ -../../site-files/se212-f19/se212-t01-102.pdf \ No newline at end of file diff --git a/se212-f19/se212-t01.org b/se212-f19/se212-t01.org deleted file mode 120000 index 872d424..0000000 --- a/se212-f19/se212-t01.org +++ /dev/null @@ -1 +0,0 @@ -../../site-files/se212-f19/se212-t01.org \ No newline at end of file diff --git a/se212-f19/se212-t05.org b/se212-f19/se212-t05.org deleted file mode 120000 index 3588c67..0000000 --- a/se212-f19/se212-t05.org +++ /dev/null @@ -1 +0,0 @@ -../../site-files/se212-f19/se212-t05.org \ No newline at end of file diff --git a/se212-f19/se212-t05.pdf b/se212-f19/se212-t05.pdf deleted file mode 120000 index 95bae6e..0000000 --- a/se212-f19/se212-t05.pdf +++ /dev/null @@ -1 +0,0 @@ -../../site-files/se212-f19/se212-t05.pdf \ No newline at end of file diff --git a/talks/libreplanet-2021-jami-with-notes.pdf b/talks/libreplanet-2021-jami-with-notes.pdf new file mode 120000 index 0000000..ea42ca2 --- /dev/null +++ b/talks/libreplanet-2021-jami-with-notes.pdf @@ -0,0 +1 @@ +../../site-files/talks/libreplanet-2021-jami-with-notes.pdf \ No newline at end of file diff --git a/talks/libreplanet-2021-jami.bib b/talks/libreplanet-2021-jami.bib new file mode 100644 index 0000000..1339c57 --- /dev/null +++ b/talks/libreplanet-2021-jami.bib @@ -0,0 +1,10 @@ +@misc{bandali-libreplanet-2021-jami, + author = {Amin Bandali}, + title = {Jami and how it empowers users}, + year = 2021, + month = {March}, + howpublished = {Presented at the LibrePlanet 2021 Conference}, + url = {https://bndl.org/talks/libreplanet-2021-jami.html}, + slides = {https://bndl.org/talks/libreplanet-2021-jami.pdf}, + pdf = {https://bndl.org/talks/libreplanet-2021-jami-with-notes.pdf} +} diff --git a/talks/libreplanet-2021-jami.html b/talks/libreplanet-2021-jami.html new file mode 100644 index 0000000..3943b32 --- /dev/null +++ b/talks/libreplanet-2021-jami.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 20 March 2021 (last update: 21 March 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/talks/libreplanet-2021-jami.pdf b/talks/libreplanet-2021-jami.pdf new file mode 120000 index 0000000..7bb4c6a --- /dev/null +++ b/talks/libreplanet-2021-jami.pdf @@ -0,0 +1 @@ +../../site-files/talks/libreplanet-2021-jami.pdf \ No newline at end of file diff --git a/talks/libreplanet-2021-jami.tar.gz b/talks/libreplanet-2021-jami.tar.gz new file mode 120000 index 0000000..065dfd6 --- /dev/null +++ b/talks/libreplanet-2021-jami.tar.gz @@ -0,0 +1 @@ +../../site-files/talks/libreplanet-2021-jami.tar.gz \ No newline at end of file diff --git a/talks/libreplanet-2021-jami.txt b/talks/libreplanet-2021-jami.txt new file mode 100644 index 0000000..4df63bf --- /dev/null +++ b/talks/libreplanet-2021-jami.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://bndl.org/talks/libreplanet-2021-jami.pdf + - https://bndl.org/talks/libreplanet-2021-jami-with-notes.pdf + - https://bndl.org/talks/libreplanet-2021-jami.bib +LaTeX sources: + - https://bndl.org/talks/libreplanet-2021-jami.tar.gz + - https://bndl.org/talks/libreplanet-2021-jami.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 +this file: https://bndl.org/talks/libreplanet-2021-jami.txt diff --git a/talks/libreplanet-2021-jami.zip b/talks/libreplanet-2021-jami.zip new file mode 120000 index 0000000..d61f9fb --- /dev/null +++ b/talks/libreplanet-2021-jami.zip @@ -0,0 +1 @@ +../../site-files/talks/libreplanet-2021-jami.zip \ No newline at end of file diff --git a/teaching/se212-f19.html b/teaching/se212-f19.html new file mode 100644 index 0000000..25f5712 --- /dev/null +++ b/teaching/se212-f19.html @@ -0,0 +1,51 @@ + + + + +SE 212 Material — bandali + + + +

    Material from SE 212 tutorials

    + +

    This page contains slides and other material from +SE 212 +tutorials held by me in Fall 2019. +If you have any questions, concerns, or suggestions about the +presented material, please email me at bandali@uwaterloo.ca or come +see me during +my Friday +office hours.

    + + + + diff --git a/teaching/se212-h02q04d-soln.grg b/teaching/se212-h02q04d-soln.grg new file mode 120000 index 0000000..551a882 --- /dev/null +++ b/teaching/se212-h02q04d-soln.grg @@ -0,0 +1 @@ +../../site-files/teaching/se212-h02q04d-soln.grg \ No newline at end of file diff --git a/teaching/se212-t01-101.pdf b/teaching/se212-t01-101.pdf new file mode 120000 index 0000000..5cbc085 --- /dev/null +++ b/teaching/se212-t01-101.pdf @@ -0,0 +1 @@ +../../site-files/teaching/se212-t01-101.pdf \ No newline at end of file diff --git a/teaching/se212-t01-102.pdf b/teaching/se212-t01-102.pdf new file mode 120000 index 0000000..d7c14ea --- /dev/null +++ b/teaching/se212-t01-102.pdf @@ -0,0 +1 @@ +../../site-files/teaching/se212-t01-102.pdf \ No newline at end of file diff --git a/teaching/se212-t01.org b/teaching/se212-t01.org new file mode 120000 index 0000000..d8161be --- /dev/null +++ b/teaching/se212-t01.org @@ -0,0 +1 @@ +../../site-files/teaching/se212-t01.org \ No newline at end of file diff --git a/teaching/se212-t05.org b/teaching/se212-t05.org new file mode 120000 index 0000000..9e5f8e6 --- /dev/null +++ b/teaching/se212-t05.org @@ -0,0 +1 @@ +../../site-files/teaching/se212-t05.org \ No newline at end of file diff --git a/teaching/se212-t05.pdf b/teaching/se212-t05.pdf new file mode 120000 index 0000000..7ef2e87 --- /dev/null +++ b/teaching/se212-t05.pdf @@ -0,0 +1 @@ +../../site-files/teaching/se212-t05.pdf \ No newline at end of file diff --git a/theses/bandali-mmath-thesis.bib b/theses/bandali-mmath-thesis.bib new file mode 100644 index 0000000..c9240db --- /dev/null +++ b/theses/bandali-mmath-thesis.bib @@ -0,0 +1,13 @@ +@mastersthesis{bandali-mmath-2020, + type = {{MMath} thesis}, + author = {Amin Bandali}, + title = {{A Comprehensive Study of Declarative Modelling Languages}}, + school = "University of Waterloo, David R. Cheriton School of Computer Science", + year = 2020, + month = {July}, + publisher = "UWSpace", + url = {http://hdl.handle.net/10012/16059}, + note = {\url{http://hdl.handle.net/10012/16059} and + \url{https://bndl.org/theses/mmath.html}}, + pdf = {https://bndl.org/theses/bandali-mmath-thesis.pdf} +} diff --git a/theses/bandali-mmath-thesis.pdf b/theses/bandali-mmath-thesis.pdf new file mode 120000 index 0000000..0bcc005 --- /dev/null +++ b/theses/bandali-mmath-thesis.pdf @@ -0,0 +1 @@ +../../site-files/theses/bandali-mmath-thesis.pdf \ No newline at end of file diff --git a/theses/bandali-mmath-thesis.tar.gz b/theses/bandali-mmath-thesis.tar.gz new file mode 120000 index 0000000..b8897cf --- /dev/null +++ b/theses/bandali-mmath-thesis.tar.gz @@ -0,0 +1 @@ +../../site-files/theses/bandali-mmath-thesis.tar.gz \ No newline at end of file diff --git a/theses/bandali-mmath-thesis.zip b/theses/bandali-mmath-thesis.zip new file mode 120000 index 0000000..03ecbf0 --- /dev/null +++ b/theses/bandali-mmath-thesis.zip @@ -0,0 +1 @@ +../../site-files/theses/bandali-mmath-thesis.zip \ No newline at end of file diff --git a/theses/bandali-mmath.txt b/theses/bandali-mmath.txt new file mode 100644 index 0000000..92532d1 --- /dev/null +++ b/theses/bandali-mmath.txt @@ -0,0 +1,105 @@ +bandali's master of mathematics +------------------------------- + +I graduated from the University of Waterloo with the degree of Master +of Mathematics in Computer Science in Spring 2020. My research at the +Waterloo Formal Methods group focused on formal logic, model checking, +and verification; under supervision of Prof. Nancy Day. + + + A Comprehensive Study of Declarative Modelling Languages + +THESIS + + Reference version: + - https://bndl.org/theses/bandali-mmath-thesis.pdf + LaTeX sources: + - https://bndl.org/theses/bandali-mmath-thesis.tar.gz + - https://bndl.org/theses/bandali-mmath-thesis.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 + . + + 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: (coming soon) + LaTeX sources: (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: + + https://cs.uwaterloo.ca/events/masters-thesis-presentation-formal-methods-comprehensive-study-declarative-modelling-languages + +MODELS + + Reference version: (coming soon) + + + -*- + +Copyright (c) 2020 bandali + +Copying and distribution of this file, with or without modification, +are permitted in any medium without royalty provided the copyright +notice and this notice are preserved. This file is offered as-is, +without any warranty. + +plain text: https://bndl.org/theses/bandali-mmath.txt diff --git a/theses/mmath.html b/theses/mmath.html new file mode 100644 index 0000000..a9a7682 --- /dev/null +++ b/theses/mmath.html @@ -0,0 +1,145 @@ + + + + +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.

    + +