{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 01:27:13.924Z","domain":"discuss.systems","followerCount":417,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1400,"icon":"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg","id":"696lnruy6xif23x","inbox":"https://discuss.systems/users/csgordon/inbox","iri":"https://discuss.systems/users/csgordon","isLocal":false,"last_fetched":"2025-09-18 08:38:43.756Z","outbox":"https://discuss.systems/users/csgordon/outbox","preferred_username":"csgordon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqu75zd4WxhZbgnxr3D0x\nqdQennO5/JNC7TYuEXAAb5u2abevS8QvmACbGbtXZh3r/MKDfuUjq6PY8b6iMa4E\n+pG+DtKsdWgXbz6y08YhYqNe8CEGLS4/EowBLC6goMyLKj0sQ8OUGo0VawRaR/Ox\nWB4LAhqmdIP/2OAE3rzgJk+sU5rs6Q+p9eQj9W68JG7PwTY5ebHmksEhaU2lrdPq\nkE5l+j9e/ZBmbsGnGynZernCeRc2MdXn90avbROl/+5kSK870hyBww0xuOhgc099\nRCyiiAEQ3WAOVnRX9X49JhUS9ODmCdcHpp3awFKo0RGtMPxK1HOO4WPa0Pmakccm\nZQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-08 00:00:00.000Z","summary":"

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

Currently figuring out how to combine all of my interests by mechanically translating English into formal specifications of a formally verified OS kernel for RISC-V.

:freebsd_logo: :debian: :openbsd: :clang: :csharp: :racket: :rust:

","updated":"2025-09-18 08:38:43.756Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 19:09:38.062Z","domain":"mastodon.social","followerCount":303,"followers":"https://mastodon.social/users/openzfs/followers","following":"https://mastodon.social/users/openzfs/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/112/885/103/931/679/364/original/c0d4195d76e43fff.png","id":"9vha352h4w0g74z","inbox":"https://mastodon.social/users/openzfs/inbox","iri":"https://mastodon.social/users/openzfs","isLocal":false,"last_fetched":"2025-09-18 08:38:43.788Z","outbox":"https://mastodon.social/users/openzfs/outbox","preferred_username":"openzfs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA99BOGjV4cLu2C/TZDvUJ\nBBfSHuARu1uTg9939E1mX1fPHocIjOeZ6TdMd409gUwPxCcmjp39RfkKf8kLZX9N\n0MaOEj17NUjmnbO16k/wtgpGrIfZJb/bk+ZkSLbhqsAMyhl5eLx9q4zUigQMl2FM\nL3djIDvW3fcNH0oQJaJ8VJMmjYSKp4Q/BrWsZQyj/OSYtTRwWD6GhTgaQucexmdX\n5Z3yZckn1czJjdWBooxIFbvCbYaphQxgph7LpyJK6dcQgVyWSRqzb+pnoBOSdz7u\nbOga6doecgM+0jebjETpRKtenP6BPN4ZfqtkesPXaQr4lH3DQcixuyoKNFDtCEdp\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-08-01 00:00:00.000Z","summary":"

OpenZFS is an open-source storage platform. It includes the functionality of both traditional file systems and volume manager.

https://openzfs.org

","updated":"2025-09-18 08:38:43.789Z","user":"","username":"OpenZFS"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-24 08:45:22.405Z","domain":"mastodon.social","followerCount":38742,"followers":"https://mastodon.social/users/bagder/followers","following":"https://mastodon.social/users/bagder/following","followingCount":276,"icon":"https://files.mastodon.social/accounts/avatars/000/039/207/original/972a88b4292b90af.jpg","id":"9ro13j6ztg52l0v","inbox":"https://mastodon.social/users/bagder/inbox","iri":"https://mastodon.social/users/bagder","isLocal":false,"last_fetched":"2025-09-18 07:18:12.725Z","outbox":"https://mastodon.social/users/bagder/outbox","preferred_username":"bagder","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7p0ieeqUi55L4+ufrYX3\n1WBgOcBgNqTi+GdOHLN3TwKwAdxQk8LtFNUH01C+0f5x2dr3tgG9fnuCIUBXCJ+V\niwP66dRscq9RylHpnwHHiKW3kCEBP1PdqGcEJkOzoAwPU+Fb1EN73wTFfJ3x002Y\ne6ZgiBaNLiIyXBBd6BCH6ci5Zd0WYb/pe1UkfSJl9OaY+Y89YK3jeAbbw4o3en+F\nXSSG5xKdOQSWfizBhulskh5Y2h21HHDJAMPV9a3+MF6Gvf47GcaymasecKTDdjY0\nngKn9LKD9cQvhQ/LinulBuiKUd9KnLbuZCSCNSnwhJ8Q7nbkGc8SizdOu098jkIT\nsQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-03 00:00:00.000Z","summary":"

I write curl. I don't know anything.

","updated":"2025-09-18 07:18:12.726Z","user":"","username":"daniel:// stenberg://"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-26 16:06:41.282Z","domain":"snac.rblgk.sh","followerCount":186,"followers":"https://snac.rblgk.sh/blainsmith/followers","following":"https://snac.rblgk.sh/blainsmith/following","followingCount":727,"icon":"https://snac.rblgk.sh/blainsmith/s/avatar-6dc00422d7717f0c3ba775b05c35083f.png","id":"ng9j7w0w2z99o77","inbox":"https://snac.rblgk.sh/blainsmith/inbox","iri":"https://snac.rblgk.sh/blainsmith","isLocal":false,"last_fetched":"2025-09-18 08:38:44.317Z","outbox":"https://snac.rblgk.sh/blainsmith/outbox","preferred_username":"blainsmith","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAomEqRb9nOJa2XIkF7BKp\nft7+4HzN13Nj07+rbKST8wbJ5lZN5EBxtTThLfnVuJ/C6thPbYdiuIxrHfII7Q46\nU8ArE1u9D7zcl1m8fKwUi3yfTX9OpxKn7rwDcTp2cW/QywodzNgUs7m28zuj4kch\n5bt5jvFFUa2d30UqMPQdIfkNFvEU0xMvuaqlOieUkye/68wziHcJsEQR8QOS6zta\nrJGasxn7wOMP6wBfsnmETxxeWHCVzsHSAwlY8W7mEd5q0atLFZadBwGHkbdydZr8\nNSP2yNhCcPLXLIQxdv5H8wEdENr1CzUAVUtpXDpOJcR9lDb6bwE6LOB5j7HFFrc6\nAQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-28 14:19:10.000Z","summary":"Your favorite powerlifting/strongman Go, Rust, Hare systems and network programmer who lives the co-op life. Posts expire in 30 days.
","updated":"2025-09-18 08:38:44.318Z","user":"","username":"Blain Smith"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-18 08:38:44.512Z","domain":"social.coop","followerCount":0,"followers":"https://social.coop/users/jimkreft/followers","following":"https://social.coop/users/jimkreft/following","followingCount":0,"icon":"https://social-coop-media.ams3.cdn.digitaloceanspaces.com/accounts/avatars/109/248/198/367/022/459/original/e5347f2b4d365229.jpeg","id":"chl3zc4g66b1klb","inbox":"https://social.coop/users/jimkreft/inbox","iri":"https://social.coop/users/jimkreft","isLocal":false,"last_fetched":"2025-09-18 08:38:44.512Z","outbox":"https://social.coop/users/jimkreft/outbox","preferred_username":"jimkreft","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArS+uHJ49vOZc0ELB2wli\ncuRIU+bmDG/DbA9bR6H/ZAIVOf1GfNkKgwii008jG8btBMvH8bFHyP/7I6NYAUxP\n7Doa0RDrwnrj77Eu1HgjPUVCGnMYPPqHbWOXTrB566A7U12vRQe8IHXgHHqR+PRP\nUNnWf5Co8GImHB/4Sy2Mp9ujcUtZajqnlRH6BdM5oB5YYj6DUwFsslaD+cBhhrrw\nsgTWBKytjMmWRD8rVn7qa0WyTlX9F2TLRPWnWLKFkN27Y6MjREPBpgEURHGRxt6g\nDAUXusWmX3gk2duo7Ymh5ZrFrI6z1XyKd00BrcZ0bvB38Pmg/DNocFVLeHndspfs\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Civic technologist currently at the State of Wisconsin. I toot about civic tech, dogs, and garden and house projects. Forward!

","updated":"2025-09-18 08:38:44.512Z","user":"","username":"Jim Kreft"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-28 15:29:47.673Z","domain":"woof.tech","followerCount":388,"followers":"https://woof.tech/users/eval/followers","following":"https://woof.tech/users/eval/following","followingCount":643,"icon":"https://cdn.woof.tech/accounts/avatars/114/268/126/857/050/140/original/ca233f54e71011ae.png","id":"6840c266ue47389","inbox":"https://woof.tech/users/eval/inbox","iri":"https://woof.tech/users/eval","isLocal":false,"last_fetched":"2025-09-18 08:38:44.672Z","outbox":"https://woof.tech/users/eval/outbox","preferred_username":"eval","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAufIb9p+oRpR3WxXsDo74\n/pFVwaJCyjoyLyKqfzaFMtbx0QzHpOCZcVOEHYw+5K93sp5nZhBtSRQDWJ0K3z9g\nyoLKCWLso20YpY+7juousoJDwyM+GfpoT94f/W0aVB21qK/cOJfhtUF2AUxfFTPV\n2qnIebvwfoXcQ1PZFouiIJuKibqZEmqyrTVJBG1L4sjUGBCZ+Da7F9MQvKEbdWa7\nATUk61/rSAjt+3KrQvOj0re/SrJ7Ay7/SZizyPuR4bHbdetjqL4WhLEBFXtAKFnD\nezDxGjXue1wRqMKTPaOLeYKExcetdlDopFbHQlbafLVdiBqRyG0WYxovnN36Zt3L\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-02 00:00:00.000Z","summary":"

✨ sorceress of technological shenanigans 🎨
🏳️‍⚧️ she/they, massive gay, 'WTF in the best possible way' 🏳️‍🌈

subject matter expert on obscure Nintendo DS web browsers, for some reason

🏴󠁧󠁢󠁷󠁬󠁳󠁿🇪🇺

follow req's OK though i welcome you to DM and say hi :) (i don’t check them too regularly otherwise)

[moved from glauca.space]

","updated":"2025-09-18 08:38:44.672Z","user":"","username":"eva lauren ☂️"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 01:59:57.225Z","domain":"cyberplace.social","followerCount":62878,"followers":"https://cyberplace.social/users/GossiTheDog/followers","following":"https://cyberplace.social/users/GossiTheDog/following","followingCount":750,"icon":"https://cyberplace.social/system/accounts/avatars/109/387/499/752/708/037/original/71d0b33e220f7853.png","id":"x53ovx6vk305x2r","inbox":"https://cyberplace.social/users/GossiTheDog/inbox","iri":"https://cyberplace.social/users/GossiTheDog","isLocal":false,"last_fetched":"2025-09-18 08:38:45.004Z","outbox":"https://cyberplace.social/users/GossiTheDog/outbox","preferred_username":"GossiTheDog","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt4JS1GdnAZtBFiqMMc2Q\nIEMxHUzCFWoYK3smMcY15DBt0H5OtoMOX5yCAjRDgQXO+W4ZcPjYJ4CHA/WKLl7h\nQieOYCMsk+7lw9ii8nfVaBHoqzNLKigv8VvV3/gK6hDh3S1xu3OvKFQVJ0auRudR\nn9HfBt7FTame3xwrIeFyxy139CM0GnTivrZt7ENyiEt7fvtvO9M97wa61FO17KxZ\noPb9ptAtPb7FxVRsKjsNbyPyoUwzR0qZjhKA+dR+lz1SmMXeFkU6cOXkVBOaRUuv\naZr42O/Gdv67suf/JiowhXeGC0FMUGeU6npO4MbbTCt/uv5zdOvabd6NBKj129g8\nFQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-22 00:00:00.000Z","summary":"

Cybersecurity weather person and award winning shitposter. Shitposting is an anagram of Top Insights. You may be surprised to know I am not representing my employer here and these are not their opinions.

I have Direct Messages disabled - you can send them, but I will never receive them.

","updated":"2025-09-18 08:38:45.004Z","user":"","username":"Kevin Beaumont"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-18 08:38:47.634Z","domain":"linuxrocks.online","followerCount":0,"followers":"https://linuxrocks.online/users/codrusofathens/followers","following":"https://linuxrocks.online/users/codrusofathens/following","followingCount":0,"icon":"https://linuxrocks.online/system/accounts/avatars/109/368/387/138/904/399/original/f0020607a77746ba.jpg","id":"97ziyaz3u6bfc0f","inbox":"https://linuxrocks.online/users/codrusofathens/inbox","iri":"https://linuxrocks.online/users/codrusofathens","isLocal":false,"last_fetched":"2025-09-18 08:38:47.634Z","outbox":"https://linuxrocks.online/users/codrusofathens/outbox","preferred_username":"codrusofathens","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1OzNkBwdpQakMeGeDzAf\new0b3L4xIW1TYjf63ENjW6Pz1l+HZMH8FvHpzu8HWMP6McnUsPENe0WFZ6J0C+bG\nt4eVYGEUL7o6vJkox/1PHfmUOsAN/jeXn9lxjLbOIJH5W+X8nFWZsWN7jbVr7khn\n0CKP5xhZM+h6nZZrFjmh06q3gMdYF0fvk1lW4N8HIfP2lyDkXqJ8DYVDdxfb9d4x\n9YT+Xd8bCupoyFUANR+Z/18uwvvkH2UFYPCf0ucfWg54sDRiavbeujH8Dn/dXNL1\nQ6WdiqR2PUKoXX3aYxOrmro+XTo4zWCFX8vGkSldlKbNxQEtBDxyjSoB0NwHMNp9\n5QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"

Likes old Greek dudes. Uses em-dashes—don't cede them to the homework machines.

CS & Mathematics student, writing in #Rust, #Java, & #Kotlin. Interested in systems programming, #numericalanalysis, #functional programming, and other cool things.

Working on firmware for a company better known for its mechanical engineering work. Fun experience!

Amateur calligrapher and painter; always *almost* happy with my skills! Also lightly interested in astronomy, physics, the defense industry, and more.

","updated":"2025-09-18 08:38:47.634Z","user":"","username":"Codrus 🇺🇲"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-03 19:16:28.719Z","domain":"mastodon.social","followerCount":3165,"followers":"https://mastodon.social/users/AnnemarieBridy/followers","following":"https://mastodon.social/users/AnnemarieBridy/following","followingCount":621,"icon":"https://files.mastodon.social/accounts/avatars/108/079/088/689/041/583/original/83e3328f4c4e855d.jpeg","id":"4955u13kwl57fj4","inbox":"https://mastodon.social/users/AnnemarieBridy/inbox","iri":"https://mastodon.social/users/AnnemarieBridy","isLocal":false,"last_fetched":"2025-09-18 08:38:47.849Z","outbox":"https://mastodon.social/users/AnnemarieBridy/outbox","preferred_username":"AnnemarieBridy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4sKJlq2jmIf/2xtCI9Uz\n6kKwI69BW/VAE98epbzOMCh01dzN2ypU3+ceYLAvog/ZaZ4k3+Y4q8iGNNJiThEm\n9lla4JUZQkOJF931psq0KtR5EBNF6cqGpJLrgQrn+EFexYPzy07HqhXqZk1QO/WI\n0piPu8l+weGMJAcjk8WZS/1sBI/hM/jqQNqP1kiUSqssqvjG6+mJWVTm+KL532ax\nApGEUKim546jlR2SNb0kjS8k3OeJwto7j9D8ULGBiYfb2tBY4srE0GYpXl15J0lm\ns+5QgQg3QmX5TM0vCAEaSDJBHIY2+GA85HpNS5BxYoTtVxzuYhddzDs4DvqNHB2H\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-05 00:00:00.000Z","summary":"

IP & Tech Lawyer. JD/PhD. Formerly: Full Prof @UIdaho Law. Now: #InHouse. Affiliate Fellow @YaleISP. Open Access and interoperability advocate. OG copylefty. Interested in the design, regulation, and use of information networks and technologies. Lover of well-made things. 

Image: Laurie Anderson, Four Talks (2021)

","updated":"2025-09-18 08:38:47.849Z","user":"","username":"Annemarie Bridy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 22:40:46.720Z","domain":"alsutton.social","followerCount":551,"followers":"https://alsutton.social/users/alsutton/followers","following":"https://alsutton.social/users/alsutton/following","followingCount":58,"icon":"https://alsutton.social/system/accounts/avatars/114/801/347/702/068/493/original/66e958a64e9754a9.jpeg","id":"i26m22rao8bwa95","inbox":"https://alsutton.social/users/alsutton/inbox","iri":"https://alsutton.social/users/alsutton","isLocal":false,"last_fetched":"2025-09-18 08:38:48.316Z","outbox":"https://alsutton.social/users/alsutton/outbox","preferred_username":"alsutton","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoOQK63ivQE3y5LOesDHH\nmNW5D8YSRM0PW3RU67TZcuygduwc8w8RLQExh928QLFv5qyD/EwOozPwSKZNUDIq\nVV4+HQMvH1d1k2ZvUGmfpwVXkYlnzLnLIHSNZcLaktTIPT2nFXpB8NbgbcOmbY1v\nRUO43uiAEeCu1Kk77Ug6396D+MBWtDqDpf50tOQYS5p6XOGIQmJAV6wzdhtTlqBH\nMaJgETEZ4bhSM2tJXqmFj5LzhW64VeZEM0i7OOXspPHJjFue/hVLUcBC880ETBQN\n4lq6fZsUGelNZ27TAJL3TTCOB8pueYh5uQcbj4ELsnQ2InWZlFd2LNpWFA1NgZKX\nPwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-05 00:00:00.000Z","summary":"

Repeat Company Founder, ex-Facebook, ex-Google. The opinions stated here are my own, not those of any company I am, or have been, associated with.

Currently looking for a new work adventure.

","updated":"2025-09-18 08:38:48.316Z","user":"","username":"Al Sutton"}],"page":1,"perPage":10,"totalItems":1190,"totalPages":119}

Systems Approach

Following