{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-28 19:17:23.687Z","domain":"mastodon.acm.org","followerCount":0,"followers":"https://mastodon.acm.org/users/mspstrath/followers","following":"https://mastodon.acm.org/users/mspstrath/following","followingCount":0,"icon":"https://mastodon.acm.org/system/accounts/avatars/111/782/162/022/965/509/original/7a2ffbad571da7fb.png","id":"rkcx072774xkv6h","inbox":"https://mastodon.acm.org/users/mspstrath/inbox","iri":"https://mastodon.acm.org/users/mspstrath","isLocal":false,"last_fetched":"2025-08-01 23:36:14.683Z","outbox":"https://mastodon.acm.org/users/mspstrath/outbox","preferred_username":"mspstrath","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxW3bZtFytNcG82/y6UFH\nX7Wg/Z3FUUyMY+PuxMxQ/QPknW2w/pCoixYdn/KkswXLqOaLAyzo5Eu4I3Tn/ede\nx6lPirJOCFeYA98O6QJfLQxah2PXziGf7kNTuXFFuQWyGzVdmvwVSd5yClBMGQcW\ngzCxHNhWaqSxmeHDRQLlflsSkDRp72WpZedz9iSRx4SLWAEwBvtSP2fbrfqxutCU\n2JkaNv0zpWgBwWswJN6lkCOeW4zcX19lh2SlVnKZTUG+rQd7tigmzEwZQXZav3my\nd1OhbVLUuhPrfHaFA3dmuBT7DfjLfWganFIN36GnupcVIh4sw/UoWnSOtOQYaka8\nVwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-19 00:00:00.000Z","summary":"

Mathematically Structured Programming group @ The University of Strathclyde

We are interested in type theory, category theory, and how to stop seeing them as different things.

Toots by @jfdm && @dylan &&
@dilsatby

","updated":"2025-08-01 23:36:14.685Z","user":"","username":"MSP Group"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 00:31:08.427Z","domain":"mathstodon.xyz","followerCount":1932,"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":"82ffn64m3136psj","inbox":"https://mathstodon.xyz/users/andrejbauer/inbox","iri":"https://mathstodon.xyz/users/andrejbauer","isLocal":false,"last_fetched":"2025-08-01 23:36:14.816Z","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-08-01 23:36:14.817Z","user":"","username":"Andrej Bauer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 09:12:55.525Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ohad/followers","following":"https://mathstodon.xyz/users/ohad/following","followingCount":0,"icon":"","id":"sk7y8fc9174y635","inbox":"https://mathstodon.xyz/users/ohad/inbox","iri":"https://mathstodon.xyz/users/ohad","isLocal":false,"last_fetched":"2025-08-01 23:36:14.856Z","outbox":"https://mathstodon.xyz/users/ohad/outbox","preferred_username":"ohad","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArjMhAQbCW/Jblx8lt0wa\n8lz/ZN7+gV1GnJD7kSQdiha3AvhJQqom59ebn0doPCyBPSTJx5Nb5dYUKTBxiMGQ\n6CPsdStx77HSfLh2hD/RsseW+pFSreuYVeIx7jcfbZptGNdS1mw5tZcvZ7DzSCHU\nHFyNKLvvTMRgmyl986gExTB6GXp+v3pap2pqOXiPswicUKrHhsTaSFZ2xiISsmFB\nGGC4piu3fBXTzdtUo5PGcZcWuEb32mJK9H8jXqfITY8CibLkr9dPtlKzkoDXIChy\nizy+8Dlm9t77j20u8dRsECY6We+meVxwtxsZLEKu3L9J+DNRlLqqSrhZQEj3+s07\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"","updated":"2025-08-01 23:36:14.856Z","user":"","username":"ohad"}],"page":1,"perPage":10,"totalItems":22,"totalPages":3}

Danel Ahman

Following