{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 04:24:42.729Z","domain":"mastodon.social","followerCount":7465,"followers":"https://mastodon.social/users/jaffathecake/followers","following":"https://mastodon.social/users/jaffathecake/following","followingCount":315,"icon":"https://files.mastodon.social/accounts/avatars/000/007/220/original/608471246ddf6aee.jpg","id":"3b45hxu196dn560","inbox":"https://mastodon.social/users/jaffathecake/inbox","iri":"https://mastodon.social/users/jaffathecake","isLocal":false,"last_fetched":"2025-12-15 07:13:24.243Z","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":"2025-12-15 07:13:24.243Z","user":"","username":"Jake Archibald"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 08:08:27.535Z","domain":"mastodon.acm.org","followerCount":6755,"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":"76135k3c4eu390a","inbox":"https://mastodon.acm.org/users/ACM/inbox","iri":"https://mastodon.acm.org/users/ACM","isLocal":false,"last_fetched":"2025-12-15 07:48:38.653Z","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-12-15 07:48:38.654Z","user":"","username":"Assn for Computing Machinery"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 23:13:24.937Z","domain":"mathstodon.xyz","followerCount":1486,"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":"m4h7zir13wvq1m3","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2025-12-15 05:56:04.926Z","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":"2025-12-15 05:56:04.927Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 04:03:24.339Z","domain":"functional.cafe","followerCount":888,"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":"24czh8z7skp7cf1","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-12-15 07:48:39.110Z","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-15 07:48:39.110Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 04:03:24.569Z","domain":"mathstodon.xyz","followerCount":1046,"followers":"https://mathstodon.xyz/users/xenaproject/followers","following":"https://mathstodon.xyz/users/xenaproject/following","followingCount":5,"icon":"","id":"xvifvu5qcqx7v0h","inbox":"https://mathstodon.xyz/users/xenaproject/inbox","iri":"https://mathstodon.xyz/users/xenaproject","isLocal":false,"last_fetched":"2025-12-15 07:17:23.360Z","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":"2025-12-15 07:17:23.361Z","user":"","username":"Kevin Buzzard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 05:27:26.829Z","domain":"mathstodon.xyz","followerCount":20566,"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":"kgi9m500x7jpom5","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-12-15 07:17:23.349Z","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-15 07:17:23.350Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 12:03:56.307Z","domain":"fosstodon.org","followerCount":4141,"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":"7h29p880r826q74","inbox":"https://fosstodon.org/users/jonhoo/inbox","iri":"https://fosstodon.org/users/jonhoo","isLocal":false,"last_fetched":"2025-12-15 07:48:39.222Z","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":"2025-12-15 07:48:39.222Z","user":"","username":"Jon Gjengset"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-27 17:23:22.158Z","domain":"mastodon.social","followerCount":4710,"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":"50hlk73ktdu6saa","inbox":"https://mastodon.social/users/vihart/inbox","iri":"https://mastodon.social/users/vihart","isLocal":false,"last_fetched":"2025-12-15 07:43:43.805Z","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":"2025-12-15 07:43:43.806Z","user":"","username":"Vi Hart"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-19 20:53:40.213Z","domain":"mathstodon.xyz","followerCount":5011,"followers":"https://mathstodon.xyz/users/BartoszMilewski/followers","following":"https://mathstodon.xyz/users/BartoszMilewski/following","followingCount":11,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/205/154/379/845/901/original/862ec704f5fa1247.jpg","id":"1jx8ssruwds9bw5","inbox":"https://mathstodon.xyz/users/BartoszMilewski/inbox","iri":"https://mathstodon.xyz/users/BartoszMilewski","isLocal":false,"last_fetched":"2025-12-15 05:54:56.836Z","outbox":"https://mathstodon.xyz/users/BartoszMilewski/outbox","preferred_username":"BartoszMilewski","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtozdymsysyTdBl+BYPi5\nLiBntVfG7Awfi7HC9TrQA1bF3DsfN0tP0wGp/zQal+LObFv3P8x5yFYCIpW3QTS7\noKMZCyyPEywDAjLGvd/E9ANoVe7zRajtQ4Ys1sk3qoZ0WlIC0sQA64NQl0FqKwm2\nXPtWZQViveuFwPyHUwOxcoR0D51Q00frRCXPiIy/XBzGsKB/MGIOopa4HasIbqxn\nW5FXmtDzfUDC4ue9aRSjzF9tGhLAX3RpnRqBdbyfZpB9mm4YTjYKL/G3ldzRHm6u\nAi4xTSPQKLzlk4tvnlyotP3EHh2BExkJqVUrdR2E8yrfWrUXWz9EBXKWG/CMvRAS\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-27 00:00:00.000Z","summary":"

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

","updated":"2025-12-15 05:54:56.837Z","user":"","username":"Bartosz Milewski"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-17 07:26:03.918Z","domain":"mathstodon.xyz","followerCount":6504,"followers":"https://mathstodon.xyz/users/christianp/followers","following":"https://mathstodon.xyz/users/christianp/following","followingCount":3923,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/000/001/original/b81854b430500fd9.png","id":"89j77ky56s9b942","inbox":"https://mathstodon.xyz/users/christianp/inbox","iri":"https://mathstodon.xyz/users/christianp","isLocal":false,"last_fetched":"2025-12-15 06:51:30.643Z","outbox":"https://mathstodon.xyz/users/christianp/outbox","preferred_username":"christianp","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7styOSrv0MtxMtLfyGqy\niUhAkywIDZKHIeXwBaQoIEM33miw5NJDZIpYazlvi5K1pUsTsFbOXhHFwG39i3yW\nbz7KJeAMp1gqHssmRnkABf1kbVOoY5g2xzMwuIx/yVqmzoYBlgpUDKjwWfHSCwjN\nqWLbsHYUSCoRWKoRzAHBfm5rhXE5BIbB2eaKCCjsIlXLOuRfRPF4x7s7+v+El9d8\nuMFnIivF6H4xQthp6cdfTSEKtNgcbzEYOFmBro12f1Svx98ncylPIxmyG2em6I3m\nVMnoIQf4t/z1dW/vQV1dh+f3QJlx8AMWX4pk2G1C6lT5ji+NST8RY+jFKTIxu4ke\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-12 00:00:00.000Z","summary":"

Mathematician, koala fan, mathstodon.xyz admin,
⅓ of https://aperiodical.com. He/him

","updated":"2025-12-15 06:51:30.644Z","user":"","username":"Christian Lawson-Perfect"}],"page":1,"perPage":10,"totalItems":9,"totalPages":1}

Jan Marthedal Rasmussen

Following