{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 14:36:53.418Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/johnstewart/followers","following":"https://mathstodon.xyz/users/johnstewart/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/859/871/334/933/523/original/f58868bc530e6f26.jpg","id":"63hr8cmi6678v5k","inbox":"https://mathstodon.xyz/users/johnstewart/inbox","iri":"https://mathstodon.xyz/users/johnstewart","isLocal":false,"last_fetched":"2025-09-13 14:36:53.417Z","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-13 14:36:53.418Z","user":"","username":"John Stewart"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-09 02:20:21.708Z","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":"g2nfhiu62t258h6","inbox":"https://mathstodon.xyz/users/Supernaut/inbox","iri":"https://mathstodon.xyz/users/Supernaut","isLocal":false,"last_fetched":"2025-09-13 14:36:53.445Z","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-13 14:36:53.446Z","user":"","username":"Daniel Rogozin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-09 15:59:57.789Z","domain":"mathstodon.xyz","followerCount":62,"followers":"https://mathstodon.xyz/users/nmvdw/followers","following":"https://mathstodon.xyz/users/nmvdw/following","followingCount":128,"icon":"","id":"kj0e7grn2h183s7","inbox":"https://mathstodon.xyz/users/nmvdw/inbox","iri":"https://mathstodon.xyz/users/nmvdw","isLocal":false,"last_fetched":"2025-09-13 14:36:53.524Z","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-13 14:36:53.524Z","user":"","username":"Niels van der Weide"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 14:36:53.555Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/okahn/followers","following":"https://mathstodon.xyz/users/okahn/following","followingCount":0,"icon":"","id":"ic7h69lqw495h88","inbox":"https://mathstodon.xyz/users/okahn/inbox","iri":"https://mathstodon.xyz/users/okahn","isLocal":false,"last_fetched":"2025-09-13 14:36:53.554Z","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-13 14:36:53.555Z","user":"","username":"Owen Kahn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 14:36:53.587Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mc/followers","following":"https://mathstodon.xyz/users/mc/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/289/048/original/b9cf149b7fa7c036.png","id":"894d226w6tz31c8","inbox":"https://mathstodon.xyz/users/mc/inbox","iri":"https://mathstodon.xyz/users/mc","isLocal":false,"last_fetched":"2025-09-13 14:36:53.586Z","outbox":"https://mathstodon.xyz/users/mc/outbox","preferred_username":"mc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0GhhDKvjMZb8Z3OtJhKx\nwiiHC9JHijE4157quzAS8anZNLxY5bc8IB8ZlmELXU87lk+W4W7j3INTmqsGkR6E\nHibi5lj1HONrY9Beu8TQIkRTE2oIqRcC0CyhnDvwo4OyUgCHtgx3PGQf4jwXwTND\nhQOBkf0ZWTm4ymOPrLGOhT1vVUrC2C7dLuFgw1GbwOZabJEdS/A5Aqmrmv9hcygN\nC160uBEgsQs8M4VKnbk12P72AnZsfc+odcUKcoEtvw9krUgEoENwujUEmXl5dmp8\nQcYSOttaItobEWFFCS3j1NJuJIoYOWY/YQPAiyFrW6vrJ4ThjHhnuVf+L6LYTU+v\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-26 00:00:00.000Z","summary":"

The Twitter account formerly known as @mattecapu.
Expat 🇮🇹→🏴󠁧󠁢󠁳󠁣󠁴󠁿, PhD @mspstrath, mathematician (category theory for general systems theory & cybernetics), socialist, aspiring psycohistorian, meme enjoyer (shitpost is not endorsement).
Custodian of CT Zulip, email me for an invite.

","updated":"2025-09-13 14:36:53.587Z","user":"","username":"Matteo Capucci"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 14:36:53.670Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/WillWhistler/followers","following":"https://mathstodon.xyz/users/WillWhistler/following","followingCount":0,"icon":"","id":"0o1t1z4wt6b9sd1","inbox":"https://mathstodon.xyz/users/WillWhistler/inbox","iri":"https://mathstodon.xyz/users/WillWhistler","isLocal":false,"last_fetched":"2025-09-13 14:36:53.669Z","outbox":"https://mathstodon.xyz/users/WillWhistler/outbox","preferred_username":"WillWhistler","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnSUSa31WT7Hmk+ydZKvz\nCJBevgvCh7ds7C+mszBUTfZKz8g0GoR3R6aRvZfM7az3mNQH0RAn5Sqjpvd6foVJ\nptiNda2z10aMx73n2oX9HoCVuH6bFkxPBkgH6d5R4TwSAc3ZA2aCS9jAVy+zofXH\nxyKTvis9RVpxoHUyBbf/0PRr8iG5PDrYGVu9xuYIHQVHbsdKVMThUzTjteg35Nvn\nrDqJDQaZn/TsnFsk25GQChsXHuWBqMtVhnI1QD1yaxMsoIHSrC+vG6nM3xHzOVOh\nav2Qa6IQRGJadqvzkesKAlfYBMV8Fq/08/4TYajZc9lDIh30EwSiZkLK5MYvv/kG\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-28 00:00:00.000Z","summary":"

I'm an independent researcher interested in the computational complexity of exact counting problems, category theory, formalisation and (semi-)automated theorem proving. Once upon a time I was also a reverse engineer, and I still tinker with program analysis things occasionally.

","updated":"2025-09-13 14:36:53.670Z","user":"","username":"Will Whistler"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 14:36:53.702Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/jebeyer/followers","following":"https://mathstodon.xyz/users/jebeyer/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/273/513/original/1d555471b885979c.jpg","id":"af39iyk6261n192","inbox":"https://mathstodon.xyz/users/jebeyer/inbox","iri":"https://mathstodon.xyz/users/jebeyer","isLocal":false,"last_fetched":"2025-09-13 14:36:53.701Z","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-13 14:36:53.702Z","user":"","username":"James Beyer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 14:30:39.243Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/egrinagy/followers","following":"https://mathstodon.xyz/users/egrinagy/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/521/487/376/666/513/original/648a1bb53ac47032.png","id":"gj3wc5ez762w142","inbox":"https://mathstodon.xyz/users/egrinagy/inbox","iri":"https://mathstodon.xyz/users/egrinagy","isLocal":false,"last_fetched":"2025-09-13 14:30:39.242Z","outbox":"https://mathstodon.xyz/users/egrinagy/outbox","preferred_username":"egrinagy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxC3pDUHCwfby9MNGFAHW\nBjmN8aNEjTUQ0YrxOUQj0ON5lGF8/kFm3itjCCGASHWXGrpklFznqwpmXnt+iGf4\nH2LzJGFVUjW2c+XD6sXc1onURDIHgN38IK/Ch9wLGsFYlYk8AzVwt+9J3FP7QmOk\nLCuHPdsnWpVv26sus0XWBTAXGR4qH//Hfb7yw3s8aFNREQAzLwKRi+rhSOhUCrpw\nxAWpaOjAoD0oRAPxWHXjwWtVKz4GXf4/528HbQWlOQpnFK3QHX3jpFS9O3hKDp5q\nRjxlC6Wf3BtJqGj2vPauzlW3o7cjeWtuUyYdfrUgUaUt/LxtKAHqzwj2jrVEpQzG\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-16 00:00:00.000Z","summary":"

Programmer, mathematician, philosopher, violinist, circumstantial Go teacher, father of two. Hungarian-born Australian lost in the land of rice paddies. Enjoys putting out some solar panels and watching the amp meter.

Professor of #mathematics at Akita International University (retired #software engineer really).

First computer #C64, then #amiga, hence #retrocomputing.

#clojure #programming #coding #math #maths #education #science #philosophy #solar #solarpunk #computing

","updated":"2025-09-13 14:30:39.243Z","user":"","username":"egri-nagy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 14:36:53.738Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mossyrocks/followers","following":"https://mathstodon.xyz/users/mossyrocks/following","followingCount":0,"icon":"","id":"t2e4t8u80t4go84","inbox":"https://mathstodon.xyz/users/mossyrocks/inbox","iri":"https://mathstodon.xyz/users/mossyrocks","isLocal":false,"last_fetched":"2025-09-13 14:36:53.737Z","outbox":"https://mathstodon.xyz/users/mossyrocks/outbox","preferred_username":"mossyrocks","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3Rf7JjWwSij2Gq1rnPPi\n+/RxlxGrXvuO03YzV1OuVkSLksLw9kQte2S7Crr6faHyItgGt6J9D59mWwlcgWG8\ncySJJ4pmjQQ/u6raWyYX/WtLEUJnt/d2EWiG/+l16afdbrM5MT+fxSV3y0FdhHtc\njQWZ0jBRL5S1xfIAKKwgI2lcdgRLhj48DZBH2dVdOzVeE9TLgKVFjxHK6FGRyaoH\n+ocvSgMLnMw60euC9yw5luB0K2EmV+LbuLHKdDTiFPHkNwglKaIF9q9zUkqgH3+k\nTI4792rHQKNWnUN1k3O8SoWO6to/11qF8XVE1UuE8ID1No6DhEGH+0Jz9WSFQpG1\nlwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Person turning over math-covered rocks to see what is under them. Mostly not very heavy rocks. Used to study metric geometry and groups.

","updated":"2025-09-13 14:36:53.738Z","user":"","username":"Moss-covered Rocks"}],"page":1,"perPage":10,"totalItems":150,"totalPages":15}

Emily 🏳️‍⚧️ (she/her)

Followers