{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 04:39:56.864Z","domain":"mathstodon.xyz","followerCount":2349,"followers":"https://mathstodon.xyz/users/antoinechambertloir/followers","following":"https://mathstodon.xyz/users/antoinechambertloir/following","followingCount":1790,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/042/098/original/32360b78d62f6ef7.jpg","id":"524654f6fi307rt","inbox":"https://mathstodon.xyz/users/antoinechambertloir/inbox","iri":"https://mathstodon.xyz/users/antoinechambertloir","isLocal":false,"last_fetched":"2025-09-02 03:18:58.032Z","outbox":"https://mathstodon.xyz/users/antoinechambertloir/outbox","preferred_username":"antoinechambertloir","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp23Ap2z7eicg/wLWubWa\nQIdNrPL2My6NkRNMKy5/ffP9Kf3tgTN+c0/p7b9qJikZ8wkAtN2Ytc7bxkOQDIHP\n43D336sXYjPRMXx3RVKD+W56MIXNLy/7CE9OyhIWvEgXm7F+zjgy0o96U3MebIM5\nd+jVB7aACG62KlMp2ZUNvNgfgTKQwBCunzzBVM2WyrEp9aBFw+iNF+63JjLTxhom\nldYtVIHhWMytR9b89hpWHdrVQDbb4AT7BmCysYy0ingUsGd+++AIBdfIQnyK8zuf\n6ctjY1X23iolFXv6aiVxOy+GN6NdAkfPbq8aCruJYQwQqAt90eW1kdeNVFgvlQLp\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-19 00:00:00.000Z","summary":"

- Apprentice mathematician (Professor at Université Paris Cité),
interested in algebraic geometry, number theory and (more recently) proof formalization
- Apprentice musician (drums, tabla, cajon; previously Diderock; a rarely meeting jazz trio/quartet).
- Apprentice progressist.

In love with math, jazz, indian music and poetry. ⏚

","updated":"2025-09-02 03:18:58.033Z","user":"","username":"⏚ Antoine Chambert-Loir"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 14:18:01.899Z","domain":"mathstodon.xyz","followerCount":996,"followers":"https://mathstodon.xyz/users/xenaproject/followers","following":"https://mathstodon.xyz/users/xenaproject/following","followingCount":5,"icon":"","id":"iw7qab21ab6ff19","inbox":"https://mathstodon.xyz/users/xenaproject/inbox","iri":"https://mathstodon.xyz/users/xenaproject","isLocal":false,"last_fetched":"2025-09-02 03:18:58.066Z","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-09-02 03:18:58.066Z","user":"","username":"Kevin Buzzard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 14:18:01.868Z","domain":"mathstodon.xyz","followerCount":210,"followers":"https://mathstodon.xyz/users/anndooms/followers","following":"https://mathstodon.xyz/users/anndooms/following","followingCount":36,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/650/158/227/478/220/original/973c2543019dda6e.png","id":"nl8xhk130f995so","inbox":"https://mathstodon.xyz/users/anndooms/inbox","iri":"https://mathstodon.xyz/users/anndooms","isLocal":false,"last_fetched":"2025-09-02 03:18:58.098Z","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-09-02 03:18:58.100Z","user":"","username":"Ann Dooms"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 14:18:01.835Z","domain":"mathstodon.xyz","followerCount":1461,"followers":"https://mathstodon.xyz/users/ProfKinyon/followers","following":"https://mathstodon.xyz/users/ProfKinyon/following","followingCount":468,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/190/285/original/f98800680d332178.png","id":"m74jbipa11m2zob","inbox":"https://mathstodon.xyz/users/ProfKinyon/inbox","iri":"https://mathstodon.xyz/users/ProfKinyon","isLocal":false,"last_fetched":"2025-09-02 03:18:58.132Z","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-09-02 03:18:58.133Z","user":"","username":"Michael Kinyon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 14:18:01.787Z","domain":"mathstodon.xyz","followerCount":588,"followers":"https://mathstodon.xyz/users/caten/followers","following":"https://mathstodon.xyz/users/caten/following","followingCount":163,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/579/875/650/835/311/original/d28ba33f7f93a8cf.jpg","id":"dvb326477d29u1r","inbox":"https://mathstodon.xyz/users/caten/inbox","iri":"https://mathstodon.xyz/users/caten","isLocal":false,"last_fetched":"2025-09-02 03:18:58.163Z","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-09-02 03:18:58.164Z","user":"","username":"Charlotte Aten"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 14:18:01.755Z","domain":"mathstodon.xyz","followerCount":4134,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":199,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"02373s6uv7hdjw1","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-09-02 03:18:58.201Z","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-09-02 03:18:58.202Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 14:18:01.625Z","domain":"mathstodon.xyz","followerCount":28,"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":"64l9jw0yv8swj61","inbox":"https://mathstodon.xyz/users/friederrr/inbox","iri":"https://mathstodon.xyz/users/friederrr","isLocal":false,"last_fetched":"2025-09-02 03:18:59.853Z","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-09-02 03:18:59.854Z","user":"","username":"Simon Frieder"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 05:30:14.916Z","domain":"functional.cafe","followerCount":801,"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":"6ru2q4s157539ap","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-09-02 03:18:59.996Z","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-09-02 03:18:59.997Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 14:18:01.353Z","domain":"mastodon.social","followerCount":530,"followers":"https://mastodon.social/users/gray17/followers","following":"https://mastodon.social/users/gray17/following","followingCount":1028,"icon":"https://files.mastodon.social/accounts/avatars/000/028/959/original/bf04747bbd0170c1.png","id":"3e56hpnps2tryz0","inbox":"https://mastodon.social/users/gray17/inbox","iri":"https://mastodon.social/users/gray17","isLocal":false,"last_fetched":"2025-09-02 03:12:25.805Z","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-09-02 03:12:25.805Z","user":"","username":"felix (grayscale) 🐺"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 14:18:01.230Z","domain":"mathstodon.xyz","followerCount":5,"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":"439n7ir6iis1p55","inbox":"https://mathstodon.xyz/users/rayan/inbox","iri":"https://mathstodon.xyz/users/rayan","isLocal":false,"last_fetched":"2025-09-02 03:19:00.031Z","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-09-02 03:19:00.032Z","user":"","username":"Rayan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-02 03:19:00.066Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/numbas/followers","following":"https://mathstodon.xyz/users/numbas/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/318/762/540/812/005/original/ddcf740cd880cf71.png","id":"615vnraeb08p4c0","inbox":"https://mathstodon.xyz/users/numbas/inbox","iri":"https://mathstodon.xyz/users/numbas","isLocal":false,"last_fetched":"2025-09-02 03:19:00.065Z","outbox":"https://mathstodon.xyz/users/numbas/outbox","preferred_username":"numbas","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwk+Np1QeogW9M7Fci8sZ\nHyOU9f4YA463fFM7HXnnveeDSdRzYFPa/s+ADtMH4c9+j3PORLl1MbwNjV2lgrcE\ntROiD3kjtq5JEfU/x5KjYTRSwPPX45NfwrBfqiSq2FGeE0V81Wa8c1Yingh3IL3+\nTqWL72i41iE68+g/5u+Qqb+AjjQvGLrVYK8D00U55Oc6uYzGoZXVLnu5uwjAzQ/5\nDapE7Ll4LojBR2+91gxleaip7iLAZlHzR4ITrtK0tJNGQ00pqbVL2dMSVo9hE09+\ne5PiLV3Aeyk8Bkw9LRpahRt7hSZaZK2njxKUAbqfAA4hwIr1NJLdaEIDRvX34quG\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-10 00:00:00.000Z","summary":"

Numbas is an online assessment system designed for mathematical subjects.

Developed by mathematicians at Newcastle University, Numbas is free to use and open-source.

","updated":"2025-09-02 03:19:00.066Z","user":"","username":"Numbas"}],"page":1,"perPage":10,"totalItems":4,"totalPages":1}

aspiring_number_theorist

Following