{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-03 16:18:33.358Z","domain":"c.im","followerCount":1142,"followers":"https://c.im/users/matdevdug/followers","following":"https://c.im/users/matdevdug/following","followingCount":431,"icon":"https://s3.c.im/accounts/avatars/109/251/854/325/565/215/original/9683f005bad68fa5.jpeg","id":"l2swg4da67q3aep","inbox":"https://c.im/users/matdevdug/inbox","iri":"https://c.im/users/matdevdug","isLocal":false,"last_fetched":"2026-03-28 17:17:18.322Z","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":"2026-03-28 17:17:18.323Z","user":"","username":"matdevdug"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 13:25:17.544Z","domain":"discuss.systems","followerCount":484,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1473,"icon":"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg","id":"0hg54e5b0wu5d8p","inbox":"https://discuss.systems/users/csgordon/inbox","iri":"https://discuss.systems/users/csgordon","isLocal":false,"last_fetched":"2026-03-28 18:16:58.829Z","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":"2026-03-28 18:16:58.829Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-06 05:24:42.584Z","domain":"mastodon.social","followerCount":930,"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":"chmupo530l0szzw","inbox":"https://mastodon.social/users/nelhage/inbox","iri":"https://mastodon.social/users/nelhage","isLocal":false,"last_fetched":"2026-03-28 18:17:00.916Z","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":"2026-03-28 18:17:00.916Z","user":"","username":"nelhage"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 04:33:03.376Z","domain":"discuss.systems","followerCount":3443,"followers":"https://discuss.systems/users/ricci/followers","following":"https://discuss.systems/users/ricci/following","followingCount":966,"icon":"https://fd.discuss.systems/accounts/avatars/109/365/294/856/392/287/original/ee195dae421e614c.png","id":"ov2xnt4ks17r7ib","inbox":"https://discuss.systems/users/ricci/inbox","iri":"https://discuss.systems/users/ricci","isLocal":false,"last_fetched":"2026-03-28 17:32:58.711Z","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 pic: Middle aged white man with grey hair and a large beard wearing sunglasses

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

","updated":"2026-03-28 17:32:58.712Z","user":"","username":"Rob Ricci"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-04 22:16:04.986Z","domain":"discuss.systems","followerCount":1307,"followers":"https://discuss.systems/users/adrian/followers","following":"https://discuss.systems/users/adrian/following","followingCount":441,"icon":"https://fd.discuss.systems/accounts/avatars/109/306/284/734/485/516/original/86f0d1d93e9a1040.jpeg","id":"g8wf25l98n4823o","inbox":"https://discuss.systems/users/adrian/inbox","iri":"https://discuss.systems/users/adrian","isLocal":false,"last_fetched":"2026-03-28 18:17:01.039Z","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":"2026-03-28 18:17:01.039Z","user":"","username":"Adrian Sampson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-14 03:15:29.866Z","domain":"discuss.systems","followerCount":1311,"followers":"https://discuss.systems/users/yminsky/followers","following":"https://discuss.systems/users/yminsky/following","followingCount":90,"icon":"https://fd.discuss.systems/accounts/avatars/109/316/416/419/044/592/original/0d3f0612e306c1cb.jpg","id":"265198i3e22165u","inbox":"https://discuss.systems/users/yminsky/inbox","iri":"https://discuss.systems/users/yminsky","isLocal":false,"last_fetched":"2026-03-28 18:17:01.337Z","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":"2026-03-28 18:17:01.337Z","user":"","username":"Yaron Minsky"}],"page":1,"perPage":10,"totalItems":1,"totalPages":1}

bojle

Following