← Feed @mxp@mastodon.acm.org Post #3102643 2026-05-12 06:32 UTC @BussedDuck@mathstodon.xyz Thanks for the link, that’s a useful reference! Replies (0) No replies.