{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 01:33:45.888Z","domain":"hci.social","followerCount":664,"followers":"https://hci.social/users/aquigley/followers","following":"https://hci.social/users/aquigley/following","followingCount":463,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/332/380/401/603/962/original/55467add05395f2f.png","id":"rx50i810sios6e2","inbox":"https://hci.social/users/aquigley/inbox","iri":"https://hci.social/users/aquigley","isLocal":false,"last_fetched":"2025-08-04 23:48:42.003Z","outbox":"https://hci.social/users/aquigley/outbox","preferred_username":"aquigley","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuPWPBLpiOOjBbUua88sW\nYtgr7Y5tpNtlag0yoUWJvR6FzE8OAeshXc1EkYad9HrGpSeAx6s4LYdge/Ez0YrN\n8QGhIGtLyrMIHfiNALih+WpC/3ZfdZBcX+Sv7udO9ihuYxtPsZlTKJH4u5vlx0YE\nn2CBysuCl1nedY6DYEaO0IyYlFQZ7pDxb9vj/XAJmJPx0qQ6cU+50X7V9OzgecLV\neLQp3GJ6aUDehQTPq3pLWkNtc/DU3B0Y/QgEaDlGTFDmaSNk8HioxcPwf9M/SuYe\nNG3nO6854glA3cYFsnO1AIrkwgTDhrZmf4I4YZlmgkaXQH29SZeSkX7tJKp8O8sQ\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-12 00:00:00.000Z","summary":"

Deputy/Science Director CSIRO’s Data61, Adjunct Professor UNSW, HCI researcher, chair #ACM @chi steering committee, the Quig in Quigbert married to Brad Herbert 🏳️‍🌈

","updated":"2025-08-04 23:48:42.003Z","user":"","username":"Aaron Quigley"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 10:44:58.879Z","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":"zt77q975327kn1f","inbox":"https://fosstodon.org/users/sel4/inbox","iri":"https://fosstodon.org/users/sel4","isLocal":false,"last_fetched":"2025-08-04 23:48:42.048Z","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-08-04 23:48:42.048Z","user":"","username":"seL4"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 12:40:18.825Z","domain":"discuss.systems","followerCount":3422,"followers":"https://discuss.systems/users/irene/followers","following":"https://discuss.systems/users/irene/following","followingCount":142,"icon":"https://fd.discuss.systems/accounts/avatars/109/305/762/844/687/169/original/53dfc1145cbea482.jpeg","id":"465r1667n3b1bz4","inbox":"https://discuss.systems/users/irene/inbox","iri":"https://discuss.systems/users/irene","isLocal":false,"last_fetched":"2025-08-04 23:48:42.169Z","outbox":"https://discuss.systems/users/irene/outbox","preferred_username":"irene","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5Lz3qvAOKVaTSjAiCHgq\nIPclmIE1SGWlMrB0luHtNkVieCj+Kh51c/MxJTB/kQCrcDTjkyzAjCBX+zbMb4aZ\n9TAoFqnRPWr9tck0xv6YScrck8v0j0tG0WnETN3IMMV1TWD5kzWSYvivS3iu6tvw\nZkuoVfqxJy0GVxs/TeKxtG6AVSE3Yx1s3Q73uec9HVuRQQsIoW6aS+dkMXTO0wjG\nmSFYuHEhKGTHpiTesgKkdIqp1Qiais9hFPVzux51luU4VFJz/SjiYvxjJFLpk65R\nEmpxFYHzP5o3UDYNftLQRS34n5jxCHgquS5mG447hgfGoS3XZUdMn5yu/8TRIrd6\n2wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Principal Researcher at Microsoft Research. OS hacker. Cat wrangler. Shoe lover.

","updated":"2025-08-04 23:48:42.169Z","user":"","username":"Irene Zhang"}],"page":1,"perPage":10,"totalItems":308,"totalPages":31}

Gernot Heiser

Following