{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-01 15:36:33.538Z","domain":"mathstodon.xyz","followerCount":72,"followers":"https://mathstodon.xyz/users/jeanas/followers","following":"https://mathstodon.xyz/users/jeanas/following","followingCount":54,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/947/312/845/065/640/original/7f24f2fc281495e5.png","id":"xqw95usti4vxsax","inbox":"https://mathstodon.xyz/users/jeanas/inbox","iri":"https://mathstodon.xyz/users/jeanas","isLocal":false,"last_fetched":"2026-03-19 08:09:41.407Z","outbox":"https://mathstodon.xyz/users/jeanas/outbox","preferred_username":"jeanas","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu17mXkKs9zNUFFw6KYZs\nGAU4V0MQQmLxdlmnvuPgMDgOrz9IacbI4gvSqRf/cVW5zhRum4vapPTZXD5MNRSy\n5Fq6WLDPY8pIaFQ50rsNM2fxYjQTJo0hg6iMOH0qxdhv7i1V7Pk3QcQhtCIEcRR9\nwd8ayFpxmtRthVUHmJlMdoxckih8aZLPkpx67tbOCWMI/sS35vtN/gf1c3wuNjIa\nZodpcHfRAyzRFuHwrVi8e9BrMCNx/5HuBrpCOGlDGEDBifdfo1R6Pa6zRGX/oYNr\n6gMqQaKtVKMzEQ4j3LZjR+rxBkEIOUv3OWeT2djlLuGOwgwrkSEdpaIE6NuZDhc/\n1QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-17 00:00:00.000Z","summary":"

PhD student in theoretical computer science at Eötvös Loránd University in Budapest. Mainly here to chat about TCS/math.

","updated":"2026-03-19 08:09:41.408Z","user":"","username":"Jean Abou Samra (new account)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-29 00:03:52.185Z","domain":"nixos.paris","followerCount":1049,"followers":"https://nixos.paris/users/raito/followers","following":"https://nixos.paris/users/raito/following","followingCount":842,"icon":"https://nixos.paris/system/accounts/avatars/109/254/195/478/845/766/original/e9597445e4bf1dee.jpeg","id":"yjraccmku15ehag","inbox":"https://nixos.paris/users/raito/inbox","iri":"https://nixos.paris/users/raito","isLocal":false,"last_fetched":"2026-03-19 08:09:41.590Z","outbox":"https://nixos.paris/users/raito/outbox","preferred_username":"raito","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx/X5YpXFj14zXDI+id1i\n9L7iU4p5/EoGkLPzMWFyVpytd0RIIT/siJz4dYxBkHaDa7YUXRHSdSNO2HaYoHg4\nnhYkmMVy5Z4ehM1FTcqKqe/9p6xBzfYRRN4vzQfM0xXh6LXUrAkSBTkKIEQ39TSN\nHmKwHw7StMGUh5gxVFgOY2b10UyX6igk4VdAnLfCwBo4LEYR5k/p3ExxCJS8rqBi\n9/ZTTvjrSCC7b7/xHXlpaMcfH7fRwMUv4DELAnhKD5AjPj8XdhVj4qC/IsvQQ//m\ns+BFA2zaTdS4DdYukUb8W2v4nKY1tRCpL4h4s7UYUa5GFPeAccmdyiIuEhox/uA+\nowIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

#Lix developer, #NixOS developer, #Lean theorem prover user.

My interests revolve around formal verification, evolutions of the Nix model, firmware platform security, public policies and (geo)politics.

Alternatively, I enjoy Japanese animation and culture.

My DMs are open for anything and everything.

","updated":"2026-03-19 08:09:41.590Z","user":"","username":"Raito Bezarius"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-22 06:06:28.687Z","domain":"mathstodon.xyz","followerCount":394,"followers":"https://mathstodon.xyz/users/at/followers","following":"https://mathstodon.xyz/users/at/following","followingCount":878,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/291/839/671/791/255/original/96b796cca7274afe.jpeg","id":"85bcqgqpm4ix5mm","inbox":"https://mathstodon.xyz/users/at/inbox","iri":"https://mathstodon.xyz/users/at","isLocal":false,"last_fetched":"2026-03-19 08:09:41.620Z","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":"2026-03-19 08:09:41.621Z","user":"","username":"AT"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-28 00:09:34.544Z","domain":"mathstodon.xyz","followerCount":109,"followers":"https://mathstodon.xyz/users/quiver/followers","following":"https://mathstodon.xyz/users/quiver/following","followingCount":1,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/273/614/073/448/153/original/f33436bd868acbaa.png","id":"ki52ptefeixy9e6","inbox":"https://mathstodon.xyz/users/quiver/inbox","iri":"https://mathstodon.xyz/users/quiver","isLocal":false,"last_fetched":"2026-03-19 08:09:41.652Z","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":"2026-03-19 08:09:41.652Z","user":"","username":"quiver"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-15 15:28:38.373Z","domain":"mathstodon.xyz","followerCount":2,"followers":"https://mathstodon.xyz/users/oudi/followers","following":"https://mathstodon.xyz/users/oudi/following","followingCount":35,"icon":"","id":"dhmeas4zle29wj0","inbox":"https://mathstodon.xyz/users/oudi/inbox","iri":"https://mathstodon.xyz/users/oudi","isLocal":false,"last_fetched":"2026-03-19 08:09:41.852Z","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":"2026-03-19 08:09:41.852Z","user":"","username":"oudi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-28 13:29:37.973Z","domain":"mamot.fr","followerCount":888,"followers":"https://mamot.fr/users/pintoch/followers","following":"https://mamot.fr/users/pintoch/following","followingCount":369,"icon":"https://static.mamot.fr/accounts/avatars/000/007/051/original/6d05052222fc6f38.jpg","id":"ulv9wrixeooazow","inbox":"https://mamot.fr/users/pintoch/inbox","iri":"https://mamot.fr/users/pintoch","isLocal":false,"last_fetched":"2026-03-19 08:09:41.942Z","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":"

Doing research on governance for small FOSS projects at @TelecomParis. Contributor to Debian and Mergiraf. Previously, @OpenRefine and @kanthaus.

","updated":"2026-03-19 08:09:41.942Z","user":"","username":"Antonin Delpeuch"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 10:46:48.747Z","domain":"fosstodon.org","followerCount":3081,"followers":"https://fosstodon.org/users/pandoc/followers","following":"https://fosstodon.org/users/pandoc/following","followingCount":83,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/248/151/424/624/982/original/fa3aae47f32d887d.png","id":"nkf8qhue8je6jlp","inbox":"https://fosstodon.org/users/pandoc/inbox","iri":"https://fosstodon.org/users/pandoc","isLocal":false,"last_fetched":"2026-03-19 08:09:41.979Z","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":"2026-03-19 08:09:41.980Z","user":"","username":"pandoc"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-29 04:33:51.237Z","domain":"mathstodon.xyz","followerCount":148,"followers":"https://mathstodon.xyz/users/jaycech3n/followers","following":"https://mathstodon.xyz/users/jaycech3n/following","followingCount":132,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/331/282/956/573/481/original/f7f214fd86200529.jpg","id":"gso51ovi5278roi","inbox":"https://mathstodon.xyz/users/jaycech3n/inbox","iri":"https://mathstodon.xyz/users/jaycech3n","isLocal":false,"last_fetched":"2026-03-19 08:09:42.010Z","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":"2026-03-19 08:09:42.010Z","user":"","username":"Josh Chen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-14 18:43:51.820Z","domain":"mathstodon.xyz","followerCount":38,"followers":"https://mathstodon.xyz/users/kaya/followers","following":"https://mathstodon.xyz/users/kaya/following","followingCount":85,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/523/541/452/586/196/original/8526375a43b8f34f.jpg","id":"wwy79w05i0a2arl","inbox":"https://mathstodon.xyz/users/kaya/inbox","iri":"https://mathstodon.xyz/users/kaya","isLocal":false,"last_fetched":"2026-03-19 08:09:42.045Z","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)

","updated":"2026-03-19 08:09:42.045Z","user":"","username":"Kaya Arro"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-09 16:27:52.740Z","domain":"mathstodon.xyz","followerCount":19,"followers":"https://mathstodon.xyz/users/riccardobrasca/followers","following":"https://mathstodon.xyz/users/riccardobrasca/following","followingCount":89,"icon":"","id":"uho063zzhw6sdq8","inbox":"https://mathstodon.xyz/users/riccardobrasca/inbox","iri":"https://mathstodon.xyz/users/riccardobrasca","isLocal":false,"last_fetched":"2026-03-19 08:09:42.511Z","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":"2026-03-19 08:09:42.511Z","user":"","username":"riccardobrasca"}],"page":1,"perPage":10,"totalItems":41,"totalPages":5}

🎺🎶 La -2-catégorie 🎷🎼

Following