{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-11 00:46:20.737Z","domain":"mathstodon.xyz","followerCount":318,"followers":"https://mathstodon.xyz/users/mudri/followers","following":"https://mathstodon.xyz/users/mudri/following","followingCount":169,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/253/761/885/833/121/original/2785c41c137e0dba.jpg","id":"7bcc6g0kwp09hum","inbox":"https://mathstodon.xyz/users/mudri/inbox","iri":"https://mathstodon.xyz/users/mudri","isLocal":false,"last_fetched":"2026-03-14 16:54:42.115Z","outbox":"https://mathstodon.xyz/users/mudri/outbox","preferred_username":"mudri","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4CcIMxBxRE6SDzyW4ByU\nQO6T83ZKki9/bzfBdgDqJ7RC5XhFhI7WBOI0aXDYZnRZprJ5UYtB1TT3ywPxGmOk\noBlIVnyb/gcuHLnCqG6gklPiRFOn7T+EWa1P/32gSxLvDU+vqrcZYows1OwvxavE\n9BC3zuCijRaZKjG1jHMFwuaiBM+fNTPDHh6MXWry+gVJXq6xIBt5r+HRuacAaTgU\nSeOxqIohrBjbGncIl1YYtCz0Jvm+p54S2ZStmmCh9uEpUZf+E0ZnUD14+IRMcG++\n85ukUFQ0z1paguWplgBGGhmWHSP1mCOFAqIhASpZsnjju0HM3w/A/I4Fpe/68Oit\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

(2025-06-24) Programming Languages at Huawei. Formerly, linear and modal type systems in Agda. Thesis: https://stax.strath.ac.uk/concern/theses/tt44pn44w. Website: https://lamudri.github.io/.

","updated":"2026-03-14 16:54:42.116Z","user":"","username":"James Wood"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-20 08:41:01.847Z","domain":"mastodon.scot","followerCount":161,"followers":"https://mastodon.scot/users/simon_jf/followers","following":"https://mastodon.scot/users/simon_jf/following","followingCount":140,"icon":"https://media.mastodon.scot/accounts/avatars/110/853/063/933/288/709/original/cac3bc1d9c0281f0.jpeg","id":"0i99t02el598z4l","inbox":"https://mastodon.scot/users/simon_jf/inbox","iri":"https://mastodon.scot/users/simon_jf","isLocal":false,"last_fetched":"2026-03-14 16:54:42.191Z","outbox":"https://mastodon.scot/users/simon_jf/outbox","preferred_username":"simon_jf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqDgNcr11qEFsvGqA8vtL\nxSsoZYA4AWb2pXdKFSyfRZQpfjgHgv9QEAFU5a10FK93jKvtA8yRuFMkkgaDqw83\nLLW4vWIQFrMShH/XYbyCflSVYreWnmgyk+GbTP93JzTxD0Ml0dbJh2lRlur+uEEL\n8gBOIx2LAuf83tWFGB51R9u5ERlnRQilgcG12IB6zRP8T/GzZkI8mfboHBO89q31\n/WsXRSzEFx7YPGQDtIXus1HuC+VREhUINgMcedamdUsENWPW0JovpqgmTeXRet1a\nkWbYNB8XKeMcx/OASmTqL8enYkwFj3u0MJjMCrdWTEpddU4JwZQzkVqmZe9d9vme\nwQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-08 00:00:00.000Z","summary":"

Lecturer in Programming Language Foundations at the University of Glasgow.

","updated":"2026-03-14 16:54:42.191Z","user":"","username":"Simon Fowler"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-15 12:38:33.676Z","domain":"mathstodon.xyz","followerCount":147,"followers":"https://mathstodon.xyz/users/jaycech3n/followers","following":"https://mathstodon.xyz/users/jaycech3n/following","followingCount":133,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/331/282/956/573/481/original/f7f214fd86200529.jpg","id":"m39jpqq24i03hi4","inbox":"https://mathstodon.xyz/users/jaycech3n/inbox","iri":"https://mathstodon.xyz/users/jaycech3n","isLocal":false,"last_fetched":"2026-03-14 16:54:42.664Z","outbox":"https://mathstodon.xyz/users/jaycech3n/outbox","preferred_username":"jaycech3n","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxWvucV+bLdqNbrNzTdxP\n5TFkuUqSNolSfg3+O0x4XJ65StDbmTnRv6ABeH+eiqfFiApoPjbCoGBVxwQ53J7i\njVCalmNsaAh+CLKLr4vg9U4KYcvBHUW6NESTRWLB57h35hWB8ocndGSs/t91nstQ\n//iWtHM7gwjtauN4A8HtmKUn5CUB1w6occFuUxn4MUQQdMOxETbYdKZjf+Td3dH8\nL6meuF6MN+zH8GikaSm5867nqiB3Bl80m0sCui6gpIjWFW7qrEeH5Sjt+SHo3+9B\nnIwzbzs0S7QFOjwCznTookyOwWPJrWbi9Q5IP5KMGgIIF2XWMFi0dgMVSMxbjGaF\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-12 00:00:00.000Z","summary":"

Mathematician in a computer science department · Postdoc @ Theory of Computation, University of Birmingham · ex FP Lab, University of Nottingham

","updated":"2026-03-14 16:54:42.665Z","user":"","username":"Josh Chen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-10 02:49:03.865Z","domain":"gamedev.lgbt","followerCount":1046,"followers":"https://gamedev.lgbt/users/typeswitch/followers","following":"https://gamedev.lgbt/users/typeswitch/following","followingCount":385,"icon":"https://193eb646-6077-4968-9f13-271a9b475591.svc.edge.scw.cloud/accounts/avatars/109/840/745/523/444/375/original/8ea18ae9c709d259.png","id":"pe01x2d8864y136","inbox":"https://gamedev.lgbt/users/typeswitch/inbox","iri":"https://gamedev.lgbt/users/typeswitch","isLocal":false,"last_fetched":"2026-03-14 14:59:55.841Z","outbox":"https://gamedev.lgbt/users/typeswitch/outbox","preferred_username":"typeswitch","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlp8UPRncZAlD37Om+XPN\nF6WHImjuHUwQJD5EfsGweJqMGhtzCInT/ihSohIqtn5UdvAQ+A7CYkZmJfnAPl/u\n+/rbqhb+6aXuHRFsClXn/IVyN4rwAArczG5TDOf2gIb3Oc3Zycy/41SYDCFgCn5Y\n8eFJZYPvfYwRYs+OzYe3Vzni18QmqoVyYuOTqqiQIr7q8imtWdwMRKkD+4V66uzv\nlb7fvStf03g4zmKumyNCfxOqs6r7afSAeSsiQcLv4rdHgRUB0v3BAvEoU35Y1+T0\nNp6utWrBQWMRa+gUfBOfFIks/kSf2OK8Yy11hTmNcZxMT5aWBvUdKJ0Nw0irRjoR\n4wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-10 00:00:00.000Z","summary":"

they/them 🏳️‍🌈🏳️‍⚧️:nb_flag:♾️ #pluralgang
we make games and compilers sometimes

","updated":"2026-03-14 14:59:55.841Z","user":"","username":"azul"}],"page":1,"perPage":10,"totalItems":14,"totalPages":2}

Antoine Allioux

Followers