{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-29 22:25:14.626Z","domain":"mathstodon.xyz","followerCount":774,"followers":"https://mathstodon.xyz/users/noamzoam/followers","following":"https://mathstodon.xyz/users/noamzoam/following","followingCount":451,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/262/369/988/210/813/original/493bd444df424bae.jpg","id":"z27vwkw0iyewcbf","inbox":"https://mathstodon.xyz/users/noamzoam/inbox","iri":"https://mathstodon.xyz/users/noamzoam","isLocal":false,"last_fetched":"2026-04-19 14:19:32.793Z","outbox":"https://mathstodon.xyz/users/noamzoam/outbox","preferred_username":"noamzoam","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArsuLfrpJ9iJbRWR7DgtJ\n1EPK7kyslOFT26mUGK3c2UUCR5Rju1NW27N5HitNwNwNqFCLXCospNKdn4Ik1ZEN\nDmloODCahHuuyNrEQdrEkTPUHILmjWTXpWhrp0aSUL7QQNvXMfLEPDbmjHSdDXoH\n1RMS9eRgAnoLrEJJhUFmqCECY/1JB2nZIWhgSCPB9CngxWoh6wmscBC7g+JSfg3+\nRkt87xhXnqQmwMhuUT+SZaVOtdS04krp5PTJfuoIZp0cZJFslUHvHBhIOeUJEnb7\ni5LdRAoRNjMuU5D9VBCLhM2xWZGpDGToELxWuWhVWOFJ5ru6BiPYrVvP3fuvHyum\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique.

","updated":"2026-04-19 14:19:32.794Z","user":"","username":"Noam Zeilberger"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-14 16:30:04.369Z","domain":"mathstodon.xyz","followerCount":118,"followers":"https://mathstodon.xyz/users/vcvpaiva/followers","following":"https://mathstodon.xyz/users/vcvpaiva/following","followingCount":48,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/250/904/482/260/309/original/ec1914502c838f48.png","id":"ri33ji95zeluyp9","inbox":"https://mathstodon.xyz/users/vcvpaiva/inbox","iri":"https://mathstodon.xyz/users/vcvpaiva","isLocal":false,"last_fetched":"2026-04-19 14:58:17.118Z","outbox":"https://mathstodon.xyz/users/vcvpaiva/outbox","preferred_username":"vcvpaiva","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu6rVW1WVcn1LGD8z1GyM\nXFhpnaAfpRv9MJKiCQp/6iyOy4/l0Hruxvn82A3QghxzsUK0V2JyawyDtcZyq3ua\ndFlhA+MulR3q8Lg7ZGLX+ttHOwbHVwsdkfsnSkbKRdc/XYlclt+R/i+FGoYfBKhS\n9jRVH/canTXM/Wvr+CRIZO4VIzH7vC5bx/R3vgO0vEO5imEnUh3xgJ34YroloviC\nKyiKrPA+L1dzQXVTVTlLQuGn0vLEWUYVLotXP25SaS19YLLXN8I7frpsdZmTXeCy\nxOi9FgmZtjT4Su93VcuMLaPfSe0XusEz9q2r4pK2iJd8QNkBLR0E93BuSP301Toa\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-05 00:00:00.000Z","summary":"

Valeria de Paiva is a mathematician and AI scientist, working on natural language processing, logical inference, and all kinds of semantics, especially Dialectica categories.

","updated":"2026-04-19 14:58:17.118Z","user":"","username":"Valeria de Paiva"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 07:43:51.844Z","domain":"mathstodon.xyz","followerCount":72,"followers":"https://mathstodon.xyz/users/patrick_massot/followers","following":"https://mathstodon.xyz/users/patrick_massot/following","followingCount":55,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/239/652/787/299/433/original/26ad0c9e94c58b6c.png","id":"u6hq5xhl66ney4p","inbox":"https://mathstodon.xyz/users/patrick_massot/inbox","iri":"https://mathstodon.xyz/users/patrick_massot","isLocal":false,"last_fetched":"2026-04-19 14:58:17.156Z","outbox":"https://mathstodon.xyz/users/patrick_massot/outbox","preferred_username":"patrick_massot","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnO4O8QGb3xPEh4gSVHk9\nDrprbj4xezhyKvjhIKZljTFfLQJLgOpCwFBRsCUwYCBhH1rvdVbqrZ9JMjCRhHr0\nKYvCcnwhHzpQYKtnuO/BnafwVl3egoZhjPytSR6EOZSb3F0HP66a85yFQGbNbyb6\n/BSwWKhxJuvQMrpnxZ7gJi4pEQjjJXq+mDlrZRdz2B5xCo2jG79j9z5mOlWurI/3\no829p9QyR2DM+I9oJshxDOUigj+/pcBIuz7iFQ+bNWAoF4PXGu9URa/GTaHyPmrT\nOHOlu5h4IGjVjL8QFKMdZgx1lZ4wsgfpYlrwk12bZVA8qVWQls40B+Rvu/TmOI8s\nCwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-15 00:00:00.000Z","summary":"","updated":"2026-04-19 14:58:17.156Z","user":"","username":"Patrick Massot"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-29 02:17:55.391Z","domain":"social.sdfeu.org","followerCount":226,"followers":"https://social.sdfeu.org/users/pkal/followers","following":"https://social.sdfeu.org/users/pkal/following","followingCount":111,"icon":"https://social.sdfeu.org/system/accounts/avatars/115/360/434/448/834/273/original/64ea68500d013688.jpg","id":"e5x36vt6qozpsy2","inbox":"https://social.sdfeu.org/users/pkal/inbox","iri":"https://social.sdfeu.org/users/pkal","isLocal":false,"last_fetched":"2026-04-19 14:58:17.259Z","outbox":"https://social.sdfeu.org/users/pkal/outbox","preferred_username":"pkal","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlgnFWIJN63i3l01kkMk8\nSBt/sdD+zSx9WFuyTUJNbVaZVsp/RIxjvxbcnkOUkluChjiY/b/jkuQmOtZ5wtdc\nO8HQXoubxonVHxWyKIeHJAsatJZJwAus1PuV1eJO6abAPcp4McV++eHWCJIPi9in\n3d1gwR+2a7tP9K6qsrGjL5qemGdrDGnEEITSxPwG0LduTMAOrbTxOlQqsk+ns8RI\n21DdYb671r6ZETY5vntzk+HYm6jpk42AMSRutU2UmC4HFENUZnKOvprBPgUHbSyq\nmHMMFlfyUglp+26osyxlGJiOVMm+KNk2fhJobn1fySVpIgj9WH5XXMmGhf9cBc1Z\nTwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-12 00:00:00.000Z","summary":"

I do computer science, mystery, apologia, repudiation and denunciation.

Academically I work in PL research. As a hobby I work on Emacs with a focus on package management related topics.

What others have said about me:
"[Philip] has many of the attributes of a high-school bully" -- @flogth

","updated":"2026-04-19 14:58:17.259Z","user":"","username":"Philip"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 01:23:23.442Z","domain":"agda.club","followerCount":1089,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":268,"icon":"https://agda.club/media/0685df9a795df0b3bcbe265b50dc1d1378337173b3421508985b026b91c2997c.jpg","id":"33t1t1shxk30cgu","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2026-04-19 14:20:56.130Z","outbox":"https://agda.club/users/jesper/outbox","preferred_username":"jesper","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvxVfryY9wrzaXSLxhu17\nq6FDguwOd3nUaA01T2KP+SRCHodi0k63yMxSNwr3QFR9bxm0OPWNQf51WedJeZaz\nD/i0WErYkU5wG4k6yw0y+mtMwELaeuAQ6WuUUVHwA4u6h90/gQKhfToM3xG1kenw\nkwVuRklhzit4uZOu4h3AQ9i83p0QrMYPPVG9zl7Ch91pb5krUnVvoIjevkJWm1e3\nfTt5PLeBzdmsO/7MN1njBr7Dng/YODLdwGWB3noEx2jPmSLPwUR5lnEa/RueRSUi\nvzueuEjMeJJAynwcy2RXILUi/bSNtKdr9btTOM3BQfNV4ILXq1x9rEBPs3YXhl8j\ntQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":"Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL@AkademieNL.social. I've taken the 🔸10% Pledge (#2542) to donate to effective charities.

Talk to me about:
- Dependently typed programming
- Tabletop role-playing games
- Effective Altruism
- Veganism
- Neurodiversity
- Mindfulness and Engaged Buddhism
- Woodwind instruments (particularly bassoon and clarinet)
- Hiking and landscape photography","updated":"2026-04-19 14:20:56.130Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-10 08:06:08.782Z","domain":"mathstodon.xyz","followerCount":239,"followers":"https://mathstodon.xyz/users/gadmm/followers","following":"https://mathstodon.xyz/users/gadmm/following","followingCount":266,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/726/457/221/933/162/original/98bbe59427917432.jpg","id":"9h14l5wxoqpperw","inbox":"https://mathstodon.xyz/users/gadmm/inbox","iri":"https://mathstodon.xyz/users/gadmm","isLocal":false,"last_fetched":"2026-04-19 14:58:18.045Z","outbox":"https://mathstodon.xyz/users/gadmm/outbox","preferred_username":"gadmm","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq9zAosnhj41Uek6bTOiq\nWrlIcgdWY9mZLdbE9lqGhth7uZzsazp7b8or3q6nG6f/E2HhPTAvwoxYHcrw15No\nh0KAPWUa8iZ4KL+myWgpOX6ssJDr0mkBVdQUaS6mzSCUMeaCA0ojzV3QuYbkHL89\nZM6D4RXElkxsNBDfVGKx4S2WMlAm84IoX+a1qFxU40lwTUsZWCYMXFY6oPIvlSTV\nvFyCjAllmeC3e6QnWnwp+BuhecHGKjdL50sOGblG+mg4hA3I1avNupGssNGSIVrb\nGAdI8tob6v8ElwcrIo1WicCkqAcdkzJ712GKQnb1NIvbKVddVBozNz64WiPyKZR3\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-16 00:00:00.000Z","summary":"

Researcher with the Gallinette team at INRIA in Nantes. Interested in various scientific aspects of computing and reasoning, particularly those related to the Curry-Howard correspondence. I like lindy-hop dancing, running, and riding my e-bicycle.

Semi-professional account:
- professional opinion: posts on the topic of CS/maths unless stated otherwise
- personal (though mostly about science): boosts (≠endorsement), memes, non-public posts, posts outside of CS/maths (rare)

EN/FR

","updated":"2026-04-19 14:58:18.046Z","user":"","username":"Guillaume Munch-Maccagnoni"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 20:28:25.579Z","domain":"fosstodon.org","followerCount":13860,"followers":"https://fosstodon.org/users/ThePSF/followers","following":"https://fosstodon.org/users/ThePSF/following","followingCount":83,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/309/719/616/056/810/original/de2b56465b4943c1.png","id":"l8scguhni3d6s86","inbox":"https://fosstodon.org/users/ThePSF/inbox","iri":"https://fosstodon.org/users/ThePSF","isLocal":false,"last_fetched":"2026-04-19 14:58:18.119Z","outbox":"https://fosstodon.org/users/ThePSF/outbox","preferred_username":"ThePSF","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxn50YOzxyoh9A3OMb2HV\nGiBWlRlJTN2PZwsrlDd76hE6Dtb32ml7uv/xOg5r7to7F9chloYibX/WJDgzegZA\nIbF3SocVJ4EGwl9r+hpBEIgtQmj580MAuVRP1VWA3Zao9lmfD1iJYeqecg25ORH1\n0pNbWZnI+0tDSpkzU+dlmPViqqd6568DdSySSogWio/nMaZMumOxozmUS3FTEvvN\nZGIaQY3oUS9/YPFMIKwSvRUZLGV0IMw2SIPBlYjCxUYCWWWsv+TDImgPVCoCLEOa\nXcColum1wzHLxI0FltO1ESPomvf8tyWUGIDYG0sfpiwUDSkrDOAX+bDATEu6BaoU\nywIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

This is the official PSF account. We promote, protect, and advance the Python programming language, and support and facilitate the growth of a diverse and international community of Python programmers. #python #PyConUS

","updated":"2026-04-19 14:58:18.120Z","user":"","username":"Python Software Foundation"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-27 22:28:22.007Z","domain":"social.bau-ha.us","followerCount":45082,"followers":"https://social.bau-ha.us/users/CCC/followers","following":"https://social.bau-ha.us/users/CCC/following","followingCount":402,"icon":"https://social.bau-ha.us/system/accounts/avatars/000/005/242/original/1c001f0ed28c4aa7.jpg","id":"18m4q30i7zqtxbo","inbox":"https://social.bau-ha.us/users/CCC/inbox","iri":"https://social.bau-ha.us/users/CCC","isLocal":false,"last_fetched":"2026-04-19 13:08:00.628Z","outbox":"https://social.bau-ha.us/users/CCC/outbox","preferred_username":"CCC","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqcgdgJGlQpKC40eeoQiB\nYPq+AIEe0dbyOBW4E70nowaW+r4ILfGqW3wVz/PntGZzTben9IG6GouqLCEfV+BK\nRWgrKszHzVDphDjyMR9wyDqJU2kVNquK+50zvrHNQ941Aeafv/kfy4OQxeuSZJBV\nbgq0x9lXulEuovPIXZifOXxE0oqDbgx3N97uXPseEVudgU5mle3REea044NFzelQ\nwr9tcAVG4zX2B2MpWJKJvU5jXgUFJhO7GNqVg0JIzSvhP4YYlIkzthtTsS4TKUMl\nHl8PvphFh7wUW+qr8iTZFwulv9//eAIArPsiqryBHQ5vNHj9sZzE+m4OhAvxj5ZY\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-06-03 00:00:00.000Z","summary":"

https://www.ccc.de/

","updated":"2026-04-19 13:08:00.628Z","user":"","username":"CCC"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 06:08:15.694Z","domain":"mathstodon.xyz","followerCount":906,"followers":"https://mathstodon.xyz/users/Bob_Coecke/followers","following":"https://mathstodon.xyz/users/Bob_Coecke/following","followingCount":120,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/318/633/329/567/302/original/9dcb85aad79f66ee.jpg","id":"p18b8qxssy7dtkq","inbox":"https://mathstodon.xyz/users/Bob_Coecke/inbox","iri":"https://mathstodon.xyz/users/Bob_Coecke","isLocal":false,"last_fetched":"2026-04-19 14:58:18.167Z","outbox":"https://mathstodon.xyz/users/Bob_Coecke/outbox","preferred_username":"Bob_Coecke","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoPMg4nJh7+/N4XLcqh5Y\nklff9eD7Uv+Yu/jjthBXcvQl37ki1J1Yy2JUhCYWXIbBB5cXAmUIQQ8Y0sBeRSFq\nbMmEiV5GANjcDPkPk/wco5gw4Ls9f0bvc9RK17DghlVJ/MB3W5mxQF/2OX5JWHpo\nD4s2XpZgMpz2aa3cixxXn0z4nrR8DlOfuZckzg1sgkkO9GcVigmL7/1WXHQt2diE\nqKY4kY3a3foCJHDOhzK6+HO1+cwpNm3AqGSEcvReweTbTnolWJzKCIsoXZAbSv11\n7hMgKlWmfnLGTMh5pFXOqmkQRqF4K5T28zQicsceAmfBrit78GqgdEKFcOGXpyzz\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-10 00:00:00.000Z","summary":"

Chief Scientist @ Quantinuum
Ex Professor @ Oxford University (CS)
Emeritus Professor @ Wolfson College (Ox)
Distinguished Visiting Research Chair @ Perimeter Institute
Composer/musician @ Black Tish

","updated":"2026-04-19 14:58:18.167Z","user":"","username":"Bob Coecke"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-04 11:33:09.775Z","domain":"mathstodon.xyz","followerCount":110,"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":"oyqyneu1esef5uk","inbox":"https://mathstodon.xyz/users/quiver/inbox","iri":"https://mathstodon.xyz/users/quiver","isLocal":false,"last_fetched":"2026-04-19 14:58:18.204Z","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-04-19 14:58:18.205Z","user":"","username":"quiver"}],"page":1,"perPage":10,"totalItems":10,"totalPages":1}

Benedikt Peterseim

Following