{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:21:47.112Z","domain":"mathstodon.xyz","followerCount":3,"followers":"https://mathstodon.xyz/users/rayan/followers","following":"https://mathstodon.xyz/users/rayan/following","followingCount":1,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/457/578/101/685/338/original/3048749e306aab9f.jpg","id":"n4u702mw1j51l86","inbox":"https://mathstodon.xyz/users/rayan/inbox","iri":"https://mathstodon.xyz/users/rayan","isLocal":false,"last_fetched":"2025-07-20 06:39:57.828Z","outbox":"https://mathstodon.xyz/users/rayan/outbox","preferred_username":"rayan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzFM4O0g8nBlmLJMIZUm6\nudCkirYSD6jEM92wzch/d3Gacqdyfdz5V8pBVnO+aOm9/NJROa0mDsJrSnu3GSrB\n5mJeq3vmyl3Adi3ZpLb5DZIxwrEQI5VtWAPMM8YrmthqT0wcp0lm+zOhOOdiWzRP\niO0rKMq7M/p/KCKLcb3faEbg0HT49x2QQ1pVUfD43OSYDK74sr8z0ufdwjJmH4PK\nALxHQKPzV92cSdIfnwdFQcISHa0EM7PfUIW3vqPUsVbLiemWoqyKghofo/boWZJs\noTMEhiZsoqLSXgUDsjltlW9OwCSK3VU1uZFJobhvO6QzWrbFQZqcd54yTdqGb1kH\nKQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-05 00:00:00.000Z","summary":"","updated":"2025-07-20 06:39:57.829Z","user":"","username":"Rayan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 07:46:43.537Z","domain":"infosec.exchange","followerCount":7758,"followers":"https://infosec.exchange/users/snopes/followers","following":"https://infosec.exchange/users/snopes/following","followingCount":0,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/113/919/739/653/814/459/original/e65ba1b04627bd6e.jpg","id":"u8d5741275o6vx7","inbox":"https://infosec.exchange/users/snopes/inbox","iri":"https://infosec.exchange/users/snopes","isLocal":false,"last_fetched":"2025-07-20 06:39:57.909Z","outbox":"https://infosec.exchange/users/snopes/outbox","preferred_username":"snopes","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwROxWZ037fk0C2zfOUbv\nRXMwE6g90XfzpCINiq6m9dqHpVv3wTOL4Lmck0PnBPb7OiDPpX9kZeLjQb0gLHV0\nzMn+bsQesvPu6PmeOOiGmIOPnQoh9UVGzLVN3OSd8RBlHJL4ej63NCv6hr+SI6ZK\naaBJFNtHgNo5MOC/58Rn+vz4X4JttMC/rj2F6/sexfVm+AyLG0GzwgGoUyrqY9KQ\n5MmERGox1AmxApZhHbM+cNAjVjkgEsgsUvdFX5uAkxMtCN/jcU6OTWxWfHofxDeJ\nvF+y8Kk+5IYZWrTT8iV3XlSItI9gTv3q0/wS6zYf1G1YAk28YquKbNRMUSVFUXoi\nlQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-30 00:00:00.000Z","summary":"

Official Snopes profile

","updated":"2025-07-20 06:39:57.910Z","user":"","username":"Snopes"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 21:16:29.740Z","domain":"mastodon.social","followerCount":512,"followers":"https://mastodon.social/users/gray17/followers","following":"https://mastodon.social/users/gray17/following","followingCount":1367,"icon":"https://files.mastodon.social/accounts/avatars/000/028/959/original/bf04747bbd0170c1.png","id":"52597adxt7tdw96","inbox":"https://mastodon.social/users/gray17/inbox","iri":"https://mastodon.social/users/gray17","isLocal":false,"last_fetched":"2025-07-20 06:39:57.999Z","outbox":"https://mastodon.social/users/gray17/outbox","preferred_username":"gray17","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmw9ETaxJJOxD5PlvrRnU\nH0RGVYUsFBilKK7NJQhIT3xhAAfdBawmBw1XTcVBKDYfqyImOzXcHzsvJQFh94VM\n8WRrP0Rj+yqXQQzf/fcr6mQbBoxs85JD2XMMAbA32GJ/FLF66TV/0HUnLCH9nKz7\nFB+wHEmRZxBx/wCDwZMfeuDUugnWbkGoqV79QKE9LBJqXp1lWP132YLnN24FDAqf\nS6SkGlkyTgmqXq48TljpxFuLbhYtEblUTyvLOYre/F4MfjFkAbnNyqWmyRexMu5q\nFEctPm8Oe+GzUvom8egwhavC2bEXnaATFtOTumtTHbz8A2KncufSCDjazMj/6ELt\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-02 00:00:00.000Z","summary":"

another wolf in the crowd (he/him)
systems, design, infosec, toolchains, furry, bdsm
searchable, CC-BY-4.0
Portland, Oregon, USA

","updated":"2025-07-20 06:39:57.999Z","user":"","username":"felix (grayscale) 🐺"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:21:47.863Z","domain":"functional.cafe","followerCount":728,"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-07-20 06:39:58.265Z","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-07-20 06:39:58.266Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:21:47.903Z","domain":"mathstodon.xyz","followerCount":23,"followers":"https://mathstodon.xyz/users/friederrr/followers","following":"https://mathstodon.xyz/users/friederrr/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/470/758/474/088/309/original/1ab2edc5b20759c5.jpg","id":"n0u31cpnz9jsat9","inbox":"https://mathstodon.xyz/users/friederrr/inbox","iri":"https://mathstodon.xyz/users/friederrr","isLocal":false,"last_fetched":"2025-07-20 06:39:58.303Z","outbox":"https://mathstodon.xyz/users/friederrr/outbox","preferred_username":"friederrr","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAn0GxmsPW8qsrog3c4QOJ\nnYFZZ+gCy+rWxCYUD4xxg/qTjhCmCSEejYXCCCLuyTFdevQoWyteiucjg+FVzswR\nKkLnGz99RSv4t/rcdthHfdSFmA32PXcDzdFFfUlPfiPPD/pVd4oEA45F4qYEsqJj\n+pmP/4Xl3EcnAXkj/LBvq9C7KfOU/10PM9WnR4knPN9/jXaOyPR5nL6kO+VY2YTU\nqi3W/Btrq3dLdm116R22nSW2dM8fz0d9eY8Pe+cuvsXi2O4n4etOZYnDCFNapcvk\negyotQVujRdDAS2EkjiwFs9R+h4PykVXAVx455d8Q3yoIdT7sluSR9KTvN2jc3ED\ndwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-12 00:00:00.000Z","summary":"

AIMO Prize Manager
Research in math & AI @:
University of Oxford / Dept of CS
University of Cambridge / Tim Gowers' group (external affiliation)

","updated":"2025-07-20 06:39:58.304Z","user":"","username":"Simon Frieder"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 14:08:34.331Z","domain":"mathstodon.xyz","followerCount":4104,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":197,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"2q6p52mlg37pk43","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-07-20 06:39:58.443Z","outbox":"https://mathstodon.xyz/users/TaliaRinger/outbox","preferred_username":"TaliaRinger","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtj6yFND0XEEC+RJLhRMK\nApROqVTcQD1upSPlu+rnfNriyKxsRCie7kOzy/tyoaAd1fVrzHzu2hOkvxhzSO0S\nRGg6EtA1h85S68RqLD03b0u/ZpLF5myhGrsVqvPiIVzL190wQQejbvkV2GR+YXyR\njgz1leYw/qq84ggemIO5TbTEB0/R+nvPfvrxooHK/gxbfzxkIGeu+dtmzsQivpl4\n8YMcNoe9pzeL4BRQX1+X2L5kiFoXDUjHwjl13I8qIIUOGnJzy3f3GYLa4xZYlU+t\nZtj+r0nbwzHFHbXu1/X3eADHf8j7GlsHwM65XOOOPN2uFEX6+Dd4js6elJ3zKFWv\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.

","updated":"2025-07-20 06:39:58.443Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 11:54:11.509Z","domain":"mathstodon.xyz","followerCount":562,"followers":"https://mathstodon.xyz/users/caten/followers","following":"https://mathstodon.xyz/users/caten/following","followingCount":152,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/579/875/650/835/311/original/d28ba33f7f93a8cf.jpg","id":"w67l401i27roxb0","inbox":"https://mathstodon.xyz/users/caten/inbox","iri":"https://mathstodon.xyz/users/caten","isLocal":false,"last_fetched":"2025-07-20 06:39:58.476Z","outbox":"https://mathstodon.xyz/users/caten/outbox","preferred_username":"caten","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwNAxObytlW3PDlbvStqZ\n9/E6nzxGFChDHyNl9qndj+YtUyZq8CP5/XAZ7oo29D9QwXHd8zLnWFuwCS7e9C5G\n3K7GQs4Q0LwCkuYd7wTu/iPjcKw92DhQidJpXOOK5HUIsiL2i5VW4CgQfsYJZNX6\nG/IpGnEA+VDFJPiCPly4YDVC8f0HEjN5+bDD0cH2ECcJpIiauEMFSE1mIypkWFCQ\n177U0zYCMm22HpzXhAOPzk/uEGVr9Wbu+z5z1xcCrCVfB7szIFKZaULIt38ignXZ\n/aJIdQYTemgfcJ0xPICuYoJJtjBtDqSxMIzIf/Gnr+rB3FxFPjMs2IZ+jyELPW5T\nvwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-06-21 00:00:00.000Z","summary":"

I'm a mathematician. Currently a postdoc at the University of Colorado Boulder. I like combinatorics, universal algebra, and category theory. I also write software, and I know that spreading technical literacy is critical to building a better world.

","updated":"2025-07-20 06:39:58.476Z","user":"","username":"Charlotte Aten"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:21:48.094Z","domain":"mathstodon.xyz","followerCount":1444,"followers":"https://mathstodon.xyz/users/ProfKinyon/followers","following":"https://mathstodon.xyz/users/ProfKinyon/following","followingCount":467,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/190/285/original/f98800680d332178.png","id":"r2md1tt8iou2whc","inbox":"https://mathstodon.xyz/users/ProfKinyon/inbox","iri":"https://mathstodon.xyz/users/ProfKinyon","isLocal":false,"last_fetched":"2025-07-20 06:39:58.507Z","outbox":"https://mathstodon.xyz/users/ProfKinyon/outbox","preferred_username":"ProfKinyon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqM7i65Q35B8PPZhPYn1a\nOd9zDsUgO1NSttirH4ExPWzAt4W8Awy81E0+HRKnlAQnnHiJmHTzz7Cz7O7g+ChZ\naUZ12z4U0YOm2b1tawlOKJCFX0vpdAs4a4/gcr5cCnwhI/mZazS5y5TupRehhhBf\nC4K2Bw8+6kdWLuSNv1iOiYi7G/WqgSy2WEYTxTf3tyhm5edqh8xNXyc4usrucaJt\na9xC2uQ4k7grtP4L20wqMuAaHiXcDtKTA9FOYn1OTDlyeiexFEOMhSbK3lquCf9Z\n+NR2tPo63m6J/LP4e5JEE8R5pdtMazQCm0FPCdtbHYNoCsv43/HD8RpIhRMcGVC8\nNwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-07-29 00:00:00.000Z","summary":"

Mathematics professor at the University of Denver | research: quasigroups, semigroups, automated deduction | same username on other social media

","updated":"2025-07-20 06:39:58.508Z","user":"","username":"Michael Kinyon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:21:48.123Z","domain":"mathstodon.xyz","followerCount":207,"followers":"https://mathstodon.xyz/users/anndooms/followers","following":"https://mathstodon.xyz/users/anndooms/following","followingCount":37,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/650/158/227/478/220/original/973c2543019dda6e.png","id":"65k9oy022v0ywq1","inbox":"https://mathstodon.xyz/users/anndooms/inbox","iri":"https://mathstodon.xyz/users/anndooms","isLocal":false,"last_fetched":"2025-07-20 06:39:58.542Z","outbox":"https://mathstodon.xyz/users/anndooms/outbox","preferred_username":"anndooms","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArFxJzmT9EeqQbmpoXhZ1\ndYSNvaKIJIv/WJrjdX4+kNfMfjH5q7pRW+iyh+v9ApWeuPBkUleuY+NOFcQw9rl4\nfrRF3ja7LidzzS6ntTpwzRclB3zozZsO4xKXhBR8u4RITY7Td8p6cZUDy6Qr5gMU\nD6YqZla81Q/1sT8gh9eYikuysqafznyfdaW3k4Ygvtc5uTEBcuXZLvUSvBRvUJFA\nqYLmv0rqYqtAKrl0HMpKz2czvpL2irxdtryKca1vuXYtBLm4rCjsWBWoOX59GjZ2\nKrfg+/ESsZVLWjj2aOmEmXgf/mp4mE49lFxSLEGpGJw7fKC90JIQJnjoRujhdRlf\nXwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-07 00:00:00.000Z","summary":"

Professor Math & Data Science @VUBrussel • Digital ❤️ • Columnist De Tijd & EOS Wetenschap 📰 • Author Lannoo & Borgerhoff-Lamberigts 📚 • Scientific Council Belgium Defence 🛡️ • Board of Directors IMEC📱 • Keynote Speaker 🎙️

","updated":"2025-07-20 06:39:58.543Z","user":"","username":"Ann Dooms"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:21:48.151Z","domain":"mathstodon.xyz","followerCount":960,"followers":"https://mathstodon.xyz/users/xenaproject/followers","following":"https://mathstodon.xyz/users/xenaproject/following","followingCount":5,"icon":"","id":"463d7o26n66a60b","inbox":"https://mathstodon.xyz/users/xenaproject/inbox","iri":"https://mathstodon.xyz/users/xenaproject","isLocal":false,"last_fetched":"2025-07-20 06:39:58.576Z","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-07-20 06:39:58.577Z","user":"","username":"Kevin Buzzard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:21:48.181Z","domain":"mathstodon.xyz","followerCount":209,"followers":"https://mathstodon.xyz/users/thegregyang/followers","following":"https://mathstodon.xyz/users/thegregyang/following","followingCount":31,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/894/103/947/534/956/original/b0ec821682247193.jpg","id":"ffb6p721741b2iv","inbox":"https://mathstodon.xyz/users/thegregyang/inbox","iri":"https://mathstodon.xyz/users/thegregyang","isLocal":false,"last_fetched":"2025-07-20 06:39:58.610Z","outbox":"https://mathstodon.xyz/users/thegregyang/outbox","preferred_username":"thegregyang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2XCDJZJ1egYzjWFj2Sj6\njNOPCXHjOEvjkbCGX8zs32wSeBdBvyQH18XlrZSUtszuj/s+tjQ0cKZqhy5qcoAP\nlGZOTslWiX0fRUw1XXQ+JbEjeYMYLTQemRuTohDrxbgHPw7FtwQ/+Za7P929+na3\nU7zJIjYHEro4v/U8N3sWRMbN3KtD93E/XIy6Qs/2rqMqzOzsYE3VRag/J4kM4Xl3\nMog2CEyY4TKn+r1J3MmKLjFJ34dAbsZ+J+kArXOzMuD7HpsH5Nzp/MSm6sBgIidk\nvkXnGT+Xnxs4edc04Y4NrAWzqwu26aGcO3HpDWvLkuxUEmxJOskJJYCTjSC/0q73\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-19 00:00:00.000Z","summary":"

math at xAI. Morgan Prize Honorable Mention 2018. Developing the theory of #TensorPrograms and the practice of scaling #neuralnetworks.

","updated":"2025-07-20 06:39:58.611Z","user":"","username":"Greg Yang"}],"page":1,"perPage":10,"totalItems":17847,"totalPages":1785}

Terence Tao

Following