{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 04:39:37.438Z","domain":"mathstodon.xyz","followerCount":20108,"followers":"https://mathstodon.xyz/users/tao/followers","following":"https://mathstodon.xyz/users/tao/following","followingCount":113,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/378/244/433/513/115/original/e7134404c3103f9a.jpg","id":"i5kp97q788tk0jy","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-10-28 19:51:34.592Z","outbox":"https://mathstodon.xyz/users/tao/outbox","preferred_username":"tao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4Enfn4gs8ae2xG4OkK1P\nAzOXdgzLHvxoHLj1ZzIc+s6N+fYVAh1lO3oCyJ+v8ZOD5Di27yEpwEa3hU+j3ZEF\nIdfKwmfDwTA+tUHj2Dr5Hp8sDBI2Vsz9bKL4x6k1gPE785KIgQSCo6/Id31ZiwXC\n9ZEzKN0MRSKFGPVEuL4u0j85skMNC2DbDCXqvU2Zz88go2n204chp58pTI3xwGwX\nLtAF3grhLGdy9gdHEHpLpTHmUEzserpd4zLjqw5O6NydZTF5DFOazKn2QVx+X1Jz\njY2pvFWc4oXFLBv9IrvoYphTqxpMiOk/qnUxn2NconmcORihSGbObY033ZYy2dbK\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Professor of #Mathematics at the University of California, Los Angeles #UCLA (he/him).

","updated":"2025-10-28 19:51:34.592Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 04:58:48.163Z","domain":"mas.to","followerCount":2882,"followers":"https://mas.to/users/TodePond/followers","following":"https://mas.to/users/TodePond/following","followingCount":1045,"icon":"https://media.mas.to/accounts/avatars/111/090/136/697/739/710/original/05c93b698faf4321.png","id":"puf6w448z4zy7s5","inbox":"https://mas.to/users/TodePond/inbox","iri":"https://mas.to/users/TodePond","isLocal":false,"last_fetched":"2025-10-28 20:51:10.019Z","outbox":"https://mas.to/users/TodePond/outbox","preferred_username":"TodePond","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3a9KX6t89Lu2iW7+8fbp\nuZaJrn83Be7JlWvO9WXkDuEHuBuGUehh5d3yIeAKW09ll/NttD55FRTeJlLscJta\nCJhQmFOGIXraQVfGJmxcPJ0WWfbrKwQKqKjT7IvMxRYhgzc3T/NwtXHnWrODENQl\n5ac8vzpYeyxrvoZFvK5h4C6KgbU6e06cHEVxWW4Ex6C6t8MOld7siH69vv/gviTq\nxIIFlxL0UoCOUcBDZGdlLtD0xxzP/wSwk1IsxkLkeNFrloUuRbP/ud8md23Dzuhy\nFWrGqNV4AszabGFxDzrN4HwaAadF/Xq3ESr5Imap4OXKsGXL4P5d0ErKOW5k/xkq\nTQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-19 00:00:00.000Z","summary":"

✵ London ෴ @tldraw

","updated":"2025-10-28 20:51:10.020Z","user":"","username":"Lu wilson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-09 09:01:19.547Z","domain":"mastodon.acm.org","followerCount":40,"followers":"https://mastodon.acm.org/users/FMASWorkshop/followers","following":"https://mastodon.acm.org/users/FMASWorkshop/following","followingCount":62,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/307/358/534/970/256/original/99146ba98d7c9472.png","id":"lu8kdxcy7kqd59g","inbox":"https://mastodon.acm.org/users/FMASWorkshop/inbox","iri":"https://mastodon.acm.org/users/FMASWorkshop","isLocal":false,"last_fetched":"2025-10-28 20:51:10.531Z","outbox":"https://mastodon.acm.org/users/FMASWorkshop/outbox","preferred_username":"FMASWorkshop","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwv2X+bMKrFVBLL2+Aiy0\nlkukbVK1qle8z8/9qIQz+odWvKtBXatjVfz1HWZpOTqXkoLtxFgKS2CmXyEr+tN3\n6sSkpLxM3Q0uvYxo783TCfmXIMpnOuvng9HGKrcOpOapDkIwIaRUt5ogS/6vn9fZ\nzuvX2S8QtkUKT+wsdfuf3+StU+DmCFkcomp8xcG69BU5ic3+rSrew6lMClmfb8VD\nmYma3BoynsOG3U62TCmRso1fC7l6lTLnTfVKISAAd+HHIoCYonGq3mjwX/lRYMt0\nrCeHjj5W1ceKAi6zILdg5Z8MS3rQq3gJ+rnq/bwO6J5i/pnfB45hz1ImRmktRcbm\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-14 00:00:00.000Z","summary":"

The International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Toots by Matt Luckcuck & Akhila Bairy

","updated":"2025-10-28 20:51:10.531Z","user":"","username":"FMASWorkshop"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 00:10:02.085Z","domain":"mastodon.acm.org","followerCount":52,"followers":"https://mastodon.acm.org/users/fme/followers","following":"https://mastodon.acm.org/users/fme/following","followingCount":50,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/265/755/475/461/684/original/d7ffb59d2732ee17.png","id":"4rgj5vtev1028c7","inbox":"https://mastodon.acm.org/users/fme/inbox","iri":"https://mastodon.acm.org/users/fme","isLocal":false,"last_fetched":"2025-10-28 20:51:10.721Z","outbox":"https://mastodon.acm.org/users/fme/outbox","preferred_username":"fme","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6F0gMKvGgRRNuXzU7mLL\nFQE7Ds38LM7oZ4MSPHDRqaipRlQNcE+ui0A9mtLCH4mSm/WFukAIPSwWUGakdtuv\n374UdpJ2BNYiuXNVJy67mr1u4UFCVP+g0O+P9iruGNpcDdm6CJnFxeFxlPmyQfyV\nxHumPnoWdw5MSkcOY7clweV1sV2YQo+9dihqAjYZYJscnT+1cdhgaWmbZLRQbkn8\n+a5q1pKCrW1fCBzNSvOcumD2STY7O5ay6fmLT5LB79ZiXNCZmgk+vG4/4usjD2s9\nH/cwJcfJ5sC0e8V9zG2rG5+e5oa8UED+sU8LQFjxjSQnUzataFAj83LoAZUmcJVY\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-26 00:00:00.000Z","summary":"

Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.

","updated":"2025-10-28 20:51:10.721Z","user":"","username":"Formal Methods Europe"}],"page":1,"perPage":10,"totalItems":1,"totalPages":1}

Kettle, Turing-complete

Following