- [[yog]] https://mathstodon.xyz/@yog/109251675571431146
- [[yog]] https://mathstodon.xyz/@yog/109251643170072214
- [[rmdes@mstdn.social]] https://mstdn.social/@rmdes/110354160952608134