{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-25 17:03:04.659Z","domain":"mathstodon.xyz","followerCount":2119,"followers":"https://mathstodon.xyz/users/andrejbauer/followers","following":"https://mathstodon.xyz/users/andrejbauer/following","followingCount":117,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/280/390/386/165/034/original/253df699fe914f81.jpeg","id":"bpn0ijgfyndnn87","inbox":"https://mathstodon.xyz/users/andrejbauer/inbox","iri":"https://mathstodon.xyz/users/andrejbauer","isLocal":false,"last_fetched":"2026-03-02 01:46:35.506Z","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":"2026-03-02 01:46:35.506Z","user":"","username":"Andrej Bauer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-26 22:16:57.815Z","domain":"mastodon.social","followerCount":3451,"followers":"https://mastodon.social/users/shriramk/followers","following":"https://mastodon.social/users/shriramk/following","followingCount":739,"icon":"https://files.mastodon.social/accounts/avatars/108/262/011/720/829/669/original/21d7b109c09f7c06.jpg","id":"bvkg7k2ar6q41hx","inbox":"https://mastodon.social/users/shriramk/inbox","iri":"https://mastodon.social/users/shriramk","isLocal":false,"last_fetched":"2026-03-02 01:46:35.594Z","outbox":"https://mastodon.social/users/shriramk/outbox","preferred_username":"shriramk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu0RCMvnQyQz1MGEj+W44\nCpbS6TayqZm5gzPD7DBtvvkNp6AkQAjS1PrnfUgQqsvEQgZDWNp0cbp+72/x8i8A\nWRTd+++Zx+iVB2lLLFl6dUogpDVLvMaQ3hf40AcRQmbrqjEuamUBgs2mONY9lYkr\nrsykejMVewI0iI8Yn11z6id/5/UQaK1S95tNypzRZ4l1TlkR01t8i/hhJIrH86PY\nMUHtvePbqGDUIBCTPCF+D32pITYXqUF8a8n+mjrbNpH4oCEpfm3tCO4PJB7hpga5\noWY7mVGapoOuVM9y9f8TaN67kfF21VlHYDJMktLW96k++sSSYYdTypY2DziYEtsK\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-07 00:00:00.000Z","summary":"

Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket

I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.

See https://mastodon.social/@shriramk/109302532598801863 for longer #intro.

I wish to be searchable by tootfinder

","updated":"2026-03-02 01:46:35.595Z","user":"","username":"Shriram Krishnamurthi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-23 14:44:04.367Z","domain":"agda.club","followerCount":1091,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":266,"icon":"https://agda.club/media/0685df9a795df0b3bcbe265b50dc1d1378337173b3421508985b026b91c2997c.jpg","id":"yywumeko90ezsmk","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2026-03-02 00:04:21.133Z","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
- Veganism","updated":"2026-03-02 00:04:21.133Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-26 05:55:30.065Z","domain":"amok.recoil.org","followerCount":1058,"followers":"https://amok.recoil.org/users/avsm/followers","following":"https://amok.recoil.org/users/avsm/following","followingCount":247,"icon":"https://amok.recoil.org/system/accounts/avatars/109/297/691/357/470/174/original/fb1a0ae1bc29cd8d.jpeg","id":"k5u138wug08bkw9","inbox":"https://amok.recoil.org/users/avsm/inbox","iri":"https://amok.recoil.org/users/avsm","isLocal":false,"last_fetched":"2026-03-02 01:46:35.720Z","outbox":"https://amok.recoil.org/users/avsm/outbox","preferred_username":"avsm","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvlhBB6bv0waF0ZcMWsGq\nbjmRcCPTIYtDT97CRjTilBFPgjffwBGy05SjrWO7v66P0ZKV0hvOjakh75OQuToQ\nkeQVEZiqKxIH9vSB2CubvoUnBsJGkc9RoGjrrclbn1WLqUU/N8WruRHow9AX3/RF\naQsFOX+pvpHKiw7QUnKXMlLJNVHXhjVBYqSV3/ac3lnUuUzwLxfRvGvwvc3PhamS\n6kiUBtlTFUZgxq/cs1sAEzKgPNg1ZD/w4kPaOeL7bdYMTgh3rypHfPKFcSC3ELZ7\n2vov9aKuqo/fV90JmGvjSo8NNGFywAoMpZWmanK+WSF5M/pXUrsQhFsgowEelzGL\nzwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

Professor of Planetary Computing, University of Cambridge

","updated":"2026-03-02 01:46:35.720Z","user":"","username":"Anil Madhavapeddy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-27 10:23:14.734Z","domain":"mastodon.acm.org","followerCount":79,"followers":"https://mastodon.acm.org/users/icfp_conference/followers","following":"https://mastodon.acm.org/users/icfp_conference/following","followingCount":1,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/425/511/623/960/578/original/b2932e1b4b04c719.webp","id":"elcocpd4y9325dt","inbox":"https://mastodon.acm.org/users/icfp_conference/inbox","iri":"https://mastodon.acm.org/users/icfp_conference","isLocal":false,"last_fetched":"2026-03-02 01:46:36.260Z","outbox":"https://mastodon.acm.org/users/icfp_conference/outbox","preferred_username":"icfp_conference","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsLIlRY/hp+OVfyoOVHsW\n804hZSm11wHiO7u8eUGOvRYvKFaR1Z87Bp3vJurCcrXLGCRClTGnvyLzh7rFDSr7\nHaX3ENwnHmcwGnZ/BkVGxH5rdLGuwwOM2++1/RHeVw5fJwqYCkq00cRWTX+OItqg\nh/331QS9azdWemcoFYm6Pm0BnPOmoI3agHgdTl9XQrLll50HuZMNpIjlZd9KcYVI\n7Kv6DCVs+nCbFGTz/sHfWERYPnmWA2m/FnHQYOMNOzwpA4/47v/nsBjGAx4Erz7I\nAvGG621STmFKEoCyKJuopfO4x3/Q6WXxTQW+AkY8shtRBXOF7CtXwZcwGVAJzStF\n3QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-04 00:00:00.000Z","summary":"

ACM SIGPLAN International Conference on Functional Programming. Toots by discuss.systems/@shwestrick

","updated":"2026-03-02 01:46:36.260Z","user":"","username":"ICFP Conference"}],"page":1,"perPage":10,"totalItems":2,"totalPages":1}

Alina Banerjee

Following