{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-09 08:42:34.061Z","domain":"mathstodon.xyz","followerCount":74,"followers":"https://mathstodon.xyz/users/vc/followers","following":"https://mathstodon.xyz/users/vc/following","followingCount":136,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/633/282/595/123/680/original/f019321e8523496c.png","id":"02vszi56us92pa4","inbox":"https://mathstodon.xyz/users/vc/inbox","iri":"https://mathstodon.xyz/users/vc","isLocal":false,"last_fetched":"2026-04-19 08:53:00.433Z","outbox":"https://mathstodon.xyz/users/vc/outbox","preferred_username":"vc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwCfLKaPMCOm9tush2Nnm\n9HI8DNrx7x1hvDEYArYzs9lv3MH1lAs+7ZnK7mBQZLi7894KLdtXTq0nqJBNP0RT\nBBO/FA+AnqvR7P6eG3yygDIpvAkPw5fz8uLWc7UlYtv+m1a1R3anmlcnMrHIgwGq\nHbHEz8bZsvjrCzUIoX55gsoQJIYNI++kOzpqwMyPeRtz2/AWzs0u+1UwR33O07mf\nCyH3IJuVLFxu89zxvzjk/Qr8yhWaFYz+X+x4sa2Qo0e8GURmTOj/xA8DMo3a9gDr\nP7awNzLoUsZMnSbjJZyuwSM4x3PPcX/FZXM6l+am76q21/+Ff/oKBka+VDoJeLAP\nSwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-04 00:00:00.000Z","summary":"

Chancellor's Fellow (Lecturer) in MSP Strathclyde. I like category theory, type theory, logic and semantics.

","updated":"2026-04-19 08:53:00.434Z","user":"","username":"vikraman"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-09 08:10:05.005Z","domain":"mastodon.acm.org","followerCount":250,"followers":"https://mastodon.acm.org/users/mspstrath/followers","following":"https://mastodon.acm.org/users/mspstrath/following","followingCount":30,"icon":"https://mastodon-acm-org.s3.bhs.io.cloud.ovh.net/accounts/avatars/111/782/162/022/965/509/original/7a2ffbad571da7fb.png","id":"s71894gv5kpaiq3","inbox":"https://mastodon.acm.org/users/mspstrath/inbox","iri":"https://mastodon.acm.org/users/mspstrath","isLocal":false,"last_fetched":"2026-04-19 08:53:01.489Z","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":"2026-04-19 08:53:01.489Z","user":"","username":"MSP Group"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-04 10:47:11.197Z","domain":"mathstodon.xyz","followerCount":2135,"followers":"https://mathstodon.xyz/users/andrejbauer/followers","following":"https://mathstodon.xyz/users/andrejbauer/following","followingCount":116,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/280/390/386/165/034/original/253df699fe914f81.jpeg","id":"9h4fedz3dv678eu","inbox":"https://mathstodon.xyz/users/andrejbauer/inbox","iri":"https://mathstodon.xyz/users/andrejbauer","isLocal":false,"last_fetched":"2026-04-19 08:53:01.528Z","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-04-19 08:53:01.529Z","user":"","username":"Andrej Bauer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-29 02:46:54.961Z","domain":"mathstodon.xyz","followerCount":338,"followers":"https://mathstodon.xyz/users/ohad/followers","following":"https://mathstodon.xyz/users/ohad/following","followingCount":269,"icon":"","id":"v8y4ua3zqrumtkp","inbox":"https://mathstodon.xyz/users/ohad/inbox","iri":"https://mathstodon.xyz/users/ohad","isLocal":false,"last_fetched":"2026-04-19 08:53:01.568Z","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":"

I'm not sarcastic.
Don't read between the lines. If I didn't write it, I didn't mean it. Best to ask if I meant it!

","updated":"2026-04-19 08:53:01.568Z","user":"","username":"ohad"}],"page":1,"perPage":10,"totalItems":29,"totalPages":3}

Danel Ahman

Following