{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 03:50:50.569Z","domain":"c.im","followerCount":1108,"followers":"https://c.im/users/matdevdug/followers","following":"https://c.im/users/matdevdug/following","followingCount":422,"icon":"https://s3.c.im/accounts/avatars/109/251/854/325/565/215/original/9683f005bad68fa5.jpeg","id":"637k6gn664jqknq","inbox":"https://c.im/users/matdevdug/inbox","iri":"https://c.im/users/matdevdug","isLocal":false,"last_fetched":"2025-12-08 06:28:57.500Z","outbox":"https://c.im/users/matdevdug/outbox","preferred_username":"matdevdug","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA92TGKmZ5jYr0e2kzgFH7\nDsQimzssXuXUFEErY8QTMS6CBqzr/B53yODYTxGhDt1+yaWdpBZMZBTw00R2zyjO\nrWaiBYmc0UddHwuQm025n0WkdlTS+QYcTxP76RwVWgeIJfhm/QMEBUnLhFKTHb2u\nXGm8MI31wMw/G13VxY8dW3cSaYEBhneizxuZkJCxQhrMMbS1axmMVnKj9WvHpbXv\nJIGtvKnbARQezt+CFEpgcJfUWE4Sh3hCzDpG+KFst1EE4Q2ynj2Y6w38VDF0FxNq\ndAJ+t0yS65xgvPP97kqwabWkAnl7RiB9p0hIdJTLsvcFoK8mRp/pnIKp4npxmuRs\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Security/Devops engineer. Moved from Chicago to Denmark. I’m an expert on nothing but I’m trying.

","updated":"2025-12-08 06:28:57.500Z","user":"","username":"matdevdug"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 19:19:39.313Z","domain":"discuss.systems","followerCount":423,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1409,"icon":"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg","id":"5t4qk6o439zsd0z","inbox":"https://discuss.systems/users/csgordon/inbox","iri":"https://discuss.systems/users/csgordon","isLocal":false,"last_fetched":"2025-12-08 06:28:57.617Z","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-12-08 06:28:57.617Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-14 12:34:48.870Z","domain":"mastodon.social","followerCount":917,"followers":"https://mastodon.social/users/nelhage/followers","following":"https://mastodon.social/users/nelhage/following","followingCount":165,"icon":"https://files.mastodon.social/accounts/avatars/000/418/386/original/8d735edad8d35dab.jpg","id":"1xchpyvv5s94842","inbox":"https://mastodon.social/users/nelhage/inbox","iri":"https://mastodon.social/users/nelhage","isLocal":false,"last_fetched":"2025-12-08 06:28:59.394Z","outbox":"https://mastodon.social/users/nelhage/outbox","preferred_username":"nelhage","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw5sCnc7iBXccM0tilZUe\niDvZwc9amLDrbmPXVihT8lAzh1vptJbLNYsB6Pu6XddmlDTpqclTsax3jDIe1bVc\n3doGAIL2TMw4nNy1pLBFNZ+hETJZ+ixQ1LMRVs1XdVWZXigqYdjkC01J5yY0Iyi5\n2YHj33LLUPUyptj+cIYFI2FqTBPY9v67xJTlUpNCEFVm+rgD8TV7NoqM1OyeAo6s\nzc5troI5gxBrdA0EFSttn/yoX7RqNoL8vB0TjbJH5xm3msGCHevPCkgz6r5yXYom\neTgL1c44gAznv63o2hqbBGL+T09yBBYN0UqJCpIV+6PcvW6H3lU1AvA2cXjW+/PD\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-13 00:00:00.000Z","summary":"

I write software and get mad at computers. Also bake bread and ride bikes.

","updated":"2025-12-08 06:28:59.394Z","user":"","username":"nelhage"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 01:26:55.547Z","domain":"discuss.systems","followerCount":2814,"followers":"https://discuss.systems/users/ricci/followers","following":"https://discuss.systems/users/ricci/following","followingCount":896,"icon":"https://fd.discuss.systems/accounts/avatars/109/365/294/856/392/287/original/db1ba0caac982d71.png","id":"6v0h1xurobbn366","inbox":"https://discuss.systems/users/ricci/inbox","iri":"https://discuss.systems/users/ricci","isLocal":false,"last_fetched":"2025-12-08 05:02:47.069Z","outbox":"https://discuss.systems/users/ricci/outbox","preferred_username":"ricci","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0jBDjDrJhYnutVkvDyHt\nycnnUZuykVI00KjYpGY/qBSGKpJS8y2niBHNIyyGIcXOdfMn8YQO5Bs2TEoFhvPm\nqLtK6Y3W7c0gcscEtD2U7J+p/HA/Ooz+wNKVUEkd0iKHqwM5AtmdlhjQ2+T2Uw+t\n43Zwp9ORRKmoYMre8wJVMJA1T4QevI5tzqgdM4n3NbibtezofoPhO9fKG0mo5Ec+\n7QdDoEYsv0NNEI6IHuM3bDeab/PKpWeM4izeuolZ9JvG+5ESRL3S3ALo2U2z5buB\n4lDcI3BNzyI4iWar3haVagkiI8fMzm5e4U613wk1kh2hz4IVTD67bjFQ1eDJAppb\nXQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"

Research professor in the Kahlert School of Computing at the University of Utah. Co-director of the Flux Research Group: https://www.flux.utah.edu. I build research infrastructure: https://cloudlab.us, https://powderwireless.net, https://emulab.net, https://geni.net.

I do not speak for my employer, nor do they speak for me

Not a boffin

Profile: Cartoon picture of a middle aged, bearded white man. Credit: Temporarii on fiverr

Banner: Magtape of UNIX V4 and a VT220. Credit: Dan Hixson

","updated":"2025-12-08 05:02:47.070Z","user":"","username":"Rob Ricci"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 03:13:17.689Z","domain":"discuss.systems","followerCount":1266,"followers":"https://discuss.systems/users/adrian/followers","following":"https://discuss.systems/users/adrian/following","followingCount":429,"icon":"https://fd.discuss.systems/accounts/avatars/109/306/284/734/485/516/original/86f0d1d93e9a1040.jpeg","id":"g3me6tvikax9abj","inbox":"https://discuss.systems/users/adrian/inbox","iri":"https://discuss.systems/users/adrian","isLocal":false,"last_fetched":"2025-12-08 06:28:59.511Z","outbox":"https://discuss.systems/users/adrian/outbox","preferred_username":"adrian","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5Pd4u6BAU1ZK+RTdDo4U\nVS0YHrorPo3PewCWRoABkdtDKwfzoVcrQNuwUkpuv69aw4SZVAOKn0GPioLax9ue\nD+gNvLw2Q0okTq5dGDhB4pPQkHaTzVHN7SzQTllQaOBUCZQ/TnIJ7BBJ7sMcz25l\nPJBPUS9JpDY/Z04U19JRaq53HAYOniiO1s10ZH89wCDi+HOq7y4JUb4WFKW0H8+V\n5HDI3CxGit69Nj9y45xPp1+14UdYBq2pZ8ah0Mbv8HgWsfNXrisgMhHiMWDZFbz0\nYTUJ0oxJ1aADfr3/si1RF3Q6XNT9abu27isAc/WY9Aa/GL4URbWGTLgVSQ6CZI93\n1wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Carly Rae Jepsen fan account.

","updated":"2025-12-08 06:28:59.511Z","user":"","username":"Adrian Sampson"}],"page":1,"perPage":10,"totalItems":2,"totalPages":1}

bojle

Following