{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-15 08:32:40.988Z","domain":"social.wub.site","followerCount":0,"followers":"https://social.wub.site/users/tpb/followers","following":"https://social.wub.site/users/tpb/following","followingCount":0,"icon":"","id":"bk01haz5zmp4vse","inbox":"https://social.wub.site/users/tpb/inbox","iri":"https://social.wub.site/users/tpb","isLocal":false,"last_fetched":"2025-12-16 06:54:42.809Z","outbox":"https://social.wub.site/users/tpb/outbox","preferred_username":"tpb","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArkHF0ICX4Wd8WvjZtexv\nf7z6BK2v10hcB4cMO4mSW02V/RsSB0ygJKGcCXIRdZFdmG1DrCKd9Div0fUEkEB5\nqVaAuixTfEhMx5NAdfBxwbwIATmh5zxe9LyDnmI3AVW0OcHe5GZzWboRf1ASh5Tt\nMxrlPAh45kZRDFfgS1gnEPnzjAI1MEgyOo88QABrmE4Jpmd7SfFpbiD79ivNAbef\nZ4+wCct8Hut8U6nLqKrrplvunxMWrxFst6ti4bRqGbHPNVP0nOPX2TgiIkQKqfER\nBg5olR2RXAqW8NoG1N06YxNu02NUIJgNMugaJp5kAF9mbfSsoaLnYvU1adyOJvxz\n4wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-12-13 00:00:00.000Z","summary":"","updated":"2025-12-16 06:54:42.810Z","user":"","username":"Tre Vorburns"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-15 08:32:41.016Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/paulreichert/followers","following":"https://mathstodon.xyz/users/paulreichert/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/044/120/718/131/457/original/b48ff6f128a1bfe7.png","id":"1k79wejr86w59o3","inbox":"https://mathstodon.xyz/users/paulreichert/inbox","iri":"https://mathstodon.xyz/users/paulreichert","isLocal":false,"last_fetched":"2025-12-16 06:54:42.887Z","outbox":"https://mathstodon.xyz/users/paulreichert/outbox","preferred_username":"paulreichert","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt83mG3MsOgXRySaRhmiS\nIDDufolsdBkfC7UukZwrfStAn6n+cnQoEodgWEfQCy60yoRR6FyVMzdpOJVJnjUr\nTsKZLRaXN32TftwGK/XoCMTN0K/HIJO1oCK1iiTzTc3THePND7ByqLi0G2JJKiXk\nNMkP2wCxf8XmmAYNFuJ73IrhbadP+j+3Vigk3g5byVg2IrytNS52ac4v2w7RcLzI\nypu+U6VwWNquG1eVcWZWcD/AdS8jVRBFo4D56szW0H72PhWZziIxb6tU+rz1C8qL\nqJdf5RRDZhzJuB6rvfBXKqSWUPe6sdiV3SEPY2h84ichFaYe7BnwEorPJms1hma9\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-17 00:00:00.000Z","summary":"

Hello! This is my new separate Mastodon account for English math and computer science content.

Things that excite me most right now are dependent types and infinity category theory. Also, happily working on the Lean standard library, but this is not a professional account and opinions are my own.

","updated":"2025-12-16 06:54:42.888Z","user":"","username":"Paul Reichert"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-16 06:54:43.727Z","domain":"wandering.shop","followerCount":0,"followers":"https://wandering.shop/users/spooookybee/followers","following":"https://wandering.shop/users/spooookybee/following","followingCount":0,"icon":"https://stockroom.wandering.shop/accounts/avatars/109/439/911/336/267/118/original/cc8c485a5e614094.jpeg","id":"9ptzb9hskrplhca","inbox":"https://wandering.shop/users/spooookybee/inbox","iri":"https://wandering.shop/users/spooookybee","isLocal":false,"last_fetched":"2025-12-16 06:54:43.726Z","outbox":"https://wandering.shop/users/spooookybee/outbox","preferred_username":"spooookybee","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvm1+m6ySjSgxRdGkqgBK\nzFN4GV2n8iR/7tG8oNjIQmduwq/T2xt+7l2hE/VPDIexyMgkDAz0Bq8yXGjA1imi\n/GVYbYxRYLT7lePfcP+mZ3VjUvyU5mr3Op00JEl9XNRWSMlkyNeykIuNAEhcK/hr\n4OFl0gXUZ2R0MTv2kh+nhci6VThaP9XXlXGwtZFdY8u4hKOqp4WuOW+DjPH2lYvV\nghpR6gXc6rmC2TVq1rNgVei44I/X+PKxH+3i7Mfi7vVf+57bVfLqWyid5+99jSm/\nZj1KFe7MAFt6eIn2rzIHXNi9Mx4z7dPJDS9LVgdFfA/0T1cAiyKt9PhytcPt0rcD\nUwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-01 00:00:00.000Z","summary":"

On hiatus

","updated":"2025-12-16 06:54:43.727Z","user":"","username":"spooookybee"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 09:21:43.619Z","domain":"mathstodon.xyz","followerCount":20546,"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":"093llosl9305jo7","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-12-16 06:54:43.753Z","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":"2025-12-16 06:54:43.753Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-14 13:24:50.983Z","domain":"mastodon.social","followerCount":12598,"followers":"https://mastodon.social/users/gbhnews/followers","following":"https://mastodon.social/users/gbhnews/following","followingCount":1506,"icon":"https://files.mastodon.social/accounts/avatars/109/246/530/404/595/912/original/83a063ffb48d07b3.jpeg","id":"vyvpsnpcs80r34w","inbox":"https://mastodon.social/users/gbhnews/inbox","iri":"https://mastodon.social/users/gbhnews","isLocal":false,"last_fetched":"2025-12-16 06:54:44.095Z","outbox":"https://mastodon.social/users/gbhnews/outbox","preferred_username":"gbhnews","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuwfR2f0POvMXCbwoho8d\nS84a/CMK6yk7Ox9JsgMWNmvXe9Cp6Q6x5T3hiNJbOmEReMMVbbMImT1akMXeapM/\nMOovqJJUvpjDT0MtpLpoHH6ErawLD6HlJ6lZG0gchD8DiZcj45oQmxxiHqaL2IjA\nms8z/v9ptZ8YMpfxdKBmSmQtmAMtjRcI19UQj86hzRSDQW9Ben/rayS+7Il9Upe1\n7Kl/l2hUSv3L5iSuXSRb93SI9XP/h0g9sPEyMi8kDWwxacL3wUjYJUOSVbIYcP/R\nVQv6MTcacEHM/xdieSRB3nyPsNR9KENyyKVa/ugK6w1pwvaaYt8jV8GkSpVnsoCt\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

GBH News is your home for news, distinctive storytelling, and what matters to you in Boston and beyond. #Boston, #Massachusetts, #USA

","updated":"2025-12-16 06:54:44.096Z","user":"","username":"gbhnews"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-15 00:24:50.629Z","domain":"functional.cafe","followerCount":0,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":0,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"6lxe6n83tjuh5lj","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-12-16 06:54:44.857Z","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":"2025-12-16 06:54:44.857Z","user":"","username":"Lean"}],"page":1,"perPage":10,"totalItems":542,"totalPages":55}

Rob

Following