{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-03 11:19:45.397Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mudri/followers","following":"https://mathstodon.xyz/users/mudri/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/253/761/885/833/121/original/2785c41c137e0dba.jpg","id":"8o5vfmwn17nkt53","inbox":"https://mathstodon.xyz/users/mudri/inbox","iri":"https://mathstodon.xyz/users/mudri","isLocal":false,"last_fetched":"2025-10-03 11:19:45.397Z","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":"2025-10-03 11:19:45.397Z","user":"","username":"James Wood"}],"page":1,"perPage":10,"totalItems":1,"totalPages":1}

ivilivilly

Followers