{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-22 08:19:46.135Z","domain":"mathstodon.xyz","followerCount":425,"followers":"https://mathstodon.xyz/ap/users/115553341774279659/followers","following":"https://mathstodon.xyz/ap/users/115553341774279659/following","followingCount":54,"icon":"","id":"azb6bjf7nolgqoq","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2025-12-23 11:20:42.536Z","outbox":"https://mathstodon.xyz/ap/users/115553341774279659/outbox","preferred_username":"AndrasKovacs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxKQ61hXO+7JT/kIz03Cu\ntf0HiGsvBUsGXoRLe1UrrbHvmYl1GeLe0oke5XbmzAL7KRg1SE02+ccHqBGL5zkQ\nzBriPrmyyBRlvsSMq5sV519hYd1lKhpYHexSzv3y1fyWXGMPEyA3qGb+ax8GtGCf\nWcaS8eOGv/EO5oXOC/O0mStTxBr2uYvoNPNvNG9m0tV8xEz9pLSx+q0C+/7BxmFj\nfcd/uf14ldXttVBS6hdKdqB/1OfOLLtaaTgPZjHFC35PFEis0QwW9G2VolbzuzbS\n/k0qmO3PsxN7hUmTSSIj+Hr7MBSA1pOYFjA369GBio6kQvbYRdJ0dt5vGtISxA+0\n+wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-11-15 00:00:00.000Z","summary":"

","updated":"2025-12-23 11:20:42.536Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-12 14:02:03.279Z","domain":"mathstodon.xyz","followerCount":544,"followers":"https://mathstodon.xyz/users/danielgratzer/followers","following":"https://mathstodon.xyz/users/danielgratzer/following","followingCount":179,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/347/460/237/678/866/original/fe1b63e2b580975b.jpg","id":"gahh2gxj5gmyo8y","inbox":"https://mathstodon.xyz/users/danielgratzer/inbox","iri":"https://mathstodon.xyz/users/danielgratzer","isLocal":false,"last_fetched":"2025-12-23 11:20:42.605Z","outbox":"https://mathstodon.xyz/users/danielgratzer/outbox","preferred_username":"danielgratzer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtoCR+Cf9KOXg93ijIjse\n9Lx0S9ArGsljMyDe+ovl/zmbUIF248uGiXMfSUHCDkbqYUklge84qqUX/TinIVI9\nbziw5lWZAVcxmb9n68Li/JKv+N6hbuqOIF6Kjg119M8NXijYTlIkVckyszl2sOEp\nBmcqVvjNBF12LvulCGaXQRbUaRKD988sJREnSDDFPACG1nHa/A3WhMuJ7Lb2RJiv\n9xmQV575mGkjHPVOqtxUwmnRdXrNFzq4ZNZTtoFg35p3SdXZGqfPQDA2fm7MXfHf\ntZWQoFdAsDApp5LG9n2KqANKxMNiJHJtK78QIEOddKr8vkoV2lGx0Rj7Xi0Sh75o\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

assistant professor at Aarhus University interested in (higher) category theory and (modal) type theory. he/him 🏳️‍🌈

","updated":"2025-12-23 11:20:42.605Z","user":"","username":"daniel gratzer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-06 12:43:19.127Z","domain":"mathstodon.xyz","followerCount":44,"followers":"https://mathstodon.xyz/users/dif/followers","following":"https://mathstodon.xyz/users/dif/following","followingCount":49,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/185/047/530/052/732/original/3b91e8fe37b2efda.jpg","id":"xpdhbog4u0qd37d","inbox":"https://mathstodon.xyz/users/dif/inbox","iri":"https://mathstodon.xyz/users/dif","isLocal":false,"last_fetched":"2025-12-23 11:20:42.641Z","outbox":"https://mathstodon.xyz/users/dif/outbox","preferred_username":"dif","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxAdacLL4496B2zd/z060\nzeC89zz7gNwqIawGbFu/2EZd9Q/yyve28y0gEfCtgPiw3A0KKxdzfa72L4TfVs1v\nPDRcTCFPaBU6QgVHFUbvCYnn7m+pG/QyD0QWZ7mp9YV2Jz1RAgEh0uwPVgnwJsaT\nHkVvSQQXgVNgnYZ1scy0u/RxE5DHUKJiA9fE+uVw4TrEtWzNbxZL7jHbnYvtfBe8\nGVFKD/zrWrSLway7PJHlNskM86Xxj8ZGek1HMFDt9U9TM9YQn3CziIYEw5EIurDd\nZz4ae7Sb+O3VNVG4z/ggwvpUibGRKSUYMab8GgU75oNfs1cufd2uu6LsikUQyjG4\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-09-11 00:00:00.000Z","summary":"

logic-adjacent ~ OTAN fanclub

","updated":"2025-12-23 11:20:42.641Z","user":"","username":"Dan Frumin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-24 20:45:53.362Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/carloangiuli/followers","following":"https://mathstodon.xyz/users/carloangiuli/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/283/570/352/770/474/original/d98c2d8c0c85c0ac.jpg","id":"kz22lwnt8h6uz03","inbox":"https://mathstodon.xyz/users/carloangiuli/inbox","iri":"https://mathstodon.xyz/users/carloangiuli","isLocal":false,"last_fetched":"2025-12-23 11:20:42.695Z","outbox":"https://mathstodon.xyz/users/carloangiuli/outbox","preferred_username":"carloangiuli","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvouu2b1f0FLetuevYvL2\ngmIWjHQCU6JyMKnr+L6gSauW/p7YQMUa9FO6v1rz94hdOvBE0dSwECDWSdMKlhsy\nRYRJJNm9fLZHp5oP4tIBlQwlgHQcyeTHu84IyLRKftAxb6mOwC5FSaDvwkJ7G05w\nHTb0TYZuqMoxkh1L1ppVq8/Gs0ZL5H3u5clOQn6IyWOCUUvDutO+6+AEDyt3zgzn\n9giwiCqqlDReG+3KiCq5PAv7yDNsrSkn9S2vG7crxJVpI1MgsWwproM0xGA3GWKj\nGDXjzmRLMqJO0V86hHzUDGbrifzMHR/ib/LYmdoJGDavPfCdD8hVeuvdfWPDdtxV\nsQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-10 00:00:00.000Z","summary":"

Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.

","updated":"2025-12-23 11:20:42.695Z","user":"","username":"Carlo Angiuli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-08 05:17:03.378Z","domain":"gamedev.lgbt","followerCount":1021,"followers":"https://gamedev.lgbt/users/typeswitch/followers","following":"https://gamedev.lgbt/users/typeswitch/following","followingCount":386,"icon":"https://193eb646-6077-4968-9f13-271a9b475591.svc.edge.scw.cloud/accounts/avatars/109/840/745/523/444/375/original/8ea18ae9c709d259.png","id":"ksvdg2rjjxkvd7z","inbox":"https://gamedev.lgbt/users/typeswitch/inbox","iri":"https://gamedev.lgbt/users/typeswitch","isLocal":false,"last_fetched":"2025-12-23 11:20:42.832Z","outbox":"https://gamedev.lgbt/users/typeswitch/outbox","preferred_username":"typeswitch","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlp8UPRncZAlD37Om+XPN\nF6WHImjuHUwQJD5EfsGweJqMGhtzCInT/ihSohIqtn5UdvAQ+A7CYkZmJfnAPl/u\n+/rbqhb+6aXuHRFsClXn/IVyN4rwAArczG5TDOf2gIb3Oc3Zycy/41SYDCFgCn5Y\n8eFJZYPvfYwRYs+OzYe3Vzni18QmqoVyYuOTqqiQIr7q8imtWdwMRKkD+4V66uzv\nlb7fvStf03g4zmKumyNCfxOqs6r7afSAeSsiQcLv4rdHgRUB0v3BAvEoU35Y1+T0\nNp6utWrBQWMRa+gUfBOfFIks/kSf2OK8Yy11hTmNcZxMT5aWBvUdKJ0Nw0irRjoR\n4wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-10 00:00:00.000Z","summary":"

they/them 🏳️‍🌈🏳️‍⚧️:nb_flag:♾️ #pluralgang
we make games and compilers sometimes

","updated":"2025-12-23 11:20:42.833Z","user":"","username":"azul"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-04 09:34:01.372Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ecavallo/followers","following":"https://mathstodon.xyz/users/ecavallo/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/370/069/239/586/021/original/7c05af7ae01f01c6.png","id":"fpa4ictbkfpb9ne","inbox":"https://mathstodon.xyz/users/ecavallo/inbox","iri":"https://mathstodon.xyz/users/ecavallo","isLocal":false,"last_fetched":"2025-12-23 11:20:43.292Z","outbox":"https://mathstodon.xyz/users/ecavallo/outbox","preferred_username":"ecavallo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3naHyQYGx2MOOHVquVvU\nE96oVhPSB7n5Vv057Z1shKe6LrA4iil8I5Y/nYlfKkayG9Mc4F2cSqWCbH1JXAVG\nYg2fqbwLaT0bLzqFYD1f3YRF8CoLznKtklAhenmZuSmsYfMrrjKsPL8qOEqyQnCf\nxsrbkR8fX7LiekElCE9BEuFdVW3AZ6GD4YLT3mYkFW/DadDs43jo6Ttnoxv8Va5I\nNpI31QiWC4cnjpOq9xpXfzc558kcVZX5iqDX61pWC7gM9PfN2AfJ3dBsPtpgXlOH\nq6TvHUiSSVsYYJL0sNtxdxgnB2/JsYXrsRQ/Fvah+KUEjG7YnRS72KEEiLNEG8BN\n7wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"

Postdoc at Göteborgs universitet. Types + Cubes

","updated":"2025-12-23 11:20:43.292Z","user":"","username":"Evan Cavallo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-21 14:24:34.822Z","domain":"mathstodon.xyz","followerCount":430,"followers":"https://mathstodon.xyz/users/slava/followers","following":"https://mathstodon.xyz/users/slava/following","followingCount":234,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/986/389/360/915/434/original/be14ef8d8b44249f.png","id":"o0jky2lug78gh61","inbox":"https://mathstodon.xyz/users/slava/inbox","iri":"https://mathstodon.xyz/users/slava","isLocal":false,"last_fetched":"2025-12-23 11:20:43.481Z","outbox":"https://mathstodon.xyz/users/slava/outbox","preferred_username":"slava","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnixB1fhLV4MGpwm6pIaf\nIDelf919S7lgl3v8jiz0LwWkJxskF0ufMzA6er+b5jj79R6pBIWHfsme7IAjUERd\nj2qoJBsaIyVHOe6bDzOSfvCCoTK0hHNJ76s59ce70jx/UdsRJaFDsRv22/RBisP6\n1s/Ana/KdEYZVmn3kAphXSao+JkU3OgnlnoUsHRQNJ+1YpT2dd5NhLaBTEwegLOW\nG0pXasshx8ZbdDN23PsZFAVfRFpd2nd/yjMmz0xygQDnjgUwIWLd0BcaeNZ0iguZ\npQQPAVZjltck5UDcoxEnBGcZa8GhapmFvKojfbq98nM+X32jnByGJDwQSWpKYyUf\n2QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-02-11 00:00:00.000Z","summary":"

Programming languages, finitely-presented monoids, horses

","updated":"2025-12-23 11:20:43.481Z","user":"","username":"Slava Pestov"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-05 00:07:07.686Z","domain":"mathstodon.xyz","followerCount":98,"followers":"https://mathstodon.xyz/users/dwarn/followers","following":"https://mathstodon.xyz/users/dwarn/following","followingCount":48,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/501/286/213/066/314/original/5df0f67d2c063969.jpg","id":"3iis5eq1c1pkf1y","inbox":"https://mathstodon.xyz/users/dwarn/inbox","iri":"https://mathstodon.xyz/users/dwarn","isLocal":false,"last_fetched":"2025-12-23 11:20:43.530Z","outbox":"https://mathstodon.xyz/users/dwarn/outbox","preferred_username":"dwarn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4TIeRwiJ1+7m1LHe4cOX\nxoghf/ySdxR4MlTYSrTYv93pquz9bj6YE/tnSOd0ud5JGmxm5nCpvqqMH9gS+Ouv\nk0OiZUe0FZE1VGAIDQkvWZca9bfTA2myHDiJuUYhRxDvDgvlTQc9PZew2sAOSVG6\nTcIbW0oYhe5S3dug6F6KDYs3H1uekq391VpByoL3br4j3um1BosPwK4Sp9yZK/R5\nRVHGxi1Tn+XosaAW+TsYYvc8wcrhldiavVkhOFKfIFuxPmhcEmxW8pWWPOHG5haL\nPt+pPL6mU7vAqcvrqgC6WSx+HQR43wuQqHgtSUszzWunrs6RcjNCGPuxw9qk4OsU\nhQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-12 00:00:00.000Z","summary":"

PhD student in homotopy type theory at the University of Gothenburg

","updated":"2025-12-23 11:20:43.530Z","user":"","username":"David Wärn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-22 11:38:24.499Z","domain":"mathstodon.xyz","followerCount":40,"followers":"https://mathstodon.xyz/users/mabeltree/followers","following":"https://mathstodon.xyz/users/mabeltree/following","followingCount":78,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/284/246/961/454/467/original/88c8f099f6a27868.jpg","id":"m0r6zcvekteys00","inbox":"https://mathstodon.xyz/users/mabeltree/inbox","iri":"https://mathstodon.xyz/users/mabeltree","isLocal":false,"last_fetched":"2025-12-23 11:20:43.732Z","outbox":"https://mathstodon.xyz/users/mabeltree/outbox","preferred_username":"mabeltree","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt4FauN/sOGRXCyxbWVew\nKLACSQVGVr96J0QXlJLV67hHE+ZCJ3pm5zBjZfiBBDLdgzYcjSxGemGDFlyDud17\noYt7h4kw/0ipuXEvR5L1Ll6M5EJzy0vPLZLeWytpek+RjbvBVC3sG6Zu+SsMq0fk\n37ZMtzPhwof6WtaztT2ZhTR3ZsWAf2u1WGvn7u398ZtU/qXAzR6ERxwNtpRhwmkq\nqaV/zuXHR/0N53zV+U/ERoOQypBVPeIpNshq3/ICxsE7ykVP+xZLCCrEW8K3Bh3B\nM/vLQqc36uITsyBB/I8I/Mt+pXRkaWGrMKlcrhmSDBFYzasNA3Gc84sBij1VYSbw\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-29 00:00:00.000Z","summary":"","updated":"2025-12-23 11:20:43.732Z","user":"","username":"Mabel Najdovski"}],"page":1,"perPage":10,"totalItems":6,"totalPages":1}

David Escobar 🏳️‍⚧️

Following