{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-07 14:08:02.255Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/yminsky/followers","following":"https://discuss.systems/users/yminsky/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/109/316/416/419/044/592/original/0d3f0612e306c1cb.jpg","id":"75e4et26wj2lco8","inbox":"https://discuss.systems/users/yminsky/inbox","iri":"https://discuss.systems/users/yminsky","isLocal":false,"last_fetched":"2025-10-07 14:08:02.254Z","outbox":"https://discuss.systems/users/yminsky/outbox","preferred_username":"yminsky","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3seHxlsJbt32By0Uhwbp\nyt6GszROGZstG1ts1OJKVhRTA2j64lBCECqAXnblUddUKtF6+vBXTrl3KxSR+Xq4\n476TwQjWSPpXd4hLynypehPcUEmtyGaLz3SKGOZZN99KkHYyGn460aR5ZQyXq8QU\nBjVRlrelpKU4mNP/m3cmG/Drt5wKBrbJaZKVP9EMTe8/x7Pyn3zLBzDj+MoUQ3XQ\nl0sA73Yoz6bCOo9qrCJlnlrQNIIId6fIxxJywKYLAacuLYyYXO8u5E9UDYSCD8b/\n0i6t5YV7YG83LzQPaoCuz2PwKYRPtq6htmgQFsm3ocIOELE1X8o4lB4oQRvfJpNc\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

Occasional OCaml programmer, host of Signals and Threads podcast

","updated":"2025-10-07 14:08:02.255Z","user":"","username":"Yaron Minsky"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-07 14:08:02.382Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/favonia/followers","following":"https://mathstodon.xyz/users/favonia/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/283/653/572/737/743/original/7c37c4fd50d306d6.jpg","id":"8b577oyff2h913t","inbox":"https://mathstodon.xyz/users/favonia/inbox","iri":"https://mathstodon.xyz/users/favonia","isLocal":false,"last_fetched":"2025-10-07 14:08:02.382Z","outbox":"https://mathstodon.xyz/users/favonia/outbox","preferred_username":"favonia","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4qiAl5t653Ox69fL7OeB\nxqSuEHXsDFshZRqbtaqj9DErlNd8G3PSvB0B64midyxj4W7gqk6xEVoJ4oZ6LWLx\nbwLf9aYts5Je/c62Bv+cVLe2tWzLcGiUbCv/DNsEvN2f23k0RM/gFuwbITBPK45C\naSutWH1VzV8sSJaYIXpclhq9v6qRhlNYMte5wHsKPeuULiLREwDQNVhS3huqPgYO\npvCz02ndz2+o6hjZB2i0AkmKCTXDoHcXxFp3l8hxqcposxU28HitNk8TXMGDiZS7\nx1R9RYocIGkjXAbfyfKXG/I1SaJUlX5y/uQo693Gs/hXwEUBPJGNJUatNVpuz4F+\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

🧑‍💻 cs&e faculty
‍🏫 u of minnesota
👤 any pronoun
💖 emoji lover
⚡ algebraic effects
🗺️ 國語 / 台閩 / english

","updated":"2025-10-07 14:08:02.382Z","user":"","username":"favonia"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-07 14:08:02.612Z","domain":"mastodon.acm.org","followerCount":0,"followers":"https://mastodon.acm.org/users/FMASWorkshop/followers","following":"https://mastodon.acm.org/users/FMASWorkshop/following","followingCount":0,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/307/358/534/970/256/original/99146ba98d7c9472.png","id":"5xf8t6s295022k4","inbox":"https://mastodon.acm.org/users/FMASWorkshop/inbox","iri":"https://mastodon.acm.org/users/FMASWorkshop","isLocal":false,"last_fetched":"2025-10-07 14:08:02.606Z","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-07 14:08:02.612Z","user":"","username":"FMASWorkshop"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 03:35:33.132Z","domain":"fosstodon.org","followerCount":80,"followers":"https://fosstodon.org/users/TexasLinuxFest/followers","following":"https://fosstodon.org/users/TexasLinuxFest/following","followingCount":3,"icon":"https://cdn.fosstodon.org/accounts/avatars/111/602/925/174/001/079/original/ec468cf4e2078c53.jpeg","id":"g3c5g9qhpcbz46x","inbox":"https://fosstodon.org/users/TexasLinuxFest/inbox","iri":"https://fosstodon.org/users/TexasLinuxFest","isLocal":false,"last_fetched":"2025-10-07 14:08:02.698Z","outbox":"https://fosstodon.org/users/TexasLinuxFest/outbox","preferred_username":"TexasLinuxFest","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3u4wFGOLE2f0Mx6Qj8o4\nytoDhj9H+SMDWUKSSstKbV6KrI6di9iJ224Nok4Gmk//KRid+91mEw8qHr8X1W2t\nOZarNzWBegn4OrODZIWE//5xczw0ImHHagQmWGITaIfF/o8JITsyhcwBOxSYheHz\nR4QRcEBTXvZVEIXAA8zSLsnjD9PbrB67A5XJk1rEsP/sqnPdHLMItn7cElTzjDH2\njfwBHv8TXeSiDSCyaPEifgRmtmgvBVcBEpip0c43JBjGLsAZpHAo+p9PO2wfhdhG\n/XaxapsmXzwghgOWNtdODV7dDOFB695z31Kn8F6k1Y+OFag5yoLrntlYg1o/VmOd\n4QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-18 00:00:00.000Z","summary":"

Linux and open source software users and enthusiasts from around the Lone Star State.

","updated":"2025-10-07 14:08:02.698Z","user":"","username":"Texas Linux Fest"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-07 14:08:02.820Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/gernot/followers","following":"https://discuss.systems/users/gernot/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/109/384/255/079/150/987/original/04199b7bccb92732.jpg","id":"93vd78l844qcc32","inbox":"https://discuss.systems/users/gernot/inbox","iri":"https://discuss.systems/users/gernot","isLocal":false,"last_fetched":"2025-10-07 14:08:02.819Z","outbox":"https://discuss.systems/users/gernot/outbox","preferred_username":"gernot","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmTIbUZr1MshU4d6yR+ZJ\nurXiy+H6bYs7xx23Jac/9sYD38vQFJBH/bUEb1fgXx05Bk3zjDokD/+Mx551Lilz\ndILnHHYyDxsm2lRTZvpllBdBlQV1wzB12pM3L0laLAT+AH0QldRFp7xAQdqa6HH3\nYfsg2r8bdpiGEFJdY27ZWs+m/VNHqFXeemaLwksfejMty5WovoPp2wooepzEv8Wi\nzDLsjJ3XBVFPoIU85cNs7lgW6YukAxoPO9LwT5AlrIGNbMcX6Wbs3AIYz52J/DLN\ndH38bis2UM1GJAlrWyxXQrjzVOPAgKAN/cNVfa1bA/1p0jTRI7TrPGN3QLNgRnlJ\nowIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-21 00:00:00.000Z","summary":"

Physicist by training, computer engineer by passion.
Gernot Heiser FACM FIEEE FTSE FRSN ML is Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney. He is also the founding Chairman of the seL4 Foundation.

","updated":"2025-10-07 14:08:02.820Z","user":"","username":"Gernot Heiser"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-01 03:11:18.151Z","domain":"functional.cafe","followerCount":824,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":17,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"m4p87qn7j3xp659","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-10-07 14:08:03.021Z","outbox":"https://functional.cafe/users/leanprover/outbox","preferred_username":"leanprover","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7dKENMC1pnGzawmGGlmH\npdYCjEgLBRdPHH3oju/913xBfuqqAir06mUWfox4e1xPNPM0mFvziAxmlEnvrgVq\nmiZyL5x1SLdBKht47JLN91mowTP3FjnKkULBMu5108euUHweKBydC4ZAM1NLMfLV\nCqzx2Wj/EP3vEJVmAQCrHnao7GHcQqKGlJ6ANQ1TO34otabH5W5TJMb5Cvb1mChM\noW+X+pS83hw2yD7ay5f7AXpU1Kwyq2ON0NdlN/2fIuO6FFO0oSHbtKVkH8Zdp6XK\nV0/PiRvDuVZGIfECAT1U5TkUu7u/p5dcSVb4n301k0VM2/N11I8eOYAlY0bYgDrE\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-24 00:00:00.000Z","summary":"

Official account of the Lean theorem prover and programming language

","updated":"2025-10-07 14:08:03.022Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-07 14:08:03.239Z","domain":"mastodon.hupel.info","followerCount":0,"followers":"https://mastodon.hupel.info/users/isabelle_bot/followers","following":"https://mastodon.hupel.info/users/isabelle_bot/following","followingCount":0,"icon":"https://cdn.masto.host/mastodonhupelinfo/accounts/avatars/109/697/575/699/021/480/original/12c7351311339bbe.jpg","id":"g2zj8o26j3772k4","inbox":"https://mastodon.hupel.info/users/isabelle_bot/inbox","iri":"https://mastodon.hupel.info/users/isabelle_bot","isLocal":false,"last_fetched":"2025-10-07 14:08:03.238Z","outbox":"https://mastodon.hupel.info/users/isabelle_bot/outbox","preferred_username":"isabelle_bot","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4ecYeC50We01muKdENnZ\n5MJf51cj4NISxi/0JQbZ09CJsu+NLyBnTyBOCKFYNQG8DiE6dYRyJP6/zL3WAPS+\nbz8OBSadWEGlhGuVmb6sw097LYySssT40QV9Vwu29EVEw5PNXopNT0mc2K5C2T08\nxEag31lRMJlsQ9ANpR3WDQ/82wKRfRT9rYuaS5ZhcV9rQ4fayG5tkE4eQwGY1o4L\nPHjFF45xUn2Cv9t9pPvLmk4+fycysz9fJwca46p8+88GV5Fket3UW+q++xvQBibY\n9+6AEJBGo5z5zJhS/mI5n1SQ78VuCFPW83pr1zTfTI8rrpr7lucDShz2A3SyN84u\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-16 00:00:00.000Z","summary":"

Hi! I'm a bot! I toot news about Isabelle and the Archive of Formal Proofs.

","updated":"2025-10-07 14:08:03.239Z","user":"","username":"Isabelle :isabelle:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 12:09:14.392Z","domain":"mastodon.acm.org","followerCount":6677,"followers":"https://mastodon.acm.org/users/ACM/followers","following":"https://mastodon.acm.org/users/ACM/following","followingCount":448,"icon":"https://mastodon.acm.org/system/accounts/avatars/109/479/889/439/101/442/original/f6002cf354d61dca.png","id":"dx74fi0d9246483","inbox":"https://mastodon.acm.org/users/ACM/inbox","iri":"https://mastodon.acm.org/users/ACM","isLocal":false,"last_fetched":"2025-10-07 14:08:03.471Z","outbox":"https://mastodon.acm.org/users/ACM/outbox","preferred_username":"ACM","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxQcBwDk96SOvmeoEx9j2\ntMx8kdAPAr40KzkeKqsczkxZ67ED6MBofrvDtYxZhZyNxNqd8VyUubJM5884z2c8\n3UdUtGBgwAK59j+3Aa9s2FimKu2+jNnYtDbQYnPVNqLLs1Z8uriSTGDPlGOQbBAa\nTgJQI1K8qV3FG4ZevgZjIdEt404+MqnUAcyBFKYZVy8KwaQ6EfdwfvZNppCLkTZJ\ncSo/wi+LmEUIqXsCDe28tbI4ASoO6NnPt9sF9KtwMTTi4Px2Rxec21QVuMVOFVKM\nGs45P1yk96+A9ul/ctaGVaNTyt+WQsz8LlwRFJzKr2RazSjSVC0B/h8JYH1Z9hjE\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-08 00:00:00.000Z","summary":"

The world's largest professional organization advancing #computing as a science and profession. Join our official #Mastodon instance: mastodon.acm.org

https://linktr.ee/theofficialacm

","updated":"2025-10-07 14:08:03.471Z","user":"","username":"Assn for Computing Machinery"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 06:45:36.033Z","domain":"mastodon.acm.org","followerCount":0,"followers":"https://mastodon.acm.org/users/fme/followers","following":"https://mastodon.acm.org/users/fme/following","followingCount":0,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/265/755/475/461/684/original/d7ffb59d2732ee17.png","id":"onu8q8ksbmgjr0w","inbox":"https://mastodon.acm.org/users/fme/inbox","iri":"https://mastodon.acm.org/users/fme","isLocal":false,"last_fetched":"2025-10-07 14:08:03.639Z","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-07 14:08:03.639Z","user":"","username":"Formal Methods Europe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 06:45:37.283Z","domain":"fosstodon.org","followerCount":0,"followers":"https://fosstodon.org/users/sel4/followers","following":"https://fosstodon.org/users/sel4/following","followingCount":0,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/313/390/752/183/305/original/edb71722bdd896e8.png","id":"9sy628g35zw43l4","inbox":"https://fosstodon.org/users/sel4/inbox","iri":"https://fosstodon.org/users/sel4","isLocal":false,"last_fetched":"2025-10-07 14:08:03.765Z","outbox":"https://fosstodon.org/users/sel4/outbox","preferred_username":"sel4","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA21L4yrcAjqS+9JvfqzK8\nEgnM8I1AHNC5j92mLe31UcH9GksfFjCRxpsiXkYCe4yjDJes9EJw79Rjrg55AVsJ\ne0+iBlU6JsH6dC4sAv4sG3H394+yuF7h9HA+dafUk42+XJ0EsBvl1YRP+e0J+uZ3\nq4BS+1FVyTiv4q2dMMo6m7sT/RqldkQmixsW+GC2J6/vIeA4x+LNd+XqVNU1EkIM\nVpoJLZuCwOBlz3alr1z3Z292Hk2Zwr1CKxEelCWD9BMuPFleU8bjmEa1eRboKGTw\nHU19XkMpWNk7jha4XTn0AE9BQQCZYS9IJp2ynKuI6RY39buziq0JbXUuyYfM35va\nmQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

This is the official Mastodon account of the seL4 Foundation, an open, transparent and neutral organisation tasked with growing the seL4 ecosystem. It is set up as a project under the Linux Foundation.

seL4 is the world's first operating-system kernel with a mathematical correctness proof, and is still the most thoroughly verified kernel, and the only formally verified kernel with capability-based access control.

","updated":"2025-10-07 14:08:03.765Z","user":"","username":"seL4"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 01:21:14.024Z","domain":"mastodon.acm.org","followerCount":95,"followers":"https://mastodon.acm.org/users/vzaliva/followers","following":"https://mastodon.acm.org/users/vzaliva/following","followingCount":63,"icon":"https://mastodon.acm.org/system/accounts/avatars/111/342/404/905/224/003/original/e1821d01a7fffb56.jpg","id":"c7tv2v9s8m9c1e2","inbox":"https://mastodon.acm.org/users/vzaliva/inbox","iri":"https://mastodon.acm.org/users/vzaliva","isLocal":false,"last_fetched":"2025-10-07 14:08:04.235Z","outbox":"https://mastodon.acm.org/users/vzaliva/outbox","preferred_username":"vzaliva","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2fZcueeXuk+fkAR7x0Gi\n+RNe1Oh+Kp2qFV5rUdvecIo8qbkv6H9xM6SN6BLNXKj4llfyMKfcLDKfy7xitxQZ\nNyFVvccv02qOGfFVysHjTI1t3tpN1zxnvU1U85LfX5sUd6a7IqCUbGHw2aIDO3kn\nO2Jk8WiGefOkOxY2Iy8cdXSmzM4ku92cmRkbb87zUZ5GNM7RyhLCpKExNjzjNYep\nz1uMnNDPrZTPwCGCF2I13bBWfcYkY9g8CfijsuKAo4M50hbx2Ep784whtPG9+L/y\nEEnz4jdKgTRNpC5nD13TuHXySm8q6xist5PIpSuQHStbY9+cRIJD9t4K//Leuaq1\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-11-02 00:00:00.000Z","summary":"

Postdoctoral Scholar, Tufts University. Interests: PL, formal methods.

","updated":"2025-10-07 14:08:04.235Z","user":"","username":"Vadim Zaliva"}],"page":1,"perPage":10,"totalItems":4,"totalPages":1}

Charles Southerland

Following