Post #1625839

I thought Peter Selinger was on here, but I can't find him. Has he left us? Just looking at this interesting new paper https://arxiv.org/abs/2604.20964 which does cite Mathstodon posts by @pieter. (@christianp first citation of Mathstodon in a paper, or have there been others?)