{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 23:56:03.934Z","domain":"mathstodon.xyz","followerCount":105,"followers":"https://mathstodon.xyz/users/oisdk/followers","following":"https://mathstodon.xyz/users/oisdk/following","followingCount":197,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/216/714/840/030/134/original/e267ef6bb8bd3f88.jpeg","id":"ppayp23i59puonw","inbox":"https://mathstodon.xyz/users/oisdk/inbox","iri":"https://mathstodon.xyz/users/oisdk","isLocal":false,"last_fetched":"2026-02-13 14:02:30.244Z","outbox":"https://mathstodon.xyz/users/oisdk/outbox","preferred_username":"oisdk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvxkURmaDcehz374MuYoS\nePGTIv0V6/ltt/2t63m8rOddtEXh2ncMGL2JLD58EEPxVbYj3QLI4xYv7z2v8V2V\niDPZEHJqIJeuYMUb7yPV2dvzMyL1ssd0Wt35ePvPgXX+4WwgOZDDNRNxcxeZ4Rfe\nJz4T3SUQVYNDrfekcBQ/jtwBV5eoDcRop+GrCb03E6Wtl+hLyqZ77B21n+eoGya4\nqRvhXl3iDSbQvbZCDWlPL19tKOxIuvA5JEYR6QtpIDUG7PdOiZuXw/qMziowsAEb\nnt7okx/E6Bjh/WiRFP+ERWlkYjrraDqxBzw/vmu9GyE0dr5mHIg2Ud5PmcGRkAxD\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-11 00:00:00.000Z","summary":"

PhD Student in functional programming

","updated":"2026-02-13 14:02:30.244Z","user":"","username":"Donnacha Oisín Kidney"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-06 07:44:45.239Z","domain":"mathstodon.xyz","followerCount":316,"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":"22kkznaq27owoo0","inbox":"https://mathstodon.xyz/users/mudri/inbox","iri":"https://mathstodon.xyz/users/mudri","isLocal":false,"last_fetched":"2026-02-13 14:02:30.272Z","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-02-13 14:02:30.273Z","user":"","username":"James Wood"}],"page":1,"perPage":10,"totalItems":2,"totalPages":1}

ivilivilly

Followers