{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 16:10:54.048Z","domain":"functional.cafe","followerCount":991,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":17,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"ot196s1xhs3ux3g","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2026-04-19 06:48:28.243Z","outbox":"https://functional.cafe/users/leanprover/outbox","preferred_username":"leanprover","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7dKENMC1pnGzawmGGlmH\npdYCjEgLBRdPHH3oju/913xBfuqqAir06mUWfox4e1xPNPM0mFvziAxmlEnvrgVq\nmiZyL5x1SLdBKht47JLN91mowTP3FjnKkULBMu5108euUHweKBydC4ZAM1NLMfLV\nCqzx2Wj/EP3vEJVmAQCrHnao7GHcQqKGlJ6ANQ1TO34otabH5W5TJMb5Cvb1mChM\noW+X+pS83hw2yD7ay5f7AXpU1Kwyq2ON0NdlN/2fIuO6FFO0oSHbtKVkH8Zdp6XK\nV0/PiRvDuVZGIfECAT1U5TkUu7u/p5dcSVb4n301k0VM2/N11I8eOYAlY0bYgDrE\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-24 00:00:00.000Z","summary":"

Official account of the Lean theorem prover and programming language

","updated":"2026-04-19 06:48:28.243Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-03-18 19:10:15.424Z","domain":"mastodon.bsd.cafe","followerCount":449,"followers":"https://mastodon.bsd.cafe/ap/users/116246024926010623/followers","following":"https://mastodon.bsd.cafe/ap/users/116246024926010623/following","followingCount":341,"icon":"https://media.bsd.cafe/bsdmmedia01/accounts/avatars/116/246/024/926/010/623/original/92439e50b2261140.jpg","id":"q4xb9v5a28cqvh8","inbox":"https://mastodon.bsd.cafe/ap/users/116246024926010623/inbox","iri":"https://mastodon.bsd.cafe/ap/users/116246024926010623","isLocal":false,"last_fetched":"2026-04-19 04:56:57.289Z","outbox":"https://mastodon.bsd.cafe/ap/users/116246024926010623/outbox","preferred_username":"bentsukun","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2V8wR6JP2SsVdSIyAMRD\nWFZw2egvlLs91tL+8FTdB4g4t/zC5G/0Q02si0OIj4miiOt9qpFAtzLKpLOd0HdN\njA7/a2ggxEzrPXXrYu83KcqE/zboyU7G57W/whx5+si7HnnryBCKS0ruX7Bi916Y\nWaIJPc57aiOw9poL78a17eyDEno6pNyMxXv8Ezd5Rrno9bbll2iIw2GTQ0zt+Js6\nWtbTkunOm+7EG4oP76NyfmOLT/wbFo9HTCShQOMKAWkiJ1eK9Vv3a3jAbjLwMgY6\nx/Vx2ztt7LWIWceJyA07+GgcXpbP/QiDbvScNVrGklZLeN1QchRwiqiMEGiltPh6\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-03-17 00:00:00.000Z","summary":"

NetBSD developer, Googler. I like trains.

","updated":"2026-04-19 04:56:57.290Z","user":"","username":"benz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-03-20 04:57:52.445Z","domain":"fosstodon.org","followerCount":32,"followers":"https://fosstodon.org/users/wako/followers","following":"https://fosstodon.org/users/wako/following","followingCount":16,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/410/019/895/933/025/original/57a926c31ee02348.png","id":"baq80z7cndt8tpv","inbox":"https://fosstodon.org/users/wako/inbox","iri":"https://fosstodon.org/users/wako","isLocal":false,"last_fetched":"2026-04-19 06:48:28.295Z","outbox":"https://fosstodon.org/users/wako/outbox","preferred_username":"wako","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4M9epK2tQioqhDjQfoSs\nk6bYtXnjpwuNw3duzedP9zHjp9j72hJCgLlBbxTHX2QUFm5ukr8xgbstU1uOLGac\n2fhIabaUMa57w1Lo2U5uxT47hoB51o/jD9KdkbOU8LrVNqDUhyN+D6qtaaxhbEV4\nlzKcZVsnPbVOcmrp3G5/I16ni1qADt5VSXAUbQz36QqUGVcApghTQqm92TuXJpNU\ndLY46TJqX8cR8sJlJYzT2WnMgWC7vJ3wJ3qktjmGnW8lk8Pl0BlzB37eQcZ64XHk\n4LEG22NlMx2SI6u+y+KyeqlwMqXcvGvN4FwgEH45LwZN6TEWEKwdDfG3Ak2aXVQn\n1wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-26 00:00:00.000Z","summary":"

GCC developer, ISO C++ wonk :cpp_language:

","updated":"2026-04-19 06:48:28.296Z","user":"","username":"J.W. :redhat: :fedora:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-19 06:48:28.375Z","domain":"mastodon.nu","followerCount":0,"followers":"https://mastodon.nu/ap/users/115984279220777334/followers","following":"https://mastodon.nu/ap/users/115984279220777334/following","followingCount":0,"icon":"https://media.mastodon.nu/accounts/avatars/115/984/279/220/777/334/original/4b429ab245c85a36.jpg","id":"1bezwfi54odnypf","inbox":"https://mastodon.nu/ap/users/115984279220777334/inbox","iri":"https://mastodon.nu/ap/users/115984279220777334","isLocal":false,"last_fetched":"2026-04-19 06:48:28.374Z","outbox":"https://mastodon.nu/ap/users/115984279220777334/outbox","preferred_username":"heptown","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqjr8Fa+voz/NNwmvsQ8M\nDnPAz9b6+rxEHwgHk5D47xkQ9LIeD9Sw9TfRqvcCJ26CuPpcqtx0gEzo/z4WLhy8\n1PHXmTLf3Tgbh9xkHKvv1QmEBk+e4o3nsXBfMDxGfRhlpsRUmro5zai5K1os0pLx\nesrwVLKkPRL55fRz2V1EVrUKhAJwlqchmj+XxQL5ZwigWPgOt83zh7H9TBqL4THf\nPYnGgpoHbkAq7Cayw1Wpr/EKjfDD1OzyvpDLyPz83/bNjXip/umnkN0CrcWrU0Xi\nf5kDdOEJPta8AjCtn25Ke677u2T5Ennig12eUvsI0A+tG7Mc/gm3fFEE4eF8CR+b\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-01-30 00:00:00.000Z","summary":"

Började som Lindy Hop dansande nattklubben Club HepCat i Lund 1999. Vi har idag stort utbud av danskurser i Lindy Hop och andra swingdanser i Lund och Malmö. I vår evenemangskalender samlar vi alla evenemang med swingdans oavsett vem som arrangerar dem. https://www.heptown.com/

","updated":"2026-04-19 06:48:28.375Z","user":"","username":"HepTown Swing"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 04:14:49.151Z","domain":"mastodon.social","followerCount":397,"followers":"https://mastodon.social/users/nikic/followers","following":"https://mastodon.social/users/nikic/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/111/280/291/603/583/962/original/c6da307a9d7ae8d9.jpg","id":"bwmosapqzrbmgq5","inbox":"https://mastodon.social/users/nikic/inbox","iri":"https://mastodon.social/users/nikic","isLocal":false,"last_fetched":"2026-04-19 06:48:28.480Z","outbox":"https://mastodon.social/users/nikic/outbox","preferred_username":"nikic","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxSUhwoMh05JAu7IfzKid\nFhajanOctFU4VGSKOHKj5/INRXjeIFQbnJy0B3l9U4VxsK0R27qE530mYWXQnlkv\nMnUw8sXtd3ht4EHXVrPWLgnH8vLbUJ9IvWgg2P+JxNWcZs/Emi3IKyuUfpNR/Dy/\nrewRJQvJJi9vQW+AANu27IR1TN+vbyrDSrMUhvV58+QOmeigJ2FEfTZa1/kaBLyU\nIXA6HTOCMthwmkPth/qSlUS2toibV68/2IWkS0u3GSkKkYdTN0OWgzkR9pKYfrHk\nRcuQdNdFgpGx1VlzQb+QrsdLg3zUmrv77okoIVTlCjBY7MuJ71mHzVXEUfSnymkL\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-22 00:00:00.000Z","summary":"

LLVM toolchain engineer at Red Hat. Open source contributor, mainly LLVM / Rust / PHP.

","updated":"2026-04-19 06:48:28.481Z","user":"","username":"Nikita Popov"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-30 19:14:05.185Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/cr1901/followers","following":"https://mastodon.social/users/cr1901/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/011/500/original/7eb522416c373a06.jpg","id":"v69jbbvublq96ku","inbox":"https://mastodon.social/users/cr1901/inbox","iri":"https://mastodon.social/users/cr1901","isLocal":false,"last_fetched":"2026-04-19 06:48:28.551Z","outbox":"https://mastodon.social/users/cr1901/outbox","preferred_username":"cr1901","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu4B6b7A+nR7pZMIn/idf\nlgJuPYOLetNST+nZNt+8cWWx5/mRAivTNKWK7iSMT1h6aLwr4iHhCH15V/D5Pkzj\nVZM97q+sJaNpYfJK8SetRwVYcFQg9F57gXs4x0AXG3/VM5MnDgJxSYWctUPhWP5O\nqGIvd1BnRqIU0kg8DREq6o4Mu2KNrCLTqrLkyzSRhRWPiuG8lJH4Ju6Ben0s6MfA\nyutCRGoJI1KQPnlabZle4cEwrqZWZU+rvkvLJpJL8oLQA9t5XNJnFiKf0otgDEL8\nB8UizflurLtMswvAmSI5NPOqkX2UjNysMsy7OoPoIzHBre5MjyU5oI19bPxuna+/\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2016-11-22 00:00:00.000Z","summary":"

Another important fact about me is that I collect ISA cards. I still don't believe in magic- just concepts I don't understand yet.

http://pronoun.is/he/him

","updated":"2026-04-19 06:48:28.552Z","user":"","username":"William D. Jones"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 09:09:19.460Z","domain":"mastodon.gamedev.place","followerCount":709,"followers":"https://mastodon.gamedev.place/users/rovarma/followers","following":"https://mastodon.gamedev.place/users/rovarma/following","followingCount":327,"icon":"https://cdn.masto.host/mastodongamedevplace/accounts/avatars/109/287/574/818/110/584/original/b6910fd4895bd276.jpeg","id":"vpq5vnoiyo8l0kh","inbox":"https://mastodon.gamedev.place/users/rovarma/inbox","iri":"https://mastodon.gamedev.place/users/rovarma","isLocal":false,"last_fetched":"2026-04-19 06:48:28.587Z","outbox":"https://mastodon.gamedev.place/users/rovarma/outbox","preferred_username":"rovarma","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtzDUiCZox+oy3GzAo9qM\njBKeIZksN5eoSth0FuE37M9c4+O4I42Pn28IMGw0d2FEuMY3WYeoXg0fPL51DkW5\ngYBgfLC7QQ/i5mriiGnV+wC996LRInmY/WhoC3ZUDXZhQ5Q+qgtfgtXJRouQ92cW\nfs/z7wuEiXJOP5qA8UyB+6Oa12ofm9Eww1PJlbz7Uc/VWhSZdCjlHrF4kVL+Tyda\nC++T60km1wQ576tClgNTcgL5trXw6i0q7aXFyhKuucignc1L8t2cgfBSrlj7dimK\nrt7cJAIDbBmQZQcwHZryUzMdgn139lSGqIrV7AKBWhZZsqGwBZEIBxj97G7et5xF\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

Building Superluminal (https://www.superluminal.eu / @superluminal), a user-friendly CPU sampling profiler for C/C++, Rust & .NET on Windows & consoles. Ex-Guerrilla Games (H:ZD). Mostly toots about tech.

","updated":"2026-04-19 06:48:28.588Z","user":"","username":"Ritesh Oedayrajsingh Varma"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 10:07:39.413Z","domain":"fosstodon.org","followerCount":1206,"followers":"https://fosstodon.org/users/gnutools/followers","following":"https://fosstodon.org/users/gnutools/following","followingCount":44,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/371/151/926/459/459/original/e45e26094a0377c5.png","id":"50436omz928plk0","inbox":"https://fosstodon.org/users/gnutools/inbox","iri":"https://fosstodon.org/users/gnutools","isLocal":false,"last_fetched":"2026-04-19 06:48:28.637Z","outbox":"https://fosstodon.org/users/gnutools/outbox","preferred_username":"gnutools","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2BQF1ndULkrzdF3UZIdF\nUo8NwNQLeQ+9bJX7OfbM3etitnNlD/XUBnbejs7tkMLXgrRulB6ooH3XsSph4BKR\n4Ry2o76dmzn8oqevlVH72ZcZf7/lC5oZ42W7DoAiSd3LkYwFjp11a9V9/ECKBXoZ\njq5qmunptkm6en+WddszmNTkVS2wU7YoMHZ1xoA3+q5f6XTsr30f1tUOeBQw43r5\nopzvIR43bfs3p1jLdmXT32oPDn3ExJja3MVD5VwIfMTcSYXxFgeDarT3aIKL6ODI\nS54UzM1t1gRK/6lXuNLb2ncctsrrbEqEeRMxWpN24uQBZK08deNRPO0G3gvgCDQu\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"

GCC, Binutils, GDB, GLIBC. Continually Improving.

","updated":"2026-04-19 06:48:28.638Z","user":"","username":"GCC - GNU Toolchain"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-04 10:07:27.597Z","domain":"mastodon.acm.org","followerCount":279,"followers":"https://mastodon.acm.org/users/smarr/followers","following":"https://mastodon.acm.org/users/smarr/following","followingCount":128,"icon":"https://mastodon-acm-org.s3.bhs.io.cloud.ovh.net/accounts/avatars/110/893/988/670/663/248/original/670cd93f2237fe42.jpg","id":"b2mudj06kn7hknf","inbox":"https://mastodon.acm.org/users/smarr/inbox","iri":"https://mastodon.acm.org/users/smarr","isLocal":false,"last_fetched":"2026-04-19 06:48:29.673Z","outbox":"https://mastodon.acm.org/users/smarr/outbox","preferred_username":"smarr","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqXAGJ15DuIOPfggXuN8T\nipHiLXDvtnxV+L4vbB2SvNDodMPOQCbEN4M1ysjHksT4aX4RVfIKFIu10H/kYC1V\nyqZ2DeyCNOhcXnNiSiLrSBMPo3tee07j/N8FK5+UHiEcV4o3Of/jUN9E0Ms0WzTb\nd9xgmANIUPHyRh4aKYEbGDUdfnn53aQh5cZ1dhioQB6HKIOuEvwpmuH57CHGbZ4V\navkeE90PsPFNvFs/URpCs4ZCMjPlPaeFrzJKNsAtCyOLdHyyLre5/f10Tun3jWhb\nYe2l8mE658lUF0Q6KXvT4IocLXpOfbO5Bhg9dm2CElV/WItPcjkWh3pSXW3ilgs4\nZwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-15 00:00:00.000Z","summary":"

Interpreters, compilation, concurrency, and debugging tools.

","updated":"2026-04-19 06:48:29.674Z","user":"","username":"Stefan Marr"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 10:35:41.882Z","domain":"mastodon.social","followerCount":1583,"followers":"https://mastodon.social/users/xoofx/followers","following":"https://mastodon.social/users/xoofx/following","followingCount":314,"icon":"https://files.mastodon.social/accounts/avatars/109/249/820/869/086/935/original/2e56e67cb075786f.jpg","id":"wizqvgx6ei4dmam","inbox":"https://mastodon.social/users/xoofx/inbox","iri":"https://mastodon.social/users/xoofx","isLocal":false,"last_fetched":"2026-04-19 06:48:29.755Z","outbox":"https://mastodon.social/users/xoofx/outbox","preferred_username":"xoofx","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAultSaUa3PEPcJ+Um30fx\nhzoGUUkZjsFIWj1BxALpqtFM4olJYzD3sppZ9De2NX/kuv1aImpdr18J4pkUsGaQ\ncJQQG5nZ7bGBRrxG+XBsaYpBvRGHnzVaNvhrH+ruWr9E7ylJQ3Yh92dsZk6j1DJz\nh8c/yH67umUhrc/k2GHIouky8Fgc/1ZXX0eRaDoMrqr92XlseJNzvyu13K7hWZ7k\ncDn3KHGtws+vl/SzthLSLnENrb4RN1yMU5Ws3Tz/nZPdv0BlzFOpgqSp4beFxjUd\na+rfxLtQ02qWboilWinP+d/MD8lhVqJ3wmTH7F5nAVbpftBowynu2/zkU38taUZN\nhwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

VP of Engineering at DataGalaxy, C#/.NET, OSS, lang/compilers, GPU/sound, performance/SIMD/HPC, architecture 🏎️
Microsoft MVP, ex-demoscene PC/Amiga, ex-Unity 🎆
Veggie 🌿, opinions are my own

Supporting freedom for 🇺🇦 and 🇵🇸

He/him/his

","updated":"2026-04-19 06:48:29.756Z","user":"","username":"Alexandre Mutel"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 04:43:20.560Z","domain":"infosec.exchange","followerCount":5,"followers":"https://infosec.exchange/users/lmaltsis/followers","following":"https://infosec.exchange/users/lmaltsis/following","followingCount":33,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/114/750/511/709/024/063/original/e6ab0012d9ef44b7.png","id":"m88vgblsu2jkqo6","inbox":"https://infosec.exchange/users/lmaltsis/inbox","iri":"https://infosec.exchange/users/lmaltsis","isLocal":false,"last_fetched":"2026-04-19 06:48:29.787Z","outbox":"https://infosec.exchange/users/lmaltsis/outbox","preferred_username":"lmaltsis","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArpr1uUUubXsG8UKtKr0v\nBCRSuO5aFAZkYtuQKc7KYd4gemapQmkm6Do/gbK9T8tS2QDOoBSjweXg3U03bUf5\n1qWLerkk2PzUH9Tl74WH4lj+kEO3RxKokbxOtFMov3Hz5SlDhupKCJ4qzs6PlNo3\nCfYqlwI/gDQVKQ3kXCBefqxuF9hFamiGnVJ8sseUsaYMpzFxfKSN5nkTnBsNZ1sH\nl7RXp7pA5sBzSRdCDi/+fc5hVQ3k6OQPzxn0NGEegsjaZnz4z+GE3CqihWHCkHUX\n//1ShU1XbqDQWlv+0Rkc14KV3ph9OeImghbTOgc/tPf6MLsfKC1lqcqvOCcHZE0o\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-26 00:00:00.000Z","summary":"

PhD student in Computer Science at the University of Manchester
https://lmaltsis.github.io/

Formal Methods, Proof Assistants, Software Security

they/them

","updated":"2026-04-19 06:48:29.788Z","user":"","username":"Lu Maltsis"}],"page":1,"perPage":10,"totalItems":341,"totalPages":35}

Krister Walfridsson

Following