← Feed @tpfto@mathstodon.xyz 2026-05-09 22:07 UTC @matdevdug@c.im ...and well, it's easier (and apparently more fun) to make mean comments than to make constructive observations/addenda. Replies (0) No replies.