{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 02:27:20.940Z","domain":"mathstodon.xyz","followerCount":51,"followers":"https://mathstodon.xyz/users/FredrikBakke/followers","following":"https://mathstodon.xyz/users/FredrikBakke/following","followingCount":59,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/031/391/195/563/790/original/5cd58a9b85397c19.jpg","id":"7k2506d1nfiw239","inbox":"https://mathstodon.xyz/users/FredrikBakke/inbox","iri":"https://mathstodon.xyz/users/FredrikBakke","isLocal":false,"last_fetched":"2025-10-16 01:05:35.956Z","outbox":"https://mathstodon.xyz/users/FredrikBakke/outbox","preferred_username":"FredrikBakke","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1LL/GUEojV+/YNdm7l3m\n1VEalid0YEwvuFTe1NmSwA38H9yXfVocngTn3RRtiLGcGle4MD8yg4btSWuwVgjX\nCkbUW+GeC9o4iJGrwLj3VD3pZG8yYP93igY/2Xj7aRoWttbL5r6XAhH7YN31m/GM\nXbrM/s9kfiiHhVpCCEXVLiW4koWEEZ/4kUc1a0RFginpXyeNkumWwsEFl8Rs+xF+\n7KJTUx4rq/agXNtW+RsGZemeoN6jjCIORYvp6ixePG7crB/97KHjKheYGmZ0L+Ez\n9Al3YZZCTua0f69K/DIpIVW9l1S0StiCYkAI+ZgqQAKgagK+ODq8xJ3B5B/f0+Oc\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-03-03 00:00:00.000Z","summary":"

PhD student from Norway formalizing lots of stuff in univalent type theory using Agda

","updated":"2025-10-16 01:05:35.956Z","user":"","username":"Fredrik Bakke"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 03:01:08.814Z","domain":"mathstodon.xyz","followerCount":412,"followers":"https://mathstodon.xyz/users/buchholtz/followers","following":"https://mathstodon.xyz/users/buchholtz/following","followingCount":210,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/003/086/original/50b5f7e76e549dcc.jpg","id":"53t3rfx4a1z1s80","inbox":"https://mathstodon.xyz/users/buchholtz/inbox","iri":"https://mathstodon.xyz/users/buchholtz","isLocal":false,"last_fetched":"2025-10-16 01:05:36.006Z","outbox":"https://mathstodon.xyz/users/buchholtz/outbox","preferred_username":"buchholtz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3PFH7hzHo7WthZQahsZr\nRzyxwy1ZI5crjWCgZqF6IOHUX3qisEIoI5ycjXWpUGlMH7UZl7GXnk3qw/nzh3L5\n+QkIvrj9eoifIvHFDxwgmu9oPHT4IqdmYG48bq5wBCEBisHcSVuuHs+JB0iV4I4r\nDHFwmJ3Mvo0gHWjmfex/E5n/FF7o0t6Ja9j5d5V1fwqFO0BunP55SdRcBKeVjmto\ncUb7Sm1+0OVIl5x4uZPTyIblSwm4/BpGy7aexy7GH5Uww3qzDCI6t8U3jsNoW4tE\nAYpPtSjHpMaaejbJQyGzdXErmxWUgaomnKjzof/IuoPD33BSZGWkXQ57Wy6zesy8\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-17 00:00:00.000Z","summary":"

I'm a logician/computer scientist/mathematician who likes to work on homotopical and/or foundational matters, often related to homotopy type theory. Assistant professor at the School of Computer Science at the University of Nottingham.

","updated":"2025-10-16 01:05:36.006Z","user":"","username":"Ulrik Buchholtz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 11:29:59.081Z","domain":"mathstodon.xyz","followerCount":539,"followers":"https://mathstodon.xyz/users/de_Jong_Tom/followers","following":"https://mathstodon.xyz/users/de_Jong_Tom/following","followingCount":187,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/253/658/214/755/764/original/ff03bf2676a53c78.jpg","id":"5xwt966rjebecvx","inbox":"https://mathstodon.xyz/users/de_Jong_Tom/inbox","iri":"https://mathstodon.xyz/users/de_Jong_Tom","isLocal":false,"last_fetched":"2025-10-16 01:05:40.185Z","outbox":"https://mathstodon.xyz/users/de_Jong_Tom/outbox","preferred_username":"de_Jong_Tom","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp+MeS+d0E5IEXlj5LKNK\ns7+zX1BAwJVT9PT2V9rN2s69iVHqkMzapIWALmhH67lKqWpj/LBX/zph5PNh5SaE\nUjkXBYD97LK6qNgoG1FxwzwdFc695YxroJJ3wsJ1wepJh4YCjdQF2tVGa8hoP89T\nLbSoByb94s560sw0f+y6HU5F7Fy9DgjxPs7FiRgd+A6TnerF57eGuAU2DJgc7Bnb\ngyVtxcZ6PTd7wEDpnJSQQ0kwcSwnzISROBEC3Blu1cxLf5j1gr1SaeLQHoPgmO+d\nHYZls3U40/4aRMBLuWNxzy3MdIb008e2FAsnxaCFrbY/FWAFXQfAQQmF2RKX+MnR\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.

","updated":"2025-10-16 01:05:40.185Z","user":"","username":"Tom de Jong"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 17:33:10.389Z","domain":"mathstodon.xyz","followerCount":19,"followers":"https://mathstodon.xyz/users/tomstructured/followers","following":"https://mathstodon.xyz/users/tomstructured/following","followingCount":253,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/744/089/422/276/824/original/06ab7a145b56a9c7.png","id":"xf8t0yv81l11h2e","inbox":"https://mathstodon.xyz/users/tomstructured/inbox","iri":"https://mathstodon.xyz/users/tomstructured","isLocal":false,"last_fetched":"2025-10-16 01:05:40.228Z","outbox":"https://mathstodon.xyz/users/tomstructured/outbox","preferred_username":"tomstructured","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnU6yomKQNUBDVR3HS8cE\n2wbd0ibXY6CZYaw3UB5MRvXWHR+UJddGZnKtnXNBbPrJOKsMabu3MmGAwJg1XH6g\n5caTkocL7hwlz0wpEe5ZUiLseAzrKGtvnRFHx2A7BM80erDh5+H9K7YQxlZLV95Y\nIq6LTKxTKCdQaCFTPT4j3XQMNK17mqZ/q5q1gf0dYDJ+UwylE1GtinmHPVy0Q6bB\nZ4Sqm8Vap4VdImRqPIBxWY7RiS+J7LxO0HSexv6piY464FoQqZ1Lnnyc24r5E5zD\nGSpzZUSMhnqIb3kDryVfWuoGtgcSEx1jVy8F4J4lp/DWshjMbbdb7y70SfieJVcV\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-30 00:00:00.000Z","summary":"

CS student. Studying logic and programming languages.

","updated":"2025-10-16 01:05:40.228Z","user":"","username":"Tom"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 12:24:58.191Z","domain":"mathstodon.xyz","followerCount":142,"followers":"https://mathstodon.xyz/users/ayberkt/followers","following":"https://mathstodon.xyz/users/ayberkt/following","followingCount":133,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/122/801/original/f1232d87d585c5d2.jpg","id":"nbq7p66141sm451","inbox":"https://mathstodon.xyz/users/ayberkt/inbox","iri":"https://mathstodon.xyz/users/ayberkt","isLocal":false,"last_fetched":"2025-10-16 01:05:40.272Z","outbox":"https://mathstodon.xyz/users/ayberkt/outbox","preferred_username":"ayberkt","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApNXWfWwkJCPEhfPzAtMr\nrrMZjwwpBILOXL/QdKfrdTDsDdjQ0HeqTtPgA2RfmkhQTwDyJh7baxVrtAlj7fwq\nRRK2uun6Jtul/ZYGVSIF0LpqqN9lud/tAnmQW2e2ISKhqmsYjXlyrLof1wgPOcRu\ntLNyzkUeWXRQz5RhsIPR4++I4EIB8UwlOP6DSALbIEOnCaP6BFoaMUpBeG6yuyft\nk6KIq5ttKP2QFkjmpTVkr+36mXHNb9rjNVfyag3TK3BiRQcEyT7j3aZXBIK2AAwS\nTuh4hrQypzjpon/rpXyFbkUhjmjQtIPY6TsGrjjtm2RhsuVJe+bAvn8nqTb7g9dC\nYwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-11-20 00:00:00.000Z","summary":"

PhD student at the University of Birmingham interested in the topology of computation.

","updated":"2025-10-16 01:05:40.272Z","user":"","username":"Ayberk Tosun"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 16:58:58.341Z","domain":"mathstodon.xyz","followerCount":46,"followers":"https://mathstodon.xyz/users/Stiephen/followers","following":"https://mathstodon.xyz/users/Stiephen/following","followingCount":54,"icon":"","id":"26r7674may2s336","inbox":"https://mathstodon.xyz/users/Stiephen/inbox","iri":"https://mathstodon.xyz/users/Stiephen","isLocal":false,"last_fetched":"2025-10-16 01:05:40.330Z","outbox":"https://mathstodon.xyz/users/Stiephen/outbox","preferred_username":"Stiephen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm5XCwB824iu4BB2uq+d4\n+dm5dFiB++UpTS3Kh5tzjDpyCcYqBnAOJOYOU6rMKFUvCx+MI79WXeEaJ3tPrOBi\nFMqrMfVmGhx5jOmvlA4jsDHVPd670Aa9rrfVpZHUxR0bBED4GCcefhgimS4EKd5x\n8st0/z4gSavhXKt/dtWv4sqQEUaqOXiBMWKESCEvCwQCqHBcklvH/tyxslu+nJLS\n7EJNIlsfACGLV6sRaAXDIZGeF+xLmXzyU2k3NgC6cn+HSKL/RnbuXPOxUXN+fubi\nnKy7ndypx059mux2lixk2k7r2JMVtR6+Za6AqyJe8Fq9dKe0NAKaRhstkcJ2cHJd\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-14 00:00:00.000Z","summary":"

PhD student at the FP Lab, University of Nottingham.
I'm mostly interested in HoTT, Higher Category Theory and Homotopy Theory.

","updated":"2025-10-16 01:05:40.330Z","user":"","username":"Stiephen Pradal"}],"page":1,"perPage":10,"totalItems":9,"totalPages":1}

SamToth

Followers