{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-18 03:20:58.027Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/gert_smolka/followers","following":"https://mastodon.social/users/gert_smolka/following","followingCount":0,"icon":"","id":"dbx7bivje17zmvl","inbox":"https://mastodon.social/users/gert_smolka/inbox","iri":"https://mastodon.social/users/gert_smolka","isLocal":false,"last_fetched":"2025-12-18 03:20:58.026Z","outbox":"https://mastodon.social/users/gert_smolka/outbox","preferred_username":"gert_smolka","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7GMh7LhKswXdUPWXv5oR\nuPtmdJMk2EZcoD1mvPHMT7+niiRy66kQaFvkYw9UkUJQEX6V37ls4ZNUNhBRFIV9\nTuDeDIMdXa8740iJS/lQFcKyJqoWvsw7l7ZO4+m6i1tdZb1jXPTx2+59iHvQAguQ\nD9z9JcYD0ygtF7kypWzKLN0tROELFbU8HOacsspg8lUnFEOJwKyBSGNYBmLekrfu\nONSVDxbKxtyuN9aVSWQwL3Q07/OOmZ1WefctocJCO9+8/0NNbVjj77Jq8e+pH2W9\nCBgix/ZWTCID3msWE5LVSdg1GSW30qokRvQMp2Kb2IJZw07yhcIUiqqhYSvPT1ri\nYwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-08 00:00:00.000Z","summary":"","updated":"2025-12-18 03:20:58.027Z","user":"","username":"Gert Smolka"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-12 23:29:43.139Z","domain":"mathstodon.xyz","followerCount":6,"followers":"https://mathstodon.xyz/users/y11feng/followers","following":"https://mathstodon.xyz/users/y11feng/following","followingCount":29,"icon":"","id":"nwlstuciqghg2kj","inbox":"https://mathstodon.xyz/users/y11feng/inbox","iri":"https://mathstodon.xyz/users/y11feng","isLocal":false,"last_fetched":"2025-12-18 03:20:58.054Z","outbox":"https://mathstodon.xyz/users/y11feng/outbox","preferred_username":"y11feng","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAytRv4PU/hggII8EXoDWK\nbV9GymlstITvPbTfQEBUglgRUwyO7SqWBZjAZq6aane4xYpMuBgPLrWZOQ+PBcfZ\n2ArTyzAnV+RDLGzgCc5jkve6VrGGUu0FTvtX/qu0WL+vMsSOXnNxIuN28jRCGmas\nRj9RgtYpG0q650ZARxlT+6M0x91XeKcnQmEdvq2WA2660hEIjag/S40FClV98tZ4\nIz/IhLchVJu7sK1MNuZKKxNc7hBVY4LkqxZG4xpt1oEKKtMKM+/og6cTrzTz3BKv\nvl5SqWJZBy4GIDDn5MDz97EoffDJnVEA/W5C71/587QWKKor39zekPZ9JFhdED2k\nZQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-11 00:00:00.000Z","summary":"","updated":"2025-12-18 03:20:58.055Z","user":"","username":"Yuning Feng"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 21:12:03.260Z","domain":"mathstodon.xyz","followerCount":810,"followers":"https://mathstodon.xyz/users/virtuosew/followers","following":"https://mathstodon.xyz/users/virtuosew/following","followingCount":441,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/019/966/original/6d9196b41aa56dd8.png","id":"f05992z910275ci","inbox":"https://mathstodon.xyz/users/virtuosew/inbox","iri":"https://mathstodon.xyz/users/virtuosew","isLocal":false,"last_fetched":"2025-12-18 03:20:58.081Z","outbox":"https://mathstodon.xyz/users/virtuosew/outbox","preferred_username":"virtuosew","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoidAwnyLXqshhvdHbYk0\nZApHOHujY7AzWE3utILQosyEMm1Ae7zrkzdnIXDTWmxqHquKtfzOUMTtXB6mN58E\nk2VADbHojRYdbTKMxsBOAZ4YsNliYuFwwld5oiU86wZP8xJIAnyx5gLyqlX8qoiz\njKkwX+/7hGsD037RdeGscxPyjWxngY0om6Js8e5w1MMLx472N9qr727vcyYR26/e\njmDadCfvvXEa3IN8xaDE+M3gkDC1Flb5AQJdwmqW5l4UKO0OBVuNtZEKnfapgpzJ\nuKAkQM/sqbgwMPiRyZrs6AJbGaBjwtSckppr8okwwzWujM9NWUR0A4129QfNfMHg\nKQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-01-06 00:00:00.000Z","summary":"

Embroiderer, dancer, early music fan.
Author, "Dreams of Amarna - Stitching An Egyptological Adventure"

I tell stories in stitch.

","updated":"2025-12-18 03:20:58.081Z","user":"","username":"Rachel Wright"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 00:32:21.280Z","domain":"mathstodon.xyz","followerCount":18,"followers":"https://mathstodon.xyz/users/kevinlopaq/followers","following":"https://mathstodon.xyz/users/kevinlopaq/following","followingCount":89,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/885/036/582/942/509/original/49d10478b6630ef8.jpg","id":"g71dswcp3tj2jpv","inbox":"https://mathstodon.xyz/users/kevinlopaq/inbox","iri":"https://mathstodon.xyz/users/kevinlopaq","isLocal":false,"last_fetched":"2025-12-18 03:20:58.518Z","outbox":"https://mathstodon.xyz/users/kevinlopaq/outbox","preferred_username":"kevinlopaq","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA28onTFkUP17d8XAM+Fcl\nvO+bcjgpE+D1O5EcoqrUVuPRfMqQHDMagohUx+Ht4nYq83oe7qJgkweW37Oajt0U\nfM8qcdmnbagcgJdDNfBcodmMck0UJIHBnT7P2NDeIuf8P/mSADYpb9L0m82MgM32\nCPgT/gi8q9FqwkY1fP+6775Ds/g84Tm5rQkblx81cgk5yejEZ0uvrwsnh2wRT6Qm\n4jdTlaKNDrgALzadyfMJSQHyYnf57F6SvylO53g/aIR3V9Gkmz3zEApFSE5pJiuk\nSWd0sYImlRZWpKJtFviJHI42Bcf1BWt7AmfCF4xcram6hE8oOyeT/K8P0+biti5J\npQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-24 00:00:00.000Z","summary":"

CS PhD Student @ IMDEA Software in Madrid. Interested in logic/type theory and the semantics of programming languages

","updated":"2025-12-18 03:20:58.518Z","user":"","username":"Kevin López-Aquino"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 11:02:55.179Z","domain":"mathstodon.xyz","followerCount":9726,"followers":"https://mathstodon.xyz/users/standupmaths/followers","following":"https://mathstodon.xyz/users/standupmaths/following","followingCount":18,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/567/932/837/468/113/original/d535f1d8c2cd309e.jpg","id":"47i3q379ac97dhh","inbox":"https://mathstodon.xyz/users/standupmaths/inbox","iri":"https://mathstodon.xyz/users/standupmaths","isLocal":false,"last_fetched":"2025-12-18 03:20:58.872Z","outbox":"https://mathstodon.xyz/users/standupmaths/outbox","preferred_username":"standupmaths","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu26NcGfyqyAjISM7fsQl\nGJuRod54bvWnc2iM+A+5Rhs/2j6thOYfEFqP8pDJB3KBe6I0vdVNcz2rpl1gpD6a\nQ7Mb/STzisF5F9qlv5cihNITvALwOWHsGnglic7z2eKPQKNJg4v6sXvh+3sLAhfI\nnMgKsOzmEKNxkRgERut+X77tMRZHoJu4jhZ/DXvj6MrDfw1hQBHEMYETxuWES0k3\nbssgwRMj+7WD9yh+puzOMM5z9LS4PUItSvbmUiSbxYUcg1B+qWRVAtp5KnEp72Ux\n4PESWWsXhgXSxZ05VWb99GNc2OyfNUfCPsEJYfUM7zuOT4Na0KzqhsaKJWcBhcUQ\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-24 00:00:00.000Z","summary":"

#1 best-selling author, also maths clown. Humble Pi, a comedy of maths errors: https://mathsgear.co.uk/collections/books/products/humble-pi-signed-paperback
Videos: http://youtube.com/standupmaths

","updated":"2025-12-18 03:20:58.873Z","user":"","username":"Matt Parker"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-17 21:06:00.899Z","domain":"mathstodon.xyz","followerCount":1745,"followers":"https://mathstodon.xyz/users/stecks/followers","following":"https://mathstodon.xyz/users/stecks/following","followingCount":271,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/314/555/244/321/331/original/d8681d17b4b59bcc.jpeg","id":"5c427p01j20p0oy","inbox":"https://mathstodon.xyz/users/stecks/inbox","iri":"https://mathstodon.xyz/users/stecks","isLocal":false,"last_fetched":"2025-12-18 03:20:58.898Z","outbox":"https://mathstodon.xyz/users/stecks/outbox","preferred_username":"stecks","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyZo/sOm7xBg38aGL1T5m\nSn1elUZcXvy2Y7mIhzO+ayzXUUw3OrWnGSZZFEAgp4Zj+5vier6W/gNdtlEK4mIV\nyd/zlgHpUi/m9roUDPVdp0ExOnI5PLjjT1amFHAUus+8HRx0blkKasAUHUFxVUmA\n1uViZ/BCSpto484Rhf/NMYytK9GPl/4GR559dpNt8EftADG4UPQQlgGRTvmv2R+0\nMe/HyOoZO9OObA9Vmd2nDW+/WcFJ7qzAiK6mpWN4cBLcbu0CVvIs/xsuLn5iQb5C\nz4DJ8qgTRF3ZdiOGoQYwzuttUGY+Mtgl1B1OqPaZI5bdYikBevs1d9jFKxuVAu8a\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

Mathematician, robot fan, auntie and unstoppable thingdoer from Manchester. She/her

","updated":"2025-12-18 03:20:58.899Z","user":"","username":"Katie Steckles"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-16 01:03:03.989Z","domain":"infosec.exchange","followerCount":318,"followers":"https://infosec.exchange/users/cascremers/followers","following":"https://infosec.exchange/users/cascremers/following","followingCount":69,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/109/522/959/127/937/534/original/df77fee9224ca805.jpg","id":"k1ug142044q5j73","inbox":"https://infosec.exchange/users/cascremers/inbox","iri":"https://infosec.exchange/users/cascremers","isLocal":false,"last_fetched":"2025-12-18 03:20:58.956Z","outbox":"https://infosec.exchange/users/cascremers/outbox","preferred_username":"cascremers","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwd+CC8xL0Z26vVg7ZDtq\nMzow8GyqjPQXuUfjxMRLmfIlaQy/i6Dm+KRrz6jPgXsdespHTEbO8Nscx1WaHg70\n1HUoUaYpySIi9RhBMpBYHq/MHAycoiX/8bgVwTt4j6GS3uid4dsqPRR4oU0XGVbi\n0MTPMzZSXhw4wrLxAtwMlEHTOLXsJThpA3d2/SUcGPPKKo6Pdq3kTuk8oZ2Nqyu8\nxgmcf/Zs+ThzR2LqkjiGjRFMUOnbR/fpIPERE+EDwxnjB8cLPp8lInhkhKYc/u3+\nPIMLrVMIu8EQiH/n2hvIu0yhJ2C+pxP8IJi1kTRh40+VZygjcMNgUaVfTt2IbJ1X\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-16 00:00:00.000Z","summary":"

Faculty @CISPA & Prof @Saar_Uni
Previously TU/e Eindhoven, ETH Zurich, University of Oxford

Security, Formal analysis, Cryptography, Scyther, Tamarin.
Views are my own.

","updated":"2025-12-18 03:20:58.957Z","user":"","username":"Cas Cremers"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-24 00:26:20.764Z","domain":"mastodon.social","followerCount":289,"followers":"https://mastodon.social/users/talex5/followers","following":"https://mastodon.social/users/talex5/following","followingCount":57,"icon":"https://files.mastodon.social/accounts/avatars/000/260/408/original/4e07f9b4e0cf188b.jpg","id":"6vhrfyur58y19d9","inbox":"https://mastodon.social/users/talex5/inbox","iri":"https://mastodon.social/users/talex5","isLocal":false,"last_fetched":"2025-12-18 03:20:59.062Z","outbox":"https://mastodon.social/users/talex5/outbox","preferred_username":"talex5","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6k85oVhUa6hHuOdzyunr\nXctiGD5cwS5AUmBlnXfI8BgT7P8BwWUOWovm0J4KyKl/wyo1gBZJO9lX1xulIQlW\nvfXjzSxGrnnrCaZMbTKBLRjD4XfOm/MxNVinXcmwPxXbozBsIOfG1nxk6MnJ3cRI\nY3K+ophTo0w/PnU0KkKJz3PcaBhmWE0SSzP55O/hjCtVI3QERNArH1T/WUkR30/X\ngsPM++H3H5usdZE4gB/wfadhZOPRbw6bjGYNYml1DGTxK1SF+A5+IPtDQP5uWf3g\n1742TwPNWgDvCwwBQXt3RNncHCkENJAds/oQ8qXFlwMVCQk4mLFxjdHVLHf/swcU\nnwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-12-09 00:00:00.000Z","summary":"

Programmer. Interests include: Free Software, OCaml, MirageOS unikernels, Nix, Wayland, Capability-based security, formal methods (TLA+, Coq).

","updated":"2025-12-18 03:20:59.062Z","user":"","username":"Thomas Leonard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-04 22:13:56.051Z","domain":"mathstodon.xyz","followerCount":1854,"followers":"https://mathstodon.xyz/users/VinceVatter/followers","following":"https://mathstodon.xyz/users/VinceVatter/following","followingCount":1039,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/262/987/983/359/024/original/1fceb2778d3af6fa.png","id":"y644n79cip4k52p","inbox":"https://mathstodon.xyz/users/VinceVatter/inbox","iri":"https://mathstodon.xyz/users/VinceVatter","isLocal":false,"last_fetched":"2025-12-18 03:20:59.086Z","outbox":"https://mathstodon.xyz/users/VinceVatter/outbox","preferred_username":"VinceVatter","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqv+vLNfZ/7jmNGAlvuQj\n5v5Qg873W+8YTQUhEZ0lBRkRF+9Gcz5mEKj028GeUia/Prm7lMGrWSWLj3s0sOvx\njQzen4LNsnux8uPC+bMs+Nhr7saysENEkmzaww8ODxfIFitGmhw28mHj0CKn+i93\nKv0CfX/1/Yw8DI6IVz/GB0T/h6UrXofaHVx86m4PEAG/hWnU1e7+jeivhTD/L60/\ndgVrEm2JmDR2lWlfKAjYwXrJIGQnfVe6SnDxC6mCdl8nkUYqWh7IYSJl5gnsC5yH\nZF6qVJixnQ4aj24Qn607+5cOoUgh/0NR0qgrdwMyyPdrqOPQQs4IvV2AQq9pzA/a\nuQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

#Mathematician at the University of Florida. #Combinatorics and #GraphTheory mostly, but occasionally pretends to know other things.

","updated":"2025-12-18 03:20:59.087Z","user":"","username":"Vince Vatter"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-06 02:18:06.994Z","domain":"mathstodon.xyz","followerCount":154,"followers":"https://mathstodon.xyz/users/artagnon/followers","following":"https://mathstodon.xyz/users/artagnon/following","followingCount":21,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/208/472/093/566/826/original/bf431fc1ffa6f602.jpeg","id":"48ualxcaqadleup","inbox":"https://mathstodon.xyz/users/artagnon/inbox","iri":"https://mathstodon.xyz/users/artagnon","isLocal":false,"last_fetched":"2025-12-18 03:20:59.264Z","outbox":"https://mathstodon.xyz/users/artagnon/outbox","preferred_username":"artagnon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoWlEKeqGi+VUrJI/FzHt\naWcA48TCSp32gWyQ+7lNUr96xPtBQzgtwGStMNpcVkPDD7MA/zfkhtd21ezeqTpL\nXjRvaRwIGnlzYEDveQNQKbzQWj7jWHIcP3U80TWkXplh95irpxQWF7WWGZyvTigU\nVzap9h/RDmH3UO+i9DMaKD11mOz/+NY1JltcGRmDebso8g03bm4l05NVNCvBzhwa\nKTJVRgNa/B+3u4ezR/t9XfckpSS+po2/Z7zQKXqaQhS+lXd3JRFW2PVKNLMS8zS2\nffVPoZqY47AoQJtBvERhyxNfK0rBXeTIjBJS7Y0CW8oS7QyuSdUribQ34o4Xtw9k\n1QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-28 00:00:00.000Z","summary":"

Upstream LLVM contributor and Formal Methods researcher. Expect a mix of technical posts interspersed with cute real-world musings.

","updated":"2025-12-18 03:20:59.265Z","user":"","username":"Ramkumar Ramachandra"}],"page":1,"perPage":10,"totalItems":157,"totalPages":16}

Paul-André Melliès

Following