{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 00:24:16.741Z","domain":"mathstodon.xyz","followerCount":3534,"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":"799i4obsmn167yl","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-10-06 04:30:01.351Z","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-10-06 04:30:01.351Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-29 22:19:21.512Z","domain":"mathstodon.xyz","followerCount":1423,"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":"35y0tb3tcxz2900","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2025-10-06 02:43:05.079Z","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-10-06 02:43:05.079Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-01 18:36:07.289Z","domain":"mastodon.social","followerCount":263,"followers":"https://mastodon.social/users/fm_volker/followers","following":"https://mastodon.social/users/fm_volker/following","followingCount":379,"icon":"https://files.mastodon.social/accounts/avatars/109/251/590/005/619/829/original/810a05d7daee6290.png","id":"29xdd666xaauoeh","inbox":"https://mastodon.social/users/fm_volker/inbox","iri":"https://mastodon.social/users/fm_volker","isLocal":false,"last_fetched":"2025-10-06 04:30:01.715Z","outbox":"https://mastodon.social/users/fm_volker/outbox","preferred_username":"fm_volker","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA+1vPssvb1GEFwneGw4rE\nyY1TjpEuFscy8onb8g9hhmoxPyOmu5ZuD1VlT8MH0VjowklhVfl2R9c2AcmLeFVP\nc3+QXSQbVkXwJMTqX9cwXFPuU5vF2gzxK8jv3zL/J8TelnAme0vBt9064m0WZ+OD\nJ6N5asJgmY/IFOqJJfDJ4Reasye34qenPEiJLU+MDzpnjQx27g8u/rtdNYkAXW+e\ngEe4cgk8hVzbRZwAAQWFeXTUzVgL1oXK1asXyfx9gGJz3buXWv6H8zyjKrV2ZucS\n5Wi+IsP2/NdPEhp+NL+43eyyalSzqhCibmUv5PFGEf91hQ/kzAnod4OSvAbXrR6N\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Unprofessional takes on CompSci and other things. Card-carrying member of @informatik. Sub-tooter at https://fediscience.org/@selabhvl.
https://λ.foldr.org/~vs/ forthcoming. Relapses into #FreeBSD.
#bergen - nordisk by nature. #FormalMethods #RuntimeVerification #Refactoring #HomeAssistant

","updated":"2025-10-06 04:30:01.715Z","user":"","username":"Volker Stolz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 06:11:22.328Z","domain":"agda.club","followerCount":1019,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":248,"icon":"https://agda.club/media/34f00d6e-8a8b-46fb-909d-dbed9d9b4eef/IMG_20230329_203832_591_crop.jpg","id":"9abr090ur5p9640","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2025-10-06 04:30:02.246Z","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
- Veganism","updated":"2025-10-06 04:30:02.246Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 20:08:21.900Z","domain":"mathstodon.xyz","followerCount":52,"followers":"https://mathstodon.xyz/users/dcnorris/followers","following":"https://mathstodon.xyz/users/dcnorris/following","followingCount":117,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/982/358/149/789/382/original/03d9c2259b9b8ed2.jpg","id":"1751za4wk2895g1","inbox":"https://mathstodon.xyz/users/dcnorris/inbox","iri":"https://mathstodon.xyz/users/dcnorris","isLocal":false,"last_fetched":"2025-10-06 04:30:02.289Z","outbox":"https://mathstodon.xyz/users/dcnorris/outbox","preferred_username":"dcnorris","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnOstBeNHaeAB8Eo/RLCp\nXvT6sERVPkfr2FnhKUdYE8gwGYZjWdLeESvLCE3uiXdv68QGNUYG6pw5ZJbaOiZ6\nAZTIJBnXFUVamJURjABd9/dePdttIP/CLp1WYl9Af/9mwFfyXRrS36RAfjVfRyuy\nhrfVR3XkQ0Oz+60+Jq+zVmJ2X4zLla2j/CwhABVpPYwwrkyB4We1KD5XOvxIs4qE\n2vOkwmBT/AAfAPMzc/NQFVocZWQ3Rwj9uYJhpeOPHqgcNmKrwQWRw2TsQv2Iw3nP\nIfWygjPQy7fxiHy1LYlf+MBWzpdrskMmSW51BCs9UDfl9Y1UZuXn1fMv4OfaA1FX\nswIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-23 00:00:00.000Z","summary":"

Medically trained scientific consultant. Precision-medicine methodologist with particular interest in #DoseIndividualization esp. in #oncology. Currently working on a #categorytheory formulation of dose-escalation trial designs aiming (a) to exhibit certain ethical shortcomings of these designs as a universal property, and (b) to embed dose escalation within a larger class of dose-*titration* designs that transcend these shortcomings. (he/him)

","updated":"2025-10-06 04:30:02.289Z","user":"","username":"David C. Norris 🇺🇦"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

zhengyun

Following