{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-07 05:14:42.149Z","domain":"mathstodon.xyz","followerCount":834,"followers":"https://mathstodon.xyz/users/esoterica/followers","following":"https://mathstodon.xyz/users/esoterica/following","followingCount":1,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/000/556/original/09c5f35c36501799.png","id":"39qtf11oucgi8hn","inbox":"https://mathstodon.xyz/users/esoterica/inbox","iri":"https://mathstodon.xyz/users/esoterica","isLocal":false,"last_fetched":"2026-03-06 06:30:36.341Z","outbox":"https://mathstodon.xyz/users/esoterica/outbox","preferred_username":"esoterica","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt0MeVBQNozsjc3z5dRcL\nbW229vTeeVBXxPYJwHXec/S7t0g3dhuEbEQFDx7vfdI0GSouDYAuJ+EGhrcOPc8+\nvDwX+gkj/4Az2YfKtFjlnz9URHxz99BOgSv+nLCb540enrChl4Jb7UWVF0evlSdg\nexq9/ZM1+/BIIUfxsRll/T+VL7xegRcefnBaP0a9C0hE9T3Z8o/JCpYDFO2Xw62S\n/ixt4GW6/SXZXFrIWCP9YQwXCwk6NUib7jztpOmP4SsNjmK3WPAngljlUNI5azR5\nQ9IkWqhgo086Ayo9hQq2TbjSfLxm6JLO2KnK2N5vW8xO2AcV1V2Z/Xw1Ndv2TbGA\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-17 00:00:00.000Z","summary":"

@christianp's collection of interesting and unusual maths references.
Posts one interesting reference a day.
http://read.somethingorotherwhatever.com

","updated":"2026-03-06 06:30:36.341Z","user":"","username":"Interesting Esoterica"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-04 02:26:41.959Z","domain":"mastodon.social","followerCount":493,"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":"q5610x3i1vsbc78","inbox":"https://mastodon.social/users/lemire/inbox","iri":"https://mastodon.social/users/lemire","isLocal":false,"last_fetched":"2026-03-06 06:30:36.484Z","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-03-06 06:30:36.485Z","user":"","username":"Daniel Lemire"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-06 03:03:41.276Z","domain":"mastodon.social","followerCount":4,"followers":"https://mastodon.social/users/elliesleightholm/followers","following":"https://mastodon.social/users/elliesleightholm/following","followingCount":10,"icon":"https://files.mastodon.social/accounts/avatars/115/039/648/080/510/027/original/2030ddab8448c354.png","id":"7vm8trb2f5t292k","inbox":"https://mastodon.social/users/elliesleightholm/inbox","iri":"https://mastodon.social/users/elliesleightholm","isLocal":false,"last_fetched":"2026-03-06 06:30:36.652Z","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-03-06 06:30:36.652Z","user":"","username":"Ellie Sleightholm"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 15:33:18.263Z","domain":"mastodon.social","followerCount":7772,"followers":"https://mastodon.social/users/jaffathecake/followers","following":"https://mastodon.social/users/jaffathecake/following","followingCount":327,"icon":"https://files.mastodon.social/accounts/avatars/000/007/220/original/a1ee2714b31f25d9.jpg","id":"285o51a1t05e3xa","inbox":"https://mastodon.social/users/jaffathecake/inbox","iri":"https://mastodon.social/users/jaffathecake","isLocal":false,"last_fetched":"2026-03-06 06:30:36.844Z","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, but this is my personal account. No thought goes unpublished. He/him.

","updated":"2026-03-06 06:30:36.845Z","user":"","username":"Jake Archibald"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 09:53:07.277Z","domain":"mastodon.acm.org","followerCount":6903,"followers":"https://mastodon.acm.org/users/ACM/followers","following":"https://mastodon.acm.org/users/ACM/following","followingCount":450,"icon":"https://mastodon.acm.org/system/accounts/avatars/109/479/889/439/101/442/original/f6002cf354d61dca.png","id":"34rx651myn5t619","inbox":"https://mastodon.acm.org/users/ACM/inbox","iri":"https://mastodon.acm.org/users/ACM","isLocal":false,"last_fetched":"2026-03-06 06:30:37.389Z","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-03-06 06:30:37.390Z","user":"","username":"Assn for Computing Machinery"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-04 22:56:58.975Z","domain":"mathstodon.xyz","followerCount":1511,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":1041,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"07cmiklu5l4i93o","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2026-03-06 06:30:37.428Z","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-03-06 06:30:37.428Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 10:25:54.721Z","domain":"functional.cafe","followerCount":943,"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":"3920925tk85to39","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2026-03-06 06:30:37.559Z","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-03-06 06:30:37.560Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-05 13:01:44.482Z","domain":"mathstodon.xyz","followerCount":1100,"followers":"https://mathstodon.xyz/users/xenaproject/followers","following":"https://mathstodon.xyz/users/xenaproject/following","followingCount":5,"icon":"","id":"5l7zr4kgw75iu4v","inbox":"https://mathstodon.xyz/users/xenaproject/inbox","iri":"https://mathstodon.xyz/users/xenaproject","isLocal":false,"last_fetched":"2026-03-06 06:30:37.597Z","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-03-06 06:30:37.597Z","user":"","username":"Kevin Buzzard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 02:59:44.829Z","domain":"mathstodon.xyz","followerCount":21569,"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":"90489b7odnh80i6","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2026-03-06 05:27:25.460Z","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-03-06 05:27:25.461Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-09 01:11:37.225Z","domain":"fosstodon.org","followerCount":4199,"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":"xka61a2e467x679","inbox":"https://fosstodon.org/users/jonhoo/inbox","iri":"https://fosstodon.org/users/jonhoo","isLocal":false,"last_fetched":"2026-03-06 06:10:32.788Z","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-03-06 06:10:32.788Z","user":"","username":"Jon Gjengset"}],"page":1,"perPage":10,"totalItems":12,"totalPages":2}

Jan Marthedal Rasmussen

Following