{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 01:11:17.486Z","domain":"mathstodon.xyz","followerCount":304,"followers":"https://mathstodon.xyz/users/ohmygoedel/followers","following":"https://mathstodon.xyz/users/ohmygoedel/following","followingCount":260,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/287/798/original/e7412424c5ce2f02.jpg","id":"lnr3zwuje86469e","inbox":"https://mathstodon.xyz/users/ohmygoedel/inbox","iri":"https://mathstodon.xyz/users/ohmygoedel","isLocal":false,"last_fetched":"2026-01-31 03:56:52.583Z","outbox":"https://mathstodon.xyz/users/ohmygoedel/outbox","preferred_username":"ohmygoedel","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv1PMwYEilO2hPR99elfL\nnuXRgdQKnJ0LaB5xafVq6XBIUv6b1ooIz8O3oCLgT7Xye4XC3kaUGQAkLlVMxRN9\nZpeMAy4OEqlGxOgt5X0EGPOtq8Kp0cQggQvP3DV3JiucdSFRv9sNbPD4pztO9xtB\nS6raZ8aLvf7Xq5VQ5/rxLl28mxzAOKBmTC0Mz48A8T9Yo69LMX6c21JOdYqjJHVS\nUXaQxGkTW/UskWGjHx6MI7sn9HAymsFP4/zPV35aIs9uE4aSozEm6/KsDHiEzVZF\nZ8Ea6vt2gxJdY2241rgmijk7FT3lm9kCqQZPBNHiiyH3aDOVcRTM7omOuoR8zWtL\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-25 00:00:00.000Z","summary":"

I enjoy the proof-theoretic and categorical aspects of human knowledge. [Pronouns: He/Him]

","updated":"2026-01-31 03:56:52.583Z","user":"","username":"Gödel-Gentzen Translation"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-17 02:38:48.249Z","domain":"mastodon.acm.org","followerCount":242,"followers":"https://mastodon.acm.org/users/mspstrath/followers","following":"https://mastodon.acm.org/users/mspstrath/following","followingCount":30,"icon":"https://mastodon.acm.org/system/accounts/avatars/111/782/162/022/965/509/original/7a2ffbad571da7fb.png","id":"xhcwvsndncmydig","inbox":"https://mastodon.acm.org/users/mspstrath/inbox","iri":"https://mastodon.acm.org/users/mspstrath","isLocal":false,"last_fetched":"2026-01-31 04:45:24.199Z","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-01-31 04:45:24.200Z","user":"","username":"MSP Group"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-14 01:48:43.438Z","domain":"mathstodon.xyz","followerCount":1101,"followers":"https://mathstodon.xyz/users/emilyriehl/followers","following":"https://mathstodon.xyz/users/emilyriehl/following","followingCount":44,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/292/617/620/227/231/original/e01e739b1fcf160e.jpg","id":"1b893h1pqramry7","inbox":"https://mathstodon.xyz/users/emilyriehl/inbox","iri":"https://mathstodon.xyz/users/emilyriehl","isLocal":false,"last_fetched":"2026-01-31 04:45:24.237Z","outbox":"https://mathstodon.xyz/users/emilyriehl/outbox","preferred_username":"emilyriehl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyKPUTTeToYOvGH7CUGMg\nHtJpfM3Gd1NlOX8aUGE3G4/PTgPiN9DwyRBW0xofpXOjES8juDhcJlOQtSR26Rhx\neCOiJ1W44UzwX4IhKAZY9SFwq49TagknZgG3gezvaQbSivuLtndN2mO9rxavokFq\nxKg2JeJsnqkK1o0h8Hk+eQnwB5Y+n3TDtYGKTl56v2FZDzcoW9PmCc++F61alslr\ndaCR/XM6fniN3zhTdJoov/sANggqtfKoL8bAIWf83h5e8p82+z6cNNDCr+77CyfT\n+GnfOb7B82K6YqqUush+YZNDtMDeOvpq9hrmFyL30ocJj0WfjpifDRhMHaj25Px7\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

category theorist, working mathematician

","updated":"2026-01-31 04:45:24.238Z","user":"","username":"Emily Riehl"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-31 04:45:24.275Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mabeltree/followers","following":"https://mathstodon.xyz/users/mabeltree/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/284/246/961/454/467/original/88c8f099f6a27868.jpg","id":"d7bwc088xabieyc","inbox":"https://mathstodon.xyz/users/mabeltree/inbox","iri":"https://mathstodon.xyz/users/mabeltree","isLocal":false,"last_fetched":"2026-01-31 04:45:24.275Z","outbox":"https://mathstodon.xyz/users/mabeltree/outbox","preferred_username":"mabeltree","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt4FauN/sOGRXCyxbWVew\nKLACSQVGVr96J0QXlJLV67hHE+ZCJ3pm5zBjZfiBBDLdgzYcjSxGemGDFlyDud17\noYt7h4kw/0ipuXEvR5L1Ll6M5EJzy0vPLZLeWytpek+RjbvBVC3sG6Zu+SsMq0fk\n37ZMtzPhwof6WtaztT2ZhTR3ZsWAf2u1WGvn7u398ZtU/qXAzR6ERxwNtpRhwmkq\nqaV/zuXHR/0N53zV+U/ERoOQypBVPeIpNshq3/ICxsE7ykVP+xZLCCrEW8K3Bh3B\nM/vLQqc36uITsyBB/I8I/Mt+pXRkaWGrMKlcrhmSDBFYzasNA3Gc84sBij1VYSbw\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-29 00:00:00.000Z","summary":"","updated":"2026-01-31 04:45:24.275Z","user":"","username":"Mabel Najdovski"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-31 04:45:24.309Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/lunarStarlight/followers","following":"https://mathstodon.xyz/users/lunarStarlight/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/380/476/863/199/770/original/907ad7735d518fcf.png","id":"n0y7o8psovz92qt","inbox":"https://mathstodon.xyz/users/lunarStarlight/inbox","iri":"https://mathstodon.xyz/users/lunarStarlight","isLocal":false,"last_fetched":"2026-01-31 04:45:24.309Z","outbox":"https://mathstodon.xyz/users/lunarStarlight/outbox","preferred_username":"lunarStarlight","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwuobJf6OYo1RVDck50Pg\nJiQ1fkQWr51Pro93b41/PZhu/WAtuSks+G8EiyucxzI5NOsxib7aFxwuNb4Xfg5M\nx0xhvIIxbS7oimRwaZ/toz//qELvD1zOoZTWRB07S+KxaqQ5Ywq/K4ylGgfSZXr7\njWmRmyF6m1pNtNCQH5eR8TVirhfoX76mwFNTwNOUr/hmjg75EC7Cw9gxBqrkNPdF\n3E/GZoFjmoa0zSiBYe3hLt/942hhJE4raCgEH0ky87swzZCuNq3a+BFGQogB99cB\n19K0QhlhuWazlBTxGkJOTg1T+EcIsF7GtsekXzSmC7AU8fIcczPHphI/8UJDkWwr\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-05-16 00:00:00.000Z","summary":"

Master's student at Ljubljana

","updated":"2026-01-31 04:45:24.309Z","user":"","username":"Luna"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-13 19:17:37.378Z","domain":"mathstodon.xyz","followerCount":2013,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":526,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"s83k4ktz18o1o80","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2026-01-31 04:45:24.866Z","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":"2026-01-31 04:45:24.866Z","user":"","username":"Jon Sterling"}],"page":1,"perPage":10,"totalItems":1,"totalPages":1}

Shireen Mallick (they/them)

Following