{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 01:25:53.479Z","domain":"infosec.exchange","followerCount":330,"followers":"https://infosec.exchange/users/alexmurray/followers","following":"https://infosec.exchange/users/alexmurray/following","followingCount":398,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/114/426/983/369/662/377/original/7fa42d9ada2f094f.jpeg","id":"6ov8v43bra3f828","inbox":"https://infosec.exchange/users/alexmurray/inbox","iri":"https://infosec.exchange/users/alexmurray","isLocal":false,"last_fetched":"2025-07-30 19:50:47.216Z","outbox":"https://infosec.exchange/users/alexmurray/outbox","preferred_username":"alexmurray","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA56BwZkFsgJauCed1LwKs\nQ70TCguCDWzDjO66aU9C7rbk5crUS/ZLt1z0CIuyauNrlAMR9R+N/EkNT62AiMmL\nqYLryCSh3oUFDrsITM+mQVb699/bTXWcvPwtitRt9fz3OCBTz8esNQEu55wHnsc8\nXiJVZ6MJ8p/VCFkxLH06LXifdQZXuT6ELrXKhcJlR5lzN8vK2DSKyJf9/Fj0/sO4\noNU6SMcsnv02bnHReM5yt/+dY6SdmdDgfZvo2p19chgbuZ67eYB91Pc4IbdA+nkn\nFxjLDG6tKgkLOgFwqTPC1RVRPsZ/vup2/ArnBQJC0nDcbC8oufepbJwDKKG/76v0\nywIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-30 00:00:00.000Z","summary":"

Dad, husband, Linux and free software enthusiast. he/him.

","updated":"2025-07-30 19:50:47.217Z","user":"","username":"alexmurray"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 21:30:35.889Z","domain":"code4lib.social","followerCount":1022,"followers":"https://code4lib.social/users/acdha/followers","following":"https://code4lib.social/users/acdha/following","followingCount":2058,"icon":"https://s3-us-east-2.amazonaws.com/code4libsocial/accounts/avatars/000/000/035/original/e9875bc28a91574b.jpg","id":"yhg7y4vl1by8z17","inbox":"https://code4lib.social/users/acdha/inbox","iri":"https://code4lib.social/users/acdha","isLocal":false,"last_fetched":"2025-07-30 19:50:47.907Z","outbox":"https://code4lib.social/users/acdha/outbox","preferred_username":"acdha","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1pcrKxsCtEQayBkJQER4\ndmGhJuTWA7oIN6ByKS4PqOq6uhwk7DvvdllUdYdOChuKt90tGScbu18n6PEnYxuN\nnnHkYY/cV+e/cLzi9EQvop7eC7bsn+vCN4yFKf357hjgGa5qkOpd1qV0WJwC9YJ0\n457tC0LLY7E3Q2YzeTtY3l507AKRg6wvcxNfP8ZQ1ToQMtG58EMPUDQE4jbCs9bn\ncNPPFLi0op5NyevtWQhbZkyR314Cz7VFPefuA2IOw4edrCQFL49ykDS9thFaTvkw\nbVKLQ3n2d5j6j0LE6MWTJ8wjdE9M8Ru+t+z6GQS4wY2g8fAdvKMGBRZYwFa3atJA\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-02-14 00:00:00.000Z","summary":"

Software developer at a big library

","updated":"2025-07-30 19:50:47.908Z","user":"","username":"Chris Adams"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 19:50:47.987Z","domain":"chaos.social","followerCount":0,"followers":"https://chaos.social/users/popitter_net/followers","following":"https://chaos.social/users/popitter_net/following","followingCount":0,"icon":"https://assets.chaos.social/accounts/avatars/111/636/375/847/043/022/original/4ede29aec99fb0c7.png","id":"22xjoy99dnw74h6","inbox":"https://chaos.social/users/popitter_net/inbox","iri":"https://chaos.social/users/popitter_net","isLocal":false,"last_fetched":"2025-07-30 19:50:47.987Z","outbox":"https://chaos.social/users/popitter_net/outbox","preferred_username":"popitter_net","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlAK/sP/vxKeUVD4Pt5Wo\n0p61nhOSNpx8y3GuswIk4IiCTFmtYgnUDNtesNT5Glr4uEPmq98V4poKTOjrHXbL\nJ+rIeYE86+xC0WuXZpilOT/YN6QKlxXjdqec3ehZe/jxBeYJHhTo4ax3hWe+uZPl\n6WfnRbNfW/+uYwXkmphHv8Atla/0NjGO+Fk8Ict1MWlBleAJNbaTz8xOtw1WxDeA\nr4V5Uf71rnFwJ+XJ0WNV1/9juuJjbolDbb+XGDbjbN3dH+Nd78Mi3cBSrVWIjzTA\nLDm9kttLZG5O2MkqB7OwVN+U8OaxToUJZUP/nKbbKP3x3SlpHE5WvaqJZNKP6Q7R\nlQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-24 00:00:00.000Z","summary":"

The great cornholio! Opinions are my own, not those of my company. Erst: Proving stuff in Isabelle. Computer networks and security.

","updated":"2025-07-30 19:50:47.987Z","user":"","username":"popitter_net ☃️"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 13:34:25.142Z","domain":"infosec.exchange","followerCount":205,"followers":"https://infosec.exchange/users/peisert/followers","following":"https://infosec.exchange/users/peisert/following","followingCount":171,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/109/431/027/530/587/215/original/1b1f86778d5c55c2.jpeg","id":"8hw8d06w0rhga9m","inbox":"https://infosec.exchange/users/peisert/inbox","iri":"https://infosec.exchange/users/peisert","isLocal":false,"last_fetched":"2025-07-30 19:50:48.024Z","outbox":"https://infosec.exchange/users/peisert/outbox","preferred_username":"peisert","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA58tTsxkSYqNnu2onl9OP\nosRIFWsAw3IM8xqhoiOo0Wy30oobpkWCyl5EAuviHidpSmk5KiN1tiybzlYGele9\npLoaLkmFGDN/+algP4rVM6PPidONX4X+JCgAbb7dNZ0kFxPOeMVz1IAY1ZxyKykq\nKztL+NGEYcSsSVseUd3nbtzGZ/s69m4z7x8qtmY0JcvTk7ljrulmowa2jtNmZ+R+\nYQc8saM05O1WMzq2+3tCm9/pxhO9Fgl/e2Bv3H0TERKsjMi4HWd9EvsjzrlZuvoF\nlKf8izpGDeQkW0v1fHE6y3fB+NXurXRIlSMTbA5PuzpGm+s8EW3so6qfexRL/KPJ\nAQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-30 00:00:00.000Z","summary":"

Cybersecurity & Privacy R&D Lead, Berkeley Lab; Adjunct Professor, UC Davis; Editor-in-Chief, IEEE @SecurityPrivacy; Director, Trusted CI, The NSF Cybersecurity Center of Excellence.

","updated":"2025-07-30 19:50:48.024Z","user":"","username":"Sean Peisert"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:24:43.957Z","domain":"functional.cafe","followerCount":789,"followers":"https://functional.cafe/users/jer_gib/followers","following":"https://functional.cafe/users/jer_gib/following","followingCount":131,"icon":"https://files.functional.cafe/accounts/avatars/110/853/908/057/317/071/original/d2d2d25541c45944.jpg","id":"0e6f3ui10vhvz3t","inbox":"https://functional.cafe/users/jer_gib/inbox","iri":"https://functional.cafe/users/jer_gib","isLocal":false,"last_fetched":"2025-07-30 19:50:48.120Z","outbox":"https://functional.cafe/users/jer_gib/outbox","preferred_username":"jer_gib","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvevzTX5awHhGepuzfX/n\n6dUxD6mMQ9yFoXyF8LHa0iALWeBJ7eO3XIm7ozcW3zZp7CwvJTr/cOi9NoHMz5sl\nYWR/W+1ZAoQX4BP1u9Ll0q/teASGAcc45VR7rSCRsNhm1yibD7qEe/U+7brgGcIx\njmCRMtlsJIvD7kPFYmj4x0NxG+iji22QQYknhHCU6JQdDvwt0VR7sv/tqLzaX7Ca\nM0amVZ1TYwzYXOXdURtVEn2LpCekRxYV2rBDvkOalMOVBSobkNAPX6SLx82ErR5e\nRUqEBDY/5lN+aj63WO8DghRLSNyMctqmAp8RCarkbnX7RUCbO9J8U1kUEY7Pa6y2\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-08 00:00:00.000Z","summary":"

Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.

","updated":"2025-07-30 19:50:48.120Z","user":"","username":"Jeremy Gibbons"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 22:41:50.611Z","domain":"mathstodon.xyz","followerCount":869,"followers":"https://mathstodon.xyz/users/csgordon/followers","following":"https://mathstodon.xyz/users/csgordon/following","followingCount":1011,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/850/232/300/280/672/original/5fb29c5bf2874af4.jpg","id":"ye4xi58mme47m30","inbox":"https://mathstodon.xyz/users/csgordon/inbox","iri":"https://mathstodon.xyz/users/csgordon","isLocal":false,"last_fetched":"2025-07-30 19:50:48.210Z","outbox":"https://mathstodon.xyz/users/csgordon/outbox","preferred_username":"csgordon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxzv621E1Ynfe9+QQ0Emf\nB86uxDl34d/GfsnvDfOQge1b6mIflzH1AHzP8rK83RqBPxzDp32sgHTNrJDlyr+w\ngTxe+fR+EtKSZlvBjokBPcffSyTjNcpNd3C/toYyZylXzh4yP5I19vlURK+0t5Oz\nrRIRG12zcJFpDiv7J22A+IqrLVGT4EiZJzeELBOqpn0QOpUGrdpvdwlnQmYJ4nWO\n69S6f4ObfB93j1jGxHz7tBy1ew56c8TeNmYa5TqB/VZEj4G/iPYQ32lgUpZbNg9v\n0riEpE3/0tb/BruuP4UmR1vmu+uWLHsPD4EmO/RB8mDMrvAqhH1bxdHh+WCQPgch\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

PL professor, kernel hacker, aspiring linguist (syntax & compositional semantics).

","updated":"2025-07-30 19:50:48.210Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 19:41:28.027Z","domain":"social.oaf.org.au","followerCount":340,"followers":"https://social.oaf.org.au/users/oaf/followers","following":"https://social.oaf.org.au/users/oaf/following","followingCount":716,"icon":"https://cdn.masto.host/socialoaforgau/accounts/avatars/110/432/689/299/620/669/original/8771a5a0cb921f7f.png","id":"u6tz1btr6w68jb3","inbox":"https://social.oaf.org.au/users/oaf/inbox","iri":"https://social.oaf.org.au/users/oaf","isLocal":false,"last_fetched":"2025-07-30 19:50:48.335Z","outbox":"https://social.oaf.org.au/users/oaf/outbox","preferred_username":"oaf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArmjDFZ4uKpTZY10lg9i8\n1TNyiiUsb0lHEZBxv6DoB5JMVgq2TISagqGE4/JyhvVLWZeJZuWftg7YuFnRvdoZ\ndQ5zHksEWNefzDIChVSNTV/ZC+6toL609OR8EEKDnEkS35UsU1vVA3Ui9DyzC6jD\nAvUfaaskpCINVZiSwXurnVMHEsp4g+xtcaN3zuDQkWNxi5WNYjEA1Jcy/P4+bPgw\n9gtuddoi1/hrwJTjQmz+ofIA8mWmLCDEuqdfIw0QvUuIz4CbbW189Qeo0zHAZkV+\nGZ4vt9sFflCZ8R1PjP7ThJU73cwwnpaO+m1C0F5BShbvGCgwA1Zcr5MIYDbqzr/z\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-05-26 00:00:00.000Z","summary":"

Official account of the OpenAustralia Foundation. 

Digital Library Services for Democracy. Transforming democracy in Australia with theyvoteforyou.org.au, righttoknow.org.au, planningalerts.org.au and more. 

https://linktr.ee/openaustraliafoundation

","updated":"2025-07-30 19:50:48.335Z","user":"","username":"OpenAustralia Foundation"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 19:50:49.208Z","domain":"aus.social","followerCount":0,"followers":"https://aus.social/users/DrWraith/followers","following":"https://aus.social/users/DrWraith/following","followingCount":0,"icon":"https://mediacdn.aus.social/accounts/avatars/109/764/896/652/458/368/original/3debd4fe5b85a608.jpg","id":"8gyq0ynh29v4005","inbox":"https://aus.social/users/DrWraith/inbox","iri":"https://aus.social/users/DrWraith","isLocal":false,"last_fetched":"2025-07-30 19:50:49.207Z","outbox":"https://aus.social/users/DrWraith/outbox","preferred_username":"DrWraith","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6u3GPAWz2xZ9dW7Uoyk6\n9x0esTKLrMHBBEuy0ZGQhtYctiRkspZw0ua0U5MD/w7Ei/6HnT61JHxJi0cde0dz\nEC8/Dn7oJeFaPfLEfONmT+xOOEX41BUM7RVm7lWXlp4FOtmlCBK0YdWYktkbNUaE\nGoiVK9nsUnytHP8MsuYSgioIp19BCMY6fGrRorpLOVZSg3McQO1Tx2gvGsWgEIe5\nxP2RM+hMWQiMzORoYQfgCxUDf8PHGE3nYxoqbYofEec0ozFB6u0237XQSEEARPLF\nj6XLXpGFaf9UjBqXxB1xDEJmxjQqxfiUyeXEbq279B7rdpwlD38aT0Rn8oQ19pIr\nzwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-28 00:00:00.000Z","summary":"

Computer scientist specialising in formal verification for microarchitectural timing channels in seL4. Also specialising in very good beer.

Currently chilling in Sydney for a few months before moving to Brussels.

ex UNSW (Trustworthy Systems), Macquarie Uni, Oedipus Brewing.

","updated":"2025-07-30 19:50:49.208Z","user":"","username":"Scott Buckley"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 19:50:49.467Z","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":"n5egjo5xz3e7381","inbox":"https://mastodon.hupel.info/users/isabelle_bot/inbox","iri":"https://mastodon.hupel.info/users/isabelle_bot","isLocal":false,"last_fetched":"2025-07-30 19:50:49.466Z","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-07-30 19:50:49.467Z","user":"","username":"Isabelle :isabelle:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 19:50:49.811Z","domain":"social.sigsoft.org","followerCount":0,"followers":"https://social.sigsoft.org/users/thanhlc/followers","following":"https://social.sigsoft.org/users/thanhlc/following","followingCount":0,"icon":"https://social.sigsoft.org/system/accounts/avatars/110/037/859/567/773/942/original/8d7ba80c3be8eee2.png","id":"442106566r4s8m4","inbox":"https://social.sigsoft.org/users/thanhlc/inbox","iri":"https://social.sigsoft.org/users/thanhlc","isLocal":false,"last_fetched":"2025-07-30 19:50:49.811Z","outbox":"https://social.sigsoft.org/users/thanhlc/outbox","preferred_username":"thanhlc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzp+T/McYaLIoYlBpYvZH\n69EfQaQ8yBQggZwk7GaOOZ3WxmNTlLSEhW2gqNA8k5W3+OIJ9PWXLKns23+orEpv\nX82VOoIhBrTd+21O8sTiuiHOHTn6aj9/57JLjgjRI+6IF9ld7QiEE328AWWvZ6qr\n8fOy5XGJo7vZXcEnWukXp/KhLpJyszypA4+bGd2srdxgTwPAsGfAndgGpKL/IDsV\nPe3BJ0qVqnkH0d3vttyCon4ylS6vxqT9EMJmkwEXt9edftjtt+lhviThVk6kJtjY\nFvC/7s9rUnf25rM1RXeydE0nMVMmHx6Xdm3HvmAgaGkrIu40+ruF6dsM+19KhoBU\n3wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-17 00:00:00.000Z","summary":"

I'm a first-year PhD Student at The University of Melbourne, working on automated tools for detecting, managing and fixing bugs. My current focus is automated program repair. If want to know more about me, please visit my homepage at thanhlecongg.github.io

","updated":"2025-07-30 19:50:49.811Z","user":"","username":"Thanh Le-Cong"}],"page":1,"perPage":10,"totalItems":118,"totalPages":12}

Toby Murray

Following