{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-06 01:34:45.140Z","domain":"mathstodon.xyz","followerCount":38,"followers":"https://mathstodon.xyz/users/kaya/followers","following":"https://mathstodon.xyz/users/kaya/following","followingCount":90,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/523/541/452/586/196/original/8526375a43b8f34f.jpg","id":"nyo5p4ifv68pvtz","inbox":"https://mathstodon.xyz/users/kaya/inbox","iri":"https://mathstodon.xyz/users/kaya","isLocal":false,"last_fetched":"2026-04-20 14:40:29.811Z","outbox":"https://mathstodon.xyz/users/kaya/outbox","preferred_username":"kaya","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr4/7GTf1EjgEZQhVqBMJ\nvxeWS4sL2SYM/16CTMAjto1WrFMkt4/KajEghE2OOptOQT2O7JvkhJZ4wi6+xKdm\n5c0Yt/qvyN9zxeAuiuvCDnfUwPYfdfWxHsuntrVMnjavsItRma6612dmGZhBomU/\nZdzbhZzg8984FkSJAh3pGmDbeRfL/hOVrOENGdVblnu1S+Yd14e3+3xlr0edmNcl\n+WBj0eJhpP0DaNUUazM4sueTKkKkRypKBO3vBzvcXvJx4cNh0Ce4IIUC/Bvbu4nL\nppbyRh2Xo+O4gWZgNIhy9xjgIQRqOUk59CBBtIbPZRZvJNrAJfK2r+tEhPWaaD8o\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-16 00:00:00.000Z","summary":"

I'm an abstract homotopy theorist/∞-category theorist and amateur photographer, programmer, and fiddler. I also love learning (about) languages (especially Norwegian and English).

they (en) / hen (no) / elle (es)

","updated":"2026-04-20 14:40:29.812Z","user":"","username":"Kaya Arro"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-24 08:45:08.753Z","domain":"mathstodon.xyz","followerCount":5,"followers":"https://mathstodon.xyz/users/johnstewart/followers","following":"https://mathstodon.xyz/users/johnstewart/following","followingCount":36,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/859/871/334/933/523/original/f58868bc530e6f26.jpg","id":"w42dp69qju218qj","inbox":"https://mathstodon.xyz/users/johnstewart/inbox","iri":"https://mathstodon.xyz/users/johnstewart","isLocal":false,"last_fetched":"2026-04-20 14:40:30.208Z","outbox":"https://mathstodon.xyz/users/johnstewart/outbox","preferred_username":"johnstewart","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqVobV4chdMJ3A9Gp9ZwX\nEkqTkU1OOMyFAZs0EERseYw9WvJ7s8bZI7anOl9qiNwY8QxMGzg2Vt57b4RSlFDO\nKmj4Wiq/afPxm866UmMCy7mbuMr9wk4znkadjtOdvOzEywd1UFJpSrrjvqlCx+MS\naGPmehNimEinCP0Tkx+ZZH7W99gIFTSs8TmQGuJO9twXTmQQflqTy2J09bfZIUKn\nq4srnEvqdPhTTf97wU79u4kN0yz1uBYcSNr50FO2WTVjVjKNQPfONuiP7exlvyCS\nO+P71w23fraRhlOn14iPoxBnlBP1e6FCf2WXR3InJnSBpG0DqTeayHtB1FxwXlKV\nTwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-15 00:00:00.000Z","summary":"

Interested in functional/logic programming, higher type theory, computer science, programming language theory, and software architecture. Computer scientist building the Cosmos next-gen programming language; multimodal higher dependent type theory, algebraic effects, no phase distinction, and self-hosted, versionable syntax. Typeface snob (and designer).

","updated":"2026-04-20 14:40:30.208Z","user":"","username":"John Stewart"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-18 07:53:09.340Z","domain":"mathstodon.xyz","followerCount":26,"followers":"https://mathstodon.xyz/users/Supernaut/followers","following":"https://mathstodon.xyz/users/Supernaut/following","followingCount":146,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/948/856/158/659/524/original/4a050465ebe92592.jpg","id":"721nfl63yh96345","inbox":"https://mathstodon.xyz/users/Supernaut/inbox","iri":"https://mathstodon.xyz/users/Supernaut","isLocal":false,"last_fetched":"2026-04-20 14:40:30.253Z","outbox":"https://mathstodon.xyz/users/Supernaut/outbox","preferred_username":"Supernaut","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1TLJzd+eVgVXCsEM2Uuv\n8+yzCMKuFSfY8o1i+nGSqoUg7QvZ1C77DH+hUJrNITSnPFmJfBxwzbtXvuSU/jJG\nV3zhaB0M06WRHZMx7tNs82eWoUb8/UXV61Z4hEAFaxPIFhsFXgUiQsiko+pUzkpT\nhK6Pw+C84hb3TrzzKSHpX4WEV5aA7U9ObGRUervCxcR+MzaxDOuD39iCSrBaDKxf\nuPlpee8fhrGXX0b311H7qAifRCR91dTR/DguFwNvjg0hUjE2Mkwya8EYFWIFSkCG\npXgQLSWElIo2BqXO2HSJ5+XWStfPkAE+bmXjAo+K17epH1uG9/znKjVCPM3cKIXz\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-31 00:00:00.000Z","summary":"

Mathematical logic and some attempts to do art

","updated":"2026-04-20 14:40:30.253Z","user":"","username":"Daniel Rogozin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 16:17:33.711Z","domain":"mathstodon.xyz","followerCount":91,"followers":"https://mathstodon.xyz/users/nmvdw/followers","following":"https://mathstodon.xyz/users/nmvdw/following","followingCount":188,"icon":"","id":"9da7fxveyal3poi","inbox":"https://mathstodon.xyz/users/nmvdw/inbox","iri":"https://mathstodon.xyz/users/nmvdw","isLocal":false,"last_fetched":"2026-04-20 13:41:04.538Z","outbox":"https://mathstodon.xyz/users/nmvdw/outbox","preferred_username":"nmvdw","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5X4P6dHNX6+/moc3YOsc\npMCylVK7d2vXH8jCxCBpFUVpsTjVa3CFgqbrbqEEFD1t10vrnwAo6rsbQVj3nEQb\nJ1gSNMuDJ+sXKwy1Z2HIiCNu2E7YW5w0fowqltcknUEbqAkoStHOFfaPG93lquw0\nKZiW2m4nVA1lAOMU/jWvg09upRmXNxO1vJd3aWtf7UC4d2lRfsmWLhwm+cpBiZR+\na3WOhXXr3enkMgjzpWtDbcf4AIlbTqjbXNAwztRTq3LT2YAWHkDXDnfYfAOU7omR\nIPx5ciC1qovu0UHbl2iYMHq8PC7uCdjYzKt6/LPCnsp6IwtT0RPv+n+NpbX+lB05\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-12 00:00:00.000Z","summary":"","updated":"2026-04-20 13:41:04.538Z","user":"","username":"Niels van der Weide"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-28 09:06:14.711Z","domain":"mathstodon.xyz","followerCount":27,"followers":"https://mathstodon.xyz/users/okahn/followers","following":"https://mathstodon.xyz/users/okahn/following","followingCount":101,"icon":"","id":"69qianjzubsvcb7","inbox":"https://mathstodon.xyz/users/okahn/inbox","iri":"https://mathstodon.xyz/users/okahn","isLocal":false,"last_fetched":"2026-04-20 14:40:30.346Z","outbox":"https://mathstodon.xyz/users/okahn/outbox","preferred_username":"okahn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArT+9QfGdXUYmCsOKwuc0\nxSC3wYLCzBzacamiXp49Lx3zpaeRC/BiT6Q0LFHllQM7R0C4N5gFsgp+mYgXVpgG\nO4vz6fM3tkvzEvoU0bD16eyS1f28x0+3ljkQ5IM8bxags4lxU5XfPzGcRkeaMRHu\nW9q1dQS97gL040G1jwg6C6K1cR7f9sE0fbKvYaI+j8pJJJLCBTPE3fKra5spMOQw\nRB3HteJtVB64ZCLYp0XLfQonU3CGOoEt3SsG7roIL0qQDf1NXBnxa/m88EMA5l7w\nBHoPwIGl9lLZpPvJeAdRiOSzH3dxYuqjM/zYK4jSHsTwYobECaJOJ3UI72/FnfaY\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-06 00:00:00.000Z","summary":"

Working computer scientist based in #Pittsburgh. Interested in foundations and computational complexity.

","updated":"2026-04-20 14:40:30.346Z","user":"","username":"Owen Kahn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 22:54:21.753Z","domain":"mathstodon.xyz","followerCount":222,"followers":"https://mathstodon.xyz/users/jebeyer/followers","following":"https://mathstodon.xyz/users/jebeyer/following","followingCount":581,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/273/513/original/1d555471b885979c.jpg","id":"nkin8gzdpyxqw8k","inbox":"https://mathstodon.xyz/users/jebeyer/inbox","iri":"https://mathstodon.xyz/users/jebeyer","isLocal":false,"last_fetched":"2026-04-20 14:40:30.387Z","outbox":"https://mathstodon.xyz/users/jebeyer/outbox","preferred_username":"jebeyer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0ydxGEU3hrdllGu8crPp\nPcf8dUcHo71G2GIcgjcoqKMPE9tRyqlIrEx2v+/n3d2GXtv1HbrmWT2oCaPR4Omg\n/L7KLFkgTacbtSkNJsHGhtSyMM0Y2It47AH68eHlaKKTbik87LGgNvtyq4hAPS9v\nomLlaA1ymKXfUXi3CslKBhO58mHxwCBdfXVdaiy5Zyk1KCv8+6us3+j8ZRxD2Pc6\nv9zp2eb4sN+rh+rD9DIN1AOSWx4zaJOVYC6U/Fj93n2q1IvZa1+UfLLecEy6GNOb\nrblj3qh+dTWcKUqcTAXKL0v/AA5LHwBVCjiyGmZdJ1iEwm+m4wmD1cqVtrRyGOCU\nTQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-01-12 00:00:00.000Z","summary":"

postdoc at Instituto de Matemáticas, Universidad Nacional Autónoma de México, in Mexico City. PhD from the University of Oklahoma in Norman.

mathematical interests include cluster algebras, skein algebras, algebraic geometry, low-dimensional topology, combinatorics, and other related things.

non-mathematical interests include music, film, fiction, and veg*n recipes.

I record experimental/drone/noise music under the name whistling kitty.

","updated":"2026-04-20 14:40:30.387Z","user":"","username":"James Beyer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 04:43:20.177Z","domain":"mathstodon.xyz","followerCount":81,"followers":"https://mathstodon.xyz/users/epatters/followers","following":"https://mathstodon.xyz/users/epatters/following","followingCount":61,"icon":"","id":"qhi13ot2zoamh0s","inbox":"https://mathstodon.xyz/users/epatters/inbox","iri":"https://mathstodon.xyz/users/epatters","isLocal":false,"last_fetched":"2026-04-20 14:40:30.429Z","outbox":"https://mathstodon.xyz/users/epatters/outbox","preferred_username":"epatters","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyRjWUh3x9LELXGVMcQS1\nhnmpl+tmxE+icWOzyLZN0Ub+iabqCfQU+KEIxcCB+v4UKogJDH6bQAk7Ch8/Ssp5\nLLjpOFeUUk/WMDeWDvSLlptx/dG1R6LTokC3JBnKEHZ0qYHIHTDHUTymP63MFS3K\nJrP4tyvJfBcknPMsdX70887gziTaJJbtAHMNAuUZhuRg9gjslMco89BJIHUdcL8U\nvbKeM4DNkXkPEPtSiR6lXrIr4UiWe0NUApDA16SBJT7kyhe7Ei4VF/nKV0eA+kZb\nl+e4S3urLTm56w7ordsHiv20P+f1fvOYrER0En5LkDqXfQhm69mmjW86P3G34sLb\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Applied mathematician and technologist. Research scientist @ToposInstitute

","updated":"2026-04-20 14:40:30.430Z","user":"","username":"Evan Patterson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-20 14:40:30.473Z","domain":"pixey.org","followerCount":0,"followers":"https://pixey.org/users/luavr/followers","following":"https://pixey.org/users/luavr/following","followingCount":0,"icon":"https://pixey.org/storage/avatars/079/165/798/961/692/833/3/hdUVjHN10EHl1sQHL708_avatar.png?v=51","id":"nvg39xzmee5k9n9","inbox":"https://pixey.org/users/luavr/inbox","iri":"https://pixey.org/users/luavr","isLocal":false,"last_fetched":"2026-04-20 14:40:30.473Z","outbox":"https://pixey.org/users/luavr/outbox","preferred_username":"luavr","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtrCuYUZgEEfz4rGP99gG\ngqhBVwLv06h/BcPtK58pcKxJH+EvA9Ic0O7pAwqFHSJX3iEBLYj6BhmKst0WV8Pj\nbihgGMNh45NjnF4M3gob/2shzNxu0VwlQAHAkHWdHZh0/7l0JXeiRLNvWudPgTat\nwZ3e9iqGrRz4AiZWPRF+GJ2EbGP7ZnK6gG8v5bpxLtqgY2WzGrUpOFHa5iC/m9EN\nmsZa+cCGI4s9nYaAVF1/ETHecmHA6V71bs0eiAS+QqLGD6vy7lsRvkmQknoEV1wf\nsZhnDWqDZoX+Yzu0Qo/NZCoeWBqZR3HGapekJosvDv3FRGrBNvRgJOOozJC12ls7\n4QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-02-02 00:00:00.000Z","summary":"","updated":"2026-04-20 14:40:30.473Z","user":"","username":"Lua Viana Reis"}],"page":1,"perPage":10,"totalItems":156,"totalPages":16}

Emily 🏳️‍⚧️ (she/her)

Following