{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 02:12:02.854Z","domain":"mathstodon.xyz","followerCount":88,"followers":"https://mathstodon.xyz/users/todd/followers","following":"https://mathstodon.xyz/users/todd/following","followingCount":83,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/989/227/414/998/466/original/63ce774b7b51d16a.jpg","id":"j1u13i6pjy1u9zs","inbox":"https://mathstodon.xyz/users/todd/inbox","iri":"https://mathstodon.xyz/users/todd","isLocal":false,"last_fetched":"2025-07-24 06:36:55.028Z","outbox":"https://mathstodon.xyz/users/todd/outbox","preferred_username":"todd","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx/Ch4U2108rlXGZefljc\nVoPynUiMlGUo4/qAhq+mNlshXfPlcpie1u2DgSsGfWhMSycJCscvxv2h2o6IAu6R\nNqcp8a7bQVoJxIIgDoYpnNi/suMssRubfd6asd5nI4qqodeVlFaAHvK/OAldnbJh\nhx5qHAgOQwYqgj50x6IMhT1lngLCEdxbjGYncBOSJ9CLfYZgsvv7f0VINkXD0Ox7\nPW4BBcYotNZ3xKdIkPE5J1p7Ol+AsKN8igR1deZr2pyXD4gBAEnut8fTOcopNJ5a\nLO7MrGW/s+oT9T3AYk7yfrt37bMQb18ux4LNCTwpGAuFsFbqCRWZuWjfpTOdMWPy\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-01 00:00:00.000Z","summary":"

Theory & Teaching @ University of Birmingham -- Interests include Agda and Type Theory

","updated":"2025-07-24 06:36:55.028Z","user":"","username":"Todd Waugh Ambridge"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 02:12:02.447Z","domain":"lipn.info","followerCount":0,"followers":"https://lipn.info/users/clementaubert/followers","following":"https://lipn.info/users/clementaubert/following","followingCount":0,"icon":"https://lipn.info/system/accounts/avatars/109/264/869/230/698/037/original/2420d21641d42db7.jpg","id":"414ricwcg50u13t","inbox":"https://lipn.info/users/clementaubert/inbox","iri":"https://lipn.info/users/clementaubert","isLocal":false,"last_fetched":"2025-07-24 06:36:55.224Z","outbox":"https://lipn.info/users/clementaubert/outbox","preferred_username":"clementaubert","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA36YvjIbN3Su7WhTOLUeU\nsbBiefh+92zfUud7OQT184lXckznhFuZlvwysbpGfSW0l5C2UtoVnajruaO00Jro\ne6CwP3U3n3Lo9KTnBRpOc4c1/OpC0qqeh1bBoKuMYzatOxkGpcHIOZYVFGTH+5CM\njqVZj5MGna6nW90lHPi5phiWMtWGZEL+cBJFoeRsIVAEwzDyU/zhoVeo3TbY8/ZI\nusFVXGEd6M66VDPkv/PTVTXYuRbNap0x4MaEReNKyS0wGZ5rLPqbZjnAoCGxvdob\n4gr1DZs9OtRCI7NiIn2zHGKXFFk4OWHwQxHk8lvyJ13PhQdek0yE3QVIr9PWCPAo\nrQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

🇺🇸 Associate Prof. in Computer Sciences at Augusta University (GA, USA)
---
🇫🇷 Enseignant-chercheur en Informatique à l’Université d’Augusta (États-Unis d’Amériques)

","updated":"2025-07-24 06:36:55.224Z","user":"","username":"Clément Aubert"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 07:19:04.130Z","domain":"lipn.info","followerCount":532,"followers":"https://lipn.info/users/mkerjean/followers","following":"https://lipn.info/users/mkerjean/following","followingCount":344,"icon":"https://lipn.info/system/accounts/avatars/108/272/509/903/871/295/original/e67a790c00095649.jpeg","id":"1gia6t6gr8j8496","inbox":"https://lipn.info/users/mkerjean/inbox","iri":"https://lipn.info/users/mkerjean","isLocal":false,"last_fetched":"2025-07-24 06:36:55.327Z","outbox":"https://lipn.info/users/mkerjean/outbox","preferred_username":"mkerjean","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvhWQZIit9JXyyy4vM0BL\nJpXX3RRm5/AQjQPQ6LP9/W00YmayOjaTmcgBWUuikLwACZ/NUXVtirLxrmpx2gPE\nQDu+v11I+wQurdudojxdBfT2kqkq8dszV+JIGTvYyzl9PBt1CdeKuQ8BLFdI4WKM\nZemXwvHnxC4QB5xR1wmHlCzUZ7KbyYup/xujZ3SqlBVYF0r8xzKMxuswC6NIDMkc\nwImqRKTsAPg6iMBgB3mXEohZpPSkIcsIP4OmPC7fYBYu0DaMJlqZ2yjupzYL4FMA\n2+9+BOm7gOC6upYoJF2iqscVaQ4d3MKh8MEj2d22+doly+Yo6MzPZYRZ8DX4yjxD\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-09 00:00:00.000Z","summary":"

#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory.
Pronouns : She/her

","updated":"2025-07-24 06:36:55.327Z","user":"","username":"Marie Kerjean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 01:44:38.480Z","domain":"mathstodon.xyz","followerCount":234,"followers":"https://mathstodon.xyz/users/ltchen/followers","following":"https://mathstodon.xyz/users/ltchen/following","followingCount":192,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/290/750/881/240/038/original/0e48c0d475d4adff.jpeg","id":"9j5y7cmy7087jo2","inbox":"https://mathstodon.xyz/users/ltchen/inbox","iri":"https://mathstodon.xyz/users/ltchen","isLocal":false,"last_fetched":"2025-07-24 06:36:55.366Z","outbox":"https://mathstodon.xyz/users/ltchen/outbox","preferred_username":"ltchen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9IdnG1AOuYGq3Us+LDhV\nTXJHx7y+EwOuYDbCLIKiPjACWOBS/8qBj1QgiwyEYu2wlsqS+6zhUn4Z5I6TqMdd\nU9k2OFOUIn1IKEsDAj4HCv9fH4ZF5nMEUm6whTvGFe85UIiQ28IJH/B/Dua6pCKq\nLijQsuJM49QICpN343K4iuyTmkWPOv3xPaBosof+cQpYupP5tmUTzXy9SmgriO9h\nYQGxt3RBqixjS65kMOjhfRS8fAX7wywSxngRZ1+j4ZeQeFO6/Tb3wUeh1662b/XW\nkUyrFw4cN51+FQp2owrvdkhctUK61OoQT42HFMLUPpkFhikzBtSUeQ7fk1vOiUmG\nwQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"","updated":"2025-07-24 06:36:55.373Z","user":"","username":"Liang-Ting Chen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 02:49:48.620Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ljungstrom/followers","following":"https://mathstodon.xyz/users/ljungstrom/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/372/943/920/125/198/original/e49b66cdb7b5dd2c.jpeg","id":"no67b33bh8aq2vw","inbox":"https://mathstodon.xyz/users/ljungstrom/inbox","iri":"https://mathstodon.xyz/users/ljungstrom","isLocal":false,"last_fetched":"2025-07-24 06:36:55.562Z","outbox":"https://mathstodon.xyz/users/ljungstrom/outbox","preferred_username":"ljungstrom","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwYUbvKvZSk8kP6tU3iDK\npn+yqw/GKx00rEFGU3CgVDOM0hSTW3dyv6PSh13PCfMSX6grbzVNsv5OqRCjY96K\nDxd5BGAlFxtORlSDUcpIU0+IUul3vG9tl2gQzG2x4Qzf8LmwRhNrjhrMLN88fZW8\nfvt0/dPH3OR2U/5vq7d3ty7j0AJWKnWWKB6bKU7qN6FnhU3ZAJCgVGznWyhLdU+C\nKH6WyW0IBf11gMTn2N5KmlIAxkLXjJefvFK8hZhTUa9LqpUf6REu/mNHS8F3elSW\npX9i8DTN4yFDJnY2wGzkp72XZJLxz2X+MY2ZVy1GIi38+qAMBZogZ9AiO/cqBndf\nUwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"","updated":"2025-07-24 06:36:55.563Z","user":"","username":"Axel Ljungström"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 18:49:12.472Z","domain":"mathstodon.xyz","followerCount":3428,"followers":"https://mathstodon.xyz/users/MartinEscardo/followers","following":"https://mathstodon.xyz/users/MartinEscardo/following","followingCount":115,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/248/389/055/834/156/original/34545437c59a4b2e.jpg","id":"5318u7674hh4848","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-07-24 06:36:55.596Z","outbox":"https://mathstodon.xyz/users/MartinEscardo/outbox","preferred_username":"MartinEscardo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx2ac5rQZjJp6kxBwN3VY\nEWpZIkA7UCG9zUfkN0tW8eOLE3E2yy1p7eOkx7HhSMLc/RnERnimAS03ssGYh7oO\nwZtuajZ+Bwwt8ua538opKgfzsEgbco1G27LSdcSn/TeN6TvDpikLiP5zeQIOfqR1\n59m3ahULsm2ijD7g79uJwZb8x5PggqUc8BiGzBGk7SX75ISyngSG7vDwfKF/xF02\nIHnj4d+8hlJHTBpozcv/rHJdTnjr/NBauEjPwVM2KCtus5KJRCy686NO2RMvpxaT\nAYtLKSK/4/eqakkY3mkkUFl9DSErcgClfcC/a015pFQSs1uhY23mmA1bof2fU6gf\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more.

","updated":"2025-07-24 06:36:55.596Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 05:06:55.094Z","domain":"mathstodon.xyz","followerCount":655,"followers":"https://mathstodon.xyz/users/noamzoam/followers","following":"https://mathstodon.xyz/users/noamzoam/following","followingCount":401,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/262/369/988/210/813/original/493bd444df424bae.jpg","id":"c2308xs3r83auhe","inbox":"https://mathstodon.xyz/users/noamzoam/inbox","iri":"https://mathstodon.xyz/users/noamzoam","isLocal":false,"last_fetched":"2025-07-24 06:36:55.629Z","outbox":"https://mathstodon.xyz/users/noamzoam/outbox","preferred_username":"noamzoam","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArsuLfrpJ9iJbRWR7DgtJ\n1EPK7kyslOFT26mUGK3c2UUCR5Rju1NW27N5HitNwNwNqFCLXCospNKdn4Ik1ZEN\nDmloODCahHuuyNrEQdrEkTPUHILmjWTXpWhrp0aSUL7QQNvXMfLEPDbmjHSdDXoH\n1RMS9eRgAnoLrEJJhUFmqCECY/1JB2nZIWhgSCPB9CngxWoh6wmscBC7g+JSfg3+\nRkt87xhXnqQmwMhuUT+SZaVOtdS04krp5PTJfuoIZp0cZJFslUHvHBhIOeUJEnb7\ni5LdRAoRNjMuU5D9VBCLhM2xWZGpDGToELxWuWhVWOFJ5ru6BiPYrVvP3fuvHyum\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique.

","updated":"2025-07-24 06:36:55.629Z","user":"","username":"Noam Zeilberger"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 20:27:14.970Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mabeltree/followers","following":"https://mathstodon.xyz/users/mabeltree/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/284/246/961/454/467/original/88c8f099f6a27868.jpg","id":"u647hjvt15padut","inbox":"https://mathstodon.xyz/users/mabeltree/inbox","iri":"https://mathstodon.xyz/users/mabeltree","isLocal":false,"last_fetched":"2025-07-24 06:36:55.662Z","outbox":"https://mathstodon.xyz/users/mabeltree/outbox","preferred_username":"mabeltree","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt4FauN/sOGRXCyxbWVew\nKLACSQVGVr96J0QXlJLV67hHE+ZCJ3pm5zBjZfiBBDLdgzYcjSxGemGDFlyDud17\noYt7h4kw/0ipuXEvR5L1Ll6M5EJzy0vPLZLeWytpek+RjbvBVC3sG6Zu+SsMq0fk\n37ZMtzPhwof6WtaztT2ZhTR3ZsWAf2u1WGvn7u398ZtU/qXAzR6ERxwNtpRhwmkq\nqaV/zuXHR/0N53zV+U/ERoOQypBVPeIpNshq3/ICxsE7ykVP+xZLCCrEW8K3Bh3B\nM/vLQqc36uITsyBB/I8I/Mt+pXRkaWGrMKlcrhmSDBFYzasNA3Gc84sBij1VYSbw\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-29 00:00:00.000Z","summary":"","updated":"2025-07-24 06:36:55.662Z","user":"","username":"Mabel Najdovski"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 16:57:15.431Z","domain":"agda.club","followerCount":990,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":232,"icon":"https://agda.club/media/34f00d6e-8a8b-46fb-909d-dbed9d9b4eef/IMG_20230329_203832_591_crop.jpg","id":"in3x4cr8y5i7nb9","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2025-07-24 06:36:55.795Z","outbox":"https://agda.club/users/jesper/outbox","preferred_username":"jesper","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvxVfryY9wrzaXSLxhu17\nq6FDguwOd3nUaA01T2KP+SRCHodi0k63yMxSNwr3QFR9bxm0OPWNQf51WedJeZaz\nD/i0WErYkU5wG4k6yw0y+mtMwELaeuAQ6WuUUVHwA4u6h90/gQKhfToM3xG1kenw\nkwVuRklhzit4uZOu4h3AQ9i83p0QrMYPPVG9zl7Ch91pb5krUnVvoIjevkJWm1e3\nfTt5PLeBzdmsO/7MN1njBr7Dng/YODLdwGWB3noEx2jPmSLPwUR5lnEa/RueRSUi\nvzueuEjMeJJAynwcy2RXILUi/bSNtKdr9btTOM3BQfNV4ILXq1x9rEBPs3YXhl8j\ntQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":"Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL@AkademieNL.social. I've taken the 🔸10% Pledge (#2542) to donate to effective charities.

Talk to me about:
- Dependently typed programming
- Tabletop role-playing games
- Playing bassoon and clarinet
- Effective altruism
- Climate change
- Neurodiversity
- Mindfulness
- Creativity
- Hiking and landscape photography","updated":"2025-07-24 06:36:55.796Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-24 06:36:55.867Z","domain":"lipn.info","followerCount":0,"followers":"https://lipn.info/users/theowinterhalter/followers","following":"https://lipn.info/users/theowinterhalter/following","followingCount":0,"icon":"https://lipn.info/system/accounts/avatars/109/545/536/560/951/104/original/1f2279ff49b61c08.jpg","id":"5dl55u430n48p5s","inbox":"https://lipn.info/users/theowinterhalter/inbox","iri":"https://lipn.info/users/theowinterhalter","isLocal":false,"last_fetched":"2025-07-24 06:36:55.867Z","outbox":"https://lipn.info/users/theowinterhalter/outbox","preferred_username":"theowinterhalter","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA375lWDOtVB7tN+iQYdE5\nXREnqdQ1pFniqR4D6ySGRhzbB7BeBEm2pTnqCzYeGIJjcAGgoxYrZHbRvREKcHnJ\nPvKU74iaqybCgUoo1uiKp274bwqVFfpgRlAOwrx2UJpuuURKyewfpiMpkKdLlNzE\nMfjAh8W4BHO4Ti4/7QnXsZBwN67TxBQ+5wVPXbmxZRqfBjsKiez0gHeFYkqwW8I7\neCn82H8uC/E/+Ag/8GpvNnFVkv7Eq4ogL235NqrnfHxVYbBlFKpZsTpHfimmnPal\nAlxKPm8gCZHynvo5zs/nXamX5EDc9m51PcUojoEFW+FE1WwJ9fmp+Yls2bWK7JaR\nwwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-20 00:00:00.000Z","summary":"

Researcher at Inria Saclay in Deducteam. Type theorist. I want to make proof assistants a better place.

","updated":"2025-07-24 06:36:55.867Z","user":"","username":"Théo Winterhalter"}],"page":1,"perPage":10,"totalItems":51,"totalPages":6}

Niels van der Weide

Followers