{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-02 10:11:13.597Z","domain":"mastodon.sdf.org","followerCount":30,"followers":"https://mastodon.sdf.org/users/nojaf/followers","following":"https://mastodon.sdf.org/users/nojaf/following","followingCount":17,"icon":"https://mastodon.sdf.org/system/accounts/avatars/109/304/508/790/060/698/original/25260385b0ed1af5.png","id":"wwmmk31fmwmsh5w","inbox":"https://mastodon.sdf.org/users/nojaf/inbox","iri":"https://mastodon.sdf.org/users/nojaf","isLocal":false,"last_fetched":"2026-04-27 00:16:25.865Z","outbox":"https://mastodon.sdf.org/users/nojaf/outbox","preferred_username":"nojaf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6aWgYLrPU9xb6Pu29S+q\nzYG5GBNdhXGcMJn65XExRkNxywgBBwvOZLjiEaL+sUsRNfEegXLRQc0Q8IClEpWB\nFeojARxo6vbSE3p7pFyWrRiL3tV95hWQxtreaKAYRTZWY2kEMyvSoqF6UcblEc7j\nL2/VmUlXZSRfPz88VwaFc7zQEpyRt/7S0nwuWvrPblL7lfvPgpT14hKyOGwQH/S5\nEQdWxSgAeDbIT1R9XAfIDVLXmD0sUlZk718XIHXvsOoKFSK/OGO+Z4ARFafnauiG\nv2iAaGK2YnsPz7OXlvlPTf3f4TIXWnvlbCwEMtyTuJUpE8hKG+LpFXNkqqDm4GHe\niQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"","updated":"2026-04-27 00:16:25.866Z","user":"","username":"nojaf"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-05 12:48:21.428Z","domain":"mastodon.sdf.org","followerCount":1588,"followers":"https://mastodon.sdf.org/users/dsyme/followers","following":"https://mastodon.sdf.org/users/dsyme/following","followingCount":759,"icon":"https://mastodon.sdf.org/system/accounts/avatars/109/258/955/698/831/013/original/34581c00ba24caec.jpg","id":"scggu2siids5r9e","inbox":"https://mastodon.sdf.org/users/dsyme/inbox","iri":"https://mastodon.sdf.org/users/dsyme","isLocal":false,"last_fetched":"2026-04-27 00:16:26.116Z","outbox":"https://mastodon.sdf.org/users/dsyme/outbox","preferred_username":"dsyme","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnXQBbnjgnL+IRBftwwQi\n2NxQPb8aqJHGJ7+YWoiwBQvoiI7o9hiWeGgaReAwyUYbViYszaqq7TYP04LknE0A\n6Pc5yeccdRSzdu8a0ESSwnEVZc9ivugZwF85wVXcj0yIbcvm643JSKynidAyp9+r\ne2CpUB0s5x5bWsKOoOFR8c9uks/0K9xfetGiuDklOCghxpCEeNCntMPrckuehLzD\nAw/Qt/bySabndzJjiKXJrtRJwA9YJCSaNpYsFPzF2VWFEX1uMZB+fwQCzhq7J6dE\nBFtwPBnugmrJKWRVNenTpk34GWjRENFG0esKNq7PRLAqS7OvfDWOLRajBRpZv/iG\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-30 00:00:00.000Z","summary":"

GitHub Next, F# Language Designer, Copilot Workspace Originator

Work/tech/social. Opinions are my own

","updated":"2026-04-27 00:16:26.116Z","user":"","username":"Don Syme"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-18 11:49:34.110Z","domain":"mathstodon.xyz","followerCount":622,"followers":"https://mathstodon.xyz/users/conal/followers","following":"https://mathstodon.xyz/users/conal/following","followingCount":28,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/371/887/024/610/661/original/faf9dc48563b580d.jpg","id":"2sd1y1msiegyh5j","inbox":"https://mathstodon.xyz/users/conal/inbox","iri":"https://mathstodon.xyz/users/conal","isLocal":false,"last_fetched":"2026-04-27 00:16:26.153Z","outbox":"https://mathstodon.xyz/users/conal/outbox","preferred_username":"conal","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsLxoHHr6bEq4X1vCVfro\nBdkEx4trTSxq+woiq32sDBt+XuKidqUXuQo1XT25YlbNdGGbckCiOjdwY9mJhI7o\nG3I9AxzNl3+w0zusVUj3nIixp1y214QGM3SzI3P4J+olrbFiK73G0XMRN0DoECHF\nnjBJ2gmJcKr6REulCj8YeGdO/jn6esw8gEV4EL8TDZ2vcagkLR+VUN06OwK2TDNs\nCddzaZT/UbA5S2amH3zqNnthnf0RmK7xrf21WDk6Sgut5CXW/xOT9TZLH+5qeHxe\nv0WdfjiOVX0hGotuNNznPZx9XiWJ6k4iEWqLLxrJQwpk1rHjtMETD7ZELQXb4CHF\ndQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"

I am into correct and efficient SW & HW engineering with simple, precise, and rich specifications and machine-checked correctness. Working mainly in #Agda.

","updated":"2026-04-27 00:16:26.154Z","user":"","username":"Conal Elliott"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-29 08:45:13.035Z","domain":"mathstodon.xyz","followerCount":5120,"followers":"https://mathstodon.xyz/users/BartoszMilewski/followers","following":"https://mathstodon.xyz/users/BartoszMilewski/following","followingCount":11,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/205/154/379/845/901/original/862ec704f5fa1247.jpg","id":"bevgpfzb8kv1354","inbox":"https://mathstodon.xyz/users/BartoszMilewski/inbox","iri":"https://mathstodon.xyz/users/BartoszMilewski","isLocal":false,"last_fetched":"2026-04-27 00:16:26.190Z","outbox":"https://mathstodon.xyz/users/BartoszMilewski/outbox","preferred_username":"BartoszMilewski","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtozdymsysyTdBl+BYPi5\nLiBntVfG7Awfi7HC9TrQA1bF3DsfN0tP0wGp/zQal+LObFv3P8x5yFYCIpW3QTS7\noKMZCyyPEywDAjLGvd/E9ANoVe7zRajtQ4Ys1sk3qoZ0WlIC0sQA64NQl0FqKwm2\nXPtWZQViveuFwPyHUwOxcoR0D51Q00frRCXPiIy/XBzGsKB/MGIOopa4HasIbqxn\nW5FXmtDzfUDC4ue9aRSjzF9tGhLAX3RpnRqBdbyfZpB9mm4YTjYKL/G3ldzRHm6u\nAi4xTSPQKLzlk4tvnlyotP3EHh2BExkJqVUrdR2E8yrfWrUXWz9EBXKWG/CMvRAS\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-27 00:00:00.000Z","summary":"

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

","updated":"2026-04-27 00:16:26.190Z","user":"","username":"Bartosz Milewski"}],"page":1,"perPage":10,"totalItems":3,"totalPages":1}

abonie

Following