{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-20 17:35:42.394Z","domain":"social.wub.site","followerCount":9,"followers":"https://social.wub.site/users/tpb/followers","following":"https://social.wub.site/users/tpb/following","followingCount":6,"icon":"","id":"tg1f7c796mt586o","inbox":"https://social.wub.site/users/tpb/inbox","iri":"https://social.wub.site/users/tpb","isLocal":false,"last_fetched":"2026-01-11 06:35:10.843Z","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":"2026-01-11 06:35:10.843Z","user":"","username":"Tre Vorburns"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-20 14:20:43.549Z","domain":"mathstodon.xyz","followerCount":5,"followers":"https://mathstodon.xyz/users/paulreichert/followers","following":"https://mathstodon.xyz/users/paulreichert/following","followingCount":34,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/044/120/718/131/457/original/b48ff6f128a1bfe7.png","id":"ow9noyookkraaqx","inbox":"https://mathstodon.xyz/users/paulreichert/inbox","iri":"https://mathstodon.xyz/users/paulreichert","isLocal":false,"last_fetched":"2026-01-11 06:35:10.912Z","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":"2026-01-11 06:35:10.912Z","user":"","username":"Paul Reichert"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-11 06:35:11.693Z","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":"hpuh4zwwdkk3fkf","inbox":"https://wandering.shop/users/spooookybee/inbox","iri":"https://wandering.shop/users/spooookybee","isLocal":false,"last_fetched":"2026-01-11 06:35:11.692Z","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":"2026-01-11 06:35:11.693Z","user":"","username":"spooookybee"},{"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-11 05:24:12.719Z","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-11 05:24:12.719Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-26 00:03:27.454Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/gbhnews/followers","following":"https://mastodon.social/users/gbhnews/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/109/246/530/404/595/912/original/83a063ffb48d07b3.jpeg","id":"3g4bbr9d675z999","inbox":"https://mastodon.social/users/gbhnews/inbox","iri":"https://mastodon.social/users/gbhnews","isLocal":false,"last_fetched":"2026-01-11 06:35:11.970Z","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":"2026-01-11 06:35:11.970Z","user":"","username":"gbhnews"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 16:33:35.832Z","domain":"tilde.zone","followerCount":0,"followers":"https://tilde.zone/users/ftrain/followers","following":"https://tilde.zone/users/ftrain/following","followingCount":0,"icon":"https://media.tilde.zone/accounts/avatars/109/294/998/440/987/092/original/aac418fcb851279c.png","id":"0s64z4wvi4exurr","inbox":"https://tilde.zone/users/ftrain/inbox","iri":"https://tilde.zone/users/ftrain","isLocal":false,"last_fetched":"2025-10-01 16:33:35.832Z","outbox":"https://tilde.zone/users/ftrain/outbox","preferred_username":"ftrain","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtRLQBa1Q85Jq8N6RcvPm\ngAg+L78/8ET1gs+0MvWfk+Zzxlg6fzslJe/ntAIZgXqAaRmP25vCuCenGTRnh/2M\nBbgi8c2M569+b8BAMhuWw6q+1z8Fn9D2iN0wQf2prfvonwVvCmUvZgVb5t74qBJL\nPE34FQLsu4pD2buM1ktEU+TBYHPYgorqMVS/bda5AXbauBbo7Nvt+h8ZLUGMbSrR\ne+LthgP/tCzVX5b1ErEEhw/8OyMG+ck6MR0HGfeTGp3I55Jwh6hrGxAxuEOiR6MF\nnu3GPc9ZooGX2XCcDa9z7bn3ejSuZmfV2mz1BbRCSVsQmcHyZfgNK5uSyUAghS9Q\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

Writer, programmer, editor, business human, parent in Brooklyn, NY. Mauna Loa 329.15.

","updated":"2025-10-01 16:33:35.832Z","user":"","username":"Paul Ford"},{"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-11 06:20:12.777Z","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-11 06:20:12.778Z","user":"","username":"Lean"}],"page":1,"perPage":10,"totalItems":543,"totalPages":55}

Rob

Following