{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-18 10:19:38.981Z","domain":"mastodon.social","followerCount":486,"followers":"https://mastodon.social/users/lemire/followers","following":"https://mastodon.social/users/lemire/following","followingCount":111,"icon":"https://files.mastodon.social/accounts/avatars/000/844/443/original/46889484559f418b.jpg","id":"sxihsnlsygmohkg","inbox":"https://mastodon.social/users/lemire/inbox","iri":"https://mastodon.social/users/lemire","isLocal":false,"last_fetched":"2026-01-06 05:41:16.740Z","outbox":"https://mastodon.social/users/lemire/outbox","preferred_username":"lemire","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0hSk2JvYkPFJaeoiUvuN\nsf1tx70c9hpks2vabaphSkXwUW8t4XkjW7rveIfHICuG16HeItUrgp2qdYWftEat\n2SqPwE8xBhsoBrzZAuyTm6fIuxSaQqcHpkodZtAVczcI4p7g/KbPYCXcDzDHFOY9\nzdo4dH9MANxJvv77ViZ8J72KVkSVvedaDbyFgOtQunyNCMISrAfobhS3Qs3Qybec\nYZjnYEma8bGqIkJ9mRfT7NM7VzYCEVpTTLmVW5rbK+bcxBpCw9klc8Je4fAPo8t6\n9pOq0YYfgZXxsHMYAZb/rEDmLjBuNtSXNcNfLaHGM2XXqI75i8t85NxPbClrnnb4\nBQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-06-27 00:00:00.000Z","summary":"

Computer science professor at the University of Quebec (TELUQ), open-source hacker, and long-time blogger. 👨‍💻

","updated":"2026-01-06 05:41:16.741Z","user":"","username":"Daniel Lemire"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-06 05:41:16.815Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/elliesleightholm/followers","following":"https://mastodon.social/users/elliesleightholm/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/115/039/648/080/510/027/original/2030ddab8448c354.png","id":"7lyncmmwavn72zf","inbox":"https://mastodon.social/users/elliesleightholm/inbox","iri":"https://mastodon.social/users/elliesleightholm","isLocal":false,"last_fetched":"2026-01-06 05:41:16.814Z","outbox":"https://mastodon.social/users/elliesleightholm/outbox","preferred_username":"elliesleightholm","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzAjKMS+xpB3xQE2H9PUx\nxznlhLgS2IaCVFSjVA3oZXL/DL40aw63foEgPJyfw2ThuD61tdC9jj1RDxkQuY1k\nSYcQjVhCuhPLyHcpFxqzPY8UFUi4kUkV3BUROdyXZCRYIgiwx8oWFe2Ci/TpJEgQ\nid99XZ94W1lzHEreQleaIGvoGc2A7GnFHGs1NECBCtr/Ak5kVdha8FDUv9yaJKMB\nFdyRU8fgqIO3zdeAqK+rom4Bn/9+Guj20gx8Zs2e0Rn3CMsMesIaVyjl8AWcRhQy\nK0QKhBBnHF08a/BNznj+y4yzjHUPONp9Hvud/MZBBZD/FRCklWJNnXse0zBCv6bb\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-16 00:00:00.000Z","summary":"

Mathematician, Software Developer, and Mathematics Communicator  You’ll usually find me talking about numbers and the universe (mainly on YouTube) ✨

","updated":"2026-01-06 05:41:16.815Z","user":"","username":"Ellie Sleightholm"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-26 19:56:33.560Z","domain":"mastodon.social","followerCount":7587,"followers":"https://mastodon.social/users/jaffathecake/followers","following":"https://mastodon.social/users/jaffathecake/following","followingCount":316,"icon":"https://files.mastodon.social/accounts/avatars/000/007/220/original/608471246ddf6aee.jpg","id":"zev7p79dh1zmtwk","inbox":"https://mastodon.social/users/jaffathecake/inbox","iri":"https://mastodon.social/users/jaffathecake","isLocal":false,"last_fetched":"2026-01-06 05:03:45.968Z","outbox":"https://mastodon.social/users/jaffathecake/outbox","preferred_username":"jaffathecake","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxnH7QBIC6LQ9PImAy4Gr\nPpYLUeJ8xVTvJGEL1ShitgIsaGJSeMUvGCImMetCX8jkgaa0dKnp+TYW+CE2VxIE\nCxA7V009DdaMRiMMMHSZfRNtXkciM19OiO582DDAEebYdJDB5zLpCKpl2arawOfs\n0gAJ1LYhDjnUqe/rJzSK0Yz0H74KB/hTEmQweXORsuMNw/3z7kVZ9+E8ngGtHf2z\ni7jVQo7wg52VpB/LIt8lFt8YOx9oUMnSb6DiWPg1t0Xy1QtmSriDv8t1zH1yLzW6\nc3qKAmqAZ4S8sgVWGweiB+5Dw5zLM2j1Wmtt1vy2hFY46NEvR5nD4ThL9UnQxsc/\nCwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2016-11-01 00:00:00.000Z","summary":"

Developer of sorts at Firefox. No thought goes unpublished. He/him.

","updated":"2026-01-06 05:03:45.968Z","user":"","username":"Jake Archibald"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-15 20:45:57.782Z","domain":"mastodon.acm.org","followerCount":6773,"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":"s6acp81mnkzlzof","inbox":"https://mastodon.acm.org/users/ACM/inbox","iri":"https://mastodon.acm.org/users/ACM","isLocal":false,"last_fetched":"2026-01-06 05:41:17.341Z","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":"2026-01-06 05:41:17.341Z","user":"","username":"Assn for Computing Machinery"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-27 15:34:31.742Z","domain":"mathstodon.xyz","followerCount":1489,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":1040,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"903i853293k1800","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2026-01-06 04:06:30.575Z","outbox":"https://mathstodon.xyz/users/Jose_A_Alonso/outbox","preferred_username":"Jose_A_Alonso","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxeEFJL7MWF7Mf7IQrtSd\n77JRXb1bJxxNx4En7O/GpvlCzPUowQAV9NzmMlSoBE6uB20MyBqihiRaPUv/Jt0Z\ncsxQCczh0WiGI9de+Dh/Kh/yqtJNr6T9TgMnYTJLR0EdE+XwfXfh2f9eIfdTw9P7\nLlgYHMRjgt5Z1Jc2aKIrWnKJd+qqN72AT1SHDKOmmO5AtghBGfSDzu3CchXHomPh\nMwlg7PV9SPWhFjas2XM2G3TMfmm0yZHua7BFBkmTrVFbKXq2TQyoMvusSrNvNWSf\n6Vs/HzkL0reHKuq35aOFXgz2wI+zSDFWim1hra+ITcAo/cZVpGmJXg1uiWvi84UQ\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-01-03 00:00:00.000Z","summary":"

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

","updated":"2026-01-06 04:06:30.575Z","user":"","username":"José A. Alonso"},{"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-06 05:41:17.469Z","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-06 05:41:17.469Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-17 11:48:56.703Z","domain":"mathstodon.xyz","followerCount":1052,"followers":"https://mathstodon.xyz/users/xenaproject/followers","following":"https://mathstodon.xyz/users/xenaproject/following","followingCount":5,"icon":"","id":"22q2vykhny8np2w","inbox":"https://mathstodon.xyz/users/xenaproject/inbox","iri":"https://mathstodon.xyz/users/xenaproject","isLocal":false,"last_fetched":"2026-01-06 05:41:17.494Z","outbox":"https://mathstodon.xyz/users/xenaproject/outbox","preferred_username":"xenaproject","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3vEz1vG/S4nmaHEDRAj5\nxrOnjS62RYb7L2m6wLh+TxRKee0LySGhyvKCZmzkxZrZ4IioR3td5/8Dtp9hk/+n\noKe71NtagnnE1oFscWjpNor4o2XgPRGuSaSt+K+WB02qw5uK3L8DYlXb7lY2QTmr\ngMNxq+rYGRVSHKkycnWS36c2cpXD88/LVz7XV6AjPxmyHpSc7avWZXvhAyo7dQ6U\nANft+2BUyo9l3a4C+Astja9yz3IoNy/Ixq/C4mEvaxBhJGqtByViM4agFbjXhjvt\n3VOHvwcI9gn38nHVgn83IMJLR9fBRzapWzAzff8G6loKrSqRHXn1s4MLvvPgMoQh\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-13 00:00:00.000Z","summary":"

Mathematician at Imperial College in London. Interested in number theory and theorem provers.

","updated":"2026-01-06 05:41:17.494Z","user":"","username":"Kevin Buzzard"},{"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-06 05:41:17.522Z","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-06 05:41:17.523Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-27 01:40:55.613Z","domain":"fosstodon.org","followerCount":4151,"followers":"https://fosstodon.org/users/jonhoo/followers","following":"https://fosstodon.org/users/jonhoo/following","followingCount":39,"icon":"https://cdn.fosstodon.org/accounts/avatars/000/218/334/original/2a120f7c4e954901.jpg","id":"75cv49wi566nwli","inbox":"https://fosstodon.org/users/jonhoo/inbox","iri":"https://fosstodon.org/users/jonhoo","isLocal":false,"last_fetched":"2026-01-06 05:41:17.607Z","outbox":"https://fosstodon.org/users/jonhoo/outbox","preferred_username":"jonhoo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3zSGrMZ6u6dvBd5AAn4D\n4tv0AeuwWcuFlTy9h7AJRoR/cAkBE/wIW9nS41LmlqRpKUiM6q/e3f9yqWfO/aIk\nxw1FBK8ozM9DBlAfesvJPVLGdjJTXzkpluGShSElzLctB+eRhOWoNH9LbYh8VgrM\nqe++qdP7RjAupBRyxB7aljL2mRIL3R3yEem9IuGDAr9Pnr+XSrB5Iht0MxCjCM1X\nrDTm2/I4cYMKnFu1UcfqexuskkC7xqrY8N9hlaQ71KuaWMe3EhnwTxVucgbUdmsz\nwnQIbecafrYs9AKYYm/k8VCWtXT81AqH+G/wIxtUpX+1TgMsjkje381LNfRQRdR6\nKQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-03-11 00:00:00.000Z","summary":"

Rust live-coder and OSS tinkerer who loves teaching. I try to maintain a high SNR. Wrote Rust for Rustaceans. At Helsing.ai. Formerly AWS. Co-founded ReadySet. he/him/they

","updated":"2026-01-06 05:41:17.607Z","user":"","username":"Jon Gjengset"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 14:51:12.984Z","domain":"mastodon.social","followerCount":4721,"followers":"https://mastodon.social/users/vihart/followers","following":"https://mastodon.social/users/vihart/following","followingCount":13,"icon":"https://files.mastodon.social/accounts/avatars/109/244/667/345/297/775/original/f2c7aacfd33dffe3.png","id":"4q5hs2vfm68c72s","inbox":"https://mastodon.social/users/vihart/inbox","iri":"https://mastodon.social/users/vihart","isLocal":false,"last_fetched":"2026-01-06 05:41:17.753Z","outbox":"https://mastodon.social/users/vihart/outbox","preferred_username":"vihart","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAopVy0PsWfN21EuQXNjsx\nHt4vTDTZhmlR6XwmEcMRh+D6uQQ6hRZ62S7RF3T4pjUf6lt7aGycP9ZNsmnq3Ft8\n9tiRprc7X0Az67F02p3wZkERhD2W6CXfSLdRGYAF+hHhmgbFyOmNoBLV6DpoK0B9\nUxBVkNu9xPMU+GxY+W/7cfEVc9DIF2QbAUu3gIu7fIBsx4X/LfiN1YUfbRmBSa8c\nj3VKyiLQ+PwfKEj6ttrgGtzLIMTzfu/dNxGuwErMMmQfmoG8lilDkqAQtempOwzA\nRwYi9fRgBgWRfYP/XaTfAwAgmkZB/mdxQMrYRyw+Hnt0uwLfZfN8TFz0tv/+qrwC\nYwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Mathemusician human, new to mastodon, used to be cool on the internet but now people are surprised I'm still alive, she/they

","updated":"2026-01-06 05:41:17.753Z","user":"","username":"Vi Hart"}],"page":1,"perPage":10,"totalItems":9,"totalPages":1}

Jan Marthedal Rasmussen

Following