{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 05:36:01.719Z","domain":"mathstodon.xyz","followerCount":1929,"followers":"https://mathstodon.xyz/users/andrejbauer/followers","following":"https://mathstodon.xyz/users/andrejbauer/following","followingCount":110,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/280/390/386/165/034/original/253df699fe914f81.jpeg","id":"rvf47s8ll68e3fv","inbox":"https://mathstodon.xyz/users/andrejbauer/inbox","iri":"https://mathstodon.xyz/users/andrejbauer","isLocal":false,"last_fetched":"2025-07-24 04:33:48.206Z","outbox":"https://mathstodon.xyz/users/andrejbauer/outbox","preferred_username":"andrejbauer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxIFr/0sftehAweJM7ONu\nrg+QY95/clSKXZSXLXEP5TNVFUMrwp9/zA0gjSj2OOM3f2Hpn2Vow4yV19gplJb1\nEACa/KBA4MX8cPA8a8ze8cPmoyFBSXpwRKHcyFXAjr6kUVM+aWu66qav7GhgquCQ\nboR/gEEoja+2Js/1f4CNDcKETdA0lmuTtAyLUIeUH/sCq8EexsDve6mm0BFfffV8\nIJSx8bEEE67W3IbS349DDVWcFhl7bZ28hfb/UzdtyEZxpoeNWp4R/gfRpK4MY4w2\nu8jy4aruh4zZGuvroTz1ehLV5fxhbNW0njuSaT3jqa4tpD+/SJl/VXKakUzMgXGU\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Professor of computational mathematics at University of Ljubljana, Slovenia.

","updated":"2025-07-24 04:33:48.206Z","user":"","username":"Andrej Bauer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 14:26:34.944Z","domain":"mastodon.social","followerCount":2328,"followers":"https://mastodon.social/users/pervognsen/followers","following":"https://mastodon.social/users/pervognsen/following","followingCount":345,"icon":"https://files.mastodon.social/accounts/avatars/000/523/512/original/f41d1d4bf379077f.png","id":"6x5691jze42s5up","inbox":"https://mastodon.social/users/pervognsen/inbox","iri":"https://mastodon.social/users/pervognsen","isLocal":false,"last_fetched":"2025-07-24 03:18:45.459Z","outbox":"https://mastodon.social/users/pervognsen/outbox","preferred_username":"pervognsen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA088I6TgGFAm3F0ynPd+B\nOTi0lAVsnPs6S1h/WFSoPVG1WBfvc7ZyErQi98QdQeJYTquezcbgcSgcdIYUkYC2\nPLxUOGcepS7HCif9LkzU0Rpm4QCGhJBCzoOBzMA+EivZuJDXaNid/1j/Mrf/1PLK\nT+CZn1cKGUFTgHtn9hbeNyyr6XW2+nqMpc25eS+5hffsPl2tkYtX/FNdXatamYeu\nBubIA7SAfWuGb+hEvnYU+PrIaDwk9xYViCIxfBO8XlF5QmfrfOMGQi8uTNYYwN8v\nQhZ0ZRybgcKBrdavh9RVoHoiwpIqAxX14h6FOCvcXdRDqOVkXrui758tlZ3Mcc3d\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-09-11 00:00:00.000Z","summary":"

Performance, compilers, hardware, mathematics, computer science.

I've worked in or adjacent to the video game industry for most of my career.

","updated":"2025-07-24 03:18:45.459Z","user":"","username":"Per Vognsen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 04:07:04.005Z","domain":"mathstodon.xyz","followerCount":200,"followers":"https://mathstodon.xyz/users/ecavallo/followers","following":"https://mathstodon.xyz/users/ecavallo/following","followingCount":68,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/370/069/239/586/021/original/7c05af7ae01f01c6.png","id":"i0h0l51r99k1g84","inbox":"https://mathstodon.xyz/users/ecavallo/inbox","iri":"https://mathstodon.xyz/users/ecavallo","isLocal":false,"last_fetched":"2025-07-24 04:33:48.239Z","outbox":"https://mathstodon.xyz/users/ecavallo/outbox","preferred_username":"ecavallo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3naHyQYGx2MOOHVquVvU\nE96oVhPSB7n5Vv057Z1shKe6LrA4iil8I5Y/nYlfKkayG9Mc4F2cSqWCbH1JXAVG\nYg2fqbwLaT0bLzqFYD1f3YRF8CoLznKtklAhenmZuSmsYfMrrjKsPL8qOEqyQnCf\nxsrbkR8fX7LiekElCE9BEuFdVW3AZ6GD4YLT3mYkFW/DadDs43jo6Ttnoxv8Va5I\nNpI31QiWC4cnjpOq9xpXfzc558kcVZX5iqDX61pWC7gM9PfN2AfJ3dBsPtpgXlOH\nq6TvHUiSSVsYYJL0sNtxdxgnB2/JsYXrsRQ/Fvah+KUEjG7YnRS72KEEiLNEG8BN\n7wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"

Postdoc at Göteborgs universitet. Types + Cubes

","updated":"2025-07-24 04:33:48.240Z","user":"","username":"Evan Cavallo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 17:12:55.286Z","domain":"mathstodon.xyz","followerCount":507,"followers":"https://mathstodon.xyz/users/de_Jong_Tom/followers","following":"https://mathstodon.xyz/users/de_Jong_Tom/following","followingCount":181,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/253/658/214/755/764/original/ff03bf2676a53c78.jpg","id":"9l2x1hytewmxw77","inbox":"https://mathstodon.xyz/users/de_Jong_Tom/inbox","iri":"https://mathstodon.xyz/users/de_Jong_Tom","isLocal":false,"last_fetched":"2025-07-24 04:33:48.274Z","outbox":"https://mathstodon.xyz/users/de_Jong_Tom/outbox","preferred_username":"de_Jong_Tom","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp+MeS+d0E5IEXlj5LKNK\ns7+zX1BAwJVT9PT2V9rN2s69iVHqkMzapIWALmhH67lKqWpj/LBX/zph5PNh5SaE\nUjkXBYD97LK6qNgoG1FxwzwdFc695YxroJJ3wsJ1wepJh4YCjdQF2tVGa8hoP89T\nLbSoByb94s560sw0f+y6HU5F7Fy9DgjxPs7FiRgd+A6TnerF57eGuAU2DJgc7Bnb\ngyVtxcZ6PTd7wEDpnJSQQ0kwcSwnzISROBEC3Blu1cxLf5j1gr1SaeLQHoPgmO+d\nHYZls3U40/4aRMBLuWNxzy3MdIb008e2FAsnxaCFrbY/FWAFXQfAQQmF2RKX+MnR\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.

","updated":"2025-07-24 04:33:48.274Z","user":"","username":"Tom de Jong"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 16:57:15.431Z","domain":"agda.club","followerCount":990,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":232,"icon":"https://agda.club/media/34f00d6e-8a8b-46fb-909d-dbed9d9b4eef/IMG_20230329_203832_591_crop.jpg","id":"in3x4cr8y5i7nb9","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2025-07-24 04:33:48.365Z","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
- Playing bassoon and clarinet
- Effective altruism
- Climate change
- Neurodiversity
- Mindfulness
- Creativity
- Hiking and landscape photography","updated":"2025-07-24 04:33:48.365Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 10:44:56.901Z","domain":"mathstodon.xyz","followerCount":1705,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":467,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"r1866528xya1888","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-07-24 04:33:48.398Z","outbox":"https://mathstodon.xyz/users/jonmsterling/outbox","preferred_username":"jonmsterling","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm18NePJ6kVDLzMmmgKCY\nKQCt2aPrbB43Wg6PoLE8xrnY/fhK/9ENI38gyLkjZhpb4UqPpuKl8Kb+FkBqzDOu\nqjjpnNDJaBJolfewfmFnUXV7QvCQ0tmncw+vset106zNbZ5s9bOUQ41sUvJIs3Rg\nJrltGLHqw3RdgviVIE2quiIeevbAoB4Q/bEVUNP1pIrRFaE9q2/yvvtaHD/LFoTS\nU8S4nQFs9NAiZADZFsmuk8mxb2F7laUtUOO0D7qkpdME8E0qLI+VpJVK3iWSDI7C\nBSs5Pa+Bm7OTZl8+EqpRJnBreEGGBw4zHq7/bxwdBwuGrnpKuQRPn589fpwmEOYF\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

I like categories, domains, and vintage computing.

","updated":"2025-07-24 04:33:48.398Z","user":"","username":"Jon Sterling"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 04:07:34.097Z","domain":"mathstodon.xyz","followerCount":110,"followers":"https://mathstodon.xyz/users/jacobneu/followers","following":"https://mathstodon.xyz/users/jacobneu/following","followingCount":75,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/953/800/739/556/319/original/09203b74c7711cad.jpeg","id":"wz8iv06377t7ebc","inbox":"https://mathstodon.xyz/users/jacobneu/inbox","iri":"https://mathstodon.xyz/users/jacobneu","isLocal":false,"last_fetched":"2025-07-24 04:33:48.430Z","outbox":"https://mathstodon.xyz/users/jacobneu/outbox","preferred_username":"jacobneu","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApNZVtuclurHmTVKQGWco\ngaT8krPZ40HIcmfdcjKu5Je4ioiTuReor2JVroqJGoq1TpSblUAMb/ht3wx2eG3a\nkXj7y2XnYsf4QCVG3d6dvY0TqQ48zSu+2mVDwzuC6m97xCLLpetXO15CRlsA1xxf\nO3tgr/C9Q52Q6MArx3MHpuCEe6cvOYcXm894DoVBUZDkAPuCsYZXEjp8ijlcXbdG\n/gDEsXdpNQh5EseURpImcOeypeZnP6xDWLEYk2oI30tX4hB5Q44yHEktVNwXqbPq\nhvgg4lZfhXXtvu66MNyeuvEGDzqKXXaTgSo8k3fFHT+02jTqNietVDFa8jK7W5wu\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-18 00:00:00.000Z","summary":"

Ríkjafræðingur og gerðafræðingur at Reykjavik University
Previously a PhD student at Uni of Nottingham
Lover of bright colors and spicy foods
Has been known to sporadically create content

","updated":"2025-07-24 04:33:48.431Z","user":"","username":"Jacob Neumann"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 08:42:46.357Z","domain":"mathstodon.xyz","followerCount":9425,"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":"5ms7hrx614bc6hb","inbox":"https://mathstodon.xyz/users/standupmaths/inbox","iri":"https://mathstodon.xyz/users/standupmaths","isLocal":false,"last_fetched":"2025-07-24 04:33:48.461Z","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-07-24 04:33:48.462Z","user":"","username":"Matt Parker"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 04:07:34.126Z","domain":"mathstodon.xyz","followerCount":486,"followers":"https://mathstodon.xyz/users/danielgratzer/followers","following":"https://mathstodon.xyz/users/danielgratzer/following","followingCount":166,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/347/460/237/678/866/original/fe1b63e2b580975b.jpg","id":"ybngl4w4gfx4a7b","inbox":"https://mathstodon.xyz/users/danielgratzer/inbox","iri":"https://mathstodon.xyz/users/danielgratzer","isLocal":false,"last_fetched":"2025-07-24 04:33:48.495Z","outbox":"https://mathstodon.xyz/users/danielgratzer/outbox","preferred_username":"danielgratzer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtoCR+Cf9KOXg93ijIjse\n9Lx0S9ArGsljMyDe+ovl/zmbUIF248uGiXMfSUHCDkbqYUklge84qqUX/TinIVI9\nbziw5lWZAVcxmb9n68Li/JKv+N6hbuqOIF6Kjg119M8NXijYTlIkVckyszl2sOEp\nBmcqVvjNBF12LvulCGaXQRbUaRKD988sJREnSDDFPACG1nHa/A3WhMuJ7Lb2RJiv\n9xmQV575mGkjHPVOqtxUwmnRdXrNFzq4ZNZTtoFg35p3SdXZGqfPQDA2fm7MXfHf\ntZWQoFdAsDApp5LG9n2KqANKxMNiJHJtK78QIEOddKr8vkoV2lGx0Rj7Xi0Sh75o\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

assistant professor at Aarhus University interested in (higher) category theory and (modal) type theory. he/him 🏳️‍🌈

","updated":"2025-07-24 04:33:48.495Z","user":"","username":"daniel gratzer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 18:49:12.472Z","domain":"mathstodon.xyz","followerCount":3428,"followers":"https://mathstodon.xyz/users/MartinEscardo/followers","following":"https://mathstodon.xyz/users/MartinEscardo/following","followingCount":115,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/248/389/055/834/156/original/34545437c59a4b2e.jpg","id":"5318u7674hh4848","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-07-24 04:33:48.940Z","outbox":"https://mathstodon.xyz/users/MartinEscardo/outbox","preferred_username":"MartinEscardo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx2ac5rQZjJp6kxBwN3VY\nEWpZIkA7UCG9zUfkN0tW8eOLE3E2yy1p7eOkx7HhSMLc/RnERnimAS03ssGYh7oO\nwZtuajZ+Bwwt8ua538opKgfzsEgbco1G27LSdcSn/TeN6TvDpikLiP5zeQIOfqR1\n59m3ahULsm2ijD7g79uJwZb8x5PggqUc8BiGzBGk7SX75ISyngSG7vDwfKF/xF02\nIHnj4d+8hlJHTBpozcv/rHJdTnjr/NBauEjPwVM2KCtus5KJRCy686NO2RMvpxaT\nAYtLKSK/4/eqakkY3mkkUFl9DSErcgClfcC/a015pFQSs1uhY23mmA1bof2fU6gf\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more.

","updated":"2025-07-24 04:33:48.940Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 06:18:32.421Z","domain":"social.rust-lang.org","followerCount":11605,"followers":"https://social.rust-lang.org/users/rust/followers","following":"https://social.rust-lang.org/users/rust/following","followingCount":0,"icon":"https://cdn.masto.host/socialrustlangorg/accounts/avatars/111/250/853/473/809/020/original/e761c85205588b37.png","id":"ogyv37yvv9707f6","inbox":"https://social.rust-lang.org/users/rust/inbox","iri":"https://social.rust-lang.org/users/rust","isLocal":false,"last_fetched":"2025-07-24 04:33:49.058Z","outbox":"https://social.rust-lang.org/users/rust/outbox","preferred_username":"rust","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvn8jhVmmTHqMEWoV1FQ2\n+S6n42MjeTBTKtAUP1u0jjHEYNgvEBqm8Wjgfl47oqUMzHZ2pQKKg1uHsNPoDcQv\nz5RDCMEWQn/Vi1JZnt3xwhBtlD5hbpJmV+b+RnOW8rdu249cNYRnTcivcJhjOGsD\ndkUeTmNpMDVYQbCPxpumRuCRB8qtzIqsAybkxsC4BwaUSYvW3XPcLLotm5cVPfZu\nzojVVfYOBDaOiJ07Rexq4nqh2VpLnnziIUlk0wi0fkKXUZpuZShgr0bZcrqbfeJy\nVhadSXpsf5nPBVGXGA6kabU+VBZzuUbUzdmulfhbnaiyApRcERosCtBTWqAFha2S\nUQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-17 00:00:00.000Z","summary":"

A programming language empowering everyone to build reliable and efficient software.

","updated":"2025-07-24 04:33:49.058Z","user":"","username":"Rust Language"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

Naufal Alauddin Hilmi

Following