{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-29 03:45:37.570Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/zyang/followers","following":"https://mathstodon.xyz/users/zyang/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/688/874/651/362/692/original/a9f8caee9b981011.jpeg","id":"x0498jz6j7i2o12","inbox":"https://mathstodon.xyz/users/zyang/inbox","iri":"https://mathstodon.xyz/users/zyang","isLocal":false,"last_fetched":"2025-09-05 12:42:03.190Z","outbox":"https://mathstodon.xyz/users/zyang/outbox","preferred_username":"zyang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0kW4yO9lrk7bOzIjXf1c\nYAioFNv4UbQHLVcHLvyWf3wUajWdrBPOvK2yUu32mmPTOIXJGFbgNKwmIrGBUwd1\n6UoPy8FSO+KLUG/5nQZHdpm6T6vCRlvSo5EXXEE2iyAwEApTiFBc9Z/1UN2w0/GQ\n+ZSy9oNRvfKo6Ux8QqO3TuvOqMzOc/iZj1S6jSFSPREfnHttIFo2ckFDfab2voGn\n5A8uxqVgl6/eCIkrSoXjm7vsLtJamvoipNyE4P26HvOqHQBuRdnUq02Yb7j+RFcv\n2g4Q2tL7kF2Xij26sVSZjc7dUCVrYqiqh85ZQDBYGatckCp4va+92/KC7ek1Hv5b\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-14 00:00:00.000Z","summary":"

Postdoc interested in algebraic and logical methods in computer science at Imperial College London.

","updated":"2025-09-05 12:42:03.190Z","user":"","username":"Zhixuan Yang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 02:23:10.818Z","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":"cffav81y119ccz5","inbox":"https://mathstodon.xyz/users/mudri/inbox","iri":"https://mathstodon.xyz/users/mudri","isLocal":false,"last_fetched":"2025-09-05 12:42:03.926Z","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-09-05 12:42:03.927Z","user":"","username":"James Wood"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 07:43:12.574Z","domain":"mathstodon.xyz","followerCount":53,"followers":"https://mathstodon.xyz/users/jesyspa/followers","following":"https://mathstodon.xyz/users/jesyspa/following","followingCount":134,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/288/159/original/ae72fb4042b387bd.jpg","id":"u503a5urka5j64h","inbox":"https://mathstodon.xyz/users/jesyspa/inbox","iri":"https://mathstodon.xyz/users/jesyspa","isLocal":false,"last_fetched":"2025-09-05 12:42:06.919Z","outbox":"https://mathstodon.xyz/users/jesyspa/outbox","preferred_username":"jesyspa","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq9zlZr2aQBelStw+UcNQ\ngTpqjy8hz21Pi4kVMu9ZVHb4vnF61QAAe/UbIRr1SNPk1rfs8iV2xHrUkzdzF5pc\nFIigVgL6B2EsQO7gmqri9pBnDlTf6KK/idLOsk4GixkcCEWe4cCW+ixHaDokQWxX\nW6HLc0qfpLcrMwbanGVugSZiplc+CZYjoeGGtBhg7iSqpMFzLoh2A0pIOQi5ibX3\nt4Qem2Niaiko0MGqbrDKhBWBCUYbWiUtah45dpfif4/vCQ7oe1V1SFsXqRPn0eEd\ncisI3wh1EpkfIZ7uRVYfoZGIWCksE5Jfeu69L5Qy16JVH/hYEquNYvwDgDcGCaDj\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-25 00:00:00.000Z","summary":"

I'm a lecturer at JetBrains and am finishing up my maths & CS PhD at Radboud University Nijmegen. Working on some formal verification stuff in Kotlin. Into maths, books, tea, board games, TTRPGs.

","updated":"2025-09-05 12:42:06.921Z","user":"","username":"Komi Golov"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 05:05:25.943Z","domain":"mathstodon.xyz","followerCount":96,"followers":"https://mathstodon.xyz/users/m4rk1x/followers","following":"https://mathstodon.xyz/users/m4rk1x/following","followingCount":59,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/497/029/518/714/784/original/a17b4b9905f12388.jpeg","id":"0y0s574mm3sw008","inbox":"https://mathstodon.xyz/users/m4rk1x/inbox","iri":"https://mathstodon.xyz/users/m4rk1x","isLocal":false,"last_fetched":"2025-09-05 12:42:06.954Z","outbox":"https://mathstodon.xyz/users/m4rk1x/outbox","preferred_username":"m4rk1x","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx6GNwpBW9dWPq0xgDIuc\nBKvejU3hI8H8Yy0ebgJjkodBwzXcqR9HSl99z/ON0WR0usdDd5uWiMwlD0Ay1xnt\nYhKwWi6uKlJvFb2NzzgzFnqC/V7OoT4SdQJwtOFPmf7uFfq25a0NqCLCz/uA1WY1\nHKZBRpNMxzkRSHn4q6LkyaaoKkL9OjXmQ2c7XSAD8/1ba2GjDK9KXw9xb7p24jE3\nkt4oVZLntqKTawUaAammLMLsraIgL8PFuK17eiGtAxU0WMX6HFQY0ryQqkDYUBC/\nyZvgz8P+1de7oT665veqACoJ+cditAKzNkM7PjaEdP0Q6uacmCy0YPMzCu7Mmzuq\nNwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-06-06 00:00:00.000Z","summary":"

Category Theory, Semantics and Type Theory.

","updated":"2025-09-05 12:42:06.954Z","user":"","username":"Marco Paviotti"}],"page":1,"perPage":10,"totalItems":50,"totalPages":5}

Zack Eisbach

Following