{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 19:19:39.313Z","domain":"discuss.systems","followerCount":459,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1456,"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":"2026-01-30 09:42:03.734Z","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-01-30 09:42:03.734Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-24 12:03:03.727Z","domain":"discuss.systems","followerCount":3,"followers":"https://discuss.systems/users/solodynamo/followers","following":"https://discuss.systems/users/solodynamo/following","followingCount":42,"icon":"https://fd.discuss.systems/accounts/avatars/109/718/922/270/851/301/original/6bd9bec56793b794.png","id":"419aiit8otcsdi5","inbox":"https://discuss.systems/users/solodynamo/inbox","iri":"https://discuss.systems/users/solodynamo","isLocal":false,"last_fetched":"2026-01-30 11:11:12.437Z","outbox":"https://discuss.systems/users/solodynamo/outbox","preferred_username":"solodynamo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4S7o0d5tFlL3IGog58Ik\nAx/cismLvrGFUruh0s9PwfLr/fY6Vz7BNqEBopJVicCLytcWM2bk+gGOwI39WrAw\nqL9hkXnI4WajH7EUNlZYkJkaDZ5oOU96zlbUZXbTcWEXUyUEBprymyRtKJuc05Hc\nQ6h3u2n1qhXshMXb+CuJ3FY+ROvuL9tgJj9Xcm9hzQwEEO/Izg32/ibP7uZFfvPb\nFVcpJV4wqmRPkh7J/jpvfrFWor9dzguyvwqcPUq77ALB03Fn7FwboGhZOxVfuVS7\nt3q5nHLSTZXPXdlKVAWvl86aJW6/XmbrMl1dAPzjywoNe3U8VyfUStL1qqBujK3J\nCwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-20 00:00:00.000Z","summary":"

solo dynamo trying to manifest best software possible.

","updated":"2026-01-30 11:11:12.438Z","user":"","username":"solodynamo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-24 12:03:03.840Z","domain":"discuss.systems","followerCount":125,"followers":"https://discuss.systems/users/micah/followers","following":"https://discuss.systems/users/micah/following","followingCount":33,"icon":"https://fd.discuss.systems/accounts/avatars/109/510/456/259/429/885/original/fb9b4d0b69f1b32f.png","id":"udtot0bwzmeg7g8","inbox":"https://discuss.systems/users/micah/inbox","iri":"https://discuss.systems/users/micah","isLocal":false,"last_fetched":"2026-01-30 11:11:12.549Z","outbox":"https://discuss.systems/users/micah/outbox","preferred_username":"micah","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxj/Do4Jd3Dj6a4kekpve\nAkmWHLmxE89YuziTQshMA7OcGuXxCxasGAl03ofWi90PnNrbhVOq1QFQrk8wgSl6\nMtryGXK+J5Wd0EZ9v1Z/DVVZ7TM6G1AsaMAoWkFHcx3AFpP8YKdsicXseuCtUbDd\n7YX14Adpfd4+Ner80BCexA7RnQ5PK4OwD8/DckMbCmj8mIMETPeXSGMdeI2U7R2T\n/tslGKhb7l5rEtxRzQrTSndyEItlMVy0v/dV5QTcv4zzTdpvj2LISgsAiwS4h+r4\nnHslpz4USHJaDC9GCicGQqUuTpSwUToqVDijqZxLSaxXT8ngqymiAEFn0oVBHJpZ\niQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-14 00:00:00.000Z","summary":"

I'm an SRE at Google, where I work on scaling/reliability of Geo products.

In my free time, I read/write about systems research on my blog (https://www.micahlerner.com)

","updated":"2026-01-30 11:11:12.550Z","user":"","username":"Micah Lerner"}],"page":1,"perPage":10,"totalItems":3,"totalPages":1}

Dpk

Followers