bandali's home page

Welcome to my corner of the internet. I'm amin bandali (Persian: امین بندعلی), a user freedom activist among other things.

You can email me at bandali@kelar.org [README] with any questions or comments or just to say hi - I'd love to hear from you.

Projects

• ffs: form feed-separated plain text presentations in Emacs

Publications

2026

• Free software activities in May 2026 #news #gnu #fsf #emacs #debian
• Thinking about life - chat with Protesilaos #life #videos
• ffs 0.2.2 released #emacs #news
• ffs code review and Emacs extensibility with Protesilaos #emacs #videos
• ffs code review with Protesilaos #emacs #videos
• Emacs Chat with Sacha Chua #emacs #videos
• Devuan Excalibur with full-disk encryption on a BitFolk VPS #notes #howto

2025

• Free software activities in December 2025 #news #gnu #fsf #emacsconf
• The People of Emacs #emacs #life
• Reading and writing emails in GNU Emacs with Gnus #emacs #talks #videos
• Free software activities in November 2025 #news #gnu #fsf #emacsconf
• Free software activities in October 2025 #news #gnu #fsf #emacs
• FSF40 volunteer panel #news #fsf #fsf40 #talks #videos
• Free software activities in September 2025 #news #gnu #fsf #debian
• Prot Asks me about EmacsConf, Debian, GNU, Internet Archive, and Canada #life #emacs #videos
• Free software activities in August 2025 #news #gnu #fsf #debian #devuan
• Lispy Gopher Climate with screwlisp #news #emacs #lisp #videos
• Mirroring Protesilaos' videos to Internet Archive #notes #news
• Don't "buy" e-books from Oxford University Press #essays #drm

2024

• PulseAudio with changing machine-id #notes #howto
• tmdconv #news #offlfirsoch
• Re: The state of gopher #essays #gopher
• New Year 2024 #life

2023

• Second gopherversary #life #gopher
• (On being) mortal #life #roophloch
• State of the shared GNU infrastructure #news #gnu #gnu40 #talks
• Re: Christina's five questions for August 2023 #life
• Criteria for evaluating mail service providers #essays #email
• Re: Christina's five questions for July 2023 #life
• What's new in Jami #news #libreplanet #talks #videos
• Jami migrates to Debian Testing (bookworm) #news
• Back to work #life
• Re: Christina's five questions for January 2023 #life
• New Year 2023 #life

2022

• First gopherversary #life #gopher
• Why I love participating in LibrePlanet #essays #fsf
• Usable file names #essays
• The Net beyond the Web #essays #gopher #gemini #libreplanet #talks #videos
• New Year 2022 #life

2021

• Hello (gopherspace) #life #gopher
• Jami and how it empowers users #notes #libreplanet #talks #videos

2020

• My internship with the FSF tech team and beyond #news #fsf
• A Comprehensive Study of Declarative Modelling Languages #mmath #thesis #formal-methods
• Internship with the FSF tech team #news #fsf

2019

• Material from SE 212 tutorials #notes #formal-methods

2018

• A Comparison of the Declarative Modelling Languages B, DASH, and TLA+ #papers #formal-methods

2017

• The Magic of Specifications and Type Systems #notes #formal-methods #news #talks

2015

• Introducing YULUG #news #talks