{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-27 01:10:28.745Z","domain":"mathstodon.xyz","followerCount":3675,"followers":"https://mathstodon.xyz/users/MartinEscardo/followers","following":"https://mathstodon.xyz/users/MartinEscardo/following","followingCount":116,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/248/389/055/834/156/original/34545437c59a4b2e.jpg","id":"g9wb2e1xzwc8wfi","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2026-02-02 06:37:02.367Z","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.

See my meta-blog:
https://cs.bham.ac.uk/~mhe/blog.html

","updated":"2026-02-02 06:37:02.367Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-23 14:44:04.367Z","domain":"agda.club","followerCount":1081,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":262,"icon":"https://agda.club/media/0685df9a795df0b3bcbe265b50dc1d1378337173b3421508985b026b91c2997c.jpg","id":"yywumeko90ezsmk","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2026-02-02 06:37:02.437Z","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":"2026-02-02 06:37:02.437Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-02 06:37:02.849Z","domain":"hci.social","followerCount":0,"followers":"https://hci.social/users/harrisongoldstein/followers","following":"https://hci.social/users/harrisongoldstein/following","followingCount":0,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/111/805/647/066/217/362/original/fc634f0b2bba336b.jpeg","id":"xq8orm1fmlq1l86","inbox":"https://hci.social/users/harrisongoldstein/inbox","iri":"https://hci.social/users/harrisongoldstein","isLocal":false,"last_fetched":"2026-02-02 06:37:02.849Z","outbox":"https://hci.social/users/harrisongoldstein/outbox","preferred_username":"harrisongoldstein","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjkrasx62SArBGiDAHgY5\n2PqDqJPIuDQqxm/bp0RGGEEPThc/8Abt1EqzI3Z4OQCwJZPqxZPZ6cQpX3HFxHYj\nvnhWW5CfjPPC8EY7/F7kipGYGUfFueAr9s6eqcYKJg3i3kDu0epRAtAeYm80vtce\nOvcxeZyTdee1HWZy+hcahrj8+BLO9RRJaEqaG+CoSjb2GqNfxtBnOtLO6ghhtU8z\nt93hBXuc4sHfLlfy83inCnG7KK7D6HGVItLkEUIGnz/QT5cE84v/dNm6G21XSkUW\nYBj/U4ais0QVuA9H2/DauIdgapRd/LWD0OXhZjBfz6y+hU+DktkyD3U73jCGXO+x\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-23 00:00:00.000Z","summary":"

My work combines techniques from PL and HCI to solve software engineering problems. I currently work on property-based testing with Professor Benjamin Pierce.

","updated":"2026-02-02 06:37:02.849Z","user":"","username":"Harry Goldstein"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-22 03:58:16.961Z","domain":"mathstodon.xyz","followerCount":2056,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":528,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"gj4mpgtmkqdrvxq","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2026-02-02 04:42:54.519Z","outbox":"https://mathstodon.xyz/users/jonmsterling/outbox","preferred_username":"jonmsterling","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm18NePJ6kVDLzMmmgKCY\nKQCt2aPrbB43Wg6PoLE8xrnY/fhK/9ENI38gyLkjZhpb4UqPpuKl8Kb+FkBqzDOu\nqjjpnNDJaBJolfewfmFnUXV7QvCQ0tmncw+vset106zNbZ5s9bOUQ41sUvJIs3Rg\nJrltGLHqw3RdgviVIE2quiIeevbAoB4Q/bEVUNP1pIrRFaE9q2/yvvtaHD/LFoTS\nU8S4nQFs9NAiZADZFsmuk8mxb2F7laUtUOO0D7qkpdME8E0qLI+VpJVK3iWSDI7C\nBSs5Pa+Bm7OTZl8+EqpRJnBreEGGBw4zHq7/bxwdBwuGrnpKuQRPn589fpwmEOYF\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

I like categories, domains, and vintage computing.

","updated":"2026-02-02 04:42:54.519Z","user":"","username":"Jon Sterling"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-22 10:32:27.204Z","domain":"mathstodon.xyz","followerCount":50,"followers":"https://mathstodon.xyz/users/matematiflo/followers","following":"https://mathstodon.xyz/users/matematiflo/following","followingCount":121,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/685/598/128/444/419/original/fb55138140c33137.jpeg","id":"k6v96tchcj0mxl2","inbox":"https://mathstodon.xyz/users/matematiflo/inbox","iri":"https://mathstodon.xyz/users/matematiflo","isLocal":false,"last_fetched":"2026-02-02 06:37:03.259Z","outbox":"https://mathstodon.xyz/users/matematiflo/outbox","preferred_username":"matematiflo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAkw9XAyKMLYcfWUzGpQM5\nPnSZD3f7ugEVCTiuvQFN5kYb+oH8vEwAnnQ61lF7slnBEw4LEQnRTaD5p11Yjx8J\n1ABpQQMd0AbTIcbfFHBz0Y7WXtkJ/QKMxTjq3Ymi74RQH43Pg7/eN7dUIxj6cknR\nhfoCfvWlYOPFGJCjWTQVktod0H+lJxDxGUXtSyAKu+SwknNDkvBshM12Jxkh4cPq\n0BAqPLnoPi+TIb3YbpN/e30JTgDyOUJB/M69ELVqYyoTMVP/4zQ6XPXECCVes7bv\nGrV3BfgxM44vtl4Pv2+OCqbKTQjbBUJWPjN+MujCp9P+6baezTpEIXIFwBX4gG+Y\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-20 00:00:00.000Z","summary":"

Mathematician. Working at the Institute for Mathematics, Heidelberg University.

","updated":"2026-02-02 06:37:03.260Z","user":"","username":"matematiflo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-22 02:50:57.338Z","domain":"mathstodon.xyz","followerCount":1103,"followers":"https://mathstodon.xyz/users/emilyriehl/followers","following":"https://mathstodon.xyz/users/emilyriehl/following","followingCount":44,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/292/617/620/227/231/original/e01e739b1fcf160e.jpg","id":"jici8u48h61qb5j","inbox":"https://mathstodon.xyz/users/emilyriehl/inbox","iri":"https://mathstodon.xyz/users/emilyriehl","isLocal":false,"last_fetched":"2026-02-02 06:37:03.291Z","outbox":"https://mathstodon.xyz/users/emilyriehl/outbox","preferred_username":"emilyriehl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyKPUTTeToYOvGH7CUGMg\nHtJpfM3Gd1NlOX8aUGE3G4/PTgPiN9DwyRBW0xofpXOjES8juDhcJlOQtSR26Rhx\neCOiJ1W44UzwX4IhKAZY9SFwq49TagknZgG3gezvaQbSivuLtndN2mO9rxavokFq\nxKg2JeJsnqkK1o0h8Hk+eQnwB5Y+n3TDtYGKTl56v2FZDzcoW9PmCc++F61alslr\ndaCR/XM6fniN3zhTdJoov/sANggqtfKoL8bAIWf83h5e8p82+z6cNNDCr+77CyfT\n+GnfOb7B82K6YqqUush+YZNDtMDeOvpq9hrmFyL30ocJj0WfjpifDRhMHaj25Px7\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

category theorist, working mathematician

","updated":"2026-02-02 06:37:03.291Z","user":"","username":"Emily Riehl"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-26 17:32:28.703Z","domain":"mathstodon.xyz","followerCount":20,"followers":"https://mathstodon.xyz/users/pimotte/followers","following":"https://mathstodon.xyz/users/pimotte/following","followingCount":59,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/598/350/906/603/022/original/0b2ec663004cafba.jpg","id":"jo0amic7ifnulnp","inbox":"https://mathstodon.xyz/users/pimotte/inbox","iri":"https://mathstodon.xyz/users/pimotte","isLocal":false,"last_fetched":"2026-02-02 06:37:03.321Z","outbox":"https://mathstodon.xyz/users/pimotte/outbox","preferred_username":"pimotte","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1Pgh8ha1VHcUD10EzdWB\n1YIM4Fx5O+rXDKZW3FquCE43vj0ZDLTfWoLfhkEBu3PIugxySuK7emVVaeSUXvZ9\nAyMzORm2uoGwIbtTcZBNHF2UBK1pbijkKfhyq+GfzMDlf9nBcOyzHMU0JkYe0EsN\no77uGKCzpXT+Rtt3K+/sXIMqLBPK3aeisRN71LViKGkL/DxwVI2+xLvuM54dt6Uo\nzTmVF6TXRblmGrXqG1eQsgUQcsIkhyqb3ZGosAR5faOr8ENxZNX815Bl87BbVJJ6\nOqm5szJAlDQzbWtrOz5ccgusO1b8UlAAeu6R4PjkIbwjvCqlVjznRIXiFyFgp34S\n8QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-29 00:00:00.000Z","summary":"

PhD candidate on the topic of "Type Theory for education" at Utrecht University

","updated":"2026-02-02 06:37:03.322Z","user":"","username":"Pim Otte"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 20:09:57.343Z","domain":"mastodon.online","followerCount":649,"followers":"https://mastodon.online/users/nomeata/followers","following":"https://mastodon.online/users/nomeata/following","followingCount":96,"icon":"https://files.mastodon.online/accounts/avatars/109/280/580/241/074/001/original/ad7d0dde3212b334.jpg","id":"t746juw1c3oxceu","inbox":"https://mastodon.online/users/nomeata/inbox","iri":"https://mastodon.online/users/nomeata","isLocal":false,"last_fetched":"2026-02-02 06:37:03.855Z","outbox":"https://mastodon.online/users/nomeata/outbox","preferred_username":"nomeata","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4RDqwi1dhYGjohNSWIN9\nlt8IqKFrgmZnJvJ31zXN5BTIJNnRtbJXuOW4nXwv4/+e87RTBYXSzt8VfhVj7qgT\ndYmIy/r33E0u6QdZbT5Cp1/5gSWXVbvDCrspdH9l0NJNkbmufxXbgC/WbiQf2m2h\nexGl/A1LJCb9PmDxW6NS2SXF7PcOEWr/OM9inBRsQu261MjgnQjzb/ul0mZq0OTM\n6K6YemkJSvnYfF+ffJghzBglwUqB3TQrCXqtauZhNNKJCNQm7H8Y6ckMRNZZUwSt\nYXx4r8/a5f2NuO19Jw7GZKQim5JPFTbvoZiOFwHJaQ3R5NXOd0ROhbC6l+nXbD/E\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Has a thing for abstraction.
Haskeller, Computer Scientist.
Dances tango, swing and blues.
Stand-up comedian and Paraglider.

","updated":"2026-02-02 06:37:03.855Z","user":"","username":"Joachim Breitner"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-02 06:37:03.899Z","domain":"functional.cafe","followerCount":0,"followers":"https://functional.cafe/users/hargoniX/followers","following":"https://functional.cafe/users/hargoniX/following","followingCount":0,"icon":"https://files.functional.cafe/accounts/avatars/111/641/311/233/571/409/original/0256718349b4c00b.png","id":"ygfma1jfy96sa50","inbox":"https://functional.cafe/users/hargoniX/inbox","iri":"https://functional.cafe/users/hargoniX","isLocal":false,"last_fetched":"2026-02-02 06:37:03.899Z","outbox":"https://functional.cafe/users/hargoniX/outbox","preferred_username":"hargoniX","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzJT0VFSsve9992IKaLCx\nFWXTeP1CKai93oLCX38VEde2CVktmCrM8HEmw7Tyh3bji3ZiBtvJ9OooLEIjN2a/\n0iIgio4yM+000ZSNSSxbTKId6uGGeBfFh9T0le2EFpVNHDSJEVLaJ2tSM7SvkdMt\nk+J6LA8o4Ql6H+gzLetq27UqVPk1715Ip1SONPK/JDIyLq2+WKGZwrQ/FuWbZWRz\nDW702NpuSRaBDuv3BdnpGfD3DFUG4/1+CyiAYbXpHnBdb7/UhOBiJQUNycR8L0++\nOXMbKnNve78/G79j6RKMzEBeV4Dyof5WDjyRYlosnrLJ7p61KbR058BG0h3BY2kI\n5wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-25 00:00:00.000Z","summary":"","updated":"2026-02-02 06:37:03.899Z","user":"","username":"Henrik Böving"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-02 06:37:04.346Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ejgallego/followers","following":"https://mathstodon.xyz/users/ejgallego/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/822/122/473/842/114/original/db69728b5874dc37.jpg","id":"bejsp9o5p59kys2","inbox":"https://mathstodon.xyz/users/ejgallego/inbox","iri":"https://mathstodon.xyz/users/ejgallego","isLocal":false,"last_fetched":"2026-02-02 06:37:04.346Z","outbox":"https://mathstodon.xyz/users/ejgallego/outbox","preferred_username":"ejgallego","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxpUDtNP0mhvfqFHPl+Gg\nzo8cLN9w8HbyVeSL9USY9jMDn20utv/wESw4yXUjsrRHoGJM+fG8VNFoBiu+dNbB\nJYGIG2wZGWoUk64BFno5ogz1GrDDv+BAJWrDCCVYlCNCKFIVlj+ZTGBrwPPbHk/N\nVZ5LSykgKUAZSgNOW5D5TPlR9mtngkPIDWhIUqT6zxMdD4imZOegFq0uY4A/9hzA\n6P/5VL0gz49d0pj4jxGMmBGL9DbbHEDonrkOPWXfGNWRjKoiObYmn+ZLUaZUojCj\ncaoyhns/2tExjzZuH7uiBXpfcFA2WnVIMo3Cmp317KasUEhwJB7dAPCcIMlbk5gP\ntwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-13 00:00:00.000Z","summary":"

Researcher. ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean

","updated":"2026-02-02 06:37:04.346Z","user":"","username":"Emilio J. Gallego Arias"}],"page":1,"perPage":10,"totalItems":1,"totalPages":1}

Maximiliano Onofre Martínez

Following