all these software people obsessed with “shipping” and “deliverables” and “package managers” should consider the possibility that postal work might be their true calling
Posts
-
all these software people obsessed with “shipping” and “deliverables” and “package managers” should consider the possibility that postal work might be their true calling -
Every year, I write a remembrance on the anniversary of this date.@anildash the links to the past posts 404 for me
-
what we say:what we say:
"dependent types impose a heavy proof burden on the programmer"
what we mean:
"the programmer will get addicted to writing proofs and stop desiring to write any code that actually runs"
-
newly-published fediverse research from my group at Northeastern!newly-published fediverse research from my group at Northeastern!
Privacy Policies on the Fediverse: A Case Study of Mastodon Instances
Authors: Emma Tosch, Luis Garcia, Cynthia Li, and me
PDF: https://www.convivial.tools/PapersPublic/PoPETS-2024-mastodon-privacy.pdf
Presented at the PETS 2024 symposium in Bristol (https://www.petsymposium.org/2024/) and published in the PoPETS journal issue 2024.1 (https://petsymposium.org/popets/2024/)