{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:18:24.805Z","domain":"mathstodon.xyz","followerCount":166,"followers":"https://mathstodon.xyz/users/divyaranjan/followers","following":"https://mathstodon.xyz/users/divyaranjan/following","followingCount":340,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/461/862/707/516/704/original/8285365a981dfe21.jpg","id":"usw003jzz84j52o","inbox":"https://mathstodon.xyz/users/divyaranjan/inbox","iri":"https://mathstodon.xyz/users/divyaranjan","isLocal":false,"last_fetched":"2025-08-06 05:24:53.842Z","outbox":"https://mathstodon.xyz/users/divyaranjan/outbox","preferred_username":"divyaranjan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAs8cAdDbwCKEiRDU65GPx\niFzF4w8uv7W3BxvhK4POuT9DmvAfcq5MRShs4r5bjnh6Jp0KjS9nBVSfBtkda0F5\nWJy2fgOUwkcJpxO5o7uXAU4yya3gluAq3DZsRhQgxSaF/pJTPsScHVKlzGEN/r+I\naLHmzy74tpZphUobXOA+NNuYsrBoVMa9/PRgLojD/CKhD45P0+MwrWsO9hy8b/ko\nXWapmcZnYcr/Amn9HjFLmesS+kNLXIRLlHSqiksQGc0TUi7Puo+Bu+cKuD6vnlHn\nxQnWYRakWOQ+tPYakfwf/or36lSLt68HBICTUs7CctD+jYYnsO1FqoaJclbB0c07\nLwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-11 00:00:00.000Z","summary":"

Mathematics, Philosophy and Libre Software.

Lives inside GNU Emacs. GNU Guix package maintainer.

Lisps, Haskell, Rust, and occasionally C.

Formal verification, theorem proving, compilers, and anything that can intersect with philosophy, mathematics and logic.

","updated":"2025-08-06 05:24:53.843Z","user":"","username":"Divya Ranjan :hilbert:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 19:26:34.323Z","domain":"sigmoid.social","followerCount":5602,"followers":"https://sigmoid.social/users/garymarcus/followers","following":"https://sigmoid.social/users/garymarcus/following","followingCount":313,"icon":"https://cdn.masto.host/sigmoidsocial/accounts/avatars/109/299/078/260/826/459/original/d24f3e066ce2c0b9.jpeg","id":"lg484rq80v5e0gr","inbox":"https://sigmoid.social/users/garymarcus/inbox","iri":"https://sigmoid.social/users/garymarcus","isLocal":false,"last_fetched":"2025-08-06 05:29:52.270Z","outbox":"https://sigmoid.social/users/garymarcus/outbox","preferred_username":"garymarcus","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAunh6jb5zMPEb2I3QgEfr\nUW6BKYw7E8RMmTGwO3PDShClfoQ808PrjrYRJXnThQU7Kj2VrPWZ2j/QKRxMnXEL\nBaqlu+9vqoQFfq+FlQf4AS8R421PXVStBs/YyFKSEvGubZMvgplheKcYXd2iAj0N\n2wLiCILnpcvgL8uVIhMf+taWzBNYQ9W/z+pmXKA3P9Z3O0khURUasbDAwYjcFVQu\nTAsXGN2k8Du6dlFv2GPX+VfuwL/ui1GoWQcjxPQiXtNxymwbcDb5XhB79/kNjfOd\njps2A+Pp9dEISHQ1haYk+tU42DWI2j1ym5Wuzoj+eppTPDR708ie+B2lUfXUS7vo\n6wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

Gary Marcus is a leading voice in artificial intelligence. Founder and C.E.O. of Geometric Intelligence, a machine-learning company acquired by Uber in 2016, his most recent book, Rebooting AI, is one of Forbes’s 7 Must Read Books in AI.

","updated":"2025-08-06 05:29:52.271Z","user":"","username":"Gary Marcus"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 12:13:21.229Z","domain":"mastodon.social","followerCount":11187,"followers":"https://mastodon.social/users/Carl_Zimmer/followers","following":"https://mastodon.social/users/Carl_Zimmer/following","followingCount":380,"icon":"https://files.mastodon.social/accounts/avatars/000/512/879/original/525358a5b61e06af.png","id":"x787u7167k0744q","inbox":"https://mastodon.social/users/Carl_Zimmer/inbox","iri":"https://mastodon.social/users/Carl_Zimmer","isLocal":false,"last_fetched":"2025-08-06 05:29:52.799Z","outbox":"https://mastodon.social/users/Carl_Zimmer/outbox","preferred_username":"Carl_Zimmer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwJxy5W25iy9gxJcTEr/7\nym9UQA1ACnE8SshAdpwszozGo63ZQsZ9bbuKUU1plIxVdK1uks6TxkH+469dCB+E\nCc61gc82AAMz0v/9vdpFRP47n0Mw2tf34ZR1Ugjdg1KH3vnk2FdnJbTenBQYokx9\n+03QQsAM3jnToG41FtoIcPWGMhrXckAvwi/GH+PtLDlW2hJRUbtbJxfGSyhrgvmJ\nufk4HnRdBbBNq0KBlPO2Vm1Moe43ckVHL5JtL6LULqrY8Moze9qTWd/xQ9w2B4K8\nh+KIb2o99+cPp1m7hOqEXlDQjqbTyzU/6Agt+Pl7WL8Zzj2Z4OLCzVMDyIrxU8UL\nXwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-09-03 00:00:00.000Z","summary":"

Writer. Columnist, New York Times. Book author. Champion of under-appreciated life forms. Web: carlzimmer.com

","updated":"2025-08-06 05:29:52.800Z","user":"","username":"Carl Zimmer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 04:15:23.276Z","domain":"sigmoid.social","followerCount":4505,"followers":"https://sigmoid.social/users/melaniemitchell/followers","following":"https://sigmoid.social/users/melaniemitchell/following","followingCount":151,"icon":"https://cdn.masto.host/sigmoidsocial/accounts/avatars/109/298/140/163/718/180/original/6bec1d0a2b894f20.jpg","id":"6ys41r095ur104o","inbox":"https://sigmoid.social/users/melaniemitchell/inbox","iri":"https://sigmoid.social/users/melaniemitchell","isLocal":false,"last_fetched":"2025-08-06 05:29:53.109Z","outbox":"https://sigmoid.social/users/melaniemitchell/outbox","preferred_username":"melaniemitchell","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAstlHahi1seqPa2k66bjr\nnJRpjSMIlOhS1Oxg98LzUz+re1g/dneTlJqaxVzJ6gULa++t2hFqPz8KhK8yEBTP\nMn0+MPqgCJMxTyQEd+4PdwfALCodPNHvi4pI1/IgUgcqVL8knSfqpuPUU8PuWrJJ\n6F3IhOYLTtn++tfuBJYS7HZZIUj3bghiENr3aoEMnH1b1guPvGvVk3HlEKBaRw1N\n2WydeMBzial8j1hjNyKjcLf/CYnkeLtOduJAOWyx5zhjTZ8Z/yA0sC4rJYgzMcHl\n15yC3eNxKYY473NvTVzUhsoV2l4H0e/RDu5VAz8RK6XL+UutrxB48H0rBIfO4UKE\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

Professor at the Santa Fe Institute. Interested in the nature of intelligence.

http://melaniemitchell.me

","updated":"2025-08-06 05:29:53.110Z","user":"","username":"Melanie Mitchell"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:18:01.091Z","domain":"mastodon.social","followerCount":1597,"followers":"https://mastodon.social/users/philipcball/followers","following":"https://mastodon.social/users/philipcball/following","followingCount":21,"icon":"https://files.mastodon.social/accounts/avatars/109/355/759/435/583/354/original/d35e323ac4b3e1d0.jpg","id":"7467znx9kji5kc8","inbox":"https://mastodon.social/users/philipcball/inbox","iri":"https://mastodon.social/users/philipcball","isLocal":false,"last_fetched":"2025-08-06 05:29:53.273Z","outbox":"https://mastodon.social/users/philipcball/outbox","preferred_username":"philipcball","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzvcvRCaNhdNANZTVp+Eq\n7Z5fyxy8uDA1MBwefWORmb2pGvA2cWKunxF5YyLGBavz9ybf5TEZg4hyeHOSHcAU\np9RV/kRBguNnz0JOrHkrxBNexMZmavqrky2jFpOUNdMwc183t/MMOeZtBpiKgXKU\nptNDZms/shUoMdyExizzpTn3jzEL/9QhTIhGJPP1yV+8CIaWk3HWEgHqbD+6Pv86\nmMEpgn75rlC8wdg304ZwCVYannNQ/pQ2JkFLEpYc724nTisUbAdvA0Z1meCmy3xP\nWG/j5eN2/uedl6uqV7KUkdUa6b50hw5zeDSxpmAXdFHSRzmBZBuvOFQaCtc+bF2G\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-16 00:00:00.000Z","summary":"

Science commentator, author, Twitter exile. Books include Critical Mass, Bright Earth, Beyond Weird.

","updated":"2025-08-06 05:29:53.273Z","user":"","username":"Philip Ball"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 07:15:25.818Z","domain":"mastodon.social","followerCount":40474,"followers":"https://mastodon.social/users/GreatDismal/followers","following":"https://mastodon.social/users/GreatDismal/following","followingCount":71,"icon":"https://files.mastodon.social/accounts/avatars/000/041/428/original/90eef42aad00ed0f.png","id":"ssze14328577x72","inbox":"https://mastodon.social/users/GreatDismal/inbox","iri":"https://mastodon.social/users/GreatDismal","isLocal":false,"last_fetched":"2025-08-06 05:29:53.376Z","outbox":"https://mastodon.social/users/GreatDismal/outbox","preferred_username":"GreatDismal","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0aCVY0kpSm0QxWfUncJt\nOPJpr6VrDKRltWqRnmpHdFm5uVx3zQ7y92C0O9dLnAx3R0tBPlU3UBGCwS9a8lCe\ndE607+eGpwwiLEKATtmVPWEVWhykulbdM4upQYMu+Ny6sQddksTE1m82L0zWHFUr\nq4rEo3WnEeN6GrokYtvwv99AG0mWWsm5tVbJm3YZGNHwhvaNw+rmJ/DANh/KVtpr\nnyHVD8ZL3TekP2J38o3yoIOkT4aXUumlpCNgr5aADHFKJLp/+GkC/evsw9ACdgD8\njSwXObwQxJdtpT18h7B0FO/tVLFAon6wkKqtnAFVr89zBbkXuXqdsgm2MbRwNz9w\nAwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-04 00:00:00.000Z","summary":"

Author of Neuromancer, The Peripheral etc (@GreatDismal on Twitter, for as long as that’s a thing).

","updated":"2025-08-06 05:29:53.376Z","user":"","username":"William Gibson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 14:33:11.363Z","domain":"mastodon.acm.org","followerCount":6638,"followers":"https://mastodon.acm.org/users/ACM/followers","following":"https://mastodon.acm.org/users/ACM/following","followingCount":449,"icon":"https://mastodon.acm.org/system/accounts/avatars/109/479/889/439/101/442/original/f6002cf354d61dca.png","id":"zfznq9l643j61ed","inbox":"https://mastodon.acm.org/users/ACM/inbox","iri":"https://mastodon.acm.org/users/ACM","isLocal":false,"last_fetched":"2025-08-06 05:29:53.988Z","outbox":"https://mastodon.acm.org/users/ACM/outbox","preferred_username":"ACM","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxQcBwDk96SOvmeoEx9j2\ntMx8kdAPAr40KzkeKqsczkxZ67ED6MBofrvDtYxZhZyNxNqd8VyUubJM5884z2c8\n3UdUtGBgwAK59j+3Aa9s2FimKu2+jNnYtDbQYnPVNqLLs1Z8uriSTGDPlGOQbBAa\nTgJQI1K8qV3FG4ZevgZjIdEt404+MqnUAcyBFKYZVy8KwaQ6EfdwfvZNppCLkTZJ\ncSo/wi+LmEUIqXsCDe28tbI4ASoO6NnPt9sF9KtwMTTi4Px2Rxec21QVuMVOFVKM\nGs45P1yk96+A9ul/ctaGVaNTyt+WQsz8LlwRFJzKr2RazSjSVC0B/h8JYH1Z9hjE\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-08 00:00:00.000Z","summary":"

The world's largest professional organization advancing #computing as a science and profession. Join our official #Mastodon instance: mastodon.acm.org

https://linktr.ee/theofficialacm

","updated":"2025-08-06 05:29:53.988Z","user":"","username":"Assn for Computing Machinery"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:23:50.532Z","domain":"mathstodon.xyz","followerCount":2224,"followers":"https://mathstodon.xyz/users/highergeometer/followers","following":"https://mathstodon.xyz/users/highergeometer/following","followingCount":5,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/327/712/438/629/582/original/76fa858ad767bda9.jpg","id":"qk71q6k4xb314jw","inbox":"https://mathstodon.xyz/users/highergeometer/inbox","iri":"https://mathstodon.xyz/users/highergeometer","isLocal":false,"last_fetched":"2025-08-06 05:29:54.067Z","outbox":"https://mathstodon.xyz/users/highergeometer/outbox","preferred_username":"highergeometer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt7cflWgLRuGRI492Z3za\nXWJcMKxUYp6c9C15yyKEyCyW6rlmFC5JtJcxx7HGDJ5impPDF+5VA++6YYhv3uAb\nQ7mVDLaTZs6p2qe8+MyF/zZfdV67jyy+UdIBbWzTF59jkHNV/pg5jxRHrxuOO76o\n4d+gXUHEHCctZbA9KcBBHuik+y1zkL2OXLQTatLF/jLtW7Ofe79eZz9HkxuyqFzA\nFlMS8eI4oE/GvwaVIahlytL/luQXeKF+Vb5yFS0ZZW8hFuIQhqBeUUwGguv3ZRb6\nEAti3Um/QpfhJTw628GtAeV1NLs8d12CekCCfxjoaOCtS1l9t0JLaxugjdEQJfa2\nRwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-11 00:00:00.000Z","summary":"

rimcræftiga |
bespoke constructions in categorified geometry since 2010 |
dude

","updated":"2025-08-06 05:29:54.067Z","user":"","username":"theHigherGeometer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:21:47.863Z","domain":"functional.cafe","followerCount":751,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":16,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"cd9ogdv88w560so","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-08-06 05:29:54.123Z","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-08-06 05:29:54.123Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-13 15:18:24.304Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/jackerhack/followers","following":"https://mastodon.social/users/jackerhack/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/970/106/original/5c78433f66801fc7.jpeg","id":"bmf1w1885hs488y","inbox":"https://mastodon.social/users/jackerhack/inbox","iri":"https://mastodon.social/users/jackerhack","isLocal":false,"last_fetched":"2025-08-06 05:29:54.285Z","outbox":"https://mastodon.social/users/jackerhack/outbox","preferred_username":"jackerhack","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAufewHdvP1FZvDoszcGLf\ncSJd+QFaRMbXml0ZR3DfPxGyI1XRUE4QyaI8KZVb7QxXHioogcNLlK+r/a1jinsQ\n5QxsPch5Y9awa29/d98EC1EnKpt/Q/D36VKH0tpbeyWfZCWGLXOTypRU853/K8NP\nke6fU7m2U3uq27f6QpuXGjjIj0OGycG30f6gd6QjigRU2OaIdffwJ1PIdlKdz533\nR7NQ1mRum/LhH15c6pzhfPTrt7kfeD+43KpQTH8iGFmzA5XnYexD52iXKCm0GZw7\nhXmRDEsSGP8v07cVrgw3/x5xgg6iysHTKhaEh2yLpmQYh035hgpX32TXKmelUooq\nXQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-11-08 00:00:00.000Z","summary":"

I used to be elsewhere. Now I'm here and there.

","updated":"2025-08-06 05:29:54.286Z","user":"","username":"Kiran Jonnalagadda"}],"page":1,"perPage":10,"totalItems":44,"totalPages":5}

Abhinav Tushar

Following