{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-20 02:10:07.204Z","domain":"mathstodon.xyz","followerCount":4,"followers":"https://mathstodon.xyz/users/johnstewart/followers","following":"https://mathstodon.xyz/users/johnstewart/following","followingCount":21,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/859/871/334/933/523/original/f58868bc530e6f26.jpg","id":"lyp4dd4l086gd87","inbox":"https://mathstodon.xyz/users/johnstewart/inbox","iri":"https://mathstodon.xyz/users/johnstewart","isLocal":false,"last_fetched":"2025-09-12 06:28:21.895Z","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 Anima next-gen programming language; multimodal higher dependent type theory, algebraic effects, no phase distinction, and self-hosted, versionable syntax. Typeface snob (and designer).

","updated":"2025-09-12 06:28:21.895Z","user":"","username":"John Stewart"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-07 06:49:34.039Z","domain":"mathstodon.xyz","followerCount":23,"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":"28yniowx3bwkc8n","inbox":"https://mathstodon.xyz/users/Supernaut/inbox","iri":"https://mathstodon.xyz/users/Supernaut","isLocal":false,"last_fetched":"2025-09-12 06:28:21.938Z","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":"2025-09-12 06:28:21.939Z","user":"","username":"Daniel Rogozin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 18:39:25.759Z","domain":"mathstodon.xyz","followerCount":61,"followers":"https://mathstodon.xyz/users/nmvdw/followers","following":"https://mathstodon.xyz/users/nmvdw/following","followingCount":126,"icon":"","id":"w8klb07z1t4cz2r","inbox":"https://mathstodon.xyz/users/nmvdw/inbox","iri":"https://mathstodon.xyz/users/nmvdw","isLocal":false,"last_fetched":"2025-09-12 06:28:22.096Z","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":"2025-09-12 06:28:22.096Z","user":"","username":"Niels van der Weide"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-18 09:25:33.015Z","domain":"mathstodon.xyz","followerCount":22,"followers":"https://mathstodon.xyz/users/okahn/followers","following":"https://mathstodon.xyz/users/okahn/following","followingCount":86,"icon":"","id":"c3nss7gh9dx01j3","inbox":"https://mathstodon.xyz/users/okahn/inbox","iri":"https://mathstodon.xyz/users/okahn","isLocal":false,"last_fetched":"2025-09-12 06:28:22.142Z","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":"2025-09-12 06:28:22.143Z","user":"","username":"Owen Kahn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-18 16:43:13.830Z","domain":"mathstodon.xyz","followerCount":167,"followers":"https://mathstodon.xyz/users/jebeyer/followers","following":"https://mathstodon.xyz/users/jebeyer/following","followingCount":455,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/273/513/original/1d555471b885979c.jpg","id":"5tazi9f26z169ah","inbox":"https://mathstodon.xyz/users/jebeyer/inbox","iri":"https://mathstodon.xyz/users/jebeyer","isLocal":false,"last_fetched":"2025-09-12 05:07:17.513Z","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":"

recent PhD in math from the University of Oklahoma in Norman. mathematical interests include cluster algebras, skein algebras, and other things at the intersection of algebraic geometry, low-dimensional topology, and combinatorics.

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

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

","updated":"2025-09-12 05:07:17.513Z","user":"","username":"James Beyer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 15:27:10.602Z","domain":"mathstodon.xyz","followerCount":77,"followers":"https://mathstodon.xyz/users/epatters/followers","following":"https://mathstodon.xyz/users/epatters/following","followingCount":55,"icon":"","id":"b8v0mh1743yda8y","inbox":"https://mathstodon.xyz/users/epatters/inbox","iri":"https://mathstodon.xyz/users/epatters","isLocal":false,"last_fetched":"2025-09-12 06:28:22.195Z","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":"2025-09-12 06:28:22.196Z","user":"","username":"Evan Patterson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 06:28:22.354Z","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/fai26lHXYiBOHzICZoyf_avatar.jpg?v=20","id":"74lqi7fvn66l59s","inbox":"https://pixey.org/users/luavr/inbox","iri":"https://pixey.org/users/luavr","isLocal":false,"last_fetched":"2025-09-12 06:28:22.354Z","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":"some photos of São Carlos, and an excuse for me to go out\n\nhttps://github.com/estradilua","updated":"2025-09-12 06:28:22.354Z","user":"","username":"Lua"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-25 17:20:20.719Z","domain":"mathstodon.xyz","followerCount":161,"followers":"https://mathstodon.xyz/users/eewash/followers","following":"https://mathstodon.xyz/users/eewash/following","followingCount":170,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/304/229/196/083/281/original/ae2110ad225b5b1f.png","id":"4a02309c0t82966","inbox":"https://mathstodon.xyz/users/eewash/inbox","iri":"https://mathstodon.xyz/users/eewash","isLocal":false,"last_fetched":"2025-09-12 06:28:22.584Z","outbox":"https://mathstodon.xyz/users/eewash/outbox","preferred_username":"eewash","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt2y8zC1zu/sQIC8IYMR7\nE2MSckOhZOhzpBCoshugYg/6WcfzfRipMz7eCoFHDhJVj0aTTpr3I/RsMZLnP+Ao\n6Z3aPK1Fz8ekt0olHzdeQktlgSBCrVqdd4D4Yvzx/UhnpqTNBTC3C3fBPmr7JWhC\nBufB079NLuJGCjQg3yArm1xIJ9JZ8DVl9I2njC7YsF0ree7nFs477/eaHgx/vEeM\naj3FH1sJ0BCL5xbfIIgsgbYXg3JdlE6+3T58Svj7STYaSR1HNUlqgvrBau+qWe2Z\neawZKK/NzB9pmSVNjiuagbxzaec7AsqPmyjZ5hfbjIrjnTm+vC1V8lwotJR9DpTP\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"

I'm a philosopher interested in applying formal tools like logic and category theory to philosophical problems. I also like comic books and movies

","updated":"2025-09-12 06:28:22.584Z","user":"","username":"Evan Washington"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-13 00:29:39.205Z","domain":"mathstodon.xyz","followerCount":106,"followers":"https://mathstodon.xyz/users/Ramagri/followers","following":"https://mathstodon.xyz/users/Ramagri/following","followingCount":790,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/393/153/606/620/541/original/aa08398d916ca9aa.jpg","id":"rm709ko0i3zf73d","inbox":"https://mathstodon.xyz/users/Ramagri/inbox","iri":"https://mathstodon.xyz/users/Ramagri","isLocal":false,"last_fetched":"2025-09-12 06:28:22.623Z","outbox":"https://mathstodon.xyz/users/Ramagri/outbox","preferred_username":"Ramagri","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3KhZ7sTBFYgaoxq75Sge\nSPl6eLO0nLvLEwAHfYnALOlDjjC1l0+czepx9T2W5QKCtZnwpnLyItazDpnFernL\nNkOXgSWBpzwNx4Ljkkh+TGvDn3tWDL+NNCKpL3rZecd0PK0uHq/ST4EiyapPr39n\nsN56Ua1PGwxd5Xeb7bjFO17I/D+y87ZlHGmb2Q29PUQyMXHBnelIGnoQTUG9gLSX\neYKhfq1lcVoPBelSu/hnE/GBhm1wUip0bjFlUvcn+cLVpA6N9PdYhMt1AIS46U4C\nhue+Z5yP7CNih95ZR5g9tcrUldXhxGfdwdyT5KFXeMn6Q3k+7PsXQu71V9swIPD5\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-23 00:00:00.000Z","summary":"

Student,Love to solve hardest math problem. LLM's, Mathematical Research (Geometric Topology, Differential Geometry), Quantum Computing, Cryptography
LORD KRISHNA IS GOD OF MATH

","updated":"2025-09-12 06:28:22.623Z","user":"","username":"Ajitesh Shukla"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-18 01:42:12.329Z","domain":"mathstodon.xyz","followerCount":161,"followers":"https://mathstodon.xyz/users/olynch/followers","following":"https://mathstodon.xyz/users/olynch/following","followingCount":77,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/286/766/original/4b06ab333858358e.png","id":"qruh0f428a62qp0","inbox":"https://mathstodon.xyz/users/olynch/inbox","iri":"https://mathstodon.xyz/users/olynch","isLocal":false,"last_fetched":"2025-09-12 06:28:22.664Z","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.

","updated":"2025-09-12 06:28:22.665Z","user":"","username":"Owen Lynch"}],"page":1,"perPage":10,"totalItems":150,"totalPages":15}

Emily 🏳️‍⚧️ (she/her)

Following