+++ /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>404 not found — bandali</title>
-<style>
-body {
- line-height: 1.6;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-@media (prefers-color-scheme: dark) {
- body { background: #1c1c1c; color: white; }
- a:link { color: #acdeff; }
- a:visited { color: #f8f; }
- a:active { color: #e00; }
-}
-</style>
-</head>
-<body>
-<h1>404</h1>
-<p>Sorry, that page does not exist. Are you at the right address?</p>
-
-<p>Feel free to go back <a href="https://bndl.org">home</a>
-or <a href="https://bndl.org/contact.html">contact</a> bandali
-about this.</p>
-</body>
-</html>
Feel free to go back home[1] or contact[2] bandali about this.
-[1] https://bndl.org/bandali.txt
-[2] https://bndl.org/bandali-contact.txt
+[1] https://bndl.org
+[2] https://bndl.org/contact.html
--- /dev/null
+# GNUmakefile --- GNU Makefile for building my personal site
+
+# Copyright (c) 2020-2021 bandali
+#
+# Copying and distribution of this file, with or without modification,
+# are permitted in any medium without royalty provided the copyright
+# notice and this notice are preserved. This file is offered as-is,
+# without any warranty.
+
+
+gen = perl txt2html < $< > $@
+gen_fa = perl txt2html 'fa' < $< > $@
+port := $(if $(port),$(port),8000)
+
+TXT := $(filter-out bandali-pubkey.txt bandali.txt,$(wildcard *.txt))
+OUT := $(patsubst %.txt,%.html,$(TXT))
+OUT := $(patsubst bandali-%.html,%.html,$(OUT))
+
+TXT_FA := $(filter-out fa/bandali.fa.txt,$(wildcard fa/*.fa.txt))
+OUT_FA := $(patsubst fa/%.fa.txt,fa/%.html,$(TXT_FA))
+OUT_FA := $(patsubst fa/bandali-%.html,fa/%.html,$(OUT_FA))
+
+all: $(OUT) $(OUT_FA) index.html fa/index.html
+
+%.html: bandali-%.txt ; $(gen)
+%.html: %.txt ; $(gen)
+index.html: bandali.txt ; $(gen)
+
+fa/%.html: fa/bandali-%.fa.txt ; $(gen_fa)
+fa/%.html: fa/%.fa.txt ; $(gen_fa)
+fa/index.html: fa/bandali.fa.txt ; $(gen_fa)
+
+
+clean:
+ rm -f $(OUT) $(OUT_FA) index.html fa/index.html
+
+serve:
+ python -m http.server $(port) || python -m SimpleHTTPServer $(port)
+
+watch:
+ while true; do \
+ echo $(TXT) $(TXT_FA) bandali.txt fa/bandali.fa.txt \
+ GNUmakefile txt2html | tr " " "\n" | entr -d make; done
+
+.PHONY: all clean serve watch
-How I do my Computing
-by bandali on September 14, 2019 (2019-09-14)
-last update on February 28, 2021 (2021-02-28)
-
+How I do my computing
+---------------------
inspired by the computing page of rms:
https://stallman.org/stallman-computing.html
notice and this notice are preserved. This file is offered as-is,
without any warranty.
-this file: https://bndl.org/bandali-computing.txt
+plain text: https://bndl.org/bandali-computing.txt
bandali's contact information
-https://bndl.org/bandali-contact.txt
-
+-----------------------------
Email is by far my preferred method of communication, and you can
-write to me at bandali@gnu.org. For GPG-encrypted mail, you can use
-my public key[1] with the fingerprint
-BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103. To learn how to
-send encrypted email, see the email self-defense[2] guide by the Free
-Software Foundation.
+write to me at bandali@gnu.org. For GPG-encrypted mail, you can
+encrypt your message using my public key[1] with the fingerprint
+BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103.
+
+To learn how to send encrypted email, see the email self-defense[2]
+guide by the Free Software Foundation.
[1] https://bndl.org/bandali-pubkey.txt
[2] https://emailselfdefense.fsf.org/en/
-Besides email, I can also usually be reached via IRC, particularly the
-libera[3] and oftc[4] networks, where I idle as bandali. For other
-means of communication, please send me an email and we can figure
-something out if needed.
+Besides email, I can also usually be reached via IRC on the
+libera[3] and oftc[4] networks, where I idle as bandali.
+For other means of communication, please send me an email
+and we can figure something out if needed.
[3] https://libera.chat
[4] https://www.oftc.net
+
+
+ -*-
+
+plain text: https://bndl.org/bandali-contact.txt
- CURRICULUM VITAE
+ curriculum vitae
- Amin Bandali
+ Amin Bandali
-------------------------------------------
-site: https://bndl.org
-email: bandali@gnu.org
- bandali@uwaterloo.ca
-phone: available upon request via email
+ ------------------------------------------
+ site: https://bndl.org
+ email: bandali@gnu.org
+ bandali@uwaterloo.ca
+ phone: available upon request via email
-this file: https://bndl.org/bandali-cv.txt
-last update: 2021-08-31
-------------------------------------------
+ this file: https://bndl.org/bandali-cv.txt
+ last update: 2021-08-31
+ ------------------------------------------
SUMMARY OF QUALIFICATIONS
bandali's master of mathematics
-https://bndl.org/bandali-mmath.txt
-
+-------------------------------
I graduated from the University of Waterloo with the degree of Master
of Mathematics in Computer Science in Spring 2020. My research at the
MODELS
Reference version: (coming soon)
+
+
+ -*-
+
+Copyright (c) 2020 bandali
+
+Copying and distribution of this file, with or without modification,
+are permitted in any medium without royalty provided the copyright
+notice and this notice are preserved. This file is offered as-is,
+without any warranty.
+
+plain text: https://bndl.org/bandali-mmath.txt
bandali's projects
-https://bndl.org/bandali-projects.txt
-
+------------------
This page used to contain a list of some of the free software projects
I had started or contributed to at some point, but it started to get a
[1] https://git.shemshak.org/~bandali
[2] https://savannah.gnu.org/users/bandali
+
+
+ -*-
+
+plain text: https://bndl.org/bandali-projects.txt
bandali's personal site
-https://bndl.org
-
+-----------------------
I am a free/libre software activist and computing scientist.
I'm a GNU maintainer of Jami and GNU IceCat. I also wear a few
2021-03-20
LibrePlanet 2021: Jami and how it empowers users
- https://bndl.org/libreplanet-2021.txt
+ https://bndl.org/libreplanet-2021.html
2020-12-18
My internship with the FSF tech team and beyond
- https://bndl.org/fsf-internship-beyond.txt
+ https://bndl.org/fsf-internship-beyond.html
2020-05-29
Internship with the FSF tech team
- https://bndl.org/fsf-internship-intro.txt
+ https://bndl.org/fsf-internship-intro.html
2019-09-14
How I do my Computing
- https://bndl.org/bandali-computing.txt
+ https://bndl.org/computing.html
OTHER PAGES
- Some other pages of bndl.org that may be of interest:
+ The following pages of bndl.org may be of interest:
- https://bndl.org/bandali-projects.txt
- https://bndl.org/bandali-cv.txt
- https://bndl.org/bandali-contact.txt
- https://bndl.org/bandali-mmath.txt
- https://bndl.org/fa/bandali.fa.txt
+ https://bndl.org/projects.html
+ https://bndl.org/cv.html
+ https://bndl.org/contact.html
+ https://bndl.org/mmath.html
+ https://bndl.org/fa/
-*-
notice and this notice are preserved. This file is offered as-is,
without any warranty.
-this file: https://bndl.org/bandali.txt
+plain text: https://bndl.org/bandali.txt
+++ /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>How I do my Computing — bandali</title>
-<link rel="canonical" href="https://bndl.org/computing.html" />
-<link rel="alternate" href="bandali-computing.txt" title="plain text" type="text/plain" />
-<link rel="next" href="fsf-internship-intro.html">
-<style>
-body {
- line-height: 1.6;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-details { margin: 1em 0; }
-details summary { cursor: pointer; }
-#copy { font-size: 0.84em; }
-#copy p { padding: 0 2em; }
-h1 + p { color: #666; }
-.box {
- background: #f8f8f8;
- border: 1px solid #e6e6e6;
- border-radius: 4px;
- font-size: 0.95em;
- padding: 0.6em 0.9em;
-}
-code.box { padding: 0.4em 0.8em; }
-code, kbd, pre { font-size: 1.2em; }
-@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>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)
-(also in <a href="bandali-computing.txt">plain text</a>)</small></p>
-
-<p class="box">inspired by the computing page of
-<a href="https://stallman.org/stallman-computing.html">rms</a></p>
-
-<h2>Computers</h2>
-<p>My <a href="https://libreboot.org">librebooted</a> ThinkPad X200
-computer is the machine I use the most and where I do most of my
-computing. I also have the privilege of having access to a fleet of
-servers through our school's
-<a href="https://csclub.uwaterloo.ca">Computer Science Club</a> that I
-use for some more computationally intensive tasks every now and again,
-and also for hosting this very website.</p>
-
-<h2>GNU/Linux distribution</h2>
-<p>I used a wide variety of distros over the years; but I have since
-found <a href="https://trisquel.info">Trisquel</a> to be my favourite
-and it's put my "distro-hopping" days behind me. Sometimes I pair it
-up with <a href="https://guix.gnu.org">GNU Guix</a>. For the kernel,
-I usually use
-<a href="https://www.fsfla.org/ikiwiki/selibre/linux-libre/">GNU
-Linux-libre</a> from jxself's
-<a href="https://jxself.org/linux-libre/">APT repository</a>.</p>
-
-<h2>Actual computing</h2>
-<p>I spend most of my time in
-<a href="https://www.gnu.org/software/emacs/">GNU Emacs</a>.</p>
-<p>TODO: elaborate</p>
-
-<h2 id="colophon">Maintaining this site</h2>
-<p>The pages of this site are available in (manually-written) HTML and
-plain text, both composed in GNU Emacs. To get the git repository
-containing all of the pages of the site and the history of changes to
-them, you can run <code class="box">git clone https://bndl.org</code>
-in a terminal.</p>
-
-<hr />
-<details id="copy">
-<summary>Copyright © 2019, 2020, 2021 bandali</summary>
-<p>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>
-</details>
-</body>
-</html>
+++ /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>contact information — bandali</title>
-<link rel="canonical" href="https://bndl.org/contact.html" />
-<link rel="alternate" href="bandali-contact.txt" title="plain text" type="text/plain" />
-<style>
-body {
- line-height: 1.6;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-code { white-space: pre; }
-@media (prefers-color-scheme: dark) {
- body { background: #1c1c1c; color: white; }
- a:link { color: #acdeff; }
- a:visited { color: #f8f; }
- a:active { color: #e00; }
-}
-</style>
-</head>
-<body>
-<h1><a href=".">bandali</a>'s contact information</h1>
-
-<p>Email is by far my preferred method of communication, and you can
-write to me at bandali@gnu.org. For GPG-encrypted mail, you can use
-my <a href="bandali-pubkey.txt">public key</a> with the fingerprint
-<code>BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103</code>.
-To learn how to send encrypted email, see
-the <a href="https://emailselfdefense.fsf.org/en/">email
-self-defense</a> guide by the Free Software Foundation.</p>
-
-<p>Besides email, I can also usually be reached via IRC, particularly
-the <a href="https://libera.chat">libera</a>
-and <a href="https://www.oftc.net">oftc</a> networks, where I idle
-as <code>bandali</code>. For other means of communication, please
-send me an email and we can figure something out if needed.</p>
-</body>
-</html>
+++ /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>curriculum vitae — bandali</title>
-<link rel="canonical" href="https://bndl.org/cv.html" />
-<link rel="alternate" href="bandali-cv.txt" title="plain text" type="text/plain" />
-<link rel="alternate" href="https://p.bndl.org/bandali-cv.pdf" title="pdf" type="application/pdf" />
-<style>
-body {
- line-height: 1.6;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-.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;
-}
-.box {
- background: #f8f8f8;
- border: 1px solid #e6e6e6;
- border-radius: 4px;
- font-size: 0.95em;
- padding: 0.6em 0.9em;
-}
-#link-grid {
- display: grid;
- grid: none / auto 1fr;
- gap: 0.2em 1em;
-}
-#link-grid dd { margin-left: 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><a href=".">bandali</a>'s curriculum vitae</h1>
-
-<p class="box">also available in plain text
-as <a href="bandali-cv.txt">bandali-cv.txt</a></p>
-
-<dl id="link-grid">
-<dt>Site</dt>
-<dd><a href="https://bndl.org">bndl.org</a></dd>
-<dt>Email</dt>
-<dd>bandali@gnu.org</dd>
-<dt>Phone</dt>
-<dd>available upon request via email</dd>
-</dl>
-
-<h2>Summary of Qualifications</h2>
-
-<ul>
-<li>Experience in building software for diverse areas and platforms in
-various programming languages such as C, Python, and Haskell.</li>
-<li>Passionate about applying scientific and engineering methods while
-designing and building software systems.</li>
-<li>Using formal specification techniques to find specification-level
-bugs early in the design stage rather than implementation.</li>
-<li>GNU/Linux system administration on both the client and the server
-side.</li>
-<li>Problem-solving and communication skills, honed through research
-and teaching roles held in graduate school, as well as holding
-tutorials discussing complex concepts with fellow students and peers
-throughout undergraduate studies and high school.</li>
-<li>Organizational and teamwork skills, strengthened thanks to
-community service in form of volunteer activities including organizing
-the EmacsConf conference and volunteer work for charities such as the
-Free Software Foundation and St. Brigid's Summer Camp.</li>
-</ul>
-
-<h2>Education</h2>
-
-<dl>
-<dt>Master of Mathematics in Computer Science, University of Waterloo,
-2020</dt>
-<dd>Research focus: formal logic, model checking, verification</dd>
-<dd>Thesis: <a href="#mmath">A Comprehensive Study of Declarative
-Modelling Languages</a></dd>
-<dd>Supervisor: <a href="https://cs.uwaterloo.ca/~nday/">Prof. Nancy
-A. Day</a></dd>
-<dd>GPA: 3.7/4.0</dd>
-
-<dt>Bachelor of Science with Honours in Computer Science, York
-University, 2017</dt>
-<dd>Favourite courses: System Specification & Refinement, Software
-Requirements Engineering, Software Design, Operating Systems,
-Computational Complexity, Design & Analysis of Algorithms</dd>
-<dd>GPA: 7.84/9.0</dd>
-</dl>
-
-<h2 id="research">Research Interests</h2>
-
-formal logic, model checking, theorem proving, verification
-
-<h2 id="publications">Publications & Presentations</h2>
-
-<p>The complete bibliography of my publications is available as
-a <a href="bandali.bib">bandali.bib</a>
-<span class="tex">B<span>ib</span>T<sub>e</sub>X</span> bibliography
-file.</p>
-
-<h3>Papers</h3>
-
-<dl>
-<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="https://cs.uwaterloo.ca/~nday/artifacts/2018-modre/">models</a>
-]
-</small>
-</dt>
-<dd>
-Ali Abbassi, <a href="https://bndl.org">Amin Bandali</a>,
-<a href="https://cs.uwaterloo.ca/~nday/">Nancy A. Day</a>, Jose Serna<br />
-<em>8th IEEE International Model-Driven Requirements Engineering Workshop, MoDRE@RE 2018</em><br />
-Copyright © 2018 IEEE. All Rights Reserved. Sadly.
-</dd>
-</dl>
-
-<h3>Theses</h3>
-
-<dl>
-<dt id="mmath">A Comprehensive Study of Declarative Modelling
-Languages
-<small>
-[ <a href="https://p.bndl.org/bandali-mmath-thesis.pdf">pdf</a>
-| <a href="https://hdl.handle.net/10012/16059">hdl</a>
-| <a href="https://bndl.org/mmath.html">http</a>
-]
-</small>
-</dt>
-<dd>
-<a href="https://bndl.org">Amin Bandali</a><br />
-<em><abbr title="Master of Mathematics">MMath</abbr> Thesis,
-University of Waterloo, David R. Cheriton School of Computer Science,
-July 2020.</em>
-</dd>
-</dl>
-
-<h3>Talks</h3>
-
-<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
-notes</a>)
-| <a href="https://bndl.org/libreplanet-2021.html">http</a>
-]
-</small>
-</dt>
-<dd>
-<a href="https://bndl.org">Amin Bandali</a><br />
-<em>Presented at the LibrePlanet 2021 Conference, March 20, 2021.</em>
-</dd>
-
-<dt>The Magic of Specifications and Type Systems
-<small>
-[ <a href="https://p.bndl.org/cucsc-2017-slides.pdf">slides</a>
-| <a href="https://p.bndl.org/eecs4080-poster.pdf">poster</a>
-]
-</small>
-</dt>
-<dd>
-<a href="https://bndl.org">Amin Bandali</a>,
-<a href="https://github.com/cipher1024">Simon Hudon</a>,
-<a href="https://www.eecs.yorku.ca/~jonathan/">Jonathan S. Ostroff</a><br />
-<em>Slides presented at the Canadian Undergraduate Computer Science
-Conference 2017, University of Toronto, Canada, June 15–17, 2017.<br />
-Poster presented at the Lassonde Undergraduate Summer Student Research
-Conference, York University, Toronto, Canada, August 15, 2017.</em>
-</dd>
-
-<dt>Introducing YULUG</dt>
-<dd>
-<a href="https://bndl.org">Amin Bandali</a><br />
-<em>Slides introducing YULUG — (GNU/)Linux User Group at York
-University — presented at a Computing Students Hub (CSHub) tech
-talk at York University, Toronto, Canada, February 12, 2015.</em>
-</dd>
-</dl>
-
-<h2>Work & Research Experience</h2>
-
-<dl>
-<dt>Savoir-faire Linux</dt>
-<dd>fall 2020–present | Free Software Consultant | Consultant en
-logiciel libre</dd>
-<dd>
-<dl>
-<dd>I am part of the Jami core development team at Savoir-faire Linux,
-where I work on various parts of Jami as a Free Software Consultant.
-These include working on and maintaining the GTK+-based jami-gnome
-client application written in C++ and C, and packaging Jami for
-various GNU/Linux distributions and other platforms. I also serve as
-a community liaison between the Jami core team and the wider free
-software community around Jami, with the goal of helping facilitate
-the communications and relations between the two.</dd>
-</dl>
-</dd>
-
-<dt>Free Software Foundation (FSF)</dt>
-<dd>spring 2020 | Intern</dd>
-<dd>
-<dl>
-<dd>Working with the FSF tech team in a sysadmin role on a variety of
-tasks including installation of the Sourcehut free software forge on
-the FSF infrastructure for evaluation for the FSF forge project, as
-well as a series of enhancements
-for <a href="https://www.gnu.org">www.gnu.org</a>.</dd>
-</dl>
-</dd>
-
-<dt>Cheriton School of Science, University of Waterloo</dt>
-<dd>winter 2018–spring 2020 | TA, IA, RA <sup>[*]</sup></dd>
-<dd>
-<dl>
-<dd>SE 465 (Software Testing and Quality Assurance): TA in winter
-2020</dd>
-<dd>SE 212 (Logic and Computation): <a href="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
-winter 2018</dd>
-</dl>
-</dd>
-<dd><small>[*]: Teaching Assistant (marking exams and assignments),
-Instructional Apprentice (holding tutorials and marking), Research
-Assistant (doing research for/with supervisor)</small></dd>
-
-<dt>Department of Electrical Engineering & Computer Science, York
-University</dt>
-<dd>fall 2017 | Teaching Assistant</dd>
-<dd>
-<dl>
-<dd>EECS 1012 (Net-Centric Introduction to Computing): TA in fall
-2017, running labs and marking labs and exams</dd>
-</dl>
-</dd>
-
-<dt>Software Engineering Lab, York University</dt>
-<dd>
-<dl>
-<dt>summer 2017 | Research Assistant</dt>
-<dd>Worked on an implementation
-of <a href="https://bertrandmeyer.com/2014/12/07/lampsort/">Lampsort</a>
-in Eiffel. Extended
-the <a href="https://svn.eecs.yorku.ca/repos/sel-open/mathmodels/">mathmodels</a>
-library, implementing a <code>rational</code> class for working with
-arbitrarily large rational numbers.</dd>
-</dl>
-</dd>
-<dd>
-<dl>
-<dt>summer 2016 | Research Student</dt>
-<dd>Worked on <em>Literate Unit-B</em>, the verifier for Unit-B, a
-new formal method focused on formal verification of reactive,
-concurrent and distributed systems. From the Literate Unit-B codebase
-(written in Haskell), decoupled the logic module and used it to build
-<em>Unit-B Web</em>, a web interface using Literate Unit-B to do
-predicate calculus proofs. Unit-B Web, also written in Haskell,
-supports the <span class="tex">L<sup>a</sup>T<sub>e</sub>X</span>
-syntax of the Unit-B logic, renders user input on the page, and calls
-the sequent prover of the logic module, which uses the Z3 SMT solver
-to check the validity of user input.</dd>
-<dd>Separated Literate Unit-B's type checker from its parser in a
-large refactoring, allowing easier substitution of other type checking
-algorithms, and in preparation for implementing subtyping.</dd>
-</dl>
-</dd>
-
-<dt>Lotek Wireless Inc.</dt>
-<dd>
-<dl>
-<dt>summer 2016 | Software Developer</dt>
-<dd>Designed and developed an Employee Portal web application in C#
-and the MVC framework, used by employees for accessing various data
-catalogs and archives.</dd>
-</dl>
-</dd>
-<dd>
-<dl>
-<dt>summer 2015 | Computer Programmer</dt>
-<dd>Designed and implemented various applications in C# and C for
-analyzing and testing a satellite pass prediction algorithm for
-predicting the pass windows of Argos satellites, for scheduling send
-times of data collected by the company's wildlife tracking
-products.</dd>
-</dl>
-</dd>
-
-<dt>Athlete Builder</dt>
-<dd>
-<dl>
-<dt>2013–2014 | Software Developer</dt>
-<dd>Developed the Backend of Athlete Builder platform in C# and
-MVC.</dd>
-<dd>Key role in development of the platform core.</dd>
-<dd>Developed the alpha version of Athlete Builder Android application
-in Java.</dd>
-</dl>
-</dd>
-</dl>
-
-<h2>Skills</h2>
-<dl>
-<dt>Programming languages</dt>
-<dd>C, C++, Haskell, Emacs Lisp, Guile Scheme, Python, Eiffel, Bash,
-C#, Java, JavaScript</dd>
-<dt>Tools</dt>
-<dd>GNU Emacs, Git, Alloy, TLA<sup>+</sup>,
-ProB, <span class="tex">L<sup>a</sup>T<sub>e</sub>X</span>, continuous
-integration systems</dd>
-<dt>Platforms</dt>
-<dd>GNU/Linux distributions, including Trisquel, GNU Guix, Debian</dd>
-<dt>Languages</dt>
-<dd>Persian (mother tongue), English (native proficiency; IELTS: 9.0),
-French (beginner)</dd>
-</dl>
-
-<h2>Community Service</h2>
-<dl>
-<dt>EmacsConf conference</dt>
-<dd>
-<dl>
-<dt>2019–present</dt>
-<dd>Chief organizer and maintainer of conference infrastructure,
-including the streaming servers.</dd>
-<dt>2015</dt>
-<dd>One of the organizers and in charge of setting up and maintaining
-vital pieces of infrastructure.</dd>
-</dl>
-</dd>
-<dt>Computer Science Club (CSC) of the University of Waterloo</dt>
-<dd>Served as the CSC System Administrator in Winter and Spring 2020.
-Present member of the CSC Systems Committee, overseeing and
-maintaining a large fleet of GNU/Linux servers for CSC members, as
-well as running the CSC mirror for free software projects.</dd>
-<dd>Notable projects
-include <a href="https://mailman.csclub.uwaterloo.ca/pipermail/csc-general/2020-July/000837.html">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>
-<dt>Free/libre software contributions</dt>
-<dd>Co-maintainer
-of <a href="https://www.gnu.org/software/gnuzilla/gnuzilla.html">GNUzilla
-and IceCat</a>, the GNU version of the Mozilla suite and the Firefox
-browser respectively.</dd>
-<dd>Maintainer
-of <a href="https://www.gnu.org/software/emacs/erc.html">ERC</a>, the
-powerful, modular, and extensible IRC client distributed with GNU
-Emacs.</dd>
-<dd>Committer and regular contributor
-to <a href="https://www.gnu.org/software/emacs/emacs.html">GNU
-Emacs</a> and <a href="https://guix.gnu.org">GNU Guix</a>.</dd>
-<dd><a href="https://www.gnu.org/people/webmeisters.html#bandali">GNU
-webmaster</a>
-and <a href="https://savannah.gnu.org/maintenance/SavannahHacker/">GNU
-Savannah hacker</a>.</dd>
-<dt>Volunteer work</dt>
-<dd>
-<dl>
-<dt>spring 2013 | Application Developer for VONICAL Inc.</dt>
-<dd>Worked on development of the Employment Accessibility Resource
-Network (EARN) portal using the Anahita social networking platform,
-written in PHP and running on GNU/Linux.</dd>
-<dt>winter 2013 | Mobile & Web Developer for Hire Works Inc.</dt>
-<dd>Worked on a variety of web and mobile development projects for
-Hire Works.</dd>
-<dt>summer 2012 | Web Developer for St. Brigid's Summer Camp</dt>
-<dd>Redesigned and revamped the codebase for the photo gallery section
-of the camp's website in PHP and JavaScript.</dd>
-</dl>
-</dd>
-</dl>
-</body>
-</html>
+++ /dev/null
-<!doctype html>
-<html lang="fa" dir="rtl">
-<head>
-<meta charset="utf-8" />
-<meta name="author" content="bandali" />
-<meta name="viewport" content="width=device-width, initial-scale=1" />
-<title>صفحه پیدا نشد — بندعلی</title>
-<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;
- line-height: 1.8;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-@media (prefers-color-scheme: dark) {
- body { background: #1c1c1c; color: white; }
- a:link { color: #acdeff; }
- a:visited { color: #f8f; }
- a:active { color: #e00; }
-}
-</style>
-</head>
-<body>
-<h1>خطای ۴۰۴</h1>
-<p>متأسفم، صفحهٔ مورد نظر پیدا نشد. آیا آدرس صفحه درست است؟</p>
-
-<p>اگر تمایل دارید به <a href="https://bndl.org/fa/">صفحهٔ اصلی</a>
-بروید یا در این باره با
-بندعلی <a href="https://bndl.org/fa/contact.html">تماس بگیرید</a>.</p>
-</body>
-</html>
notice and this notice are preserved. This file is offered as-is,
without any warranty.
-رونوشت و توزیع این پرونده، با یا بدون تغییر، در سراسر دنیا بدون حق
-امتیاز و در هر رسانهای مجاز است، به شرطی که این اعلان و اعلان حق تکثیر
-ØÙ\81ظ Ø´Ù\88د. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه میشود.
+رونوشت و توزیع این پرونده با یا بی تغییر در سراسر دنیا بدون حق امتیاز
+و در هر رسانهای مجاز است، به این شرط که اعلان حق تکثیر و این اعلان حفظ
+Ø´Ù\88Ù\86د. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه میشود.
-این پرونده: https://bndl.org/fa/bandali-computing.fa.txt
+متن ساده: https://bndl.org/fa/bandali-computing.fa.txt
[۳] https://libera.chat
[۴] https://www.oftc.net
+
+
+ -*-
+
+متن ساده: https://bndl.org/fa/bandali-contact.fa.txt
[۱] https://git.shemshak.org/~bandali
[۲] https://savannah.gnu.org/users/bandali
+
+
+ -*-
+
+متن ساده: https://bndl.org/fa/bandali-projects.fa.txt
در اینجا میتوانید برخی یادداشتها و نوشتههایم در رابطه با موضوعات
مورد علاقهام یا مسائلی که برایم مهم هستند را بخوانید:
- ۲۵ مارس ۲۰۲۱
- چرا متن ساده؟
- https://bndl.org/fa/why-plain-text.fa.txt
-
۲۰ مارس ۲۰۲۱
LibrePlanet 2021: جمی و اینکه چگونه به کاربران قدرت میبخشد (انگلیسی)
https://bndl.org/libreplanet-2021.txt
notice and this notice are preserved. This file is offered as-is,
without any warranty.
-رونوشت و توزیع این پرونده، با یا بدون تغییر، در سراسر دنیا بدون حق
-امتیاز و در هر رسانهای مجاز است، به شرطی که این اعلان و اعلان حق تکثیر
-ØÙ\81ظ Ø´Ù\88د. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه میشود.
+رونوشت و توزیع این پرونده با یا بی تغییر در سراسر دنیا بدون حق امتیاز
+و در هر رسانهای مجاز است، به این شرط که اعلان حق تکثیر و این اعلان حفظ
+Ø´Ù\88Ù\86د. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه میشود.
-این پرونده: https://bndl.org/fa/bandali.fa.txt
+متن ساده: https://bndl.org/fa/bandali.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="canonical" href="https://bndl.org/fa/computing.html" />
-<link rel="alternate" href="bandali-computing.fa.txt" title="plain text" type="text/plain" />
-<link rel="next" href="fsf-internship-intro.html">
-<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;
- line-height: 1.8;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-a { text-decoration: none; }
-a:hover, a:focus { text-decoration: underline; }
-details { margin: 1em 0; }
-details summary { cursor: pointer; }
-#copy { font-size: 0.84em; line-height: normal; }
-#copy p { padding: 0 2em; }
-h1 + p { color: #666; }
-.box {
- background: #f8f8f8;
- border: 1px solid #e6e6e6;
- border-radius: 4px;
- font-size: 0.95em;
- padding: 0.6em 0.9em;
-}
-code.box { padding: 0.4em 0.8em; }
-code, kbd, pre { font-size: 1.2em; }
-@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="bandali-computing.fa.txt">متن ساده</a>)</small></p>
-
-<p class="box">با الهام از
-صفحهٔ <a href="https://stallman.org/stallman-computing.html">استالمن</a>
-در این باره</p>
-
-<h2>رایانهها</h2>
-<p>لپتاپ ThinkPad X200 <a href="https://libreboot.org">لیبرهبوت</a>
-شدهام رایانه ایست که اکثر مواقع از آن استفاده میکنم. همچنین از
-طریق <a href="https://csclub.uwaterloo.ca">باشگاه علوم رایانه</a>
-دانشگاهمان به تعدادی سرور دسترسی دارم که هر از گاهی ازشان برای کارهای
-محاسباتی سنگینتر استفاده میکنم. به غیر از اینها یک Dell XPS 15 و
-ThinkPad X220T نیز دارم که کمتر ازشان استفاده میکنم.</p>
-
-<h2>توزیع گنو/لینوکس</h2>
-<p>در طول سالیان از طیف مختلفی از توزیعهای گنو/لینوکس استفاده کردهام،
-اما پس از پیدا کردن <a href="https://trisquel.info">تریسکل</a> و
-استفاده از آن در سالهای اخیر، به عنوان توزیع مورد علاقهام در بیشتر
-جاها ازش استفاده میکنم. گاهی اوقات
-با <a href="https://guix.gnu.org">گنو گیکس</a> ترکیبش میکنم.
-برای <abbr title="kernel">هسته</abbr> سیستم عامل هم معمولا
-از <a href="https://www.fsfla.org/ikiwiki/selibre/linux-libre/">گنو
-لینوکس-لیبره</a> از <a href="https://jxself.org/linux-libre/">مخزن
-APT</a> اداره شده توسط jxself استفاده میکنم.</p>
-
-<h2>کارهای پردازشی و محاسباتی</h2>
-<p>بیشتر وقتم را در <a href="https://www.gnu.org/software/emacs/">گنو
-ایمکس</a> میگذارنم و برای بسیاری کارهای مختلف از آن استفاده میکنم.</p>
-<p>TODO: توضیح بیشتر</p>
-
-<h2 id="colophon">بهروزرسانی این سایت</h2>
-<p>صفحات این سایت با استفاده از گنو ایمکس و به صورت دستی با HTML ساده
-نوشته شدهاند. با اجرای دستور <code class="box">git clone
-https://bndl.org</code> در یک ترمینال میتوانید مخرن گیت شامل تمامی
-صفحات این سایت و تاریخچهٔ تغییرات آنها را دریافت کنید.</p>
-
-<hr />
-<details id="copy">
-<summary dir="ltr">Copyright © 2019, 2020, 2021 bandali</summary>
-<p dir="ltr">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>رونوشت و توزیع این پرونده، با یا بدون تغییر، در سراسر دنیا بدون حق
-امتیاز و در هر رسانهای مجاز است، به شرطی که این اعلان و اعلان حق تکثیر
-حفظ شود. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه
-میشود.</p>
-</details>
-</body>
-</html>
+++ /dev/null
-<!doctype html>
-<html lang="fa" dir="rtl">
-<head>
-<meta charset="utf-8" />
-<meta name="author" content="bandali" />
-<meta name="viewport" content="width=device-width, initial-scale=1" />
-<title>اطلاعات تماس — بندعلی</title>
-<link rel="canonical" href="https://bndl.org/fa/contact.html" />
-<link rel="alternate" href="bandali-contact.txt" title="plain text" type="text/plain" />
-<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;
- line-height: 1.8;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-a { text-decoration: none; }
-a:hover, a:focus { text-decoration: underline; }
-code { white-space: pre; }
-@media (prefers-color-scheme: dark) {
- body { background: #1c1c1c; color: white; }
- a:link { color: #acdeff; }
- a:visited { color: #f8f; }
- a:active { color: #e00; }
-}
-</style>
-</head>
-<body>
-<h1>اطلاعات تماس <a href=".">بندعلی</a></h1>
-
-<p>بهترین راه تماس با من ارسال رایانامه (ایمیل) به نشانی
-bandali@gnu.org است. برای مکاتبهٔ امن با من میتوانید
-از <a href="../bandali-pubkey.txt">کلید عمومی من</a> برای رمزنگاری
-پیامتان استفاده کنید. اثر انگشت (fingerprint) این کلید
-<code>BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103</code> است.
-برای یادگیری چگونگی رمزنگاری رایانامه میتوانید به
-راهنمای <a href="https://emailselfdefense.fsf.org/fa/">محافظت از ایمیل
-شخصی</a> تهیه شده توسط بنیاد نرمافزار آزاد مراجعه کنید.</p>
-
-<p>به غیر از رایانامه میتوانید با من از طریق برخی شبکههای آیآرسی (IRC)
-تماس بگیرید. برای این کار، به حساب <code>bandali</code> در
-شبکههای <a href="https://libera.chat">libera</a>
-و <a href="https://www.oftc.net">oftc</a> پیغام بفرستید. برای دیگر
-راههای ارتباطی، لطفا ابتدا از طریق نشانی رایانامه بالا با من تماس
-بگیرید تا در صورت لزوم راه مناسب دیگری پیدا کنیم.</p>
-</body>
-</html>
notice and this notice are preserved. This file is offered as-is,
without any warranty.
-رونوشت و توزیع این پرونده، با یا بدون تغییر، در سراسر دنیا بدون حق
-امتیاز و در هر رسانهای مجاز است، به شرطی که این اعلان و اعلان حق تکثیر
-ØÙ\81ظ Ø´Ù\88د. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه میشود.
+رونوشت و توزیع این پرونده با یا بی تغییر در سراسر دنیا بدون حق امتیاز
+و در هر رسانهای مجاز است، به این شرط که اعلان حق تکثیر و این اعلان حفظ
+Ø´Ù\88Ù\86د. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه میشود.
-این پرونده: https://bndl.org/fa/fsf-internship-beyond.fa.txt
+متن ساده: 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="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="prev" href="fsf-internship-intro.html">
-<link rel="next" href="../libreplanet-2021.html">
-<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;
- line-height: 1.8;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-a { text-decoration: none; }
-a:hover, a:focus { text-decoration: underline; }
-details { margin: 1em 0; }
-details summary { cursor: pointer; }
-#copy { font-size: 0.84em; line-height: normal; }
-#copy p { padding: 0 2em; }
-h1 + p { color: #666; }
-.box {
- background: #f8f8f8;
- border: 1px solid #e6e6e6;
- border-radius: 4px;
- font-size: 0.95em;
- padding: 0.6em 0.9em;
-}
-@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="Sourcehut">سورسهات</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>دوست دارم از FSF برای فرصت عالی کار کردن در کنار تیم فنی FSF به
-عنوان یک کارآموز قدردانی کنم، که تجربهی عالی و به یاد ماندنیای بود و
-درسهایی ارزشمند و خاطرات خوب به من هدیه داد.</p>
-
-<p class="box">علاقهمند به کارآموزی برای بنیاد نرمافزار آزاد هستید؟
-دورهٔ درخواست کارآموزی بهار ۲۰۲۱ در حال حاضر باز است. صفحهٔ
-<a href="https://www.fsf.org/volunteer/internships">https://www.fsf.org/volunteer/internships</a>
-را برای اطلاعات بیشتر در مورد درخواست کارآموزی ببینید!</p>
-
-<hr />
-<details id="copy">
-<summary dir="ltr">Copyright © 2020, 2021 bandali</summary>
-<p dir="ltr">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>رونوشت و توزیع این پرونده، با یا بدون تغییر، در سراسر دنیا بدون حق
-امتیاز و در هر رسانهای مجاز است، به شرطی که این اعلان و اعلان حق تکثیر
-حفظ شود. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه
-میشود.</p>
-</details>
-</body>
-</html>
notice and this notice are preserved. This file is offered as-is,
without any warranty.
-رونوشت و توزیع این پرونده، با یا بدون تغییر، در سراسر دنیا بدون حق
-امتیاز و در هر رسانهای مجاز است، به شرطی که این اعلان و اعلان حق تکثیر
-ØÙ\81ظ Ø´Ù\88د. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه میشود.
+رونوشت و توزیع این پرونده با یا بی تغییر در سراسر دنیا بدون حق امتیاز
+و در هر رسانهای مجاز است، به این شرط که اعلان حق تکثیر و این اعلان حفظ
+Ø´Ù\88Ù\86د. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه میشود.
-این پرونده: https://bndl.org/fa/fsf-internship-intro.fa.txt
+متن ساده: 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="canonical" href="https://bndl.org/fa/fsf-internship-intro.html" />
-<link rel="alternate" href="fsf-internship-intro.fa.txt" title="نوشته ساده" type="text/plain" />
-<link rel="prev" href="computing.html">
-<link rel="next" href="fsf-internship-beyond.html">
-<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;
- line-height: 1.8;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-a { text-decoration: none; }
-a:hover, a:focus { text-decoration: underline; }
-details { margin: 1em 0; }
-details summary { cursor: pointer; }
-#copy { font-size: 0.84em; line-height: normal; }
-#copy p { padding: 0 2em; }
-h1 + p { color: #666; }
-.box {
- background: #f8f8f8;
- border: 1px solid #e6e6e6;
- border-radius: 4px;
- font-size: 0.95em;
- padding: 0.6em 0.9em;
-}
-@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"
-title="free software forge">میزبان نرمافزار آزاد</a> و چندین تغییر و
-بهبود مختلف برای gnu.org. مشتاقانه به استقبال یادگیری نکات جدید و کسب
-مهارتهای ارزشمند به واسطهٔ کارآموزیم با تیم فنی فوقالعادهٔ FSF میروم، که
-زحمات بسیاری برای پروژهٔ گنو و جامعهٔ بزرگتر نرمافزار آزاد میکشند.</p>
-
-<hr />
-<details id="copy">
-<summary dir="ltr">Copyright © 2020, 2021 bandali</summary>
-<p dir="ltr">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>رونوشت و توزیع این پرونده، با یا بدون تغییر، در سراسر دنیا بدون حق
-امتیاز و در هر رسانهای مجاز است، به شرطی که این اعلان و اعلان حق تکثیر
-حفظ شود. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه
-میشود.</p>
-</details>
-</body>
-</html>
+++ /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="canonical" href="https://bndl.org/fa/" />
-<link rel="alternate" href="bandali.fa.txt" title="plain text" type="text/plain" />
-<link rel="alternate" href="notes.atom" title="notes atom feed" type="application/atom+xml" />
-<link rel="alternate" href="notes.rss" title="notes rss feed" type="application/rss+xml" />
-<link rel="alternate" href="../" 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;
- line-height: 1.8;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-a { text-decoration: none; }
-a:hover, a:focus { text-decoration: underline; }
-details { margin: 1em 0; }
-details summary { cursor: pointer; }
-#copy { font-size: 0.84em; line-height: normal; }
-#copy p { padding: 0 2em; }
-ul { list-style-type: none; padding: 0; }
-ul li { margin: 0.25em 0; }
-@media (prefers-color-scheme: dark) {
- body { background: #1c1c1c; color: white; }
- a:link { color: #acdeff; }
- a:visited { color: #f8f; }
- a:active { color: #e00; }
-}
-</style>
-</head>
-<body>
-<h1>سایت شخصی بندعلی</h1>
-<nav>
-<a href="projects.html">پروژهها</a>
-| <a href="../cv.html">رزومه</a> (انگلیسی)
-| <a href="contact.html">تماس</a>
-| <a href="bandali.fa.txt">متن ساده</a>
-| <a href="../" hreflang="en" title="English">english</a>
-</nav>
-
-<p>من یک
-فعال <a href="https://www.gnu.org/philosophy/free-sw.fa.html">نرمافزار
-آزاد</a> و <a href="../mmath.html">کارشناس ارشد علوم رایانه</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>
-و <a href="https://savannah.gnu.org">ساوانا</a> مشارکت میکنم.</p>
-
-<h2 id="notes">نوشتهها</h2>
-<p>در اینجا میتوانید برخی یادداشتها و نوشتههایم در رابطه با موضوعات
-مورد علاقهام یا مسائلی که برایم مهم هستند را بخوانید. این نوشتهها
-همچنین از طریق خوراکهای <a href="notes.atom">اتم</a>
-و <a href="notes.rss">آراساس</a> در دسترس هستند.</p>
-
-<ul>
-<li><a href="../libreplanet-2021.html" hreflang="en">LibrePlanet 2021:
-جمی و اینکه چگونه به کاربران قدرت میبخشد</a> <small>(انگلیسی)
-(۲۰ مارس ۲۰۲۱)</small></li>
-<li><a href="fsf-internship-beyond.html">کارآموزی من با تیم فنی بنیاد
-نرمافزار آزاد و فراتر از آن</a>
-<small>(۱۸ دسامبر ۲۰۲۰)</small></li>
-<li><a href="fsf-internship-intro.html">کارآموزی با تیم فنی بنیاد
-نرمافزار آزاد</a> <small>(۲۹ مه ۲۰۲۰)</small></li>
-<li><a href="computing.html">چگونه از رایانه استفاده
-میکنم</a> <small>(۱۴ سپتامبر ۲۰۱۹)</small></li>
-</ul>
-
-<hr />
-<details id="copy">
-<summary dir="ltr">Copyright © 2012–2021 bandali</summary>
-<p dir="ltr">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>رونوشت و توزیع این پرونده، با یا بدون تغییر، در سراسر دنیا بدون حق
-امتیاز و در هر رسانهای مجاز است، به شرطی که این اعلان و اعلان حق تکثیر
-حفظ شود. این پرونده به صورت موجود و بدون هیچ گونه ضمانت ارائه
-میشود.</p>
-</details>
-</body>
-</html>
+++ /dev/null
-<!doctype html>
-<html lang="fa" dir="rtl">
-<head>
-<meta charset="utf-8" />
-<meta name="author" content="bandali" />
-<meta name="viewport" content="width=device-width, initial-scale=1" />
-<title>پروژهها — بندعلی</title>
-<link rel="canonical" href="https://bndl.org/fa/projects.html" />
-<link rel="alternate" href="bandali-projects.txt" title="plain text" type="text/plain" />
-<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;
- line-height: 1.8;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-a { text-decoration: none; }
-a:hover, a:focus { text-decoration: underline; }
-@media (prefers-color-scheme: dark) {
- body { background: #1c1c1c; color: white; }
- a:link { color: #acdeff; }
- a:visited { color: #f8f; }
- a:active { color: #e00; }
-}
-</style>
-</head>
-<body>
-<h1>پروژههای <a href=".">بندعلی</a></h1>
-<p>در گذشته صفحهٔ پروژههایم فهرستی از پروژههای نرمافزار آزادی که شروع
-کرده یا در آنها مشارکت کردهبودم داشت، اما به مرور بروز نگهداری فهرست
-دشوارتر شد؛ لذا تصمیم به حذف آن گرفتم.</p>
-
-<p>برای دیدن برخی از پروژههای خودم و دیگر پروژههایی که در آنها مشارکت
-میکنم، به <a href="https://git.shemshak.org/~bandali">مخازن گیت من</a>
-و همچنین <a href="https://savannah.gnu.org/users/bandali">نمایهٔ
-ساوانای من</a> سری بزنید.</p>
-</body>
-</html>
+++ /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="canonical" href="https://bndl.org/fsf-internship-beyond.html" />
-<link rel="alternate" href="fsf-internship-beyond.txt" title="plain text" type="text/plain" />
-<link rel="prev" href="fsf-internship-intro.html">
-<link rel="next" href="libreplanet-2021.html">
-<style>
-body {
- line-height: 1.6;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-details { margin: 1em 0; }
-details summary { cursor: pointer; }
-#copy { font-size: 0.84em; }
-#copy p { padding: 0 2em; }
-h1 + p { color: #666; }
-.box {
- background: #f8f8f8;
- border: 1px solid #e6e6e6;
- border-radius: 4px;
- font-size: 0.95em;
- padding: 0.6em 0.9em;
-}
-@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 />
-<details id="copy">
-<summary>Copyright © 2020 bandali</summary>
-<p>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>
-</details>
-</body>
-</html>
My internship with the FSF tech team and beyond
-by bandali on December 18, 2020 (2020-12-18)
-
+-----------------------------------------------
Originally published on the Free Software Foundation's sysadmin
blog:
notice and this notice are preserved. This file is offered as-is,
without any warranty.
-this file: https://bndl.org/fsf-internship-beyond.txt
+plain text: https://bndl.org/fsf-internship-beyond.txt
+++ /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="canonical" href="https://bndl.org/fsf-internship-intro.html" />
-<link rel="alternate" href="fsf-internship-intro.txt" title="plain text" type="text/plain" />
-<link rel="prev" href="computing.html">
-<link rel="next" href="fsf-internship-beyond.html">
-<style>
-body {
- line-height: 1.6;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-details { margin: 1em 0; }
-details summary { cursor: pointer; }
-#copy { font-size: 0.84em; }
-#copy p { padding: 0 2em; }
-h1 + p { color: #666; }
-.box {
- background: #f8f8f8;
- border: 1px solid #e6e6e6;
- border-radius: 4px;
- font-size: 0.95em;
- padding: 0.6em 0.9em;
-}
-@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 />
-<details id="copy">
-<summary>Copyright © 2020 bandali</summary>
-<p>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>
-</details>
-</body>
-</html>
Internship with the FSF tech team
-by bandali on May 29, 2020 (2020-05-29)
-
+---------------------------------
Originally published on the Free Software Foundation's sysadmin
blog:
notice and this notice are preserved. This file is offered as-is,
without any warranty.
-this file: https://bndl.org/fsf-internship-intro.txt
+plain text: https://bndl.org/fsf-internship-intro.txt
+++ /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>bandali's personal site</title>
-<link rel="canonical" href="https://bndl.org" />
-<link rel="alternate" href="bandali.txt" title="plain text" type="text/plain" />
-<link rel="alternate" href="notes.atom" title="notes atom feed" type="application/atom+xml" />
-<link rel="alternate" href="notes.rss" title="notes rss feed" type="application/rss+xml" />
-<link rel="alternate" href="fa/" hreflang="fa" title="persian" />
-<style>
-body {
- line-height: 1.6;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-details { margin: 1em 0; }
-details summary { cursor: pointer; }
-#copy { font-size: 0.84em; }
-#copy p { padding: 0 2em; }
-#fa { text-decoration: none; }
-#fa:hover, #fa:focus { text-decoration: underline; }
-ul { list-style-type: none; padding: 0; }
-ul li { margin: 0.25em 0; }
-@media (prefers-color-scheme: dark) {
- body { background: #1c1c1c; color: white; }
- a:link { color: #acdeff; }
- a:visited { color: #f8f; }
- a:active { color: #e00; }
-}
-</style>
-</head>
-<body>
-<h1>bandali's personal site</h1>
-<nav>
-<a href="projects.html">projects</a>
-| <a href="cv.html">cv</a>
-| <a href="contact.html">contact</a>
-| <a href="bandali.txt">plain text</a>
-| <a href="fa/" hreflang="fa" title="Persian" id="fa">فارسی</a>
-</nav>
-
-<p>I am a <a href="https://www.gnu.org/philosophy/free-sw.html">free
-software</a> activist and <a href="mmath.html">computing
-scientist</a>. 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>.
-I also wear a few other hats around GNU, including helping run the
-Savannah forge for GNU and non-GNU software as a Savannah hacker, and
-serving as an assistant GNUisance.</p>
-
-<h2 id="notes">notes</h2>
-<p>Here are notes and writings about topics or issues I care about,
-which you can also read via <a href="notes.atom">Atom</a>
-or <a href="notes.rss">RSS</a> feeds.</p>
-
-<ul>
-<li><a href="libreplanet-2021.html">LibrePlanet 2021: Jami and how it
-empowers users</a> <small>(March 20, 2021)</small></li>
-<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="fsf-internship-intro.html">Internship with the FSF tech
-team</a> <small>(May 29, 2020)</small></li>
-<li><a href="computing.html">How I do my Computing</a>
-<small>(September 14, 2019)</small></li>
-</ul>
-
-<hr />
-<details id="copy">
-<summary>Copyright © 2012–2021 bandali</summary>
-<p>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>
-</details>
-</body>
-</html>
+++ /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="canonical" href="https://bndl.org/libreplanet-2021.html" />
-<link rel="alternate" href="libreplanet-2021.txt" title="plain text" type="text/plain" />
-<link rel="prev" href="fsf-internship-beyond.html">
-<style>
-body {
- line-height: 1.6;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-details { margin: 1em 0; }
-details summary { cursor: pointer; }
-#copy { font-size: 0.84em; }
-#copy p { padding: 0 2em; }
-h1 + p { color: #666; }
-blockquote { text-align: justify; }
-.tex {
- font-family: "Tex Gyre Termes", serif;
- text-transform: uppercase;
-}
-.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;
-}
-.box {
- background: #f8f8f8;
- border: 1px solid #e6e6e6;
- border-radius: 4px;
- font-size: 0.95em;
- padding: 0.6em 0.9em;
-}
-@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:
-
-<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 />
-<details id="copy">
-<summary>Copyright © 2021 bandali</summary>
-<p>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>
-</details>
-</body>
-</html>
LibrePlanet 2021: Jami and how it empowers users
-by bandali on March 20, 2021 (2021-03-20)
-
+------------------------------------------------
I am giving my very first LibrePlanet[1] talk today on March 20th.
I will be talking about Jami[2], the GNU package for universal
notice and this notice are preserved. This file is offered as-is,
without any warranty.
-this file: https://bndl.org/libreplanet-2021.txt
+plain text: https://bndl.org/libreplanet-2021.txt
+++ /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="canonical" href="https://bndl.org/mmath.html" />
-<link rel="alternate" href="bandali-mmath.txt" title="plain text" type="text/plain" />
-<style>
-body {
- line-height: 1.6;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-details { margin: 1em 0; }
-details summary { cursor: pointer; }
-#copy { font-size: 0.84em; }
-#copy p { padding: 0 2em; }
-blockquote { text-align: justify; }
-.tex {
- font-family: "Tex Gyre Termes", serif;
- text-transform: uppercase;
-}
-.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;
-}
-.box {
- background: #f8f8f8;
- border: 1px solid #e6e6e6;
- border-radius: 4px;
- font-size: 0.95em;
- padding: 0.6em 0.9em;
-}
-@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="https://p.bndl.org/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="https://p.bndl.org/bandali-mmath-thesis.tar.gz">tar.gz</a> |
-<a href="https://p.bndl.org/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 />
-<details id="copy">
-<summary>Copyright © 2020 bandali</summary>
-<p>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>
-</details>
-</body>
-</html>
+++ /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>projects — bandali</title>
-<link rel="canonical" href="https://bndl.org/projects.html" />
-<link rel="alternate" href="bandali-projects.txt" title="plain text" type="text/plain" />
-<style>
-body {
- line-height: 1.6;
- max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
-}
-@media (prefers-color-scheme: dark) {
- body { background: #1c1c1c; color: white; }
- a:link { color: #acdeff; }
- a:visited { color: #f8f; }
- a:active { color: #e00; }
-}
-</style>
-</head>
-<body>
-<h1><a href=".">bandali</a>'s projects</h1>
-<p>This page used to contain a list of some of the free software
-projects I had started or contributed to at some point, but it started
-to get a bit unwieldy and frequently out-of-date, so I decided to
-retire it.</p>
-
-<p>I'll instead directly refer you to
-my <a href="https://git.shemshak.org/~bandali">public git
-repositories</a> and
-my <a href="https://savannah.gnu.org/users/bandali">Savannah
-profile</a>.</p>
-</body>
-</html>
<meta name="author" content="bandali" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>SE 212 Material — bandali</title>
-<link rel="canonical" href="https://bndl.org/mmath.html" />
-<link rel="alternate" href="bandali-mmath.txt" title="plain text" type="text/plain" />
<style>
body {
line-height: 1.6;
max-width: 37.5em;
- margin: 0 auto;
- padding: 0 1em;
+ padding: 0 2em;
}
@media (prefers-color-scheme: dark) {
body { background: #1c1c1c; color: white; }
+++ /dev/null
-#!/bin/sh
-port="${1:-8000}"
-python -m http.server "${port}" || python -m SimpleHTTPServer "${port}"
--- /dev/null
+#!/usr/bin/env perl
+# txt2html --- simple script to convert my site's txt files to html
+
+# Copyright (C) 2014-2021 all contributors <meta@public-inbox.org>
+# Copyright (c) 2021 Amin Bandali <bandali@gnu.org>
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Affero General Public License as
+# published by the Free Software Foundation, either version 3 of the
+# License, or (at your option) any later version.
+#
+# This program 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 Affero General Public License for more details.
+#
+# You should have received a copy of the GNU Affero General Public License
+# along with this program. If not, see <https://www.gnu.org/licenses/>.
+
+# This simple script borrows from the wonderful `txt2pre' from
+# public-inbox.git, under AGPLv3+, with a few additions of my own.
+
+
+use strict;
+use warnings 'all';
+
+my $link_re =
+ qr{([\('!])?\b((?:ftps?|https?|nntps?|imaps?|s?news|gopher)://
+ [\@:\w\.-]+(?:/
+ (?:[a-z0-9\-\._~!\$\&\';\(\)\*\+,;=:@/%]*)
+ (?:\?[a-z0-9\-\._~!\$\&\';\(\)\*\+,;=:@/%]+)?
+ (?:\#[a-z0-9\-\._~!\$\&\';\(\)\*\+,;=:@/%\?]+)?
+ )?
+ )}xi;
+
+my %pairs = (
+ "(" => qr/(\)[\.,;\+]?)\z/, # Markdown (,), Ruby (+) (, for arrays)
+ "'" => qr/('[\.,;\+]?)\z/, # Perl / Ruby
+ "!" => qr/(![\.,;\+]?)\z/, # Perl / Ruby
+);
+
+my %html_map = (
+ '&' => '&',
+ '<' => '<',
+ '>' => '>',
+ # '"' => '"',
+ # "'" => ''',
+);
+
+sub html_esc {
+ my ($s) = @_;
+ $s =~ s/([&<>])/$html_map{$1}/sge;
+ $s;
+}
+
+sub linkify {
+ my ($s) = @_;
+ $s =~ s^$link_re^
+ my $beg = $1 || '';
+ my $url = $2;
+ my $end = '';
+
+ # it's fairly common to end URLs in messages with
+ # '.', ',' or ';' to denote the end of a statement;
+ # assume the intent was to end the statement/sentence
+ # in English
+ if (defined(my $re = $pairs{$beg})) {
+ if ($url =~ s/$re//) {
+ $end = $1;
+ }
+ } elsif ($url =~ s/(\))?([\.,;])\z//) {
+ $end = $2;
+ # require ')' to be paired with '('
+ if (defined $1) { # ')'
+ if (index($url, '(') < 0) {
+ $end = ")$end";
+ } else {
+ $url .= ')';
+ }
+ }
+ } elsif ($url !~ /\(/ && $url =~ s/\)\z//) {
+ $end = ')';
+ }
+
+ $beg . "<a href=\"$url\">$url</a>" . $end;
+ ^geo;
+ $s;
+}
+
+
+my $txt = do { local $/; <STDIN> };
+my $title = html_esc($txt =~ /\A([^\n]+)/);
+$title =~ s/^\s+|\s+$//g;
+if ($ARGV[0] and $ARGV[0] eq 'fa') {
+ $title .= ' — بندعلی' if $title !~ /بندعلی/;
+} else {
+ $title .= ' — bandali' if $title !~ /bandali/;
+}
+
+$txt = linkify(html_esc($txt));
+
+print('<!doctype html>',
+ ($ARGV[0] and $ARGV[0] eq 'fa')
+ ? '<html lang="fa" dir="rtl">'
+ : '<html>',
+ '<head>',
+ '<meta
+http-equiv="Content-Type"
+content="text/html; charset=utf-8"
+/>',
+ "<title>$title</title>",
+ ($ARGV[0] and $ARGV[0] eq 'fa')
+ ? "\n<style>\@font-face{font-family:sahel;font-weight:normal;
+src:local('Sahel WOL'),local('Sahel'),
+url('sahel.woff2')format('woff2');}pre{font-family:sahel}</style>\n"
+ : '',
+ '</head><body><pre>', $txt, '</pre></body></html>');
+STDOUT->flush;
projects / ~bandali / bndl.org / commitdiff