bandali's home page

Welcome to my home page. I'm a computing scientist and an activist for user freedom. I am fortunate to be able to work on free software for my day job and in my own time, contributing to a number of different projects and communities.

You can write to me at, optionally encrypting your message with my GPG key.

Latest blog posts

May 2024 PulseAudio with changing machine-id
Mar 2024 tmdconv
Feb 2024 Re: The state of gopher
Jan 2024 New Year 2024
Dec 2023 Second gopherversary
Sep 2023 (On being) mortal
Aug 2023 Re: Christina's five questions for August 2023
Jul 2023 Criteria for evaluating mail service providers
Jul 2023 Re: Christina's five questions for July 2023
Jul 2023 Site moved from to

all blog posts →

Latest talks

Sep 2023 State of the shared GNU infrastructure
Mar 2023 What's new in Jami
Mar 2022 The Net beyond the Web
Mar 2021 Jami and how it empowers users
Jun 2020 A Comprehensive Study of Declarative Modelling Languages
Jun 2017 The Magic of Specifications and Type Systems
Feb 2015 Introducing YULUG