{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-26 22:04:40.384Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/at/followers","following":"https://mathstodon.xyz/users/at/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/291/839/671/791/255/original/96b796cca7274afe.jpeg","id":"jgf5e3peehwh82i","inbox":"https://mathstodon.xyz/users/at/inbox","iri":"https://mathstodon.xyz/users/at","isLocal":false,"last_fetched":"2025-10-29 18:17:29.224Z","outbox":"https://mathstodon.xyz/users/at/outbox","preferred_username":"at","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAthp5LOYBjfn7TCU6sQms\nwQJn4k3LrJHZkdDGL9AHdo55btqIqT78soVtfWVIEKh2kDEerZrkqxgS+59BWemn\n1g/yqoDZ5Juq5QC/ZGsJmpYqD3FdGeQp3GNydCyaIl8TNAQiMMVTN8iDrsID+7un\noq6IX/716BXux0+Fpf9ou4LAncjX/qZm77B2wUIsp99P3mex4fPi4nbtvFoHKFja\nqz2flyNBHnyo9MBhMJq3MjncSM1lNchvPpMzRWdyxMnTGRoQi6LxIgF+dw9gAb/7\n9Xao758suzDxQkcD8vSzX6wpwtDc0uza1fuOeR/ehZRjn+Rlg0/uJlndX8OhmzND\nQQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

Empty set fan, arbitrary topological space appreciator.

","updated":"2025-10-29 18:17:29.224Z","user":"","username":"AT"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-29 18:17:29.260Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/quiver/followers","following":"https://mathstodon.xyz/users/quiver/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/273/614/073/448/153/original/f33436bd868acbaa.png","id":"xu6vw9c6301z6pf","inbox":"https://mathstodon.xyz/users/quiver/inbox","iri":"https://mathstodon.xyz/users/quiver","isLocal":false,"last_fetched":"2025-10-29 18:17:29.259Z","outbox":"https://mathstodon.xyz/users/quiver/outbox","preferred_username":"quiver","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv9w8AFq+o9tCrNQGfp/U\nt30XL/pJB6DekMg7FhYDIDl2Q/H6E7GP2VZQYHox97pfuc+C4pM8UQ+5S1fp3Cm0\nSCARrvLnxEjREiU1F7pJgD/JncOhRcxXujWHvsOiK/FiDfAh6oPAG23Tcqp2oeZc\nM8QaKc9CoBPPPu4n3jMHuO4r16MwWXd6juhP0yFrK3gFG3IB1MOS4D/IdQfVE8ud\nvuef1Fhk2cGd9x3rLOS1etMqxU2yaYcEn2JIdXg3qJ4GmOj9PAhBmMkL3d6/5W0o\nQTcGpskUnqIyXutYScvrtfMwlT99J5FOOvYSWefkecR0xEtkxWOUoR3+OQIxus/9\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-21 00:00:00.000Z","summary":"

A modern commutative diagram editor for the web.

","updated":"2025-10-29 18:17:29.260Z","user":"","username":"quiver"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-29 18:17:29.293Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/oudi/followers","following":"https://mathstodon.xyz/users/oudi/following","followingCount":0,"icon":"","id":"5ctiqq5mwduvnik","inbox":"https://mathstodon.xyz/users/oudi/inbox","iri":"https://mathstodon.xyz/users/oudi","isLocal":false,"last_fetched":"2025-10-29 18:17:29.293Z","outbox":"https://mathstodon.xyz/users/oudi/outbox","preferred_username":"oudi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1elG60Wi11cY0MsedC9a\nwwJueUaaG9hFicS0XCLyELxPLla3dCjryjXKXwKi0Xs/4ySbYkf/pgd4zZRc8Qb4\nXkjlIZX3VpHw8ZcD6YlIbTvgCRexzKnzyL5ftpunq73T9IU7VlMc1yhyK9X+5L19\nRXqg+BacqzQUOqkafUZMw8BqLf6od+LYkUHRUVUeBPDNu8bn1K46mATMey6wsngx\nWMCxoFXlZV6dF5KnFCBX+W24Ulnmq4Pgqk0ILp4+jVxi2e8OLC1a6dwTeS1sa2EP\nrzry02I7cO5R9WP2UFi4I9w/AL/hyvILzlyjTkKhit00T/iQNDEzYR2JQR+1VCrg\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-31 00:00:00.000Z","summary":"","updated":"2025-10-29 18:17:29.293Z","user":"","username":"oudi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-29 18:17:29.323Z","domain":"mamot.fr","followerCount":0,"followers":"https://mamot.fr/users/pintoch/followers","following":"https://mamot.fr/users/pintoch/following","followingCount":0,"icon":"https://static.mamot.fr/accounts/avatars/000/007/051/original/6d05052222fc6f38.jpg","id":"l01tlepedgz0lgm","inbox":"https://mamot.fr/users/pintoch/inbox","iri":"https://mamot.fr/users/pintoch","isLocal":false,"last_fetched":"2025-10-29 18:17:29.323Z","outbox":"https://mamot.fr/users/pintoch/outbox","preferred_username":"pintoch","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxG+Q+EPeD2cXmcy3ayQu\n92RUbas2puM+3JxnATf5sT6Xsgz+9V9pRKZFE1jQAmBIomr9WP8LVjHJfMIn7ix9\nEXllIcn5HxfAfhhc1yqJL35YXJbsjATVksGnx2qnhzLrN78oOravhwf9gP2kN29v\n7OdHgnAIJcGbL6PEvkcWMDi1CRqKs9VVGJHrWywDY17Zex8EBwArew4nLLIje6vr\nbbr4sbeObZdujDqfR+/AYcXf9K71xPJo+BLa3ffH5urXZJoXVZmEiA2M84MCS0DE\nyN4FmxnoIimESPhQD3oobMbojfUWzI38QadenBVCZLYprn7usemWjYFPqd75ybXH\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-08 00:00:00.000Z","summary":"

Working on Mergiraf, the non-violent Git merge driver. Previously, @OpenRefine and @kanthaus. Based in Leipzig, DE

","updated":"2025-10-29 18:17:29.323Z","user":"","username":"Antonin Delpeuch"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 14:54:14.778Z","domain":"fosstodon.org","followerCount":0,"followers":"https://fosstodon.org/users/pandoc/followers","following":"https://fosstodon.org/users/pandoc/following","followingCount":0,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/248/151/424/624/982/original/fa3aae47f32d887d.png","id":"4l30128qr6b98e3","inbox":"https://fosstodon.org/users/pandoc/inbox","iri":"https://fosstodon.org/users/pandoc","isLocal":false,"last_fetched":"2025-10-29 18:17:29.369Z","outbox":"https://fosstodon.org/users/pandoc/outbox","preferred_username":"pandoc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7EsnxnTI/bVWVyFeHukO\ngrGhbWP8u4Agtu1gBVHdo88AY74VM9Z4gGo1d9RdgtwrhcvLfBJqw3bYhh3IDP1I\nNHUK8VFP6wZqRbDIii4w3EmgwBhfZmy+9RB1JJIS0+jEJEtPBCri9c5ZWdz//6Y2\nCkgwisWO95ICe18DtedIPgmM4Qp8oIEImAQpZEEPSIfQLkdx3ChwCUmkZPE0fZQB\nrgovZmGbx08ESqXxyiz8di7dymMFBQQHsLavmjq2eBEEN6foGegWoaZcJrr4DOGN\n5DJ7H5L2GTZ9/DUleoThHwqldS/UKITLSqSJvO8CGmza4pb2cHpqvQfgewH5wdI7\newIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Tips and news about #pandoc, the universal document converter by John MacFarlane. This account is run by @tarleb.

All posts made from this account are licensed under CC BY 4.0, meaning that you're free to use everything however you want, just please cite your sources.

","updated":"2025-10-29 18:17:29.369Z","user":"","username":"pandoc"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-29 18:17:29.406Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/jaycech3n/followers","following":"https://mathstodon.xyz/users/jaycech3n/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/331/282/956/573/481/original/f7f214fd86200529.jpg","id":"0v6z1fmtohavcl7","inbox":"https://mathstodon.xyz/users/jaycech3n/inbox","iri":"https://mathstodon.xyz/users/jaycech3n","isLocal":false,"last_fetched":"2025-10-29 18:17:29.406Z","outbox":"https://mathstodon.xyz/users/jaycech3n/outbox","preferred_username":"jaycech3n","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxWvucV+bLdqNbrNzTdxP\n5TFkuUqSNolSfg3+O0x4XJ65StDbmTnRv6ABeH+eiqfFiApoPjbCoGBVxwQ53J7i\njVCalmNsaAh+CLKLr4vg9U4KYcvBHUW6NESTRWLB57h35hWB8ocndGSs/t91nstQ\n//iWtHM7gwjtauN4A8HtmKUn5CUB1w6occFuUxn4MUQQdMOxETbYdKZjf+Td3dH8\nL6meuF6MN+zH8GikaSm5867nqiB3Bl80m0sCui6gpIjWFW7qrEeH5Sjt+SHo3+9B\nnIwzbzs0S7QFOjwCznTookyOwWPJrWbi9Q5IP5KMGgIIF2XWMFi0dgMVSMxbjGaF\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-12 00:00:00.000Z","summary":"

Mathematician in a computer science department · Postdoc @ Theory of Computation, University of Birmingham · ex FP Lab, University of Nottingham

","updated":"2025-10-29 18:17:29.406Z","user":"","username":"Josh Chen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-29 18:17:29.441Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/kaya/followers","following":"https://mathstodon.xyz/users/kaya/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/523/541/452/586/196/original/8526375a43b8f34f.jpg","id":"somhizkq0g9u7ro","inbox":"https://mathstodon.xyz/users/kaya/inbox","iri":"https://mathstodon.xyz/users/kaya","isLocal":false,"last_fetched":"2025-10-29 18:17:29.441Z","outbox":"https://mathstodon.xyz/users/kaya/outbox","preferred_username":"kaya","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr4/7GTf1EjgEZQhVqBMJ\nvxeWS4sL2SYM/16CTMAjto1WrFMkt4/KajEghE2OOptOQT2O7JvkhJZ4wi6+xKdm\n5c0Yt/qvyN9zxeAuiuvCDnfUwPYfdfWxHsuntrVMnjavsItRma6612dmGZhBomU/\nZdzbhZzg8984FkSJAh3pGmDbeRfL/hOVrOENGdVblnu1S+Yd14e3+3xlr0edmNcl\n+WBj0eJhpP0DaNUUazM4sueTKkKkRypKBO3vBzvcXvJx4cNh0Ce4IIUC/Bvbu4nL\nppbyRh2Xo+O4gWZgNIhy9xjgIQRqOUk59CBBtIbPZRZvJNrAJfK2r+tEhPWaaD8o\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-16 00:00:00.000Z","summary":"

I'm an abstract homotopy theorist/∞-category theorist and amateur photographer and fiddler. I also love learning (about) languages (especially Norwegian and English).

they (en) / hen (no) / elle (es)

I am currently employed as a postdoc in the math department of UC Riverside.

","updated":"2025-10-29 18:17:29.441Z","user":"","username":"Kaya Arro"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-29 18:17:30.003Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/riccardobrasca/followers","following":"https://mathstodon.xyz/users/riccardobrasca/following","followingCount":0,"icon":"","id":"am64dc5orpue1tu","inbox":"https://mathstodon.xyz/users/riccardobrasca/inbox","iri":"https://mathstodon.xyz/users/riccardobrasca","isLocal":false,"last_fetched":"2025-10-29 18:17:30.003Z","outbox":"https://mathstodon.xyz/users/riccardobrasca/outbox","preferred_username":"riccardobrasca","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuwmtrrdNBvcrTu7eRUYA\n0JQx9QpULg80OmjRJIa4taYOM1mxOAvsRgkOg814+c52XVw6LCsCXPJioAkShcWg\niN6VnVWb/473c/dObpELfqIoYiDLmO5P6W7y/O7Bhp4V84Lg22KozBAt+6ZS/2X1\n2l9m9eHL5T8YWDYkSQzrSZT/QSY+GNVxa9eaV8sEwtWD4Zgh0njQ3pdskcoVliHs\n6LqOvHxRvpQgoTcn7JY881EnKIuoWYGwoBtQiJxB3pxGVRcHFcXxzj2fV17tgMlW\n4kT3MmNvAulTLG5gVyhmzKLfTQ/lw4fG+FLOsGjOc77i0jlfxReSTbN/eM3zv4dd\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-13 00:00:00.000Z","summary":"","updated":"2025-10-29 18:17:30.003Z","user":"","username":"riccardobrasca"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-27 05:47:11.157Z","domain":"functional.cafe","followerCount":845,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":17,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"044gpvsdtwmmkbu","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-10-29 18:17:30.147Z","outbox":"https://functional.cafe/users/leanprover/outbox","preferred_username":"leanprover","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7dKENMC1pnGzawmGGlmH\npdYCjEgLBRdPHH3oju/913xBfuqqAir06mUWfox4e1xPNPM0mFvziAxmlEnvrgVq\nmiZyL5x1SLdBKht47JLN91mowTP3FjnKkULBMu5108euUHweKBydC4ZAM1NLMfLV\nCqzx2Wj/EP3vEJVmAQCrHnao7GHcQqKGlJ6ANQ1TO34otabH5W5TJMb5Cvb1mChM\noW+X+pS83hw2yD7ay5f7AXpU1Kwyq2ON0NdlN/2fIuO6FFO0oSHbtKVkH8Zdp6XK\nV0/PiRvDuVZGIfECAT1U5TkUu7u/p5dcSVb4n301k0VM2/N11I8eOYAlY0bYgDrE\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-24 00:00:00.000Z","summary":"

Official account of the Lean theorem prover and programming language

","updated":"2025-10-29 18:17:30.147Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-29 18:17:30.182Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/juli/followers","following":"https://mathstodon.xyz/users/juli/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/388/231/211/338/069/original/e316421105c55149.jpeg","id":"coo3n2sz85su2me","inbox":"https://mathstodon.xyz/users/juli/inbox","iri":"https://mathstodon.xyz/users/juli","isLocal":false,"last_fetched":"2025-10-29 18:17:30.182Z","outbox":"https://mathstodon.xyz/users/juli/outbox","preferred_username":"juli","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu4dHTYfC6DqjFsC6z52h\nlfLlkhC7vQA6+V2TnqBwNxUqsOa5VDiTjoEfJfrXjzwCtPSaKYLpAZxPkHjlvPNL\nqrLu3y8v7admO6ohNMqvgB0LZsmEmVAHHa6+vrJq+IonceUd03i6s5MaRov7/adk\nwACx4tyOcEXslC8WD0hFprpRdE4M3NZKKcpe65A4AaHxi1vhkfTe52G457ei4wZa\nzG7DCAH4UGpDTAOtzZom1AQRk25N2hyKjmxP6pzGOmIcunDPPejB3jF0H+iu11s2\n1UGPxueazoQpxTOa9LgNaieD3Qjfo/Vrkq6Ugcy08Dv89EZiUTtsLPMMgYfatmIn\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-29 00:00:00.000Z","summary":"

","updated":"2025-10-29 18:17:30.182Z","user":"","username":"Juli O'Connor"}],"page":1,"perPage":10,"totalItems":38,"totalPages":4}

🎺🎶 La -2-catégorie 🎷🎼

Following