{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 10:20:41.208Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/qschroed/followers","following":"https://mathstodon.xyz/users/qschroed/following","followingCount":0,"icon":"","id":"9y22n62ks59221n","inbox":"https://mathstodon.xyz/users/qschroed/inbox","iri":"https://mathstodon.xyz/users/qschroed","isLocal":false,"last_fetched":"2025-07-25 10:20:41.208Z","outbox":"https://mathstodon.xyz/users/qschroed/outbox","preferred_username":"qschroed","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqusAjEyi5XPlRX7cdWX0\nnZe8XkQ+sUkHgWvGoodMW0ofG2Ja68c2EaLr0faIpO0XmN02x0q8PMZmMYJGUd7V\nL7pBHlgfQybifzWHCNpUirIjN3J1KvqDOi2NfI5RumjftRlAUjfnjlbA8AUPiA30\n6yoragXr2kRZ7oyHZyMY6YtU+7FnXyUN2TCR3DTWu9zU/RnmhE7UxXNK/RxrZ1fd\n50xJZKj/y12A4+h/jjYXrqVdVx4+qsGkJsFAhNDCLV7zU/YbLb12TjPiZA9fDelF\njuTEOslfDyi4XU+Z/VVcygl6DZz2ZuMg7L7D/XnZfFi74jkqrcLfiorsfjWUQHBI\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-21 00:00:00.000Z","summary":"","updated":"2025-07-25 10:20:41.208Z","user":"","username":"qschroed"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 11:33:07.589Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/PaolaCattabriga/followers","following":"https://mathstodon.xyz/users/PaolaCattabriga/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/862/598/055/982/453/original/474609b835f504b6.png","id":"c5uo033h68isjk0","inbox":"https://mathstodon.xyz/users/PaolaCattabriga/inbox","iri":"https://mathstodon.xyz/users/PaolaCattabriga","isLocal":false,"last_fetched":"2025-07-25 10:20:41.239Z","outbox":"https://mathstodon.xyz/users/PaolaCattabriga/outbox","preferred_username":"PaolaCattabriga","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr0BW+trcbRcoawlfxZA6\n7QQLb+NoMaRC5Bj8biTgRQkQEF+YJnIUZbLiukoemp4xf/5Gv0H3lIdYwH1XFrct\n/9U1YeWxMYDY+zF/H9AMn4WeJccWOqdMecEZiJx8dQ2MpmYEPJ0/Xz1YjwpJI9HD\nApw/Gcp4uqnt3EoU1X8ylYRJ3eVWpQ28WUA9D+c60Ty4gH+T50BzE9HH/a82Dg0L\ncqS3rUAb/Eqd2Q5K40pPa+Jvr9y0xxY45wVVjY8WRak2ef+j2h6UHgsT7qeSKjVP\ngIAV2lCEI6ic3m8SBjolinvUOrDptIwI9+AGCHZQvSqxZ5EDjkPjyOtPJEI7CBnl\ndwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-16 00:00:00.000Z","summary":"

Logician, interested in self-reference procedures, diagonalization, logical foundations, computability.

Phd and Post PhD - Unaffiliated reserarcher

","updated":"2025-07-25 10:20:41.239Z","user":"","username":"Paola Cattabriga"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 18:10:51.194Z","domain":"social.praxis.nyc","followerCount":16,"followers":"https://social.praxis.nyc/users/lne/followers","following":"https://social.praxis.nyc/users/lne/following","followingCount":86,"icon":"https://cdn.masto.host/socialpraxisnyc/accounts/avatars/110/866/238/156/971/449/original/ef3bb6ea748a8180.jpg","id":"s8u51cbq5dwp858","inbox":"https://social.praxis.nyc/users/lne/inbox","iri":"https://social.praxis.nyc/users/lne","isLocal":false,"last_fetched":"2025-07-25 10:20:41.358Z","outbox":"https://social.praxis.nyc/users/lne/outbox","preferred_username":"lne","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz5+XGyY/+PwOCxb+1A2V\nVYqoohv7F8OGr5qMZoVt/KeP9oV9EaKRZ60oN6oRX81LN/VlBg1vyzsU+6XyhJ1F\nbN+yhugXGJBXpXv1d7jlMmOiDExYUce2DrGAGgjJwCpEfP8NNJYcnWrteez8Jux2\n/M37P69RbJDWPt+Stv8OKADyzS94zDUfQ5VKGTXnj3FyTvoP7fCBNVIropuk+bhi\ny3T1xXKjm6fT81MZ8uySSoWL9ZOCkejm0qruT+LNmL7awZJ1A1a4m00xnx2054lS\ndG0+whcsqsKQb/PdRQ/fp4nkGGHLe8amibKPLIOUDjw/0P8IgoXqm03veAI4NGth\nMwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-10 00:00:00.000Z","summary":"

interested in next generation type theories, braided monoidal categories, and graphical computation frameworks, based in san francisco

","updated":"2025-07-25 10:20:41.359Z","user":"","username":"Lane"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 10:20:41.388Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/Arunabh_Ashraf/followers","following":"https://mathstodon.xyz/users/Arunabh_Ashraf/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/608/583/429/807/354/original/b1c49714a31ba096.jpg","id":"0qv32l35vr05119","inbox":"https://mathstodon.xyz/users/Arunabh_Ashraf/inbox","iri":"https://mathstodon.xyz/users/Arunabh_Ashraf","isLocal":false,"last_fetched":"2025-07-25 10:20:41.387Z","outbox":"https://mathstodon.xyz/users/Arunabh_Ashraf/outbox","preferred_username":"Arunabh_Ashraf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApu5gbKM3QJKLZCy35rg/\nryNP793XmITz9tIctjgL9lNYzFtEiLNg4FL6jlklFl59ccWaNIAepbQIcBWmfzZ6\nGL/V6NBLL/S4rGydcpzt/+20HcoiGpxg1esyknlywmU8e962IkZ3Rs+V/8xnmkq/\nz7D+Lwb3bImlJ2PZ9ddSSo0ajAP3C5O9HCe/01PY8RvDv9o7k2qVc6uGPjKqC8bb\n15baFBoLGufw/NkfoW5lskVURlqgVMKCtpHBwKMm8ccPoicjgXcMEw+sNPW46cIE\n8Uxvlk58aaYZRLLVaSvfWXPZwK0lraxcrRbfvCOAd9MYtCi6XOSdrxa8B3ICLaGk\nhQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-31 00:00:00.000Z","summary":"

maths undergrad

","updated":"2025-07-25 10:20:41.388Z","user":"","username":"Arunabh Ashraf"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 10:13:59.234Z","domain":"mathstodon.xyz","followerCount":51,"followers":"https://mathstodon.xyz/users/nmvdw/followers","following":"https://mathstodon.xyz/users/nmvdw/following","followingCount":114,"icon":"","id":"a74110bx3u841s3","inbox":"https://mathstodon.xyz/users/nmvdw/inbox","iri":"https://mathstodon.xyz/users/nmvdw","isLocal":false,"last_fetched":"2025-07-25 10:20:41.417Z","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-07-25 10:20:41.417Z","user":"","username":"Niels van der Weide"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 04:27:07.257Z","domain":"mastodon.acm.org","followerCount":77,"followers":"https://mastodon.acm.org/users/ismailkuru/followers","following":"https://mastodon.acm.org/users/ismailkuru/following","followingCount":270,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/861/270/740/451/768/original/685bd353037ac398.jpg","id":"m270z781279m07v","inbox":"https://mastodon.acm.org/users/ismailkuru/inbox","iri":"https://mastodon.acm.org/users/ismailkuru","isLocal":false,"last_fetched":"2025-07-25 10:20:41.993Z","outbox":"https://mastodon.acm.org/users/ismailkuru/outbox","preferred_username":"ismailkuru","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvzvLwm0mzB2YV2/TN31P\nGIhoAWCdqvocoFGcqgZr533AfC778OdWXOfzcKWZkAE3q0fUAart1Rn7iesKY4PZ\nLW5t7U3bBhbavwfICyDCTZKsA5rd354Bhm2IzkMTWit7lux1atRA9HXPqxII3rQE\ny8x/yXkeYaI1+avnqtFDJ/SFn06ecMZmWvRjAkWNGoDmYCM68YUtNSVf9ACYNwEk\nurngRRUfvCv8Dlz06xl26i7eMQu8kTwVLLrDLj66p/ymAvjst1JrCjfUPSWza4lr\n0SqIIJZPpLPemBTAWU++/9ERExShcJOCDSswRwevCfjGHFGxLOkmU7dw6J/2vJCs\n5wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-09 00:00:00.000Z","summary":"

All opinions are my own

Not a professional account

website: https://ismailkuru.github.io/

","updated":"2025-07-25 10:20:41.994Z","user":"","username":"Ismail Kuru"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 04:27:20.141Z","domain":"mathstodon.xyz","followerCount":14,"followers":"https://mathstodon.xyz/users/ayb/followers","following":"https://mathstodon.xyz/users/ayb/following","followingCount":98,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/767/562/250/591/788/original/93719c95642d9728.jpeg","id":"74685f652y3671k","inbox":"https://mathstodon.xyz/users/ayb/inbox","iri":"https://mathstodon.xyz/users/ayb","isLocal":false,"last_fetched":"2025-07-25 10:20:42.044Z","outbox":"https://mathstodon.xyz/users/ayb/outbox","preferred_username":"ayb","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsc8NkLFUMju/yiVsAKC9\nAUexm2xaPh4iBIWByfbRlxGHYvMsopXJwwlocDG+xqLSjHRWmkOlh2Jl84MsslsP\nl2egbOJC/n07jYNrrUQlf8M27627AQJw4k//CkcQ35Tnh8tUIGyd8hqCVZ69U0pK\n8NA9PYo3LWGoRDoWHL8qfTt3A6nOBz70xl2h5x6DUStpAal9mTpVv6XVtF5cuhMn\nYAPtFZL512mu2G3WTmkMPKXJvxQmoqutUx1hYB2MdNJwLZTcPyh5S7bOBovMaeFz\nuRFPa3qhuQ8vzVL9Q9+GhPTBdD9bSr/Gf+iaF5RN1E7C0/JNGUDK55Ca2cDIuao8\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-29 00:00:00.000Z","summary":"

Student in Computer Science at École normale supérieure

Interested in (but not only) the theory and implementation of programming languages and related topics such as (optimising) compilation and interpretation, logic, type theory and category theory

Currently working on WebAssembly

","updated":"2025-07-25 10:20:42.045Z","user":"","username":"Aghilas Y. Boussaa"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 04:27:20.422Z","domain":"mathstodon.xyz","followerCount":2,"followers":"https://mathstodon.xyz/users/tsouanas/followers","following":"https://mathstodon.xyz/users/tsouanas/following","followingCount":15,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/287/178/134/129/123/original/b6dc0a321d30deb7.jpg","id":"mnz020p1ktby55j","inbox":"https://mathstodon.xyz/users/tsouanas/inbox","iri":"https://mathstodon.xyz/users/tsouanas","isLocal":false,"last_fetched":"2025-07-25 10:20:42.843Z","outbox":"https://mathstodon.xyz/users/tsouanas/outbox","preferred_username":"tsouanas","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyTJiTmJJ0jxRZ/uy2lXi\n2Zm4pDLODiMDT4bppLemPaAXUdHqlHuOrc18Pf+IvGj+QWfGnRrnl6OGiyp/8cpy\nEvnEqu4jZo0ZZLHIYTOamB5e32L95aNvHpDhxCfkRf46+wjEfWfZy9+slOfsSWXB\nUAkB4YiOmQJre0YdoXakgEqCH+F8OgXgD8g64IY+hZ0Kh8momyaLaepQjYW1ve0j\nIVLiGF0Z2JK9J4pRak0lAASBthIfWmK83jI8VE9+Br6uXCnRVm6Xi9pRcPLsbnFp\n+Tf3Y+NCwdrLMEMytUqOssBgWKKNn5IpuL8SgeL0mKzeCfHZcVAT1QctfuhvHz7x\nmQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

Math, computer science, music, …

Professor at UFRN, Brazil.

Interests: constructive mathematics, {foundations, formalization} of mathematics, {type, category} theory, programming (languages); math/CS education as a research field, including the use of proof assistants and the acquirement of type/cat-theoretic constructive foundations ‟by osmosis”.

Back to the future: from mathematical foundations for computation to computational foundations for mathematics.

","updated":"2025-07-25 10:20:42.844Z","user":"","username":"Thanos Tsouanas"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 10:20:42.879Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/robotfrappe/followers","following":"https://mathstodon.xyz/users/robotfrappe/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/302/049/500/598/321/original/04b9f382a6673ba3.jpg","id":"091j60xd0bxavga","inbox":"https://mathstodon.xyz/users/robotfrappe/inbox","iri":"https://mathstodon.xyz/users/robotfrappe","isLocal":false,"last_fetched":"2025-07-25 10:20:42.878Z","outbox":"https://mathstodon.xyz/users/robotfrappe/outbox","preferred_username":"robotfrappe","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuzC+vJnkyzBBwLwIVMFD\nBF0XhnPD4Iy7w/Bnqbtrzx9TR1l6zMm0F8LLoGOLfpZcP+PPKINVRSv1mg1+RV1n\nXYc/clGnZIgpClCM0uEseCPn3hyVfG6guV3kEY/xMeBSQZoFWGL591T5VkGdO5fY\nUREN8cr1fpPZQ2Z/LftxncRcyVAHjwLKcIUpbKvkXIoz8TVxRezcr6w7nu/kPKMA\nBm91IygbHG2AZbd1dQ0LfYiWLVReArw+uWwUpuyXiQ2voUugKIRpc0r4rGuiBeTB\ngsYnvF/LcnBXB3sXqsjIXiTWwd1eYFh2z8DnwPRcfQQJFG+53qO6X+NxLfKClUWb\nAQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"

work in progress; amateur professional; math undergrad

deeply interested in mathematics, philosophy, and literature, among many other things

","updated":"2025-07-25 10:20:42.879Z","user":"","username":"robotfrappe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 13:14:00.318Z","domain":"mathstodon.xyz","followerCount":72,"followers":"https://mathstodon.xyz/users/christianjaeh/followers","following":"https://mathstodon.xyz/users/christianjaeh/following","followingCount":729,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/403/811/627/484/031/original/89a485befaa7d3c3.jpg","id":"s1ce2o1e53x34l9","inbox":"https://mathstodon.xyz/users/christianjaeh/inbox","iri":"https://mathstodon.xyz/users/christianjaeh","isLocal":false,"last_fetched":"2025-07-25 10:20:42.910Z","outbox":"https://mathstodon.xyz/users/christianjaeh/outbox","preferred_username":"christianjaeh","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv4UIeR6ZwS27F91WBHS0\n5AaU7vhjzxx0+tsdheLK5P370QhCx6klGMOkgjh0WQr/5cUUUkinuCcZDmU/KUPz\nDNOMmg/LQ1ftx5jADnq/C/4kyI/5rfSFZP+hncAv0A9lP9McNYj0wfjOul4kK2bo\n5Bq/EXolYXu3r03l2r7qIYpUxWmMZsGtG7kio+GS46CnHwaqCGE1zW57dkjexT34\nJH9vFKXR9/OHh3pPdqSnyYQm9EPDbJfqH4j0HRJsK530wcfeURb1mRFwAfSyfOMW\nLYpyAK1lKl//rJjcTJunD3lUJnif1xv2/X832KjqHTwiJyuSyBJCkJazEnNcFYDz\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-25 00:00:00.000Z","summary":"

I am a mathematician interested in all things #Analysis real and complex. In particular #PDE in the tradition of Hörmander.

","updated":"2025-07-25 10:20:42.910Z","user":"","username":"Christian Jäh"}],"page":1,"perPage":10,"totalItems":309,"totalPages":31}

Andrew W Swan

Followers