{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-01 09:28:07.362Z","domain":"functional.cafe","followerCount":902,"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":"ynev2qxpstpn9sb","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2026-01-10 16:19:03.230Z","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-01-10 16:19:03.231Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-11 08:46:21.760Z","domain":"mathstodon.xyz","followerCount":20684,"followers":"https://mathstodon.xyz/users/tao/followers","following":"https://mathstodon.xyz/users/tao/following","followingCount":113,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/378/244/433/513/115/original/e7134404c3103f9a.jpg","id":"evlh74a4ge1m46e","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2026-01-10 16:07:41.885Z","outbox":"https://mathstodon.xyz/users/tao/outbox","preferred_username":"tao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4Enfn4gs8ae2xG4OkK1P\nAzOXdgzLHvxoHLj1ZzIc+s6N+fYVAh1lO3oCyJ+v8ZOD5Di27yEpwEa3hU+j3ZEF\nIdfKwmfDwTA+tUHj2Dr5Hp8sDBI2Vsz9bKL4x6k1gPE785KIgQSCo6/Id31ZiwXC\n9ZEzKN0MRSKFGPVEuL4u0j85skMNC2DbDCXqvU2Zz88go2n204chp58pTI3xwGwX\nLtAF3grhLGdy9gdHEHpLpTHmUEzserpd4zLjqw5O6NydZTF5DFOazKn2QVx+X1Jz\njY2pvFWc4oXFLBv9IrvoYphTqxpMiOk/qnUxn2NconmcORihSGbObY033ZYy2dbK\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Professor of #Mathematics at the University of California, Los Angeles #UCLA (he/him).

","updated":"2026-01-10 16:07:41.885Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-12 18:24:22.047Z","domain":"social.rust-lang.org","followerCount":12461,"followers":"https://social.rust-lang.org/users/rust/followers","following":"https://social.rust-lang.org/users/rust/following","followingCount":0,"icon":"https://cdn.masto.host/socialrustlangorg/accounts/avatars/111/250/853/473/809/020/original/e761c85205588b37.png","id":"2rl898la94v98vd","inbox":"https://social.rust-lang.org/users/rust/inbox","iri":"https://social.rust-lang.org/users/rust","isLocal":false,"last_fetched":"2026-01-10 15:44:15.055Z","outbox":"https://social.rust-lang.org/users/rust/outbox","preferred_username":"rust","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvn8jhVmmTHqMEWoV1FQ2\n+S6n42MjeTBTKtAUP1u0jjHEYNgvEBqm8Wjgfl47oqUMzHZ2pQKKg1uHsNPoDcQv\nz5RDCMEWQn/Vi1JZnt3xwhBtlD5hbpJmV+b+RnOW8rdu249cNYRnTcivcJhjOGsD\ndkUeTmNpMDVYQbCPxpumRuCRB8qtzIqsAybkxsC4BwaUSYvW3XPcLLotm5cVPfZu\nzojVVfYOBDaOiJ07Rexq4nqh2VpLnnziIUlk0wi0fkKXUZpuZShgr0bZcrqbfeJy\nVhadSXpsf5nPBVGXGA6kabU+VBZzuUbUzdmulfhbnaiyApRcERosCtBTWqAFha2S\nUQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-17 00:00:00.000Z","summary":"

A programming language empowering everyone to build reliable and efficient software.

","updated":"2026-01-10 15:44:15.055Z","user":"","username":"Rust Language"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-14 07:29:19.791Z","domain":"fosstodon.org","followerCount":0,"followers":"https://fosstodon.org/users/gnutools/followers","following":"https://fosstodon.org/users/gnutools/following","followingCount":0,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/371/151/926/459/459/original/e45e26094a0377c5.png","id":"37j03vsxdtrxcld","inbox":"https://fosstodon.org/users/gnutools/inbox","iri":"https://fosstodon.org/users/gnutools","isLocal":false,"last_fetched":"2026-01-10 16:19:03.289Z","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-01-10 16:19:03.290Z","user":"","username":"GCC - GNU Toolchain"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-05 08:03:16.602Z","domain":"mastodon.social","followerCount":649,"followers":"https://mastodon.social/users/llvm/followers","following":"https://mastodon.social/users/llvm/following","followingCount":2,"icon":"https://files.mastodon.social/accounts/avatars/111/466/889/416/767/541/original/cc0f9807e15907b8.jpg","id":"ubc1jcqcftgks0w","inbox":"https://mastodon.social/users/llvm/inbox","iri":"https://mastodon.social/users/llvm","isLocal":false,"last_fetched":"2026-01-10 16:19:03.490Z","outbox":"https://mastodon.social/users/llvm/outbox","preferred_username":"llvm","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoNvRx50nG6Ok9VRt2+w4\nTODf+16AaGel5Zfym2MItCV0hGbLKcBsZmloAKEczJrAdh+kSZCkdgo8v+p6jhHD\nMyF/uYhTnN0LlmauJD3vrGJnPz651T9RgjeeiazGSUdiG2nq3boT2xdCUk1BpVYc\nZ/5z8FGU+ZXMSb6OrwEnVftqPQkOlRnH9OvUlrHElBMoftAUkQzZJsjOxf4YfVTY\nTiIBlE4HFTXdfSfV6I8Tk1/pSrebg8iwLWOLoKtI0hvdqLT3WCm3V+wXfoK/DX+s\nT4IqGYCuYuQBEgp/ZLJ+2dwbKGWrPGOhRxTbstJJqBtH1rDxm7eEPIbCaGfVCmoG\nBQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-11-24 00:00:00.000Z","summary":"

Official account for the LLVM Project (run by the LLVM Foundation)

","updated":"2026-01-10 16:19:03.491Z","user":"","username":"LLVM Project"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-20 09:01:30.596Z","domain":"social.kernel.org","followerCount":3937,"followers":"https://social.kernel.org/users/gregkh/followers","following":"https://social.kernel.org/users/gregkh/following","followingCount":95,"icon":"https://social.kernel.org/media/3f73cef195c0cb40ddf21ef3842b1c83150d4972f2f9cb5afd5ce09cc8acf07a.blob","id":"u0x67y35878hzsa","inbox":"https://social.kernel.org/users/gregkh/inbox","iri":"https://social.kernel.org/users/gregkh","isLocal":false,"last_fetched":"2026-01-10 16:19:04.277Z","outbox":"https://social.kernel.org/users/gregkh/outbox","preferred_username":"gregkh","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5R/MryufLB7LyEP6ZluN\nVo+xZCKh4/Ngs7CPaRU4ax9lHk21SczyYe1pENLZkm3hmp9Yu2neL9302k/p2y03\n4nhjyIJY4M17TGX4DCBQv6gynfbiAuU8OqBIpV8u7YscUK+lQwJG/0hIkG2qDou+\nlg8PgITbJl7ZveU9SpfwrqYJb0mN6cpB3IDNOIlmXwujX9ABL/lMoV91iSyv745G\nptX1fUyWHodbs1+LOs/7UrGP7tPON225ieJyRQQWi/EtwDwK1I8XcSTKZUDg9M+j\nLO4FTVMmXVpnzHiAzUqkXZfNtSiIBXIkLaZCxrYYzQg6+nE6uD3/dRSNeQsdbamQ\nSQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":"","updated":"2026-01-10 16:19:04.277Z","user":"","username":"Greg K-H"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

fdri

Following