+++ /dev/null
-<!doctype html><html lang="en"><head>
-<meta charset="utf-8" />
-<meta name="author" content="bandali" />
-<meta name="viewport" content="width=device-width, initial-scale=1" />
-<title>Internship with the FSF tech team — bandali</title>
-<link rel="icon" href="data:,">
-<link rel="canonical" href="https://bndl.org/2020/05/29/fsf-internship-intro.html" />
-<link rel="alternate" href="fsf-internship-intro.txt" title="plain text" type="text/plain" />
-<style>
-body{margin:0 auto;max-width:37.5em;}p{line-height:1.6}
-h1{font-size:1.5em}h1+p{color:#666}
-.box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
-font-size:0.95em;padding:0.6em 0.9em;}
-#copy,#license{font-size:0.84em;line-height:1.3;}
-#copy{margin-bottom:0.5em}#license{margin-top:0.5em}
-@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
-a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
-.box{background:#1b1d1e;border-color:#373c34;}}
-</style></head>
-<body>
-<h1>Internship with the FSF tech team</h1>
-<p>by <a href="https://bndl.org"><b>bandali</b></a>
-on May 29, 2020 <small>(also
-in <a href="fsf-internship-intro.txt">plain text</a>)</small></p>
-
-<p class="box">Originally published on the Free Software Foundation's
-sysadmin blog:<br />
-<a href="https://www.fsf.org/blogs/sysadmin/introducing-bandali-intern-with-the-fsf-tech-team">Introducing
-Amin Bandali, intern with the FSF tech team</a></p>
-
-<p>Hi there, I'm Amin Bandali, often just <code>bandali</code> 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.</p>
-
-<p>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
-<a href="https://www.gnu.org/philosophy/open-source-misses-the-point.html">why
-"open source" misses the point of free software</a>. 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
-<a href="https://www.gnu.org/licenses/agpl.html">GNU AGPL</a>
-license.</p>
-
-<p>My involvement with the <a href="https://www.gnu.org">GNU
-Project</a> started in 2016, first as a volunteer webmaster, and later
-as one of the maintainers of
-<a href="https://www.gnu.org/software/gnuzilla/">GNUzilla and
-IceCat</a> late last year. Also around the same time, I led a group
-of volunteers in organizing and holding
-<a href="https://emacsconf.org/2019">EmacsConf 2019</a> as a
-completely online conference, using only free software tools, much
-like the excellent
-<a href="https://libreplanet.org/wiki/LibrePlanet:Conference/2020">LibrePlanet
-2020</a>. I love <a href="https://www.gnu.org/software/emacs/">GNU
-Emacs</a>, 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.</p>
-
-<p>More closely related to my internship with the FSF tech team, I
-have been familiarizing myself with various pieces of the
-<a href="https://savannah.gnu.org">GNU Savannah</a> 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.</p>
-
-<p>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 <a href="https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration">free
-software forge</a> 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 <em>so much</em> for the GNU project and the wider free
-software community.</p>
-
-<hr />
-<p id="copy">Copyright © 2020 bandali</p>
-<p id="license">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.</p>
-</body>
-</html>
+++ /dev/null
-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
+++ /dev/null
-<!doctype html><html lang="en"><head>
-<meta charset="utf-8" />
-<meta name="author" content="bandali" />
-<meta name="viewport" content="width=device-width, initial-scale=1" />
-<title>My internship with the FSF tech team and beyond — bandali</title>
-<link rel="icon" href="data:,">
-<link rel="canonical" href="https://bndl.org/2020/12/18/fsf-internship-beyond.html" />
-<link rel="alternate" href="fsf-internship-beyond.txt" title="plain text" type="text/plain" />
-<style>
-body{margin:0 auto;max-width:37.5em;}p{line-height:1.6}
-h1{font-size:1.5em}h1+p{color:#666}
-.box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
-font-size:0.95em;padding:0.6em 0.9em;}
-#copy,#license{font-size:0.84em;line-height:1.3;}
-#copy{margin-bottom:0.5em}#license{margin-top:0.5em}
-@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
-a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
-.box{background:#1b1d1e;border-color:#373c34;}}
-</style></head>
-<body>
-<h1>My internship with the FSF tech team and beyond</h1>
-<p>by <a href="https://bndl.org"><b>bandali</b></a>
-on December 18, 2020 <small>(also
-in <a href="fsf-internship-beyond.txt">plain text</a>)</small></p>
-
-<p class="box">Originally published on the Free Software Foundation's
-sysadmin blog:<br />
-<a href="https://www.fsf.org/blogs/sysadmin/my-internship-with-the-fsf-tech-team-and-beyond">My
-internship with the FSF tech team and beyond</a></p>
-
-<p>Hello! I'm
-<a href="https://www.fsf.org/blogs/sysadmin/introducing-bandali-intern-with-the-fsf-tech-team">Amin
-Bandali</a>, and this is my second blog post on the FSF sysadmin blog,
-concluding my internship with the FSF tech team this year.</p>
-
-<p>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 <a href="https://sourcehut.org">Sourcehut</a> forge software to
-help
-<a href="https://libreplanet.org/wiki/FSF_2020_forge_evaluation">evaluate</a>
-it as a candidate for the upcoming
-<a href="https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration">FSF
-forge project</a>. 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.</p>
-
-<p>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.</p>
-
-<p>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.</p>
-
-<p>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.</p>
-
-<p>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.</p>
-
-<p>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.</p>
-
-<p>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.</p>
-
-<p class="box">Interested in interning for the Free Software
-Foundation? The application period for spring 2021 internships is
-currently open. Please see
-<a href="https://www.fsf.org/volunteer/internships">https://www.fsf.org/volunteer/internships</a>
-for more details and information on how to apply!</p>
-
-<hr />
-<p id="copy">Copyright © 2020 bandali</p>
-<p id="license">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.</p>
-</body>
-</html>
+++ /dev/null
-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
+++ /dev/null
-<!doctype html><html lang="en"><head>
-<meta charset="utf-8" />
-<meta name="author" content="bandali" />
-<meta name="viewport" content="width=device-width, initial-scale=1" />
-<title>LibrePlanet 2021: Jami and how it empowers users — bandali</title>
-<link rel="icon" href="data:,">
-<link rel="canonical" href="https://bndl.org/2021/03/20/libreplanet-2021.html" />
-<link rel="alternate" href="libreplanet-2021.txt" title="plain text" type="text/plain" />
-<style>
-body{margin:0 auto;max-width:37.5em;}p{line-height:1.6}
-h1{font-size:1.5em}h1+p{color:#666}
-.box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
-font-size:0.95em;padding:0.6em 0.9em;}
-blockquote{text-align:justify}
-.tex{font-family:"Tex Gyre Termes",serif;text-transform:uppercase;}
-.tex span{font-size:0.75em;margin-left:-0.05em;margin-right:-0.20em;}
-.tex sub{font-size:1em;margin-left:-0.1667em;margin-right:-0.125em;
-vertical-align:-0.5ex;}.tex sup{font-size:0.85em;margin-left:-0.36em;
-margin-right:-0.15em;vertical-align:0.15em;}
-#copy,#license{font-size:0.84em;line-height:1.3;}
-#copy{margin-bottom:0.5em}#license{margin-top:0.5em}
-@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
-a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
-.box{background:#1b1d1e;border-color:#373c34;}}
-</style></head>
-<body>
-<h1>LibrePlanet 2021: Jami and how it empowers users</h1>
-<p>by <a href="https://bndl.org"><b>bandali</b></a>
-on March 20, 2021 <small>(last update: March 21, 2021)
-(also in <a href="libreplanet-2021.txt">plain text</a>)</small></p>
-
-<p>I am giving my very first
-<a href="https://libreplanet.org/2021/">LibrePlanet</a> talk today on
-March 20th. I will be talking about
-<a href="https://jami.net">Jami</a>, 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
-<a href="https://jami.net/together-the-new-version-of-jami-and-a-new-step-forward/">rendezvous
-points</a>, <a href="https://jami.biz/jams-user-guide">JAMS</a>,
-the <a href="https://jami.net/plugins-sdk">plugin SDK</a>,
-<a href="https://jami.net/swarm-introducing-a-new-generation-of-group-conversations">Swarm
-chats</a>, and more; and how these features each help empower users to
-communicate with their loved ones without sacrificing their privacy or
-freedom.</p>
-
-<p>Here is the abstract for my talk, also available on the
-<a href="https://libreplanet.org/2021/speakers/#4285">LibrePlanet
-2021's speakers</a> page:</p>
-
-<blockquote>
-<p>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.</p>
-
-<p>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.</p>
-
-<p>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.</p>
-</blockquote>
-
-<p>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 <a href="https://libreplanet.org/2021/live/">LibrePlanet 2021
-- Live</a> page. Attendance is gratis (no cost), and you can register
-at <a href="https://u.fsf.org/lp21-sp">https://u.fsf.org/lp21-sp</a>.</p>
-
-<p>Presentation slides:
-<a href="https://p.bndl.org/bandali-jami-libreplanet-2021.pdf">pdf</a>
-(<a href="https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf">with notes</a>) |
-<a href="../../../bandali.bib">bib</a><br />
-
-<span class="tex">L<sup>a</sup>T<sub>e</sub>X</span> sources:
-<a href="https://p.bndl.org/bandali-jami-libreplanet-2021.tar.gz">tar.gz</a> |
-<a href="https://p.bndl.org/bandali-jami-libreplanet-2021.zip">zip</a></p>
-
-<p>I hope to see you around this year's all-online LibrePlanet
-conference this weekend!</p>
-
-<p class="box">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.</p>
-
-<hr />
-<p id="copy">Copyright © 2021 bandali</p>
-<p id="license">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.</p>
-</body>
-</html>
+++ /dev/null
-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
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
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
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
%% 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}},
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,
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,
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
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:
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
<body>
<h1>How I do my computing</h1>
<p>by <a href="https://bndl.org"><b>bandali</b></a>
-on September 14, 2019 <small>(last update: February 28, 2021)
+on 14 September 2019 <small>(last update: 28 February 2021)
(also in <a href="bandali-computing.txt">plain text</a>)</small></p>
<p class="box">inspired by the computing page of
<dt>A Comparison of the Declarative Modelling Languages B, DASH, and
TLA<sup>+</sup>
<small>
-[ <a href="https://p.bndl.org/modre2018-declarative.pdf">pdf</a>
+[ <a href="papers/modre2018-declarative.pdf">pdf</a>
+| <a href="papers/modre2018-declarative.bib">bib</a>
| <a href="https://cs.uwaterloo.ca/~nday/artifacts/2018-modre/">models</a>
]
</small>
<dt id="mmath">A Comprehensive Study of Declarative Modelling
Languages
<small>
-[ <a href="mmath/bandali-mmath-thesis.pdf">pdf</a>
+[ <a href="theses/bandali-mmath-thesis.pdf">pdf</a>
+| <a href="theses/bandali-mmath-thesis.bib">bib</a>
| <a href="https://hdl.handle.net/10012/16059">hdl</a>
-| <a href="mmath/">http</a>
+| <a href="theses/mmath.html">http</a>
]
</small>
</dt>
<dl>
<dt>Jami and how it empowers users
<small>
-[ <a href="https://p.bndl.org/bandali-jami-libreplanet-2021.pdf">pdf</a>
-(<a href="https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf">with
+[ <a href="talks/libreplanet-2021-jami.pdf">pdf</a>
+(<a href="talks/libreplanet-2021-jami-with-notes.pdf">with
notes</a>)
-| <a href="2021/03/20/libreplanet-2021.html">http</a>
+| <a href="talks/libreplanet-2021-jami.bib">bib</a>
+| <a href="talks/libreplanet-2021-jami.html">http</a>
]
</small>
</dt>
<dl>
<dd>SE 465 (Software Testing and Quality Assurance): TA in winter
2020</dd>
-<dd>SE 212 (Logic and Computation): <a href="se212-f19">IA in
-Fall 2019</a>, TA in fall 2018</dd>
+<dd>SE 212 (Logic and Computation):
+<a href="teaching/se212-f19.html">IA in Fall 2019</a>, TA in fall
+2018</dd>
<dd>SE 463 (Software Requirement Specification and Analysis): TA in
spring 2019 and 2018</dd>
<dd>CS 136 (Elementary Algorithm Design and Data Abstraction): TA in
maintaining a large fleet of GNU/Linux servers for CSC members, as
well as running the CSC mirror for free software projects.</dd>
<dd>Notable projects
-include <a href="https://mailman.csclub.uwaterloo.ca/pipermail/csc-general/2020-July/000837.html">launching
+include <a href="https://mailman.csclub.uwaterloo.ca/hyperkitty/list/csc-general@csclub.uwaterloo.ca/message/ZOFF6Y23T6WLG3ZKB2CKLY3YCMB5LHWK/">launching
the CSC web IRC client</a> as part of an effort in bringing modern
user freedom- and privacy-respecting communication tools to club
members.</dd>
+++ /dev/null
-کارآموزی با تیم فنی بنیاد نرمافزار آزاد
-
- نسخهٔ انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرمافزار
- آزاد منتشر شد:
- 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
+++ /dev/null
-<!doctype html><html lang="fa" dir="rtl"<head>
-<meta charset="utf-8" />
-<meta name="author" content="بندعلی" />
-<meta name="viewport" content="width=device-width, initial-scale=1" />
-<title>کارآموزی با تیم فنی بنیاد نرمافزار آزاد — بندعلی</title>
-<link rel="icon" href="data:,">
-<link rel="canonical" href="https://bndl.org/fa/2020/05/29/fsf-internship-intro.html" />
-<link rel="alternate" href="fsf-internship-intro.fa.txt" title="plain text" type="text/plain" />
-<link rel="alternate" href="../../../../2020/05/29/fsf-internship-intro.html" hreflang="en" title="english" />
-<style>
-@font-face{font-family:sahel;font-weight:normal;
-src:local('Sahel WOL'),local('Sahel'),
-url('sahel.woff2')format('woff2');}
-@font-face{font-family:sahel;font-weight:bold;
-src:local('Sahel Bold WOL'),local('Sahel Bold'),
-url('sahelb.woff2')format('woff2');}
-body{font-family:sahel,sans-serif;margin:0 auto;max-width:37.5em;}
-p{line-height:1.8}h1{font-size:1.5em}h1+p{color:#666}
-a{text-decoration:none}a:hover,a:focus{text-decoration:underline}
-.box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
-font-size:0.95em;padding:0.6em 0.9em;}
-#copy,.license{font-size:0.84em;line-height:1.3;}
-#copy{margin-bottom:0.5em}.license{margin:0.5em 0}
-@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
-a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
-.box{background:#1b1d1e;border-color:#373c34;}}
-</style></head>
-<body>
-<h1>کارآموزی با تیم فنی بنیاد نرمافزار آزاد</h1>
-<p>نوشتهٔ <a href="https://bndl.org/fa/"><b>بندعلی</b></a>
-در ۲۹ مه ۲۰۲۰ <small>(همچنین
-در <a href="fsf-internship-intro.fa.txt">متن ساده</a>)</small></p>
-
-<p class="box"><a href="../../../../2020/05/29/fsf-internship-intro.html">نسخهٔ
-انگلیسی این مقاله</a> ابتدا در وبلاگ مدیر سامانه بنیاد نرمافزار آزاد
-منتشر شد:<br />
-<a href="https://www.fsf.org/blogs/sysadmin/introducing-bandali-intern-with-the-fsf-tech-team"
-title="معرفی امین بندعلی، کارآموز تیم فنی FSF">Introducing Amin
-Bandali, intern with the FSF tech team</a></p>
-
-<p>سلام، امین بندعلی هستم و معمولا از نام کاربری <code>bandali</code>
-در اینترنت استفاده میکنم. در پروژهٔ گنو به عنوان
-یک <abbr title="maintainer">سرپرست</abbr> و وبمستر و مدیر سامانه
-ساوانا فعالیت میکنم، و خرسندم که مشارکتم در زمینهٔ نرمافزار آزاد را به
-بنیاد نرمافزار آزاد یا همان FSF (مخفف Free Software Foundation) به
-عنوان یک کارآموز تیم فنی FSF در بهار ۲۰۲۰ گسترش دهم.</p>
-
-<p>به واسطهٔ ارتباط کار والدینم با رایانهها به عنوان دو مهندس و
-برنامهنویس رایانه، از کودکی به بازی و کار با رایانهها علاقهمند شدم و
-بعدها برای اولین بار در اوایل نوجوانی با گنو/لینوکس آشنا شدم. البته
-اولین آشنایی من با دنیای نرمافزارهای آزاد هنگامی اتفاق افتاد که چند
-سال بعد یکی از دوستان مجازیم به من اشاره کرد که چیزی که به طور مبهموار
-به عنوان نرمافزار «متن باز» میشناختم بهتر است که با عنوان «نرمافزار
-آزاد» از آن یاد شود، و این دوست عزیز به من کمک کرد متوجه شوم
-که <a href="https://www.gnu.org/philosophy/open-source-misses-the-point.fa.html">چرا
-متنباز هدف اصلی نرمافزار آزاد را برآورده نمیکند</a>. پس از یادگیری و
-خو گرفتن با ایدهها و ایدهآلهای نرمافزار آزاد، به مرور شروع به فعالیت
-در عرصهٔ نرمافزار آزاد کردم. به عنوان یک علاقهمند و محصل در شاخهٔ علوم
-رایانه که از مطالعه و دستکاری کد متن برنامههای مختلف لذت میبرد و هر از
-گاهی برنامههای خودش را مینویسد، تا میتوانم کدم را تحت مجوزهای کپیلفت
-قوی مثل <a href="https://www.gnu.org/licenses/agpl.html">GNU AGPL</a>
-منتشر میکنم.</p>
-
-<p>مشارکت من در <a href="https://www.gnu.org/home.fa.html">پروژهٔ
-گنو</a> ابتدا در سال ۲۰۱۶ به عنوان یک وبمستر داوطلب آغاز شد، و بعدا از
-آخر سال گذشتهٔ میلادی به عنوان یکی از
-سرپرستان <a href="https://www.gnu.org/software/gnuzilla/">گنوزیلا و
-آیسکت</a>. تقریبا در همان زمان، من گروهی از داوطلبان را برای
-سازماندهی و برگذاری <a href="https://emacsconf.org/2019">EmacsConf
-2019</a> به عنوان یک کنفرانس مجازی و تماما با استفاده از نرمافزارهای
-آزاد (همانند کنفرانس
-عالی <a href="https://libreplanet.org/wiki/LibrePlanet:Conference/2020">LibrePlanet
-2020</a>) سرپرستی کردم.
-من بسیار <a href="https://www.gnu.org/software/emacs/">گنو ایمکس</a>
-را دوست دارم و بیش از هر نرمافزار دیگری از آن استفاده میکنم.
-گنو ایمکس به من در انجام کارهای متنوعی مانند برنامه نویسی و خواندن و
-نوشتن رایانامه و چت از طریق IRC کمک میکند.</p>
-
-<p>در جهت کارآموزیم با تیم فنی FSF، اخیرا با کمک
-<abbr title="Bob Proulx">باب پرو</abbr>، یک مدیر سامانه
-خبرهٔ <a href="https://savannah.gnu.org">گنو ساوانا</a>، خودم را با
-اجزای مختلف زیرساخت آن و برخی وظایف مدیریتی و سرپرستی ساوانا آشنا کرده
-و به تدریج بر عهده گرفتم. من همچنین یکی از اعضای کمیته سیستمهای
-باشگاه علوم رایانه دانشگاهمان هستم، که نظارت و سرپرستی گروه بزرگی
-سرورهای گنو/لینوکس برای اعضای باشگاه را بر عهده دارد.</p>
-
-<p>برای کارآموزیم با تیم فنی FSF، با اعضای تیم روی چند کار و پروژهٔ
-مختلف کار خواهمکرد، از جمله کمک به پیشبرد
-پروژهٔ <a href="https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration">میزبان
-نرمافزار آزاد</a> و چندین تغییر و بهبود مختلف برای gnu.org. مشتاقانه
-به استقبال یادگیری نکات جدید و کسب مهارتهای ارزشمند به واسطهٔ کارآموزیم
-با تیم فنی فوقالعادهٔ FSF میروم، که زحمات بسیاری برای پروژهٔ گنو و جامعهٔ
-بزرگتر نرمافزار آزاد میکشند.</p>
-
-<hr />
-<p dir="ltr" id="copy">Copyright © 2020, 2021 bandali</p>
-<p dir="ltr" class="license">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.</p>
-<p class="license">رونوشت و توزیع این پرونده با یا بی تغییر در سراسر
-دنیا بدون حق امتیاز و در هر رسانهای مجاز است، به این شرط که اعلان حق
-تکثیر و این اعلان حفظ شوند. این پرونده به صورت موجود و بدون هیچ گونه
-ضمانت ارائه میشود.</p>
-</body>
-</html>
+++ /dev/null
-کارآموزی من با تیم فنی بنیاد نرمافزار آزاد و فراتر از آن
-
- نسخهٔ انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرمافزار
- آزاد منتشر شد:
- 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
+++ /dev/null
-<!doctype html><html lang="fa" dir="rtl"<head>
-<meta charset="utf-8" />
-<meta name="author" content="بندعلی" />
-<meta name="viewport" content="width=device-width, initial-scale=1" />
-<title>کارآموزی من با تیم فنی بنیاد نرمافزار آزاد و فراتر از آن — بندعلی</title>
-<link rel="icon" href="data:,">
-<link rel="canonical" href="https://bndl.org/fa/2020/12/18/fsf-internship-beyond.html" />
-<link rel="alternate" href="fsf-internship-beyond.fa.txt" title="plain text" type="text/plain" />
-<link rel="alternate" href="../../../../2020/12/18/fsf-internship-beyond.html" hreflang="en" title="english" />
-<style>
-@font-face{font-family:sahel;font-weight:normal;
-src:local('Sahel WOL'),local('Sahel'),
-url('sahel.woff2')format('woff2');}
-@font-face{font-family:sahel;font-weight:bold;
-src:local('Sahel Bold WOL'),local('Sahel Bold'),
-url('sahelb.woff2')format('woff2');}
-body{font-family:sahel,sans-serif;margin:0 auto;max-width:37.5em;}
-p{line-height:1.8}h1{font-size:1.5em}h1+p{color:#666}
-a{text-decoration:none}a:hover,a:focus{text-decoration:underline}
-.box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
-font-size:0.95em;padding:0.6em 0.9em;}
-#copy,.license{font-size:0.84em;line-height:1.3;}
-#copy{margin-bottom:0.5em}.license{margin:0.5em 0}
-@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
-a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
-.box{background:#1b1d1e;border-color:#373c34;}}
-</style></head>
-<body>
-<h1>کارآموزی من با تیم فنی بنیاد نرمافزار آزاد و فراتر از آن</h1>
-<p>نوشتهٔ <a href="https://bndl.org/fa/"><b>بندعلی</b></a>
-در ۱۸ دسامبر ۲۰۲۰ <small>(همچنین
-در <a href="fsf-internship-beyond.fa.txt">متن ساده</a>)</small></p>
-
-<p class="box"><a href="../../../../2020/12/18/fsf-internship-beyond.html">نسخهٔ
-انگلیسی این مقاله</a> ابتدا در وبلاگ مدیر سامانه بنیاد نرمافزار آزاد
-منتشر شد:<br />
-<a href="https://www.fsf.org/blogs/sysadmin/my-internship-with-the-fsf-tech-team-and-beyond"
-title="کارآموزی من با تیم فنی بنیاد نرمافزار آزاد و فراتر از آن">My
-internship with the FSF tech team and beyond</a></p>
-
-<p>سلام!
-من <a href="https://www.fsf.org/blogs/sysadmin/introducing-bandali-intern-with-the-fsf-tech-team">امین
-بندعلی</a> هستم و این دومین پست من در وبلاگ مدیر سامانه FSF در انتهای
-کارآموزیم است.</p>
-
-<p>در طول کارآموزیم با FSF، عمدتا در وظایف مدیریت سامانهای مربوط به
-راهاندازی و یا مدیریت سرورهای گنو/لینوکس FSF کار کردم. شاید قابل توجه
-ترین کارم در طول این کارآموزی راهاندازی یک
-سرور <a href="https://sourcehut.org" title="Sorucehut">سورسهات</a>
-برای کمک
-به <a href="https://libreplanet.org/wiki/FSF_2020_forge_evaluation">ارزیابی</a>
-آن به عنوان یک کاندید
-برای <a href="https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration"
-title="FSF forge project">پروژهٔ میزبانی نرمافزار آزاد FSF</a> است. من
-مراحل نصب و راهاندازی اجزای مختلف سورسهات را به صورت
-یک <abbr title="literate GNU Emacs Org-mode file">پروندهٔ ادیبانه
-اُرگ-مُد گنو ایمکس</abbr> مستندسازی کردم، که در آن بلوکهای کد با توضیحات
-لازم همراهی شدهاند. در این صورت خوانندهٔ پرونده میتواند به مرور هر
-بلوک کد را <abbr title="evaluate">ارزیابی</abbr>
-و <abbr title="execute">اجرا</abbr> کند و به طور اختیاری نتایج آنها را
-در همان پرونده برای مستندسازی ذخیره کند.</p>
-
-<p>من همچنین به آهستگی مشغول کار بر تغییرات مختلف برای بهبود سروری که
-www.gnu.org روی آن اجرا میشود بودهام، و بعد از اتمام کارآموزیم نیز به
-طور داوطلبانه به آن ادامه خواهم داد. امیدوارم این بهبودها برای مدیران
-سامانه FSF که مدیریت آن سرور را بر عهده دارند، برای وبمسترهای گنو که
-روی gnu.org کار میکنند، و برای عوام مردم که صفحات gnu.org را مرور کرده
-یا میخوانند مفید واقع شوند. به ویژه این تغییرات شامل ارتقای سبستمعامل
-سرور به آخرین نسخهٔ توزیع گنو/لینوکس تریسکل و بازسازی و بهبود مکانیزم
-جستجوی صفحات gnu.org میشوند. علاوه بر این، چند پروژهٔ دیگر نیز هستند
-که تمایل دارم در آیندهٔ نزدیک با تیم فنی FSF به انجام برسانم.</p>
-
-<p>در طول کارآموزیم با تیم فنی FSF، انواع گوناگونی مهارتهای جدید کسب
-کرده و درمورد مجموعهی متنوعی از موضوعات و ابزارهای مختلف مربوط به
-مدیریت سامانه سرورهای گنو/لینوکسی یاد گرفتم. این شامل کامپایل/ساخت و
-نصب نرمافزار پیچیدهای مثل سورسهات و رفعاشکال مسائلی که به آنها
-برخوردم، استفاده از Ansible برای مدیریت و استقرار (deploy) زیرساختهای
-نرمافزاری، و یادگیری
-دربارهٔ <abbr title="Mail Transfer Agent (MTA)">عامل انتقال پیام</abbr>
-Exim که FSF بر روی سرورهای دریافت و ارسال رایانامههای خود از آن
-استفاده میکند میشود.</p>
-
-<p>در انتهای کارآموزیم و سال ۲۰۲۰، میتوان گفت امسال سال…جالب و
-پراتقافی برای بیشتر مردم، از جمله خودم، بوده است. من کارآموزیم را در
-آخرین ماه مه شروع کردم، و به عنوان یک دانشجوی کارشناسی ارشد، انتظار
-داشتم یک بار کاری معقول و متعادل برای کارم روی پایاننامهام در ماههای
-آتی داشتهباشم. اما کمتر از دو هفته پس از شروع کارآموزیم متوجه شدم که
-به چند دلیل مجبورم که دورهٔ کارشناسی ارشدم را در عرض دو ماه به پایان
-برسانم. این مسئله را به اطلاع تیم فنی FSF رساندم و اجازه گرفتم تا یک
-وقفه در کارآموزیم بگذارم تا بتوانم پایاننامهام را بدون لطمه به
-کارآموزی یا تحصیلاتم به اتمام برسانم. عمیقا قدردان تیم فنی و سایر
-کارمندان FSF هستم که با انعطاف فراوان به من اجازه دادند تا موقتا
-کارآموزیم را متوقف کنم تا روی تکمیل پایاننامهام و اتمام دوره کارشناسی
-ارشدم تمرکز کنم. خوشبختانه با زحمت و مشقت فراوان موفق شدم درسم را در
-آن بازهٔ زمانی فوقالعاده کوتاه تمام کرده و پس از آن به انجام کارآموزیم
-بپردازم.</p>
-
-<p>با این حال، تمام چیزهای خوب در نهایت به پایان میرسند، از جمله این
-کارآموزی. از صمیم قلبم از اعضای تیم فنی FSF — ایان و اندرو و
-روبن و مایکل — برای پذیرش و استقبال از من در تیم به عنوان یک
-کارآموز، راهنمایی و پاسخ دادن به پرسشهای فراوانم و کمک به یادگیری
-بیشترم سپاسگذارم. کار کردن در کنار شما و دیدن انرژی و همتی که صرف کار
-و مسئولیتهایتان به عنوان یک مدیر سامانه و توسعهدهندهٔ وب FSF میکنید
-برای من یک افتخار و تجربهٔ فوقالعاده بوده است. در حالی که بیشتر
-ارتباطات من با اعضای تیم فنی FSF بوده است، من فرصت تعامل با اعضای دیگر
-تیمهای FSF را نیز در طول کارآموزیم داشتم و بابت گفتگوهایمان و فرصت
-یادگیری دربارهٔ کارها و وظایف پراهمیتتان و تخصیصتان به انجامشان
-سپاسگذارم.</p>
-
-<p>این کارآموزی به پایان رسیده، اما همه خاطرات خوب و درسهایی که در طول
-کارآموزیم یاد گرفتم را همیشه با خود خواهم داشت و مشتاقانه به عنوان یک
-داوطلب به همکاری با شما ادامه خواهم داد. مطالبی که در طول کارآموزیم
-یادگرفته و تجربههایی که کسب کردم در شغل جدیدم به عنوان یک مشاور
-نرمافزار آزاد در شرکت Savoir-faire Linux برایم بسیار با ارزش و مفید
-واقع شدهاند. در Savoir-faire Linux روی اجزا و قسمتهای مختلف جمی
-— یک برنامهٔ گنو برای ارتباطات جامع که به آزادیها و حریم خصوصی
-کاربرانش احترام میگذارد — کار میکنم.</p>
-
-<p>دوست دارم از FSF برای فرصت عالی کار کردن در کنار تیم فنی FSF به
-عنوان یک کارآموز قدردانی کنم، که تجربهی عالی و به یاد ماندنیای بود و
-درسهایی ارزشمند و خاطرات خوب به من هدیه داد.</p>
-
-<p class="box">علاقهمند به کارآموزی برای بنیاد نرمافزار آزاد هستید؟
-دورهٔ درخواست کارآموزی بهار ۲۰۲۱ در حال حاضر باز است.
-صفحهٔ <a href="https://www.fsf.org/volunteer/internships">https://www.fsf.org/volunteer/internships</a>
-را برای اطلاعات بیشتر در مورد درخواست کارآموزی ببینید!</p>
-
-<hr />
-<p dir="ltr" id="copy">Copyright © 2020, 2021 bandali</p>
-<p dir="ltr" class="license">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.</p>
-<p class="license">رونوشت و توزیع این پرونده با یا بی تغییر در سراسر
-دنیا بدون حق امتیاز و در هر رسانهای مجاز است، به این شرط که اعلان حق
-تکثیر و این اعلان حفظ شوند. این پرونده به صورت موجود و بدون هیچ گونه
-ضمانت ارائه میشود.</p>
-</body>
-</html>
یادداشتهایم[*] در رابطه با برخی موضوعات و مسائلی که برایم مهم هستند:
- ۲۰ مارس ۲۰۲۱
- 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
۱۴ سپتامبر ۲۰۱۹
چگونه از رایانه استفاده میکنم
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 که ممکن است مورد توجه واقعشوند:
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
--- /dev/null
+<!doctype html><html lang="fa" dir="rtl"<head>
+<meta charset="utf-8" />
+<meta name="author" content="بندعلی" />
+<meta name="viewport" content="width=device-width, initial-scale=1" />
+<title>کارآموزی من با تیم فنی بنیاد نرمافزار آزاد و فراتر از آن — بندعلی</title>
+<link rel="icon" href="data:,">
+<link rel="canonical" href="https://bndl.org/fa/fsf-internship/beyond.html" />
+<link rel="alternate" href="fsf-internship-beyond.fa.txt" title="plain text" type="text/plain" />
+<link rel="alternate" href="../../fsf-internship/beyond.html" hreflang="en" title="english" />
+<style>
+@font-face{font-family:sahel;font-weight:normal;
+src:local('Sahel WOL'),local('Sahel'),
+url('sahel.woff2')format('woff2');}
+@font-face{font-family:sahel;font-weight:bold;
+src:local('Sahel Bold WOL'),local('Sahel Bold'),
+url('sahelb.woff2')format('woff2');}
+body{font-family:sahel,sans-serif;margin:0 auto;max-width:37.5em;}
+p{line-height:1.8}h1{font-size:1.5em}h1+p{color:#666}
+a{text-decoration:none}a:hover,a:focus{text-decoration:underline}
+.box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
+font-size:0.95em;padding:0.6em 0.9em;}
+#copy,.license{font-size:0.84em;line-height:1.3;}
+#copy{margin-bottom:0.5em}.license{margin:0.5em 0}
+@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
+a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
+.box{background:#1b1d1e;border-color:#373c34;}}
+</style></head>
+<body>
+<h1>کارآموزی من با تیم فنی بنیاد نرمافزار آزاد و فراتر از آن</h1>
+<p>نوشتهٔ <a href="https://bndl.org/fa/"><b>بندعلی</b></a>
+در ۱۸ دسامبر ۲۰۲۰ <small>(همچنین
+در <a href="fsf-internship-beyond.fa.txt">متن ساده</a>)</small></p>
+
+<p class="box"><a href="../../fsf-internship/beyond.html">نسخهٔ
+انگلیسی این مقاله</a> ابتدا در وبلاگ مدیر سامانه بنیاد نرمافزار آزاد
+منتشر شد:<br />
+<a href="https://www.fsf.org/blogs/sysadmin/my-internship-with-the-fsf-tech-team-and-beyond"
+title="کارآموزی من با تیم فنی بنیاد نرمافزار آزاد و فراتر از آن">My
+internship with the FSF tech team and beyond</a></p>
+
+<p>سلام!
+من <a href="https://www.fsf.org/blogs/sysadmin/introducing-bandali-intern-with-the-fsf-tech-team">امین
+بندعلی</a> هستم و این دومین پست من در وبلاگ مدیر سامانه FSF در انتهای
+کارآموزیم است.</p>
+
+<p>در طول کارآموزیم با FSF، عمدتا در وظایف مدیریت سامانهای مربوط به
+راهاندازی و یا مدیریت سرورهای گنو/لینوکس FSF کار کردم. شاید قابل توجه
+ترین کارم در طول این کارآموزی راهاندازی یک
+سرور <a href="https://sourcehut.org" title="Sorucehut">سورسهات</a>
+برای کمک
+به <a href="https://libreplanet.org/wiki/FSF_2020_forge_evaluation">ارزیابی</a>
+آن به عنوان یک کاندید
+برای <a href="https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration"
+title="FSF forge project">پروژهٔ میزبانی نرمافزار آزاد FSF</a> است. من
+مراحل نصب و راهاندازی اجزای مختلف سورسهات را به صورت
+یک <abbr title="literate GNU Emacs Org-mode file">پروندهٔ ادیبانه
+اُرگ-مُد گنو ایمکس</abbr> مستندسازی کردم، که در آن بلوکهای کد با توضیحات
+لازم همراهی شدهاند. در این صورت خوانندهٔ پرونده میتواند به مرور هر
+بلوک کد را <abbr title="evaluate">ارزیابی</abbr>
+و <abbr title="execute">اجرا</abbr> کند و به طور اختیاری نتایج آنها را
+در همان پرونده برای مستندسازی ذخیره کند.</p>
+
+<p>من همچنین به آهستگی مشغول کار بر تغییرات مختلف برای بهبود سروری که
+www.gnu.org روی آن اجرا میشود بودهام، و بعد از اتمام کارآموزیم نیز به
+طور داوطلبانه به آن ادامه خواهم داد. امیدوارم این بهبودها برای مدیران
+سامانه FSF که مدیریت آن سرور را بر عهده دارند، برای وبمسترهای گنو که
+روی gnu.org کار میکنند، و برای عوام مردم که صفحات gnu.org را مرور کرده
+یا میخوانند مفید واقع شوند. به ویژه این تغییرات شامل ارتقای سبستمعامل
+سرور به آخرین نسخهٔ توزیع گنو/لینوکس تریسکل و بازسازی و بهبود مکانیزم
+جستجوی صفحات gnu.org میشوند. علاوه بر این، چند پروژهٔ دیگر نیز هستند
+که تمایل دارم در آیندهٔ نزدیک با تیم فنی FSF به انجام برسانم.</p>
+
+<p>در طول کارآموزیم با تیم فنی FSF، انواع گوناگونی مهارتهای جدید کسب
+کرده و درمورد مجموعهی متنوعی از موضوعات و ابزارهای مختلف مربوط به
+مدیریت سامانه سرورهای گنو/لینوکسی یاد گرفتم. این شامل کامپایل/ساخت و
+نصب نرمافزار پیچیدهای مثل سورسهات و رفعاشکال مسائلی که به آنها
+برخوردم، استفاده از Ansible برای مدیریت و استقرار (deploy) زیرساختهای
+نرمافزاری، و یادگیری
+دربارهٔ <abbr title="Mail Transfer Agent (MTA)">عامل انتقال پیام</abbr>
+Exim که FSF بر روی سرورهای دریافت و ارسال رایانامههای خود از آن
+استفاده میکند میشود.</p>
+
+<p>در انتهای کارآموزیم و سال ۲۰۲۰، میتوان گفت امسال سال…جالب و
+پراتقافی برای بیشتر مردم، از جمله خودم، بوده است. من کارآموزیم را در
+آخرین ماه مه شروع کردم، و به عنوان یک دانشجوی کارشناسی ارشد، انتظار
+داشتم یک بار کاری معقول و متعادل برای کارم روی پایاننامهام در ماههای
+آتی داشتهباشم. اما کمتر از دو هفته پس از شروع کارآموزیم متوجه شدم که
+به چند دلیل مجبورم که دورهٔ کارشناسی ارشدم را در عرض دو ماه به پایان
+برسانم. این مسئله را به اطلاع تیم فنی FSF رساندم و اجازه گرفتم تا یک
+وقفه در کارآموزیم بگذارم تا بتوانم پایاننامهام را بدون لطمه به
+کارآموزی یا تحصیلاتم به اتمام برسانم. عمیقا قدردان تیم فنی و سایر
+کارمندان FSF هستم که با انعطاف فراوان به من اجازه دادند تا موقتا
+کارآموزیم را متوقف کنم تا روی تکمیل پایاننامهام و اتمام دوره کارشناسی
+ارشدم تمرکز کنم. خوشبختانه با زحمت و مشقت فراوان موفق شدم درسم را در
+آن بازهٔ زمانی فوقالعاده کوتاه تمام کرده و پس از آن به انجام کارآموزیم
+بپردازم.</p>
+
+<p>با این حال، تمام چیزهای خوب در نهایت به پایان میرسند، از جمله این
+کارآموزی. از صمیم قلبم از اعضای تیم فنی FSF — ایان و اندرو و
+روبن و مایکل — برای پذیرش و استقبال از من در تیم به عنوان یک
+کارآموز، راهنمایی و پاسخ دادن به پرسشهای فراوانم و کمک به یادگیری
+بیشترم سپاسگذارم. کار کردن در کنار شما و دیدن انرژی و همتی که صرف کار
+و مسئولیتهایتان به عنوان یک مدیر سامانه و توسعهدهندهٔ وب FSF میکنید
+برای من یک افتخار و تجربهٔ فوقالعاده بوده است. در حالی که بیشتر
+ارتباطات من با اعضای تیم فنی FSF بوده است، من فرصت تعامل با اعضای دیگر
+تیمهای FSF را نیز در طول کارآموزیم داشتم و بابت گفتگوهایمان و فرصت
+یادگیری دربارهٔ کارها و وظایف پراهمیتتان و تخصیصتان به انجامشان
+سپاسگذارم.</p>
+
+<p>این کارآموزی به پایان رسیده، اما همه خاطرات خوب و درسهایی که در طول
+کارآموزیم یاد گرفتم را همیشه با خود خواهم داشت و مشتاقانه به عنوان یک
+داوطلب به همکاری با شما ادامه خواهم داد. مطالبی که در طول کارآموزیم
+یادگرفته و تجربههایی که کسب کردم در شغل جدیدم به عنوان یک مشاور
+نرمافزار آزاد در شرکت Savoir-faire Linux برایم بسیار با ارزش و مفید
+واقع شدهاند. در Savoir-faire Linux روی اجزا و قسمتهای مختلف جمی
+— یک برنامهٔ گنو برای ارتباطات جامع که به آزادیها و حریم خصوصی
+کاربرانش احترام میگذارد — کار میکنم.</p>
+
+<p>دوست دارم از FSF برای فرصت عالی کار کردن در کنار تیم فنی FSF به
+عنوان یک کارآموز قدردانی کنم، که تجربهی عالی و به یاد ماندنیای بود و
+درسهایی ارزشمند و خاطرات خوب به من هدیه داد.</p>
+
+<p class="box">علاقهمند به کارآموزی برای بنیاد نرمافزار آزاد هستید؟
+دورهٔ درخواست کارآموزی بهار ۲۰۲۱ در حال حاضر باز است.
+صفحهٔ <a href="https://www.fsf.org/volunteer/internships">https://www.fsf.org/volunteer/internships</a>
+را برای اطلاعات بیشتر در مورد درخواست کارآموزی ببینید!</p>
+
+<hr />
+<p dir="ltr" id="copy">Copyright © 2020, 2021 bandali</p>
+<p dir="ltr" class="license">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.</p>
+<p class="license">رونوشت و توزیع این پرونده با یا بی تغییر در سراسر
+دنیا بدون حق امتیاز و در هر رسانهای مجاز است، به این شرط که اعلان حق
+تکثیر و این اعلان حفظ شوند. این پرونده به صورت موجود و بدون هیچ گونه
+ضمانت ارائه میشود.</p>
+</body>
+</html>
--- /dev/null
+کارآموزی من با تیم فنی بنیاد نرمافزار آزاد و فراتر از آن
+
+ نسخهٔ انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرمافزار
+ آزاد منتشر شد:
+ 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
--- /dev/null
+کارآموزی با تیم فنی بنیاد نرمافزار آزاد
+
+ نسخهٔ انگلیسی این مقاله ابتدا در وبلاگ مدیر سامانه بنیاد نرمافزار
+ آزاد منتشر شد:
+ 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
--- /dev/null
+<!doctype html><html lang="fa" dir="rtl"<head>
+<meta charset="utf-8" />
+<meta name="author" content="بندعلی" />
+<meta name="viewport" content="width=device-width, initial-scale=1" />
+<title>کارآموزی با تیم فنی بنیاد نرمافزار آزاد — بندعلی</title>
+<link rel="icon" href="data:,">
+<link rel="canonical" href="https://bndl.org/fa/fsf-internship/intro.html" />
+<link rel="alternate" href="fsf-internship-intro.fa.txt" title="plain text" type="text/plain" />
+<link rel="alternate" href="../../fsf-internship/intro.html" hreflang="en" title="english" />
+<style>
+@font-face{font-family:sahel;font-weight:normal;
+src:local('Sahel WOL'),local('Sahel'),
+url('sahel.woff2')format('woff2');}
+@font-face{font-family:sahel;font-weight:bold;
+src:local('Sahel Bold WOL'),local('Sahel Bold'),
+url('sahelb.woff2')format('woff2');}
+body{font-family:sahel,sans-serif;margin:0 auto;max-width:37.5em;}
+p{line-height:1.8}h1{font-size:1.5em}h1+p{color:#666}
+a{text-decoration:none}a:hover,a:focus{text-decoration:underline}
+.box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
+font-size:0.95em;padding:0.6em 0.9em;}
+#copy,.license{font-size:0.84em;line-height:1.3;}
+#copy{margin-bottom:0.5em}.license{margin:0.5em 0}
+@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
+a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
+.box{background:#1b1d1e;border-color:#373c34;}}
+</style></head>
+<body>
+<h1>کارآموزی با تیم فنی بنیاد نرمافزار آزاد</h1>
+<p>نوشتهٔ <a href="https://bndl.org/fa/"><b>بندعلی</b></a>
+در ۲۹ مه ۲۰۲۰ <small>(همچنین
+در <a href="fsf-internship-intro.fa.txt">متن ساده</a>)</small></p>
+
+<p class="box"><a href="../../fsf-internship/intro.html">نسخهٔ
+انگلیسی این مقاله</a> ابتدا در وبلاگ مدیر سامانه بنیاد نرمافزار آزاد
+منتشر شد:<br />
+<a href="https://www.fsf.org/blogs/sysadmin/introducing-bandali-intern-with-the-fsf-tech-team"
+title="معرفی امین بندعلی، کارآموز تیم فنی FSF">Introducing Amin
+Bandali, intern with the FSF tech team</a></p>
+
+<p>سلام، امین بندعلی هستم و معمولا از نام کاربری <code>bandali</code>
+در اینترنت استفاده میکنم. در پروژهٔ گنو به عنوان
+یک <abbr title="maintainer">سرپرست</abbr> و وبمستر و مدیر سامانه
+ساوانا فعالیت میکنم، و خرسندم که مشارکتم در زمینهٔ نرمافزار آزاد را به
+بنیاد نرمافزار آزاد یا همان FSF (مخفف Free Software Foundation) به
+عنوان یک کارآموز تیم فنی FSF در بهار ۲۰۲۰ گسترش دهم.</p>
+
+<p>به واسطهٔ ارتباط کار والدینم با رایانهها به عنوان دو مهندس و
+برنامهنویس رایانه، از کودکی به بازی و کار با رایانهها علاقهمند شدم و
+بعدها برای اولین بار در اوایل نوجوانی با گنو/لینوکس آشنا شدم. البته
+اولین آشنایی من با دنیای نرمافزارهای آزاد هنگامی اتفاق افتاد که چند
+سال بعد یکی از دوستان مجازیم به من اشاره کرد که چیزی که به طور مبهموار
+به عنوان نرمافزار «متن باز» میشناختم بهتر است که با عنوان «نرمافزار
+آزاد» از آن یاد شود، و این دوست عزیز به من کمک کرد متوجه شوم
+که <a href="https://www.gnu.org/philosophy/open-source-misses-the-point.fa.html">چرا
+متنباز هدف اصلی نرمافزار آزاد را برآورده نمیکند</a>. پس از یادگیری و
+خو گرفتن با ایدهها و ایدهآلهای نرمافزار آزاد، به مرور شروع به فعالیت
+در عرصهٔ نرمافزار آزاد کردم. به عنوان یک علاقهمند و محصل در شاخهٔ علوم
+رایانه که از مطالعه و دستکاری کد متن برنامههای مختلف لذت میبرد و هر از
+گاهی برنامههای خودش را مینویسد، تا میتوانم کدم را تحت مجوزهای کپیلفت
+قوی مثل <a href="https://www.gnu.org/licenses/agpl.html">GNU AGPL</a>
+منتشر میکنم.</p>
+
+<p>مشارکت من در <a href="https://www.gnu.org/home.fa.html">پروژهٔ
+گنو</a> ابتدا در سال ۲۰۱۶ به عنوان یک وبمستر داوطلب آغاز شد، و بعدا از
+آخر سال گذشتهٔ میلادی به عنوان یکی از
+سرپرستان <a href="https://www.gnu.org/software/gnuzilla/">گنوزیلا و
+آیسکت</a>. تقریبا در همان زمان، من گروهی از داوطلبان را برای
+سازماندهی و برگذاری <a href="https://emacsconf.org/2019">EmacsConf
+2019</a> به عنوان یک کنفرانس مجازی و تماما با استفاده از نرمافزارهای
+آزاد (همانند کنفرانس
+عالی <a href="https://libreplanet.org/wiki/LibrePlanet:Conference/2020">LibrePlanet
+2020</a>) سرپرستی کردم.
+من بسیار <a href="https://www.gnu.org/software/emacs/">گنو ایمکس</a>
+را دوست دارم و بیش از هر نرمافزار دیگری از آن استفاده میکنم.
+گنو ایمکس به من در انجام کارهای متنوعی مانند برنامه نویسی و خواندن و
+نوشتن رایانامه و چت از طریق IRC کمک میکند.</p>
+
+<p>در جهت کارآموزیم با تیم فنی FSF، اخیرا با کمک
+<abbr title="Bob Proulx">باب پرو</abbr>، یک مدیر سامانه
+خبرهٔ <a href="https://savannah.gnu.org">گنو ساوانا</a>، خودم را با
+اجزای مختلف زیرساخت آن و برخی وظایف مدیریتی و سرپرستی ساوانا آشنا کرده
+و به تدریج بر عهده گرفتم. من همچنین یکی از اعضای کمیته سیستمهای
+باشگاه علوم رایانه دانشگاهمان هستم، که نظارت و سرپرستی گروه بزرگی
+سرورهای گنو/لینوکس برای اعضای باشگاه را بر عهده دارد.</p>
+
+<p>برای کارآموزیم با تیم فنی FSF، با اعضای تیم روی چند کار و پروژهٔ
+مختلف کار خواهمکرد، از جمله کمک به پیشبرد
+پروژهٔ <a href="https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration">میزبان
+نرمافزار آزاد</a> و چندین تغییر و بهبود مختلف برای gnu.org. مشتاقانه
+به استقبال یادگیری نکات جدید و کسب مهارتهای ارزشمند به واسطهٔ کارآموزیم
+با تیم فنی فوقالعادهٔ FSF میروم، که زحمات بسیاری برای پروژهٔ گنو و جامعهٔ
+بزرگتر نرمافزار آزاد میکشند.</p>
+
+<hr />
+<p dir="ltr" id="copy">Copyright © 2020, 2021 bandali</p>
+<p dir="ltr" class="license">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.</p>
+<p class="license">رونوشت و توزیع این پرونده با یا بی تغییر در سراسر
+دنیا بدون حق امتیاز و در هر رسانهای مجاز است، به این شرط که اعلان حق
+تکثیر و این اعلان حفظ شوند. این پرونده به صورت موجود و بدون هیچ گونه
+ضمانت ارائه میشود.</p>
+</body>
+</html>
<p>من یک
فعال <a href="https://www.gnu.org/philosophy/free-sw.fa.html">نرمافزار
-آزاد</a> و <a href="../mmath/">کارشناس ارشد علوم رایانه</a> هستم. به
-عنوان یک <a href="https://www.gnu.org/people/people.html#bandali">عضو
-
پروژهٔ گنو</a>، سرپرستی نرمافزارهای <a href="https://jami.net">جمی</a>
+آزاد</a> و کارشناس ارشد علوم رایانه هستم. به عنوان
+یک <a href="https://www.gnu.org/people/people.html#bandali">عضو پروژهٔ
+گنو</a>، سرپرستی نرمافزارهای <a href="https://jami.net">جمی</a>
و <a href="https://www.gnu.org/software/gnuzilla/">گنو آیسکت</a> را بر
عهده دارم و همچنین در توسعهٔ تعداد دیگری از برنامهها و بخشهای گنو
مثل <a href="https://www.gnu.org/software/emacs/">ایمکس</a>
هستند:</p>
<ul>
-<li><a href="../2021/03/20/libreplanet-2021.html" hreflang="en">LibrePlanet
-2021: جمی و اینکه چگونه به کاربران قدرت میبخشد</a> <small>(انگلیسی)
-(۲۰ مارس ۲۰۲۱)</small></li>
-<li><a href="2020/12/18/fsf-internship-beyond.html">کارآموزی من با تیم
+<li><a href="fsf-internship/beyond.html">کارآموزی من با تیم
فنی بنیاد نرمافزار آزاد و فراتر از آن</a>
<small>(۱۸ دسامبر ۲۰۲۰)</small></li>
-<li><a href="2020/05/29/fsf-internship-intro.html">کارآموزی با تیم فنی
+<li><a href="fsf-internship/intro.html">کارآموزی با تیم فنی
بنیاد نرمافزار آزاد</a> <small>(۲۹ مه ۲۰۲۰)</small></li>
<li><a href="computing.html">چگونه از رایانه استفاده میکنم</a>
<small>(۱۴ سپتامبر ۲۰۱۹)</small></li>
<p>این یادداشتها همچنین از طریق خوراکهای <a href="notes.atom">اتم</a>
و <a href="notes.rss">آراساس</a> در دسترس هستند.</p>
+<h2 id="talks">ارائهها</h2>
+<p>برخی ارائهها و پرزنتیشنهایم در سالهای اخیر (اکثرا یا تماما به زبان
+انگلیسی):</p>
+
+<ul>
+<li><a href="../talks/libreplanet-2021-jami.html" hreflang="en">LibrePlanet
+2021: جمی و اینکه چگونه به کاربران قدرت میبخشد</a>
+<small>(انگلیسی) (۲۰ مارس ۲۰۲۱)</small></li>
+<li><a href="../theses/mmath.html#presentation"><abbr
+title="A Comprehensive Study of Declarative Modelling Languages">بررسی
+جامع زبانهای مدلینگ اعلانی</abbr></a>
+<small>(انگلیسی) (۲۰ ژوئن ۲۰۲۰)</small></li>
+</ul>
+
<hr />
<p dir="ltr" id="copy">Copyright © 2012–2021 bandali</p>
<p dir="ltr" class="license">Copying and distribution of this file,
<entry xml:base="https://bndl.org/fa/">
<author><name>بندعلی</name></author>
-<id>tag:bndl.org,2020:fa/notes.atom:fsf-internship-beyond</id>
+<id>tag:bndl.org,2020:fa/notes.atom:fsf-internship/beyond</id>
<published>2020-12-18T00:00:00+00:00</published>
<updated>2020-12-18T00:00:00+00:00</updated>
-<link hreflang="en" href="https://bndl.org/2020/12/18/fsf-internship-beyond.txt" rel="alternate" type="text/plain" />
-<link hreflang="en" href="https://bndl.org/2020/12/18/fsf-internship-beyond.html" rel="alternate" type="text/html" />
-<link href="https://bndl.org/fa/2020/12/18/fsf-internship-beyond.fa.txt" rel="alternate" type="text/plain" />
-<link href="https://bndl.org/fa/2020/12/18/fsf-internship-beyond.html" rel="alternate" type="text/html" />
+<link hreflang="en" href="https://bndl.org/fsf-internship/fsf-internship-beyond.txt" rel="alternate" type="text/plain" />
+<link hreflang="en" href="https://bndl.org/fsf-internship/beyond.html" rel="alternate" type="text/html" />
+<link href="https://bndl.org/fa/fsf-internship/fsf-internship-beyond.fa.txt" rel="alternate" type="text/plain" />
+<link href="https://bndl.org/fa/fsf-internship/beyond.html" rel="alternate" type="text/html" />
<title>کارآموزی من با تیم فنی بنیاد نرمافزار آزاد و فراتر از آن — بندعلی</title>
<content type="html"><![CDATA[
-<p class="box"><a href="https://bndl.org/2020/12/18/fsf-internship-beyond.html">نسخهٔ
+<p class="box"><a href="https://bndl.org/fsf-internship/beyond.html">نسخهٔ
انگلیسی این مقاله</a> ابتدا در وبلاگ مدیر سامانه بنیاد نرمافزار آزاد
منتشر شد:<br />
<a href="https://www.fsf.org/blogs/sysadmin/my-internship-with-the-fsf-tech-team-and-beyond"
<entry xml:base="https://bndl.org/fa/">
<author><name>بندعلی</name></author>
-<id>tag:bndl.org,2020:fa/notes.atom:fsf-internship-intro</id>
+<id>tag:bndl.org,2020:fa/notes.atom:fsf-internship/intro</id>
<published>2020-05-29T00:00:00+00:00</published>
<updated>2020-05-29T00:00:00+00:00</updated>
-<link hreflang="en" href="https://bndl.org/2020/05/29/fsf-internship-intro.txt" rel="alternate" type="text/plain" />
-<link hreflang="en" href="https://bndl.org/2020/05/29/fsf-internship-intro.html" rel="alternate" type="text/html" />
-<link href="https://bndl.org/fa/2020/05/29/fsf-internship-intro.fa.txt" rel="alternate" type="text/plain" />
-<link href="https://bndl.org/fa/2020/05/29/fsf-internship-intro.html" rel="alternate" type="text/html" />
+<link hreflang="en" href="https://bndl.org/fsf-internship/fsf-internship-intro.txt" rel="alternate" type="text/plain" />
+<link hreflang="en" href="https://bndl.org/fsf-internship/intro.html" rel="alternate" type="text/html" />
+<link href="https://bndl.org/fa/fsf-internship/fsf-internship-intro.fa.txt" rel="alternate" type="text/plain" />
+<link href="https://bndl.org/fa/fsf-internship/intro.html" rel="alternate" type="text/html" />
<title>کارآموزی با تیم فنی بنیاد نرمافزار آزاد — بندعلی</title>
<content type="html"><![CDATA[
-<p class="box"><a href="https://bndl.org/2020/05/29/fsf-internship-intro.html">نسخهٔ
+<p class="box"><a href="https://bndl.org/fsf-internship/intro.html">نسخهٔ
انگلیسی این مقاله</a> ابتدا در وبلاگ مدیر سامانه بنیاد نرمافزار آزاد
منتشر شد:<br />
<a href="https://www.fsf.org/blogs/sysadmin/introducing-bandali-intern-with-the-fsf-tech-team"
<item>
<title>کارآموزی من با تیم فنی بنیاد نرمافزار آزاد و فراتر از آن — بندعلی</title>
-<link>https://bndl.org/fa/2020/12/18/fsf-internship-beyond.html</link>
-<atom:link hreflang="en" href="https://bndl.org/2020/12/18/fsf-internship-beyond.txt" rel="alternate" type="text/plain" />
-<atom:link hreflang="en" href="https://bndl.org/2020/12/18/fsf-internship-beyond.html" rel="alternate" type="text/html" />
-<atom:link href="https://bndl.org/fa/2020/12/18/fsf-internship-beyond.fa.txt" rel="alternate" type="text/plain" />
-<atom:link href="https://bndl.org/fa/2020/12/18/fsf-internship-beyond.html" rel="alternate" type="text/html" />
-<guid isPermaLink="false">tag:bndl.org,2020:fa/notes.rss:fsf-internship-beyond</guid>
+<link>https://bndl.org/fa/fsf-internship/beyond.html</link>
+<atom:link hreflang="en" href="https://bndl.org/fsf-internship/fsf-internship-beyond.txt" rel="alternate" type="text/plain" />
+<atom:link hreflang="en" href="https://bndl.org/fsf-internship/beyond.html" rel="alternate" type="text/html" />
+<atom:link href="https://bndl.org/fa/fsf-internship/fsf-internship-beyond.fa.txt" rel="alternate" type="text/plain" />
+<atom:link href="https://bndl.org/fa/fsf-internship/beyond.html" rel="alternate" type="text/html" />
+<guid isPermaLink="false">tag:bndl.org,2020:fa/notes.rss:fsf-internship/beyond</guid>
<pubDate>Fri, 18 Dec 2020 00:00:00 +0000</pubDate>
<content:encoded><![CDATA[
-<p class="box"><a href="https://bndl.org/2020/12/18/fsf-internship-beyond.html">نسخهٔ
+<p class="box"><a href="https://bndl.org/fsf-internship/beyond.html">نسخهٔ
انگلیسی این مقاله</a> ابتدا در وبلاگ مدیر سامانه بنیاد نرمافزار آزاد
منتشر شد:<br />
<a href="https://www.fsf.org/blogs/sysadmin/my-internship-with-the-fsf-tech-team-and-beyond"
<item>
<title>کارآموزی با تیم فنی بنیاد نرمافزار آزاد — بندعلی</title>
-<link>https://bndl.org/fa/2020/05/29/fsf-internship-intro.html</link>
-<atom:link hreflang="en" href="https://bndl.org/2020/05/29/fsf-internship-intro.txt" rel="alternate" type="text/plain" />
-<atom:link hreflang="en" href="https://bndl.org/2020/05/29/fsf-internship-intro.html" rel="alternate" type="text/html" />
-<atom:link href="https://bndl.org/fa/2020/05/29/fsf-internship-intro.fa.txt" rel="alternate" type="text/plain" />
-<atom:link href="https://bndl.org/fa/2020/05/29/fsf-internship-intro.html" rel="alternate" type="text/html" />
-<guid isPermaLink="false">tag:bndl.org,2020:fa/notes.rss:fsf-internship-intro</guid>
+<link>https://bndl.org/fa/fsf-internship/intro.html</link>
+<atom:link hreflang="en" href="https://bndl.org/fsf-internship/fsf-internship-intro.txt" rel="alternate" type="text/plain" />
+<atom:link hreflang="en" href="https://bndl.org/fsf-internship/intro.html" rel="alternate" type="text/html" />
+<atom:link href="https://bndl.org/fa/fsf-internship/fsf-internship-intro.fa.txt" rel="alternate" type="text/plain" />
+<atom:link href="https://bndl.org/fa/fsf-internship/intro.html" rel="alternate" type="text/html" />
+<guid isPermaLink="false">tag:bndl.org,2020:fa/notes.rss:fsf-internship/intro</guid>
<pubDate>Fri, 29 May 2020 00:00:00 +0000</pubDate>
<content:encoded><![CDATA[
-<p class="box"><a href="https://bndl.org/2020/05/29/fsf-internship-intro.html">نسخهٔ
+<p class="box"><a href="https://bndl.org/fsf-internship/intro.html">نسخهٔ
انگلیسی این مقاله</a> ابتدا در وبلاگ مدیر سامانه بنیاد نرمافزار آزاد
منتشر شد:<br />
<a href="https://www.fsf.org/blogs/sysadmin/introducing-bandali-intern-with-the-fsf-tech-team"
--- /dev/null
+<!doctype html><html lang="en"><head>
+<meta charset="utf-8" />
+<meta name="author" content="bandali" />
+<meta name="viewport" content="width=device-width, initial-scale=1" />
+<title>My internship with the FSF tech team and beyond — bandali</title>
+<link rel="icon" href="data:,">
+<link rel="canonical" href="https://bndl.org/fsf-internship/beyond.html" />
+<link rel="alternate" href="fsf-internship-beyond.txt" title="plain text" type="text/plain" />
+<style>
+body{margin:0 auto;max-width:37.5em;}p{line-height:1.6}
+h1{font-size:1.5em}h1+p{color:#666}
+.box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
+font-size:0.95em;padding:0.6em 0.9em;}
+#copy,#license{font-size:0.84em;line-height:1.3;}
+#copy{margin-bottom:0.5em}#license{margin-top:0.5em}
+@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
+a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
+.box{background:#1b1d1e;border-color:#373c34;}}
+</style></head>
+<body>
+<h1>My internship with the FSF tech team and beyond</h1>
+<p>by <a href="https://bndl.org"><b>bandali</b></a>
+on 18 December 2020 <small>(also
+in <a href="fsf-internship-beyond.txt">plain text</a>)</small></p>
+
+<p class="box">Originally published on the Free Software Foundation's
+sysadmin blog:<br />
+<a href="https://www.fsf.org/blogs/sysadmin/my-internship-with-the-fsf-tech-team-and-beyond">My
+internship with the FSF tech team and beyond</a></p>
+
+<p>Hello! I'm
+<a href="https://www.fsf.org/blogs/sysadmin/introducing-bandali-intern-with-the-fsf-tech-team">Amin
+Bandali</a>, and this is my second blog post on the FSF sysadmin blog,
+concluding my internship with the FSF tech team this year.</p>
+
+<p>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 <a href="https://sourcehut.org">Sourcehut</a> forge software to
+help
+<a href="https://libreplanet.org/wiki/FSF_2020_forge_evaluation">evaluate</a>
+it as a candidate for the upcoming
+<a href="https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration">FSF
+forge project</a>. 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.</p>
+
+<p>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.</p>
+
+<p>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.</p>
+
+<p>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.</p>
+
+<p>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.</p>
+
+<p>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.</p>
+
+<p>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.</p>
+
+<p class="box">Interested in interning for the Free Software
+Foundation? The application period for spring 2021 internships is
+currently open. Please see
+<a href="https://www.fsf.org/volunteer/internships">https://www.fsf.org/volunteer/internships</a>
+for more details and information on how to apply!</p>
+
+<hr />
+<p id="copy">Copyright © 2020 bandali</p>
+<p id="license">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.</p>
+</body>
+</html>
--- /dev/null
+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
--- /dev/null
+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
--- /dev/null
+<!doctype html><html lang="en"><head>
+<meta charset="utf-8" />
+<meta name="author" content="bandali" />
+<meta name="viewport" content="width=device-width, initial-scale=1" />
+<title>Internship with the FSF tech team — bandali</title>
+<link rel="icon" href="data:,">
+<link rel="canonical" href="https://bndl.org/fsf-internship/intro.html" />
+<link rel="alternate" href="fsf-internship-intro.txt" title="plain text" type="text/plain" />
+<style>
+body{margin:0 auto;max-width:37.5em;}p{line-height:1.6}
+h1{font-size:1.5em}h1+p{color:#666}
+.box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
+font-size:0.95em;padding:0.6em 0.9em;}
+#copy,#license{font-size:0.84em;line-height:1.3;}
+#copy{margin-bottom:0.5em}#license{margin-top:0.5em}
+@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
+a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
+.box{background:#1b1d1e;border-color:#373c34;}}
+</style></head>
+<body>
+<h1>Internship with the FSF tech team</h1>
+<p>by <a href="https://bndl.org"><b>bandali</b></a>
+on 29 May 2020 <small>(also
+in <a href="fsf-internship-intro.txt">plain text</a>)</small></p>
+
+<p class="box">Originally published on the Free Software Foundation's
+sysadmin blog:<br />
+<a href="https://www.fsf.org/blogs/sysadmin/introducing-bandali-intern-with-the-fsf-tech-team">Introducing
+Amin Bandali, intern with the FSF tech team</a></p>
+
+<p>Hi there, I'm Amin Bandali, often just <code>bandali</code> 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.</p>
+
+<p>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
+<a href="https://www.gnu.org/philosophy/open-source-misses-the-point.html">why
+"open source" misses the point of free software</a>. 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
+<a href="https://www.gnu.org/licenses/agpl.html">GNU AGPL</a>
+license.</p>
+
+<p>My involvement with the <a href="https://www.gnu.org">GNU
+Project</a> started in 2016, first as a volunteer webmaster, and later
+as one of the maintainers of
+<a href="https://www.gnu.org/software/gnuzilla/">GNUzilla and
+IceCat</a> late last year. Also around the same time, I led a group
+of volunteers in organizing and holding
+<a href="https://emacsconf.org/2019">EmacsConf 2019</a> as a
+completely online conference, using only free software tools, much
+like the excellent
+<a href="https://libreplanet.org/wiki/LibrePlanet:Conference/2020">LibrePlanet
+2020</a>. I love <a href="https://www.gnu.org/software/emacs/">GNU
+Emacs</a>, 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.</p>
+
+<p>More closely related to my internship with the FSF tech team, I
+have been familiarizing myself with various pieces of the
+<a href="https://savannah.gnu.org">GNU Savannah</a> 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.</p>
+
+<p>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 <a href="https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration">free
+software forge</a> 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 <em>so much</em> for the GNU project and the wider free
+software community.</p>
+
+<hr />
+<p id="copy">Copyright © 2020 bandali</p>
+<p id="license">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.</p>
+</body>
+</html>
<p>I am a
<a href="https://www.gnu.org/philosophy/free-sw.html">free/libre
-software</a> activist and a <a href="mmath/">computing scientist</a>.
-
I'm a GNU maintainer of <a href="https://jami.net">Jami</a>
+software</a> activist and a computing scientist. I'm a GNU maintainer
+of <a href="https://jami.net">Jami</a>
and <a href="https://www.gnu.org/software/gnuzilla/">GNU IceCat</a>,
and wear <a href="https://www.gnu.org/people/people.html#bandali">a
few other hats</a> around GNU as well: Savannah hacker/admin,
<p>Here are notes about topics or issues I care about:</p>
<ul>
-<li><a href="2021/03/20/libreplanet-2021.html">LibrePlanet 2021: Jami
-and how it empowers users</a> <small>(March 20, 2021)</small></li>
-<li><a href="2020/12/18/fsf-internship-beyond.html">My internship with
+<li><a href="fsf-internship/beyond.html">My internship with
the FSF tech team and beyond</a>
-<small>(December 18, 2020)</small></li>
-<li><a href="2020/05/29/fsf-internship-intro.html">Internship with the
-FSF tech team</a> <small>(May 29, 2020)</small></li>
+<small>(18 December 2020)</small></li>
+<li><a href="fsf-internship/intro.html">Internship with the
+FSF tech team</a> <small>(29 May 2020)</small></li>
<li><a href="computing.html">How I do my computing</a>
-<small>(September 14, 2019)</small></li>
+<small>(14 September 2019)</small></li>
</ul>
<p>The notes are also available via <a href="notes.atom">Atom</a>
and <a href="notes.rss">RSS</a> feeds.</p>
+<h2 id="talks">talks</h2>
+<p>Some of the talks and presentations I've given over the years:</p>
+
+<ul>
+<li><a href="talks/libreplanet-2021-jami.html">LibrePlanet 2021: Jami
+and how it empowers users</a> <small>(20 March 2021)</small></li>
+<li><a href="theses/mmath.html#presentation">A Comprehensive Study of
+Declarative Modelling Languages</a> <small>(30 June 2020)</small></li>
+</ul>
+
<hr />
<p id="copy">Copyright © 2012–2021 bandali</p>
<p id="license">Copying and distribution of this file, with or without
+++ /dev/null
-../../site-files/mmath/bandali-mmath-thesis.pdf
\ No newline at end of file
+++ /dev/null
-../../site-files/mmath/bandali-mmath-thesis.tar.gz
\ No newline at end of file
+++ /dev/null
-../../site-files/mmath/bandali-mmath-thesis.zip
\ No newline at end of file
+++ /dev/null
-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
- <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: (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
+++ /dev/null
-<!doctype html><html lang="en"><head>
-<meta charset="utf-8" />
-<meta name="author" content="bandali" />
-<meta name="viewport" content="width=device-width, initial-scale=1" />
-<title>master of mathematics — bandali</title>
-<link rel="icon" href="data:,">
-<link rel="canonical" href="https://bndl.org/mmath/" />
-<link rel="alternate" href="bandali-mmath.txt" title="plain text" type="text/plain" />
-<style>
-body{margin:0 auto;max-width:37.5em;}p{line-height:1.6}
-h1{font-size:1.5em}h2{font-size:1.2em}h3{font-size:1.1em}
-.box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
-font-size:0.95em;padding:0.6em 0.9em;}
-details{margin:1em 0}details summary{cursor:pointer}
-blockquote{text-align:justify}
-.tex{font-family:"Tex Gyre Termes",serif;text-transform:uppercase;}
-.tex span{font-size:0.75em;margin-left:-0.05em;margin-right:-0.20em;}
-.tex sub{font-size:1em;margin-left:-0.1667em;margin-right:-0.125em;
-vertical-align:-0.5ex;}.tex sup{font-size:0.85em;margin-left:-0.36em;
-margin-right:-0.15em;vertical-align:0.15em;}
-#copy,#license{font-size:0.84em;line-height:1.3;}
-#copy{margin-bottom:0.5em}#license{margin-top:0.5em}
-@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
-a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
-.box{background:#1b1d1e;border-color:#373c34;}}
-</style></head>
-<body>
-<h1><a href="../">bandali</a>'s master of mathematics</h1>
-
-<p>I graduated from the University of Waterloo with the degree of
-Master of Mathematics in Computer Science in Spring 2020.
-My research at
-the <a href="https://watform.uwaterloo.ca">Waterloo Formal Methods</a>
-group focused on formal logic, model checking, and verification; under
-supervision
-of <a href="https://cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>.</p>
-
-
-<h2>A Comprehensive Study of Declarative Modelling Languages</h2>
-
-<p><em>Jump to:</em>
-<a href="#thesis">thesis</a> |
-<a href="#presentation">presentation</a> |
-<a href="#models">models</a></p>
-
-<h3 id="thesis">Thesis</h3>
-
-<p>Reference version:
-<a href="bandali-mmath-thesis.pdf">pdf</a> |
-<a href="../bandali.bib">bib</a><br />
-
-<span class="tex">L<sup>a</sup>T<sub>e</sub>X</span> sources:
-<a href="bandali-mmath-thesis.tar.gz">tar.gz</a> |
-<a href="bandali-mmath-thesis.zip">zip</a></p>
-
-<details class="box">
-<summary>Abstract</summary>
-<blockquote>
-<p>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.</p>
-
-<p>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<sup>+</sup>, 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.</p>
-
-<p>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.</p>
-</blockquote>
-</details>
-
-<details class="box" open>
-<summary>License</summary>
-<pre>
-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 href="https://www.gnu.org/licenses/">https://www.gnu.org/licenses/</a>>.
-</pre>
-</details>
-
-<p>A copy of the GNU General Public License is available from the
-COPYING file included in both of
-the <span class="tex">L<sup>a</sup>T<sub>e</sub>X</span> source
-archives linked above.</p>
-
-<h3 id="presentation">Presentation</h3>
-
-<p>Reference version:
-pdf (coming soon)<br />
-<span class="tex">L<sup>a</sup>T<sub>e</sub>X</span> sources:
-tar.gz | zip (coming soon)</p>
-
-<p>This is the presentation I delivered to my supervisor and the
-second readers of my thesis on Jun 30, 2020, as
-<a href="https://cs.uwaterloo.ca/events/masters-thesis-presentation-formal-methods-comprehensive-study-declarative-modelling-languages">announced</a>
-on the Cheriton School of Computer Science website.</p>
-
-<h3 id="models">Models</h3>
-
-<p>Reference version:
-tar.gz | zip (coming soon)</p>
-
-<hr />
-<p id="copy">Copyright © 2020 bandali</p>
-<p id="license">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.</p>
-</body>
-</html>
<entry xml:base="https://bndl.org">
<author><name>bandali</name></author>
-<id>tag:bndl.org,2020:notes.atom:libreplanet-2021</id>
+<id>tag:bndl.org,2020:notes.atom:libreplanet-2021-jami</id>
<published>2021-03-20T00:00:00+00:00</published>
<updated>2021-03-21T00:00:00+00:00</updated>
-<link href="https://bndl.org/2021/03/20/libreplanet-2021.txt" rel="alternate" type="text/plain" />
-<link href="https://bndl.org/2021/03/20/libreplanet-2021.html" rel="alternate" type="text/html" />
+<link href="https://bndl.org/talks/libreplanet-2021-jami.txt" rel="alternate" type="text/plain" />
+<link href="https://bndl.org/talks/libreplanet-2021-jami.html" rel="alternate" type="text/html" />
<title>LibrePlanet 2021: Jami and how it empowers users — bandali</title>
<content type="html"><![CDATA[
<p>I am giving my very first
<entry xml:base="https://bndl.org">
<author><name>bandali</name></author>
-<id>tag:bndl.org,2020:notes.atom:fsf-internship-beyond</id>
+<id>tag:bndl.org,2020:notes.atom:fsf-internship/beyond</id>
<published>2020-12-18T00:00:00+00:00</published>
<updated>2020-12-18T00:00:00+00:00</updated>
-<link hreflang="fa" href="https://bndl.org/fa/2020/12/18/fsf-internship-beyond.fa.txt" rel="alternate" type="text/plain" />
-<link hreflang="fa" href="https://bndl.org/fa/2020/12/18/fsf-internship-beyond.html" rel="alternate" type="text/html" />
-<link href="https://bndl.org/2020/12/18/fsf-internship-beyond.txt" rel="alternate" type="text/plain" />
-<link href="https://bndl.org/2020/12/18/fsf-internship-beyond.html" rel="alternate" type="text/html" />
+<link hreflang="fa" href="https://bndl.org/fa/fsf-internship/fsf-internship-beyond.fa.txt" rel="alternate" type="text/plain" />
+<link hreflang="fa" href="https://bndl.org/fa/fsf-internship/beyond.html" rel="alternate" type="text/html" />
+<link href="https://bndl.org/fsf-internship/fsf-internship-beyond.txt" rel="alternate" type="text/plain" />
+<link href="https://bndl.org/fsf-internship/beyond.html" rel="alternate" type="text/html" />
<title>My internship with the FSF tech team and beyond — bandali</title>
<content type="html"><![CDATA[
<p class="box">Originally published on the Free Software Foundation's
<entry xml:base="https://bndl.org">
<author><name>bandali</name></author>
-<id>tag:bndl.org,2020:notes.atom:fsf-internship-intro</id>
+<id>tag:bndl.org,2020:notes.atom:fsf-internship/intro</id>
<published>2020-05-29T00:00:00+00:00</published>
<updated>2020-05-29T00:00:00+00:00</updated>
-<link hreflang="fa" href="https://bndl.org/fa/2020/05/29/fsf-internship-intro.fa.txt" rel="alternate" type="text/plain" />
-<link hreflang="fa" href="https://bndl.org/fa/2020/05/29/fsf-internship-intro.html" rel="alternate" type="text/html" />
-<link href="https://bndl.org/2020/05/29/fsf-internship-intro.txt" rel="alternate" type="text/plain" />
-<link href="https://bndl.org/2020/05/29/fsf-internship-intro.html" rel="alternate" type="text/html" />
+<link hreflang="fa" href="https://bndl.org/fa/fsf-internship/fsf-internship-intro.fa.txt" rel="alternate" type="text/plain" />
+<link hreflang="fa" href="https://bndl.org/fa/fsf-internship/intro.html" rel="alternate" type="text/html" />
+<link href="https://bndl.org/fsf-internship/fsf-internship-intro.txt" rel="alternate" type="text/plain" />
+<link href="https://bndl.org/fsf-internship/intro.html" rel="alternate" type="text/html" />
<title>Internship with the FSF tech team — bandali</title>
<content type="html"><![CDATA[
<p class="box">Originally published on the Free Software Foundation's
<item>
<title>LibrePlanet 2021: Jami and how it empowers users — bandali</title>
-<link>https://bndl.org/2021/03/20/libreplanet-2021.html</link>
-<atom:link href="https://bndl.org/2021/03/20/libreplanet-2021.txt" rel="alternate" type="text/plain" />
-<atom:link href="https://bndl.org/2021/03/20/libreplanet-2021.html" rel="alternate" type="text/html" />
+<link>https://bndl.org/talks/libreplanet-2021-jami.html</link>
+<atom:link href="https://bndl.org/talks/libreplanet-2021-jami.txt" rel="alternate" type="text/plain" />
+<atom:link href="https://bndl.org/talks/libreplanet-2021-jami.html" rel="alternate" type="text/html" />
<guid isPermaLink="false">tag:bndl.org,2020:notes.rss:libreplanet-2021</guid>
<pubDate>Sat, 20 Mar 2021 00:00:00 +0000</pubDate>
<atom:updated>2021-03-21T00:00:00+00:00</atom:updated>
<item>
<title>My internship with the FSF tech team and beyond — bandali</title>
-<link>https://bndl.org/2020/12/18/fsf-internship-beyond.html</link>
-<atom:link hreflang="fa" href="https://bndl.org/fa/2020/12/18/fsf-internship-beyond.fa.txt" rel="alternate" type="text/plain" />
-<atom:link hreflang="fa" href="https://bndl.org/fa/2020/12/18/fsf-internship-beyond.html" rel="alternate" type="text/html" />
-<atom:link href="https://bndl.org/2020/12/18/fsf-internship-beyond.txt" rel="alternate" type="text/plain" />
-<atom:link href="https://bndl.org/2020/12/18/fsf-internship-beyond.html" rel="alternate" type="text/html" />
+<link>https://bndl.org/fsf-internship/beyond.html</link>
+<atom:link hreflang="fa" href="https://bndl.org/fa/fsf-internship/fsf-internship-beyond.fa.txt" rel="alternate" type="text/plain" />
+<atom:link hreflang="fa" href="https://bndl.org/fa/fsf-internship/beyond.html" rel="alternate" type="text/html" />
+<atom:link href="https://bndl.org/fsf-internship/fsf-internship-beyond.txt" rel="alternate" type="text/plain" />
+<atom:link href="https://bndl.org/fsf-internship/beyond.html" rel="alternate" type="text/html" />
<guid isPermaLink="false">tag:bndl.org,2020:notes.rss:fsf-internship-beyond</guid>
<pubDate>Fri, 18 Dec 2020 00:00:00 +0000</pubDate>
<content:encoded><![CDATA[
<item>
<title>Internship with the FSF tech team — bandali</title>
-<link>https://bndl.org/2020/05/29/fsf-internship-intro.html</link>
-<atom:link hreflang="fa" href="https://bndl.org/fa/2020/05/29/fsf-internship-intro.fa.txt" rel="alternate" type="text/plain" />
-<atom:link hreflang="fa" href="https://bndl.org/fa/2020/05/29/fsf-internship-intro.html" rel="alternate" type="text/html" />
-<atom:link href="https://bndl.org/2020/05/29/fsf-internship-intro.txt" rel="alternate" type="text/plain" />
-<atom:link href="https://bndl.org/2020/05/29/fsf-internship-intro.html" rel="alternate" type="text/html" />
+<link>https://bndl.org/fsf-internship/intro.html</link>
+<atom:link hreflang="fa" href="https://bndl.org/fa/fsf-internship/fsf-internship-intro.fa.txt" rel="alternate" type="text/plain" />
+<atom:link hreflang="fa" href="https://bndl.org/fa/fsf-internship/intro.html" rel="alternate" type="text/html" />
+<atom:link href="https://bndl.org/fsf-internship/fsf-internship-intro.txt" rel="alternate" type="text/plain" />
+<atom:link href="https://bndl.org/fsf-internship/intro.html" rel="alternate" type="text/html" />
<guid isPermaLink="false">tag:bndl.org,2020:notes.rss:fsf-internship-intro</guid>
<pubDate>Fri, 29 May 2020 00:00:00 +0000</pubDate>
<content:encoded><![CDATA[
--- /dev/null
+../../site-files/papers/modre2018-declarative.pdf
\ No newline at end of file
+++ /dev/null
-<!doctype html><html lang="en"><head>
-<meta charset="utf-8" />
-<meta name="author" content="bandali" />
-<meta name="viewport" content="width=device-width, initial-scale=1" />
-<title>SE 212 Material — bandali</title>
-<link rel="icon" href="data:,">
-<style>
-body{margin:0 auto;max-width:37.5em;}p,li{line-height:1.6}
-h1{font-size:1.5em}
-</style></head>
-<body>
-<h1>Material from SE 212 tutorials</h1>
-
-<p>This page contains slides and other material from
-<a href="https://www.student.cs.uwaterloo.ca/~se212/times.html">SE 212
-tutorials</a> held by <a href="../">me</a> in Fall 2019.
-<del>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 <a href="https://www.student.cs.uwaterloo.ca/~se212/personnel.html">Friday
-office hours</a>.</del></p>
-
-<ul>
-<li>Tutorial 1:
-<ul>
-<li><a href="se212-t01-101.pdf">TUT 101 slides</a></li>
-<li><a href="se212-t01-102.pdf">TUT 102 slides</a></li>
-<li><a href="se212-t01.org">Org beamer sources</a></li>
-</ul>
-</li>
-<li>Tutorial 2:
-<ul>
-<li><a href="se212-h02q04d-soln.grg">Homework 2
-q04d solution</a></li>
-</ul>
-</li>
-<li>Tutorial 3: —</li>
-<li>Tutorial 4: —</li>
-<li>Tutorial 5:
-<ul>
-<li><a href="se212-t05.pdf">Slides</a></li>
-<li><a href="se212-t05.org">Org beamer sources</a></li>
-</ul>
-</li>
-<li>Tutorial 6: —</li>
-<li>Tutorial 7: worked through questions 1–5 of Homework 7</li>
-<li>Tutorial 8: —</li><li>Tutorial 9: —</li>
-<li>Tutorial 10: worked through questions 1–10 of Homework 10</li>
-</ul>
-</body>
-</html>
+++ /dev/null
-../../site-files/se212-f19/se212-h02q04d-soln.grg
\ No newline at end of file
+++ /dev/null
-../../site-files/se212-f19/se212-t01-101.pdf
\ No newline at end of file
+++ /dev/null
-../../site-files/se212-f19/se212-t01-102.pdf
\ No newline at end of file
+++ /dev/null
-../../site-files/se212-f19/se212-t01.org
\ No newline at end of file
+++ /dev/null
-../../site-files/se212-f19/se212-t05.org
\ No newline at end of file
+++ /dev/null
-../../site-files/se212-f19/se212-t05.pdf
\ No newline at end of file
--- /dev/null
+../../site-files/talks/libreplanet-2021-jami-with-notes.pdf
\ No newline at end of file
--- /dev/null
+@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}
+}
--- /dev/null
+<!doctype html><html lang="en"><head>
+<meta charset="utf-8" />
+<meta name="author" content="bandali" />
+<meta name="viewport" content="width=device-width, initial-scale=1" />
+<title>LibrePlanet 2021: Jami and how it empowers users — bandali</title>
+<link rel="icon" href="data:,">
+<link rel="canonical" href="https://bndl.org/2021/03/20/libreplanet-2021.html" />
+<link rel="alternate" href="libreplanet-2021.txt" title="plain text" type="text/plain" />
+<style>
+body{margin:0 auto;max-width:37.5em;}p{line-height:1.6}
+h1{font-size:1.5em}h1+p{color:#666}
+.box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
+font-size:0.95em;padding:0.6em 0.9em;}
+blockquote{text-align:justify}
+.tex{font-family:"Tex Gyre Termes",serif;text-transform:uppercase;}
+.tex span{font-size:0.75em;margin-left:-0.05em;margin-right:-0.20em;}
+.tex sub{font-size:1em;margin-left:-0.1667em;margin-right:-0.125em;
+vertical-align:-0.5ex;}.tex sup{font-size:0.85em;margin-left:-0.36em;
+margin-right:-0.15em;vertical-align:0.15em;}
+#copy,#license{font-size:0.84em;line-height:1.3;}
+#copy{margin-bottom:0.5em}#license{margin-top:0.5em}
+@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
+a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
+.box{background:#1b1d1e;border-color:#373c34;}}
+</style></head>
+<body>
+<h1>LibrePlanet 2021: Jami and how it empowers users</h1>
+<p>by <a href="https://bndl.org"><b>bandali</b></a>
+on 20 March 2021 <small>(last update: 21 March 2021)
+(also in <a href="libreplanet-2021-jami.txt">plain text</a>)</small></p>
+
+<p>I am giving my very first
+<a href="https://libreplanet.org/2021/">LibrePlanet</a> talk today on
+March 20th. I will be talking about
+<a href="https://jami.net">Jami</a>, 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
+<a href="https://jami.net/together-the-new-version-of-jami-and-a-new-step-forward/">rendezvous
+points</a>, <a href="https://jami.biz/jams-user-guide">JAMS</a>,
+the <a href="https://jami.net/plugins-sdk">plugin SDK</a>,
+<a href="https://jami.net/swarm-introducing-a-new-generation-of-group-conversations">Swarm
+chats</a>, and more; and how these features each help empower users to
+communicate with their loved ones without sacrificing their privacy or
+freedom.</p>
+
+<p>Here is the abstract for my talk, also available on the
+<a href="https://libreplanet.org/2021/speakers/#4285">LibrePlanet
+2021's speakers</a> page:</p>
+
+<blockquote>
+<p>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.</p>
+
+<p>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.</p>
+
+<p>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.</p>
+</blockquote>
+
+<p>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 <a href="https://libreplanet.org/2021/live/">LibrePlanet 2021
+- Live</a> page. Attendance is gratis (no cost), and you can register
+at <a href="https://u.fsf.org/lp21-sp">https://u.fsf.org/lp21-sp</a>.</p>
+
+<p>Presentation slides:
+<a href="libreplanet-2021-jami.pdf">pdf</a>
+(<a href="libreplanet-2021-jami-with-notes.pdf">with notes</a>) |
+<a href="libreplanet-2021-jami.bib">bib</a><br />
+
+<span class="tex">L<sup>a</sup>T<sub>e</sub>X</span> sources:
+<a href="libreplanet-2021-jami.tar.gz">tar.gz</a> |
+<a href="libreplanet-2021-jami.zip">zip</a></p>
+
+<p>I hope to see you around this year's all-online LibrePlanet
+conference this weekend!</p>
+
+<p class="box">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.</p>
+
+<hr />
+<p id="copy">Copyright © 2021 bandali</p>
+<p id="license">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.</p>
+</body>
+</html>
--- /dev/null
+../../site-files/talks/libreplanet-2021-jami.pdf
\ No newline at end of file
--- /dev/null
+../../site-files/talks/libreplanet-2021-jami.tar.gz
\ No newline at end of file
--- /dev/null
+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
--- /dev/null
+../../site-files/talks/libreplanet-2021-jami.zip
\ No newline at end of file
--- /dev/null
+<!doctype html><html lang="en"><head>
+<meta charset="utf-8" />
+<meta name="author" content="bandali" />
+<meta name="viewport" content="width=device-width, initial-scale=1" />
+<title>SE 212 Material — bandali</title>
+<link rel="icon" href="data:,">
+<style>
+body{margin:0 auto;max-width:37.5em;}p,li{line-height:1.6}
+h1{font-size:1.5em}
+</style></head>
+<body>
+<h1>Material from SE 212 tutorials</h1>
+
+<p>This page contains slides and other material from
+<a href="https://www.student.cs.uwaterloo.ca/~se212/times.html">SE 212
+tutorials</a> held by <a href="../">me</a> in Fall 2019.
+<del>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 <a href="https://www.student.cs.uwaterloo.ca/~se212/personnel.html">Friday
+office hours</a>.</del></p>
+
+<ul>
+<li>Tutorial 1:
+<ul>
+<li><a href="se212-t01-101.pdf">TUT 101 slides</a></li>
+<li><a href="se212-t01-102.pdf">TUT 102 slides</a></li>
+<li><a href="se212-t01.org">Org beamer sources</a></li>
+</ul>
+</li>
+<li>Tutorial 2:
+<ul>
+<li><a href="se212-h02q04d-soln.grg">Homework 2
+q04d solution</a></li>
+</ul>
+</li>
+<li>Tutorial 3: —</li>
+<li>Tutorial 4: —</li>
+<li>Tutorial 5:
+<ul>
+<li><a href="se212-t05.pdf">Slides</a></li>
+<li><a href="se212-t05.org">Org beamer sources</a></li>
+</ul>
+</li>
+<li>Tutorial 6: —</li>
+<li>Tutorial 7: worked through questions 1–5 of Homework 7</li>
+<li>Tutorial 8: —</li><li>Tutorial 9: —</li>
+<li>Tutorial 10: worked through questions 1–10 of Homework 10</li>
+</ul>
+</body>
+</html>
--- /dev/null
+../../site-files/teaching/se212-h02q04d-soln.grg
\ No newline at end of file
--- /dev/null
+../../site-files/teaching/se212-t01-101.pdf
\ No newline at end of file
--- /dev/null
+../../site-files/teaching/se212-t01-102.pdf
\ No newline at end of file
--- /dev/null
+../../site-files/teaching/se212-t01.org
\ No newline at end of file
--- /dev/null
+../../site-files/teaching/se212-t05.org
\ No newline at end of file
--- /dev/null
+../../site-files/teaching/se212-t05.pdf
\ No newline at end of file
--- /dev/null
+@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}
+}
--- /dev/null
+../../site-files/theses/bandali-mmath-thesis.pdf
\ No newline at end of file
--- /dev/null
+../../site-files/theses/bandali-mmath-thesis.tar.gz
\ No newline at end of file
--- /dev/null
+../../site-files/theses/bandali-mmath-thesis.zip
\ No newline at end of file
--- /dev/null
+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
+ <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: (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
--- /dev/null
+<!doctype html><html lang="en"><head>
+<meta charset="utf-8" />
+<meta name="author" content="bandali" />
+<meta name="viewport" content="width=device-width, initial-scale=1" />
+<title>master of mathematics — bandali</title>
+<link rel="icon" href="data:,">
+<link rel="canonical" href="https://bndl.org/theses/mmath.html" />
+<link rel="alternate" href="bandali-mmath.txt" title="plain text" type="text/plain" />
+<style>
+body{margin:0 auto;max-width:37.5em;}p{line-height:1.6}
+h1{font-size:1.5em}h2{font-size:1.2em}h3{font-size:1.1em}
+.box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
+font-size:0.95em;padding:0.6em 0.9em;}
+details{margin:1em 0}details summary{cursor:pointer}
+blockquote{text-align:justify}
+.tex{font-family:"Tex Gyre Termes",serif;text-transform:uppercase;}
+.tex span{font-size:0.75em;margin-left:-0.05em;margin-right:-0.20em;}
+.tex sub{font-size:1em;margin-left:-0.1667em;margin-right:-0.125em;
+vertical-align:-0.5ex;}.tex sup{font-size:0.85em;margin-left:-0.36em;
+margin-right:-0.15em;vertical-align:0.15em;}
+#copy,#license{font-size:0.84em;line-height:1.3;}
+#copy{margin-bottom:0.5em}#license{margin-top:0.5em}
+@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
+a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
+.box{background:#1b1d1e;border-color:#373c34;}}
+</style></head>
+<body>
+<h1><a href="../">bandali</a>'s master of mathematics</h1>
+
+<p>I graduated from the University of Waterloo with the degree of
+Master of Mathematics in Computer Science in Spring 2020.
+My research at
+the <a href="https://watform.uwaterloo.ca">Waterloo Formal Methods</a>
+group focused on formal logic, model checking, and verification; under
+supervision
+of <a href="https://cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>.</p>
+
+
+<h2>A Comprehensive Study of Declarative Modelling Languages</h2>
+
+<p><em>Jump to:</em>
+<a href="#thesis">thesis</a> |
+<a href="#presentation">presentation</a> |
+<a href="#models">models</a></p>
+
+<h3 id="thesis">Thesis</h3>
+
+<p>Reference version:
+<a href="bandali-mmath-thesis.pdf">pdf</a> |
+<a href="../bandali.bib">bib</a><br />
+
+<span class="tex">L<sup>a</sup>T<sub>e</sub>X</span> sources:
+<a href="bandali-mmath-thesis.tar.gz">tar.gz</a> |
+<a href="bandali-mmath-thesis.zip">zip</a></p>
+
+<details class="box">
+<summary>Abstract</summary>
+<blockquote>
+<p>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.</p>
+
+<p>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<sup>+</sup>, 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.</p>
+
+<p>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.</p>
+</blockquote>
+</details>
+
+<details class="box" open>
+<summary>License</summary>
+<pre>
+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 href="https://www.gnu.org/licenses/">https://www.gnu.org/licenses/</a>>.
+</pre>
+</details>
+
+<p>A copy of the GNU General Public License is available from the
+COPYING file included in both of
+the <span class="tex">L<sup>a</sup>T<sub>e</sub>X</span> source
+archives linked above.</p>
+
+<h3 id="presentation">Presentation</h3>
+
+<p>Reference version:
+pdf (coming soon)<br />
+<span class="tex">L<sup>a</sup>T<sub>e</sub>X</span> sources:
+tar.gz | zip (coming soon)</p>
+
+<p>This is the presentation I delivered to my supervisor and the
+second readers of my thesis on Jun 30, 2020, as
+<a href="https://cs.uwaterloo.ca/events/masters-thesis-presentation-formal-methods-comprehensive-study-declarative-modelling-languages">announced</a>
+on the Cheriton School of Computer Science website.</p>
+
+<h3 id="models">Models</h3>
+
+<p>Reference version:
+tar.gz | zip (coming soon)</p>
+
+<hr />
+<p id="copy">Copyright © 2020 bandali</p>
+<p id="license">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.</p>
+</body>
+</html>
projects / ~bandali / bndl.org / commitdiff