{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 11:59:23.746Z","domain":"mathstodon.xyz","followerCount":122,"followers":"https://mathstodon.xyz/users/dylan/followers","following":"https://mathstodon.xyz/users/dylan/following","followingCount":146,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/200/298/733/715/735/original/b4526bf51b1f9b43.jpg","id":"j7dk4gk747x52zq","inbox":"https://mathstodon.xyz/users/dylan/inbox","iri":"https://mathstodon.xyz/users/dylan","isLocal":false,"last_fetched":"2025-09-25 22:38:14.454Z","outbox":"https://mathstodon.xyz/users/dylan/outbox","preferred_username":"dylan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu/+mPQbRob2hvtGLxjbX\nJXVdoCv19U2ZJ7FyVaGavrT9bVPj9afuFFt90qai2wHr0ilrLwg7WslHPlCCZis2\nRtpBKYV+abBA+xp9+P7iTlGJV3Nr5uc8H9W+4SyjVcYrIfiQasN5u5nHvEQ9l4XL\nyc65uu1NmXPUavTh6XGk0ILCVkcDXKZxHYr1WuZVtoFPEmZVLpiexW6XauC93W5l\nA1X2OgbG/ufzQdHqzdi2hHW4tzRS+C29QzOoWC0chtcRTUXy4MU29LP46eLW+Uwr\nLN3zrHUeOENZ6JButfIGvdHswZfrl2G+lyWc7RishV7zqiSLjv9AFPTJvGHI32DU\newIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-26 00:00:00.000Z","summary":"

PhD student @msptrath. Thinking about probability, computation and category theory

","updated":"2025-09-25 22:38:14.454Z","user":"","username":"Dylan Braithwaite"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-28 00:34:31.934Z","domain":"mastodon.acm.org","followerCount":227,"followers":"https://mastodon.acm.org/users/mspstrath/followers","following":"https://mastodon.acm.org/users/mspstrath/following","followingCount":29,"icon":"https://mastodon.acm.org/system/accounts/avatars/111/782/162/022/965/509/original/7a2ffbad571da7fb.png","id":"qw2qt3aadc7n0i4","inbox":"https://mastodon.acm.org/users/mspstrath/inbox","iri":"https://mastodon.acm.org/users/mspstrath","isLocal":false,"last_fetched":"2025-09-25 22:38:15.009Z","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-09-25 22:38:15.010Z","user":"","username":"MSP Group"}],"page":1,"perPage":10,"totalItems":139,"totalPages":14}

Scottish PL Institute

Following