{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 14:45:38.256Z","domain":"mathstodon.xyz","followerCount":41,"followers":"https://mathstodon.xyz/users/jdw/followers","following":"https://mathstodon.xyz/users/jdw/following","followingCount":318,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/285/827/267/950/053/original/d2df4bf93b3df6dd.jpg","id":"3dk6lco5q007tv4","inbox":"https://mathstodon.xyz/users/jdw/inbox","iri":"https://mathstodon.xyz/users/jdw","isLocal":false,"last_fetched":"2025-07-31 05:02:08.872Z","outbox":"https://mathstodon.xyz/users/jdw/outbox","preferred_username":"jdw","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA11q3KYjgldHFGI8JTJ9Z\nnLxtDx5Gm1XsPRxHBzJY0eYx8Fh4z5j6fJ4eL5jfvY9fgOwY5302eYdzwsyp8cSZ\nr5a72EF0oZ6PjEVlAy0jRtaZOKWMRFDJnrujrHVtA+8j4f3XDi3CGLJ7Ou+KZ6wn\n5YCXFtdPakNF7B1xlKq6q7ChUbrFs+DJ/SGsu8OBsf8vsv5RNk4kBU4JsqC+r8Zp\nwQvCT+kQUoTv9ASXsPHZf0JMl6CczHojmwO8p91lwFA7R4EnoO/sB+1GFMA3f3wW\nX8/ILb62grMev/K46PctZW74MAiLtWoNjSf09NZi0TA3ZT8zv2dekHeSrlHC27nw\nrwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-05 00:00:00.000Z","summary":"

Hi 👋 I'm a mathematician based in Germany. A while ago I completed a Ph.D. in non-archimedean geometry. Nowadays I try to maintain mathematics as an active hobby. Apart from non-archimedean geometry, my mathematical interests include constructive mathematics, locale theory and algebraic geometry.

I am also very interested in literature, history, philosophy and sociology and I read a lot of books in these areas.

I’m currently looking for an entry level job in software development.

","updated":"2025-07-31 05:02:08.872Z","user":"","username":"Jakob"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 10:20:41.208Z","domain":"mathstodon.xyz","followerCount":1,"followers":"https://mathstodon.xyz/users/qschroed/followers","following":"https://mathstodon.xyz/users/qschroed/following","followingCount":22,"icon":"","id":"9y22n62ks59221n","inbox":"https://mathstodon.xyz/users/qschroed/inbox","iri":"https://mathstodon.xyz/users/qschroed","isLocal":false,"last_fetched":"2025-07-31 05:02:08.901Z","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":"

Master's Student in Theoretical Computer Science at U Paris Cite.
Doing an internship on Lax-Idempotent Monads with Jonas Frey at LIPN (Paris Nord)

","updated":"2025-07-31 05:02:08.901Z","user":"","username":"Quentin Schroeder"},{"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-31 05:02:08.931Z","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-31 05:02:08.932Z","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":87,"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-31 05:02:09.047Z","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-31 05:02:09.047Z","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-31 05:02:09.077Z","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-31 05:02:09.077Z","user":"","username":"Arunabh Ashraf"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 10:13:59.234Z","domain":"mathstodon.xyz","followerCount":52,"followers":"https://mathstodon.xyz/users/nmvdw/followers","following":"https://mathstodon.xyz/users/nmvdw/following","followingCount":116,"icon":"","id":"a74110bx3u841s3","inbox":"https://mathstodon.xyz/users/nmvdw/inbox","iri":"https://mathstodon.xyz/users/nmvdw","isLocal":false,"last_fetched":"2025-07-31 05:02:09.113Z","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-31 05:02:09.113Z","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-31 05:02:09.677Z","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-31 05:02:09.678Z","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":104,"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-31 05:02:09.720Z","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-31 05:02:09.720Z","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-31 05:02:10.420Z","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-31 05:02:10.421Z","user":"","username":"Thanos Tsouanas"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 10:20:42.879Z","domain":"mathstodon.xyz","followerCount":20,"followers":"https://mathstodon.xyz/users/robotfrappe/followers","following":"https://mathstodon.xyz/users/robotfrappe/following","followingCount":73,"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-31 05:02:10.450Z","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-31 05:02:10.450Z","user":"","username":"robotfrappe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 13:14:00.318Z","domain":"mathstodon.xyz","followerCount":73,"followers":"https://mathstodon.xyz/users/christianjaeh/followers","following":"https://mathstodon.xyz/users/christianjaeh/following","followingCount":733,"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-31 05:02:10.480Z","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-31 05:02:10.481Z","user":"","username":"Christian Jäh"}],"page":1,"perPage":10,"totalItems":310,"totalPages":31}

Andrew W Swan

Followers