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

Internship with the FSF tech team

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- - diff --git a/2020/05/29/fsf-internship-intro.txt b/2020/05/29/fsf-internship-intro.txt deleted file mode 100644 index ac31fc6..0000000 --- a/2020/05/29/fsf-internship-intro.txt +++ /dev/null @@ -1,80 +0,0 @@ -Internship with the FSF tech team ---------------------------------- - - Originally published on the Free Software Foundation's sysadmin - blog: - https://www.fsf.org/blogs/sysadmin/introducing-bandali-intern-with-the-fsf-tech-team - -Hi there, I'm Amin Bandali, often just `bandali' on the interwebs. -I wear a few different hats around GNU as a maintainer, webmaster, and -Savannah hacker, and I'm very excited to be extending that to the Free -Software Foundation (FSF) as an intern with the FSF tech team for -spring 2020. - -Growing up around parents with backgrounds in computer engineering and -programming, it did not take long for me to find an interest in -tinkering and playing with computers as a kid, and I first came into -contact with GNU/Linux in my teenage years. My first introduction to -the world of free software came a few years later, when a friend -kindly pointed out to me that what I had vaguely known and referred to -as "open source" software is more properly referred to as free -software, and helped me see why "open source" misses the point of free -software[1]. After learning about and absorbing the ideas and ideals -of free software, I have since become a free software activist. As a -computer scientist who enjoys studying and hacking on various programs -and sometimes writing my own, I have made a point of releasing all I -can under strong copyleft licenses, particularly the GNU AGPL[2] -license. - -[1] https://www.gnu.org/philosophy/open-source-misses-the-point.html -[2] https://www.gnu.org/licenses/agpl.html - -My involvement with the GNU Project[3] started in 2016, first as a -volunteer webmaster, and later as one of the maintainers of GNUzilla -and IceCat[4] late last year. Also around the same time, I led a -group of volunteers in organizing and holding EmacsConf 2019[5] as a -completely online conference, using only free software tools, much -like the excellent LibrePlanet 2020[6]. I love GNU Emacs[7], and use -it more than any other program. GNU Emacs helps me do a wide variety -of tasks such as programming, reading and composing emails, and -chatting via IRC. - -[3] https://www.gnu.org -[4] https://www.gnu.org/software/gnuzilla/ -[5] https://emacsconf.org/2019 -[6] https://libreplanet.org/wiki/LibrePlanet:Conference/2020 -[7] https://www.gnu.org/software/emacs/ - -More closely related to my internship with the FSF tech team, I have -been familiarizing myself with various pieces of the GNU Savannah[8] -infrastructure with help from veteran Savannah hacker Bob Proulx, -gradually learning and picking up tasks helping with the -administration and maintenance of Savannah. I am also a member of the -Systems Committee of my university's computer science club, overseeing -and maintaining a large fleet of GNU/Linux servers for our club -members. - -[8] https://savannah.gnu.org - -For my internship with the Free Software Foundation, I will be working -with the FSF tech team on a number of tasks, including helping with -the free software forge[9] project, as well as various improvements -for gnu.org. I look forward to learning many new things and picking -up valuable skills through my internship with the FSF's exceptional -tech team, who do *so much* for the GNU project and the wider free -software community. - -[9] https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration - - - -*- - -Copyright (c) 2020 bandali - -Copying and distribution of this file, with or without modification, -are permitted in any medium without royalty provided the copyright -notice and this notice are preserved. This file is offered as-is, -without any warranty. - -published: 2020-05-29 -this file: https://bndl.org/2020/05/29/fsf-internship-intro.txt diff --git a/2020/12/18/fsf-internship-beyond.html b/2020/12/18/fsf-internship-beyond.html deleted file mode 100644 index 4f5656d..0000000 --- a/2020/12/18/fsf-internship-beyond.html +++ /dev/null @@ -1,126 +0,0 @@ - - - - -My internship with the FSF tech team and beyond — bandali - - - - - -

My internship with the FSF tech team and beyond

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

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

- -

- - diff --git a/2020/12/18/fsf-internship-beyond.txt b/2020/12/18/fsf-internship-beyond.txt deleted file mode 100644 index 35b6efd..0000000 --- a/2020/12/18/fsf-internship-beyond.txt +++ /dev/null @@ -1,114 +0,0 @@ -My internship with the FSF tech team and beyond ------------------------------------------------ - - Originally published on the Free Software Foundation's sysadmin - blog: - https://www.fsf.org/blogs/sysadmin/my-internship-with-the-fsf-tech-team-and-beyond - -Hello! I'm Amin Bandali, and this is my second blog post on the FSF -sysadmin blog, concluding my internship with the FSF tech team this -year. - -Throughout my internship with the tech team, I have worked mainly on -sysadmin tasks related to setting up and/or managing FSF's GNU/Linux -servers. Perhaps most significantly, I set up an instance of the -Sourcehut[1] forge software to help evaluate[2] it as a candidate -for the upcoming FSF forge project[3]. I documented the installation -and setup process of Sourcehut's various components in the form of a -literate GNU Emacs Org-mode file, where source blocks are interspersed -with comments and prose explaining them. One can then progressively -evaluate and execute the source blocks, and optionally have their -results stored back in the Org file itself to help with -documentation/demonstration. - -[1] https://sourcehut.org -[2] https://libreplanet.org/wiki/FSF_2020_forge_evaluation -[3] https://www.fsf.org/blogs/sysadmin/coming-soon-a-new-site-for-fully-free-collaboration - -I have also been slowly working on various improvements for the server -running www.gnu.org, and will continue doing work on it as a volunteer -after the end of my internship. This will hopefully be beneficial to -the FSF sysadmins running the server, the GNU webmasters who do -webmastering work on gnu.org, and the general public browsing and -using gnu.org's pages. Notably, changes included upgrading the server -to the latest release of Trisquel GNU/Linux, and revamping and -improving the search mechanism for gnu.org's pages. Additionally, -there are several other projects that I would like to tackle with the -tech team in the near future. - -During my internship with the FSF tech team, I picked up a variety of -new skills and learned more about a diverse set of topics and tools. -This included building and installing a complex piece of software like -Sourcehut and debugging issues encountered along the way, using -Ansible for managing and deploying infrastructure, as well as learning -more about the Exim mail transfer agent used to run FSF and GNU's -array of mail servers. - -In conclusion to my internship and the year 2020, it's safe to say -that this year has been an eventful year for many people, including -myself. I started my internship with the tech team back in May, and -as a graduate student at the time, I was expecting a reasonable and -balanced workload for my work on my thesis over the coming months. -However, early on (less than two weeks) into my internship I learned -that due to a number of reasons, I needed to complete my master's -studies on a two-month deadline. I told the tech team about the -issue, asking whether I could take a hiatus to complete my studies -without affecting my internship. I am beyond thankful to the tech -team and the FSF as whole for being accommodating, and for their -flexibility in allowing me to take a leave to focus on writing my -thesis and wrapping up my master's studies. I managed to successfully -wrap up my studies in that short timeline, and focus on my internship -afterwards. - -However, all good things must come to an end, and this internship is -no exception. I am incredibly grateful to the members of the FSF tech -team -- Ian, Andrew, Ruben, and Michael -- for welcoming me to the -team as an intern and mentoring me, answering my many questions, and -helping me learn more. It has been an honour and a wonderful -experience for me all around working with you all and seeing the -energy and passion with which you take on the work and -responsibilities that come with being an FSF sysadmin and Web -developer. While most of my interactions were with the tech team, I -also got to interact with FSF staffers from several other teams during -my internship, and I'm thankful for our conversations and the chance -to get to know and appreciate the important work you do. - -This internship has come to an end, but I will carry with me all of -the good memories and the lessons I learned along the way, and will -happily to continue working with you as a volunteer. The things I -learned have been invaluable and greatly helpful to me, as I -transitioned into my new full-time job at Savoir-faire Linux as a Free -Software Consultant, where I get to work on various parts and aspects -of Jami, a GNU package for universal communication which respects the -freedoms and privacy of its users. - -This internship has come to an end, but I will carry with me all of -the good memories and the lessons I learned along the way, and will -happily to continue working with you as a volunteer. The things I -learned have been invaluable and greatly helpful to me, as I -transitioned into my new full-time job at Savoir-faire Linux as a Free -Software Consultant, where I get to work on various parts and aspects -of Jami, a GNU package for universal communication which respects the -freedoms and privacy of its users. - -I would like to thank the FSF for providing me this excellent -opportunity to work alongside the tech team as an intern, and take -away so many valuable lessons and great memories. - - Interested in interning for the Free Software Foundation? - The application period for spring 2021 internships is currently - open. Please see https://www.fsf.org/volunteer/internships for - more details and information on how to apply! - - - -*- - -Copyright (c) 2020 bandali - -Copying and distribution of this file, with or without modification, -are permitted in any medium without royalty provided the copyright -notice and this notice are preserved. This file is offered as-is, -without any warranty. - -published: 2020-12-18 -this file: https://bndl.org/2020/12/18/fsf-internship-beyond.txt diff --git a/2021/03/20/libreplanet-2021.html b/2021/03/20/libreplanet-2021.html deleted file mode 100644 index ce706b9..0000000 --- a/2021/03/20/libreplanet-2021.html +++ /dev/null @@ -1,105 +0,0 @@ - - - - -LibrePlanet 2021: Jami and how it empowers users — bandali - - - - - -

LibrePlanet 2021: Jami and how it empowers users

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

- -

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

- -

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

- -

-
Jami is free software for universal communication that respects the -freedoms and privacy of its users. Jami is an official GNU package -with a main goal of providing a framework for virtual communications, -along with a series of end-user applications for audio/video calling -and conferencing, text messaging, and file transfer.
- -
With the outbreak of the COVID-19 pandemic, working from home has -become the norm for many workers around the world. More and more -people are using videoconferencing tools to work or communicate with -their loved ones. The emergence of these tools has been followed by -many questions and scandals concerning the privacy and freedom of -users.
- -
This talk gives an introduction to Jami, a free/libre, truly -distributed, and peer-to-peer solution, and explains why and how it -differs from all other existing solutions and how it empowers -users.
-

- -

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

- -

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

- -

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

- -

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

- -

- - diff --git a/2021/03/20/libreplanet-2021.txt b/2021/03/20/libreplanet-2021.txt deleted file mode 100644 index 5a06bc5..0000000 --- a/2021/03/20/libreplanet-2021.txt +++ /dev/null @@ -1,82 +0,0 @@ -LibrePlanet 2021: Jami and how it empowers users ------------------------------------------------- - -I am giving my very first LibrePlanet[1] talk today on March 20th. -I will be talking about Jami[2], the GNU package for universal -communication that respects the freedoms and privacy of its users. -I'll be giving an introduction to Jami and its architecture, sharing -important and exciting development news from the Jami team about -rendezvous points[3], JAMS[4], the plugin SDK[5], Swarm chats[6], -and more; and how these features help empower users to communicate -with their loved ones without sacrificing their privacy or freedom. - -[1] https://libreplanet.org/2021/ -[2] https://jami.net -[3] https://jami.net/together-the-new-version-of-jami-and-a-new-step-forward -[4] https://jami.biz/jams-user-guide -[5] https://jami.net/plugins-sdk -[6] https://jami.net/swarm-introducing-a-new-generation-of-group-conversations - -Here is the abstract for my talk, also available on the LibrePlanet -2021's speakers page[7]: - - Jami is free software for universal communication that respects - the freedoms and privacy of its users. Jami is an official GNU - package with a main goal of providing a framework for virtual - communications, along with a series of end-user applications for - audio/video calling and conferencing, text messaging, and file - transfer. - - With the outbreak of the COVID-19 pandemic, working from home has - become the norm for many workers around the world. More and more - people are using videoconferencing tools to work or communicate - with their loved ones. The emergence of these tools has been - followed by many questions and scandals concerning the privacy and - freedom of users. - - This talk gives an introduction to Jami, a free/libre, truly - distributed, and peer-to-peer solution, and explains why and how - it differs from all other existing solutions and how it empowers - users. - -[7] https://libreplanet.org/2021/speakers/#4285 - -I have been an attendee of LibrePlanet for some years, and am very -excited to be giving my first ever talk at LibrePlanet 2021 this year! -You can watch my talk and other speakers' talks live this weekend, -from the https://libreplanet.org/2021/live/ page. Attendance is -gratis (no cost) and you can register at https://u.fsf.org/lp21-sp. - -Presentation slides: - - https://p.bndl.org/bandali-jami-libreplanet-2021.pdf - - https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf - - https://bndl.org/bandali.bib -LaTeX sources: - - https://p.bndl.org/bandali-jami-libreplanet-2021.tar.gz - - https://p.bndl.org/bandali-jami-libreplanet-2021.zip - -I hope to see you around this year's all-online LibrePlanet conference -this weekend! - - LibrePlanet is a conference about software freedom, happening - March 20 through 21, 2021. The event is hosted by the Free - Software Foundation (FSF), and brings together software - developers, law and policy experts, activists, students, and - computer users to learn skills, celebrate free software - accomplishments, and face upcoming challenges. Newcomers are - always welcome, and LibrePlanet 2021 will feature programming - for all ages and experience levels. - - - -*- - -Copyright (c) 2021 bandali - -Copying and distribution of this file, with or without modification, -are permitted in any medium without royalty provided the copyright -notice and this notice are preserved. This file is offered as-is, -without any warranty. - -updated: 2021-03-21 -published: 2021-03-20 -this file: https://bndl.org/2021/03/20/libreplanet-2021.txt diff --git a/bandali-cv.txt b/bandali-cv.txt index 97e87d4..02026c4 100644 --- a/bandali-cv.txt +++ b/bandali-cv.txt @@ -84,7 +84,8 @@ PUBLICATIONS & PRESENTATIONS Engineering Workshop, MoDRE@RE 2018 Copyright (c) 2018 IEEE. All Rights Reserved. Sadly. - pdf: https://p.bndl.org/modre2018-declarative.pdf + pdf: https://bndl.org/papers/modre2018-declarative.pdf + bib: https://bndl.org/papers/modre2018-declarative.bib models: https://cs.uwaterloo.ca/~nday/artifacts/2018-modre/ THESES @@ -95,9 +96,10 @@ PUBLICATIONS & PRESENTATIONS MMath Thesis, University of Waterloo, David R. Cheriton School of Computer Science, July 2020. - pdf: https://bndl.org/mmath/bandali-mmath-thesis.pdf + pdf: https://bndl.org/theses/bandali-mmath-thesis.pdf + bib: https://bndl.org/theses/bandali-mmath-thesis.bib hdl: https://hdl.handle.net/10012/16059 - http: https://bndl.org/mmath/ + http: https://bndl.org/theses/mmath.html TALKS @@ -106,10 +108,11 @@ PUBLICATIONS & PRESENTATIONS Amin Bandali Presented at the LibrePlanet 2021 Conference, March 20, 2021. - slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf + slides: https://bndl.org/talks/libreplanet-2021-jami.pdf slides with notes: - https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf - http: https://bndl.org/2021/03/20/libreplanet-2021.html + https://bndl.org/papers/libreplanet-2021-jami-with-notes.pdf + bib: https://bndl.org/talks/libreplanet-2021-jami.bib + http: https://bndl.org/talks/libreplanet-2021-jami.html The Magic of Specifications and Type Systems diff --git a/bandali.bib b/bandali.bib index 3795fde..86ec7b7 100644 --- a/bandali.bib +++ b/bandali.bib @@ -15,17 +15,18 @@ %% bandali's papers and talks (in reverse chronological order) %% =================================================================== -@misc{bandali-jami-libreplanet-2021, +@misc{bandali-libreplanet-2021-jami, author = {Amin Bandali}, title = {Jami and how it empowers users}, year = 2021, month = {March}, howpublished = {Presented at the LibrePlanet 2021 Conference}, - slides = {https://p.bndl.org/bandali-jami-libreplanet-2021.pdf}, - pdf = {https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf} + url = {https://bndl.org/talks/libreplanet-2021-jami.html}, + slides = {https://bndl.org/talks/libreplanet-2021-jami.pdf}, + pdf = {https://bndl.org/talks/libreplanet-2021-jami-with-notes.pdf} } -@mastersthesis{bandali2020, +@mastersthesis{bandali-mmath-2020, type = {{MMath} thesis}, author = {Amin Bandali}, title = {{A Comprehensive Study of Declarative Modelling Languages}}, @@ -35,8 +36,8 @@ publisher = "UWSpace", url = {http://hdl.handle.net/10012/16059}, note = {\url{http://hdl.handle.net/10012/16059} and - \url{https://bndl.org/mmath/}}, - pdf = {https://bndl.org/mmath/bandali-mmath-thesis.pdf} + \url{https://bndl.org/theses/mmath.html}}, + pdf = {https://bndl.org/theses/bandali-mmath-thesis.pdf} } @inproceedings{DBLP:conf/re/AbbassiBDS18, @@ -57,7 +58,7 @@ timestamp = {Thu, 16 Jul 2020 12:21:41 +0200}, biburl = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18}, bibsource = {dblp computer science bibliography, https://dblp.org}, - pdf = {https://p.bndl.org/modre2018-declarative.pdf} + pdf = {https://bndl.org/papers/modre2018-declarative.pdf} } @proceedings{DBLP:conf/re/2018modre, diff --git a/bandali.txt b/bandali.txt index 24d6d1e..2ffa9ad 100644 --- a/bandali.txt +++ b/bandali.txt @@ -11,17 +11,13 @@ NOTES Here are notes[*] about topics or issues I care about: - 2021-03-20 - LibrePlanet 2021: Jami and how it empowers users - https://bndl.org/2021/03/30/libreplanet-2021.txt - 2020-12-18 My internship with the FSF tech team and beyond - https://bndl.org/2020/12/18/fsf-internship-beyond.txt + https://bndl.org/fsf-internship/fsf-internship-beyond.txt 2020-05-29 Internship with the FSF tech team - https://bndl.org/2020/05/29/fsf-internship-intro.txt + https://bndl.org/fsf-internship/fsf-internship-intro.txt 2019-09-14 How I do my Computing @@ -32,6 +28,19 @@ NOTES https://bndl.org/notes.rss +TALKS + + Some of the talks and presentations I've given over the years: + + 2021-03-20 + LibrePlanet 2021: Jami and how it empowers users + https://bndl.org/talks/libreplanet-2021-jami.txt + + 2020-06-30 + A Comprehensive Study of Declarative Modelling Languages + https://bndl.org/theses/bandali-mmath.txt + + OTHER PAGES The following pages of bndl.org may be of interest: @@ -39,7 +48,6 @@ OTHER PAGES https://bndl.org/bandali-projects.txt https://bndl.org/bandali-cv.txt https://bndl.org/bandali-contact.txt - https://bndl.org/mmath/bandali-mmath.txt https://bndl.org/fa/bandali.fa.txt diff --git a/computing.html b/computing.html index a1af53f..49d4a56 100644 --- a/computing.html +++ b/computing.html @@ -20,7 +20,7 @@ a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}

How I do my computing

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

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

A Comprehensive Study of Declarative Modelling Languages -[ pdf +[ pdf +| bib | hdl -| http +| http ]

@@ -137,10 +139,11 @@ July 2020.

Jami and how it empowers users -[ pdf -(with +[ pdf +(with notes) -| http +| bib +| http ]

Internship with the FSF tech team

My internship with the FSF tech team and beyond

LibrePlanet 2021: Jami and how it empowers users

How I do my computing

Ø§Ø±Ø§Ø¦ÙâÙØ§

My internship with the FSF tech team and beyond

Internship with the FSF tech team

talks

bandali's master of mathematics

A Comprehensive Study of Declarative Modelling Languages

Thesis

Presentation

Models

Material from SE 212 tutorials

LibrePlanet 2021: Jami and how it empowers users

Material from SE 212 tutorials

bandali's master of mathematics

A Comprehensive Study of Declarative Modelling Languages

Thesis

Presentation

Models

Internship with the FSF tech team

My internship with the FSF tech team and beyond

LibrePlanet 2021: Jami and how it empowers users

How I do my computing

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

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

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

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

Ø§Ø±Ø§Ø¦ÙâÙØ§

My internship with the FSF tech team and beyond

Internship with the FSF tech team

talks

bandali's master of mathematics

A Comprehensive Study of Declarative Modelling Languages

Thesis

Presentation

Models

Material from SE 212 tutorials

LibrePlanet 2021: Jami and how it empowers users

Material from SE 212 tutorials

bandali's master of mathematics

A Comprehensive Study of Declarative Modelling Languages

Thesis

Presentation

Models

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

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

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

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

Ø§Ø±Ø§Ø¦ÙâÙØ§