{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-25 18:32:31.009Z","domain":"mathstodon.xyz","followerCount":229,"followers":"https://mathstodon.xyz/users/olynch/followers","following":"https://mathstodon.xyz/users/olynch/following","followingCount":97,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/286/766/original/4b06ab333858358e.png","id":"w9tiv4b3tro5e9i","inbox":"https://mathstodon.xyz/users/olynch/inbox","iri":"https://mathstodon.xyz/users/olynch","isLocal":false,"last_fetched":"2026-03-01 04:43:59.375Z","outbox":"https://mathstodon.xyz/users/olynch/outbox","preferred_username":"olynch","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp/Wg4i7rCN2GJz3GQ4bJ\nsl/OvORYmJGeBByAuzRq6Yjw/GWnIQIiLILJaSSXiu7htdUH6lbBsp1kOZVfK3FD\nr8Ov3HEZdLuASlqXezGbMDF3jZQdi67QDh68HlmEnjrl8/hz5az+CN+xWfyKVl8J\nSnLHHzRRrJ1CS8LCwll1CraJN0BWCe/3o6LaDu6sHd7qw9wROnBD50JQAAEt1RMZ\nB4bpi+IhYSraptm1n+hO5HC0ZhXoad+pzAHLvrC/o5b1U2+wBupXU0xfHBhe2GD0\nPj73MTXPf3FHBWTETSka6Z/1WvjbQTmy1LLNlXcPh8oTnfqS88k3W/agaQuV/GfK\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-25 00:00:00.000Z","summary":"

Grad student at Oxford, Research Software Engineer at the Topos Institute.

Currently working on the programming language side of systems theory.

Trump is a fascist, fascists are bad.

","updated":"2026-03-01 04:43:59.375Z","user":"","username":"Owen Lynch"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-22 18:10:45.759Z","domain":"mathstodon.xyz","followerCount":184,"followers":"https://mathstodon.xyz/users/HarrisonGrodin/followers","following":"https://mathstodon.xyz/users/HarrisonGrodin/following","followingCount":198,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/264/622/363/673/731/original/f1cb84f180df763f.jpg","id":"h44vjnznzm8oo84","inbox":"https://mathstodon.xyz/users/HarrisonGrodin/inbox","iri":"https://mathstodon.xyz/users/HarrisonGrodin","isLocal":false,"last_fetched":"2026-03-01 04:43:59.957Z","outbox":"https://mathstodon.xyz/users/HarrisonGrodin/outbox","preferred_username":"HarrisonGrodin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvblujHjZEWIgsP0RzGHP\nJf6nteF1WIhn5PpC0jIITqcN/VBbHg+3RR+7E4DZNLI/atCCjkY0STlVa7TAPCu8\nNkwcEZM0FGwrZA9dRsx9+j9NGV2mIP1LUDO3W9HxBJwu1R0jZ7vB9Js/D90w9ifz\nCi9qggN9Q4gwy+SNlmv+VP5TIaFo/S2D3h9N0ZdyShm2PCtnMNljchULpCTd2Gg8\nO87rUUN5ebiQ6oQsBOWLS8rf0/3DvjcCB7T7kXmRUNaSQQMsuDJrVB9HS4h+24+m\nuLobrc2CsAeaIbQrxnCkPanazHM0uir6/PG/KvXb2CD0MtKJqBeRm4+Vby8AMFs0\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory

","updated":"2026-03-01 04:43:59.957Z","user":"","username":"HarrisonGrodin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-22 21:00:37.952Z","domain":"mathstodon.xyz","followerCount":443,"followers":"https://mathstodon.xyz/ap/users/115553341774279659/followers","following":"https://mathstodon.xyz/ap/users/115553341774279659/following","followingCount":56,"icon":"","id":"an8u0uuifkzw4ok","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2026-03-01 04:43:59.988Z","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":"

https://andraskovacs.github.io/

","updated":"2026-03-01 04:43:59.988Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-28 20:54:31.719Z","domain":"mathstodon.xyz","followerCount":567,"followers":"https://mathstodon.xyz/users/danielgratzer/followers","following":"https://mathstodon.xyz/users/danielgratzer/following","followingCount":183,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/347/460/237/678/866/original/fe1b63e2b580975b.jpg","id":"up5svmy0s5y5i6s","inbox":"https://mathstodon.xyz/users/danielgratzer/inbox","iri":"https://mathstodon.xyz/users/danielgratzer","isLocal":false,"last_fetched":"2026-03-01 04:16:19.908Z","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":"2026-03-01 04:16:19.908Z","user":"","username":"daniel gratzer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-29 00:34:17.080Z","domain":"mathstodon.xyz","followerCount":44,"followers":"https://mathstodon.xyz/users/dif/followers","following":"https://mathstodon.xyz/users/dif/following","followingCount":54,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/185/047/530/052/732/original/3b91e8fe37b2efda.jpg","id":"z9ozdomjvgifnrb","inbox":"https://mathstodon.xyz/users/dif/inbox","iri":"https://mathstodon.xyz/users/dif","isLocal":false,"last_fetched":"2026-03-01 04:44:00.021Z","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":"2026-03-01 04:44:00.021Z","user":"","username":"Dan Frumin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-28 00:09:34.575Z","domain":"mathstodon.xyz","followerCount":252,"followers":"https://mathstodon.xyz/users/carloangiuli/followers","following":"https://mathstodon.xyz/users/carloangiuli/following","followingCount":95,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/283/570/352/770/474/original/d98c2d8c0c85c0ac.jpg","id":"l1mp34sgzlfd5tx","inbox":"https://mathstodon.xyz/users/carloangiuli/inbox","iri":"https://mathstodon.xyz/users/carloangiuli","isLocal":false,"last_fetched":"2026-03-01 04:44:00.052Z","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":"2026-03-01 04:44:00.053Z","user":"","username":"Carlo Angiuli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-29 09:58:36.056Z","domain":"gamedev.lgbt","followerCount":1047,"followers":"https://gamedev.lgbt/users/typeswitch/followers","following":"https://gamedev.lgbt/users/typeswitch/following","followingCount":385,"icon":"https://193eb646-6077-4968-9f13-271a9b475591.svc.edge.scw.cloud/accounts/avatars/109/840/745/523/444/375/original/8ea18ae9c709d259.png","id":"gtrjspxugsratju","inbox":"https://gamedev.lgbt/users/typeswitch/inbox","iri":"https://gamedev.lgbt/users/typeswitch","isLocal":false,"last_fetched":"2026-03-01 04:44:00.128Z","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":"2026-03-01 04:44:00.129Z","user":"","username":"azul"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-29 01:30:53.357Z","domain":"mathstodon.xyz","followerCount":239,"followers":"https://mathstodon.xyz/users/ecavallo/followers","following":"https://mathstodon.xyz/users/ecavallo/following","followingCount":75,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/370/069/239/586/021/original/7c05af7ae01f01c6.png","id":"cx5mp9xk9ie6frj","inbox":"https://mathstodon.xyz/users/ecavallo/inbox","iri":"https://mathstodon.xyz/users/ecavallo","isLocal":false,"last_fetched":"2026-03-01 04:16:19.937Z","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":"2026-03-01 04:16:19.937Z","user":"","username":"Evan Cavallo"}],"page":1,"perPage":10,"totalItems":6,"totalPages":1}

David Escobar 🏳️‍⚧️

Following