{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-30 06:37:47.779Z","domain":"mastodon.social","followerCount":167,"followers":"https://mastodon.social/users/cryptomilk/followers","following":"https://mastodon.social/users/cryptomilk/following","followingCount":85,"icon":"https://files.mastodon.social/accounts/avatars/000/483/936/original/81b18f7dc47d9599.png","id":"o80nlimli457108","inbox":"https://mastodon.social/users/cryptomilk/inbox","iri":"https://mastodon.social/users/cryptomilk","isLocal":false,"last_fetched":"2025-12-30 07:19:39.818Z","outbox":"https://mastodon.social/users/cryptomilk/outbox","preferred_username":"cryptomilk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2Hxe5vbiOsLPG8r3jpvT\nnZXkjYGn08Teo1u1XsnEerxw8WL3b91WFLEanjC2W7Ef5H5vC07BvloG0hSmmnCV\nU3++ckC1FjUp4W+olEsTthIA4HZUPPvGQ1eI2Ojt/pQjDuKi4I6z+llE0LaE3f7x\nZxECjbHM0QfFZMwvbd+GFVK2WvsK+ElpEl9xs3r+aNj+S+lT17rYHlxfR6U+s5ju\nvixUwaKAucbO9xPOMkqHnrO7TQY+Jz3bCtTBt/Op+37PlL00qYUToDTv5/LIMzHS\nUeHivVU0IOFLaAbV7h0t0ceid8CIzMQE47z7xU74a5mICO/TX0hlsmwZpsopJxjb\nswIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-22 00:00:00.000Z","summary":"

FOSS Hacker (Samba, MIT Kerberos, libssh, cmocka, cwrap, darktable, etc.). Loves bicycles.

","updated":"2025-12-30 07:19:39.819Z","user":"","username":"Andreas Schneider"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-31 20:38:17.672Z","domain":"mathstodon.xyz","followerCount":324,"followers":"https://mathstodon.xyz/users/aws/followers","following":"https://mathstodon.xyz/users/aws/following","followingCount":89,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/314/747/171/381/483/original/e7022018d020c72d.jpg","id":"53ty72vv674navg","inbox":"https://mathstodon.xyz/users/aws/inbox","iri":"https://mathstodon.xyz/users/aws","isLocal":false,"last_fetched":"2025-12-30 07:19:39.856Z","outbox":"https://mathstodon.xyz/users/aws/outbox","preferred_username":"aws","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0IR1l7P38z32qk8R7gAn\nYSXwDuydbNQXTAIHWHXbAr4A/EpbZxGgImZQ1GQHKuzydOJgjjALJpZ+e/lmtQYx\nKBsJt/AnwbGeNTBlw07Id0s3Xgx524puvaM1gw8imWSvcJStffd9phlBvURgeZjr\nYJXqL23WWX1OBXlxdtQsnPy1bjrmp/bnHq7pENeSbmUUgEb63sokZTWZpyXb3D7x\n4RDS1MRczxe1v+9VZzmrAZHY2n9aHaIk5HedxXwCqI5QElaIl6/02B3kKFdxNc1N\ncJFXM25CQ+bd+x9ev3yZuUuWIG2atyHfWPW0jDWJTQdTVaDqC6Jp8kgi12PWUOss\nHwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

I am a postdoc at the University of Ljubljana interested in various things including constructive maths, homotopy type theory, (higher) topos theory and realizability.

","updated":"2025-12-30 07:19:39.856Z","user":"","username":"Andrew W Swan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-26 10:02:07.195Z","domain":"mathstodon.xyz","followerCount":26,"followers":"https://mathstodon.xyz/users/da/followers","following":"https://mathstodon.xyz/users/da/following","followingCount":42,"icon":"","id":"nouke8pnphfk49y","inbox":"https://mathstodon.xyz/users/da/inbox","iri":"https://mathstodon.xyz/users/da","isLocal":false,"last_fetched":"2025-12-30 07:19:39.888Z","outbox":"https://mathstodon.xyz/users/da/outbox","preferred_username":"da","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAkvMRFAJaafgCLHcteoQD\na9q4+fIgM64fNtKrFy2Y3kcBHnU81+k2uBAe7cQstSSdvIlD8+4mHX6FgvcGZ22n\n3a/KmcQp65s7BscWqD1ISNXUjDtm6KZbQnfV6pA/T61b11xoqnzsFjsoP0FRo+Dd\ngJd6ZbQ+9B4mZHkKQrWnX+AaCfkgrDPH+gtQ2acAvzwd1W3SfySR+e0FPK6Vv54Z\nDCIeHcy1acoVgMjpdghbEtMD/XEfSgwICs88GCcllS/SoBQHxsjKHuuTO39f80i6\nkzFe5uOYPQSBiD1ZQphrGFmx7nZJq/ISra6sn+UZ/Z10BCJydvkE1TzGYv62HKxe\n1wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-29 00:00:00.000Z","summary":"

#Scala #TeXmacs #Python #Spark

","updated":"2025-12-30 07:19:39.889Z","user":"","username":"Darcy Shen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 06:24:59.185Z","domain":"mathstodon.xyz","followerCount":3612,"followers":"https://mathstodon.xyz/users/MartinEscardo/followers","following":"https://mathstodon.xyz/users/MartinEscardo/following","followingCount":116,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/248/389/055/834/156/original/34545437c59a4b2e.jpg","id":"l651b8201zw5fms","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-12-30 07:19:40.054Z","outbox":"https://mathstodon.xyz/users/MartinEscardo/outbox","preferred_username":"MartinEscardo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx2ac5rQZjJp6kxBwN3VY\nEWpZIkA7UCG9zUfkN0tW8eOLE3E2yy1p7eOkx7HhSMLc/RnERnimAS03ssGYh7oO\nwZtuajZ+Bwwt8ua538opKgfzsEgbco1G27LSdcSn/TeN6TvDpikLiP5zeQIOfqR1\n59m3ahULsm2ijD7g79uJwZb8x5PggqUc8BiGzBGk7SX75ISyngSG7vDwfKF/xF02\nIHnj4d+8hlJHTBpozcv/rHJdTnjr/NBauEjPwVM2KCtus5KJRCy686NO2RMvpxaT\nAYtLKSK/4/eqakkY3mkkUFl9DSErcgClfcC/a015pFQSs1uhY23mmA1bof2fU6gf\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more.

See my meta-blog:
https://cs.bham.ac.uk/~mhe/blog.html

","updated":"2025-12-30 07:19:40.054Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-30 07:19:40.089Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/chupacabra/followers","following":"https://mathstodon.xyz/users/chupacabra/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/573/307/074/843/009/original/446912ec2b7c6d7b.jpeg","id":"2rro3gal9k6q8ua","inbox":"https://mathstodon.xyz/users/chupacabra/inbox","iri":"https://mathstodon.xyz/users/chupacabra","isLocal":false,"last_fetched":"2025-12-30 07:19:40.089Z","outbox":"https://mathstodon.xyz/users/chupacabra/outbox","preferred_username":"chupacabra","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoHWa+MA+GORJXSvbEk+C\ngNcrLSaL23AS5V8O1uEL0bQKQZTlko9B0JStlwO3sL838hD5XbmZqi7hRimpYNxS\nk0rL3ab/plvpCMO7ov6XLNiiI22dsRIHs9BHETbmQ6XGIfRXL3SfIwhuJQ9Qgmny\nZOAQVK8W4MRVa73AcwIGIA2MKOx839NHGG/zleh23KX2cjB4f4SHEvz5sTNGUNLI\nZqcWCeHS968gJqlyyQzvFfoFvwBMwa4lWPxc91jSV/AT7ziiUkf7x3uiaYsR8IZi\nQYc0BrC38MXyjsRX5tYad+vtRiHM1omNILksMsm1GfSSHJiNFy2vbg0pxVLEb3QQ\ngwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-30 00:00:00.000Z","summary":"

🇵🇷

","updated":"2025-12-30 07:19:40.089Z","user":"","username":"⚝ Neutron Star ⚝"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 16:20:55.546Z","domain":"g0v.social","followerCount":879,"followers":"https://g0v.social/users/felixonmars/followers","following":"https://g0v.social/users/felixonmars/following","followingCount":206,"icon":"https://objects.g0v.social/accounts/avatars/109/609/065/094/178/284/original/5ffa7b2581045943.jpg","id":"pzuvhv1ozw3z21p","inbox":"https://g0v.social/users/felixonmars/inbox","iri":"https://g0v.social/users/felixonmars","isLocal":false,"last_fetched":"2025-12-30 07:19:40.855Z","outbox":"https://g0v.social/users/felixonmars/outbox","preferred_username":"felixonmars","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx6fbpnN7Cv3spggCVFwb\n7UpVGgbl2flIgrKBjmnc5Zv0IfqwgZXGv3TGPw/0PY9VanIJEO82eMFpQMeH/KWt\nFzuxMjm3ByHBbtAm0diXOqoH4qKGlw1jaRpB5IAdUPE/D4Gw1QlIZ8QYNbCVNJ/4\nfCaUFoIESPRCym5gVCnO6WKDQ7OPZPoQQvcatLWSeNSQ+GWJgXtOT0ncwI0jnXvn\nVZYg7mJ1XZ4ipVaIuasZrFbltmolj3X6x5iIcFy5TGynqXp3AEjQU4xHdPaZPw+n\nM7KQT9GQsxOkBXi9oS/K5KZu1Ej8IavRdGV1R8r74aeiio65Y+DqD3mZAsd56lTb\n6wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-31 00:00:00.000Z","summary":"

Arch Linux Developer, RISC-V Porter, probably a fox.
和 X 不同，这边会更新更多，内容更生活。

","updated":"2025-12-30 07:19:40.856Z","user":"","username":"Felix Yan 🦊"}],"page":1,"perPage":10,"totalItems":1,"totalPages":1}

Stepania H

Following