{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-29 22:00:32.906Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/kaya/followers","following":"https://mathstodon.xyz/users/kaya/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/523/541/452/586/196/original/8526375a43b8f34f.jpg","id":"e9ed0t6u0x4kp86","inbox":"https://mathstodon.xyz/users/kaya/inbox","iri":"https://mathstodon.xyz/users/kaya","isLocal":false,"last_fetched":"2025-08-29 22:00:32.906Z","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 and fiddler. I also love learning (about) languages (especially Norwegian and English).

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

I am currently employed as a postdoc in the math department of UC Riverside.

","updated":"2025-08-29 22:00:32.906Z","user":"","username":"Kaya Arro"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-29 22:00:33.153Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/xamidi/followers","following":"https://mastodon.social/users/xamidi/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/112/231/669/211/056/434/original/e048f881de50587a.jpg","id":"og22e6d5m8142s4","inbox":"https://mastodon.social/users/xamidi/inbox","iri":"https://mastodon.social/users/xamidi","isLocal":false,"last_fetched":"2025-08-29 22:00:33.153Z","outbox":"https://mastodon.social/users/xamidi/outbox","preferred_username":"xamidi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAl0aomrHUBZIF2X1ARzns\nhT0cQmj4kF2LIOlrUS4bof1nFyQXhrrKRoXQHHUohV91pBfnK2gI+XY4pAKxfdPp\nhxz9OObzSZNkgiFbgQ+foFGXLLuemYjRWM1sqUsdjv37Niidnhkjnr7N5fkAhtSI\nHeZhJgzXcPszwpy38a6f+ugWPtafRGe20cnqPfClCY4cmZnKk7HsMwe9B71TC6HO\nJw5fqRiIBiEhKxbRaRIwvOUxRvwH2ftU6ylfTqqjhf4XeklK6SmjDImFlLcgf9qz\nuZIdWnaNTFgW5k7DgRyQQfdUhauvX/1DEObNJ9bkKjQDzKVEACZDejXu5PDuhZgt\n7QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-07 00:00:00.000Z","summary":"

Logician (theoretical computer science) | Developer (HPC & logic tools)
Proof theory & complexity. INTP-T. Vegan. Gen Y.

","updated":"2025-08-29 22:00:33.153Z","user":"","username":"Samiro Discher"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-21 21:32:36.476Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ramellus/followers","following":"https://mathstodon.xyz/users/ramellus/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/258/872/216/586/252/original/f71b39076263dc54.jpg","id":"ws0d1v13w47dp62","inbox":"https://mathstodon.xyz/users/ramellus/inbox","iri":"https://mathstodon.xyz/users/ramellus","isLocal":false,"last_fetched":"2025-08-29 22:00:33.319Z","outbox":"https://mathstodon.xyz/users/ramellus/outbox","preferred_username":"ramellus","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuESNqyI4PySZKUHKqkco\netq4Q/Fe6y22Z0ro2zQHkBFPfAN+dT2rIlQxw2wBLQfUeCJeMRiLwOYpLbOp/164\nxXVPZAiCo98Pdo7HLHHA1tZ8cr8sB7SeOOo26LgyqHnNQRx03kNtNYv3NlaTxNV5\nMalk/+yupbJWxRiunM8kcnrbuC4EWix3IN67C0FuShYSx528EmqeUgl4SetLEMpF\nuC3/q7eqNy2XOig8kIoYrT9mvRx4hfIY2r5OyfoERlTBSN+vuygsptuANGFO7gAs\n03gPLx8Aj9yXBprLcsd/d2JlCOM9ddhGSuda0S+GFfVq4Sn84wD/zFzWykn3vbC0\n2QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-30 00:00:00.000Z","summary":"

Mathematician & science communicator. PhD student in mathematics in Münster (model theory & valued fields). Loves baking, animation & mountains. 🇮🇹 › 🇩🇪 (he/him)

","updated":"2025-08-29 22:00:33.319Z","user":"","username":"Simone Ramello 🏳️‍🌈"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 11:23:46.045Z","domain":"mathstodon.xyz","followerCount":97,"followers":"https://mathstodon.xyz/users/vcvpaiva/followers","following":"https://mathstodon.xyz/users/vcvpaiva/following","followingCount":47,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/250/904/482/260/309/original/ec1914502c838f48.png","id":"7za74675onmy54v","inbox":"https://mathstodon.xyz/users/vcvpaiva/inbox","iri":"https://mathstodon.xyz/users/vcvpaiva","isLocal":false,"last_fetched":"2025-08-29 20:34:48.958Z","outbox":"https://mathstodon.xyz/users/vcvpaiva/outbox","preferred_username":"vcvpaiva","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu6rVW1WVcn1LGD8z1GyM\nXFhpnaAfpRv9MJKiCQp/6iyOy4/l0Hruxvn82A3QghxzsUK0V2JyawyDtcZyq3ua\ndFlhA+MulR3q8Lg7ZGLX+ttHOwbHVwsdkfsnSkbKRdc/XYlclt+R/i+FGoYfBKhS\n9jRVH/canTXM/Wvr+CRIZO4VIzH7vC5bx/R3vgO0vEO5imEnUh3xgJ34YroloviC\nKyiKrPA+L1dzQXVTVTlLQuGn0vLEWUYVLotXP25SaS19YLLXN8I7frpsdZmTXeCy\nxOi9FgmZtjT4Su93VcuMLaPfSe0XusEz9q2r4pK2iJd8QNkBLR0E93BuSP301Toa\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-05 00:00:00.000Z","summary":"

Valeria de Paiva is a mathematician and AI scientist, working on natural language processing, logical inference, and all kinds of semantics, especially Dialectica categories.

","updated":"2025-08-29 20:34:48.958Z","user":"","username":"Valeria de Paiva"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-17 15:48:02.624Z","domain":"mathstodon.xyz","followerCount":521,"followers":"https://mathstodon.xyz/users/stphrolland/followers","following":"https://mathstodon.xyz/users/stphrolland/following","followingCount":2811,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/728/342/231/503/913/original/5855485b67a8a8f0.png","id":"8xv3ru169ty682f","inbox":"https://mathstodon.xyz/users/stphrolland/inbox","iri":"https://mathstodon.xyz/users/stphrolland","isLocal":false,"last_fetched":"2025-08-29 22:00:33.525Z","outbox":"https://mathstodon.xyz/users/stphrolland/outbox","preferred_username":"stphrolland","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr6mlit4xMAJWMj3B6Bx9\nYlWEn0hUJ8jCQQ2oXbqGDwQKRtEexTrJP0tnP53lbriKfBBdrKzVjXFM8FqiiHkw\noBzA6S1VgdRGneQ99nch5hUQgJp3UoRph0dHU6Ifa/p8FJ7QWEejwtXqWGTwtU0U\nOR4oLLC331cSCKOdivtMDvHjzypn7b09rbvtwHj//kyPv7QK5r0w8cTiv+FcdZ1L\nOoDtGPyUoJG4HdWzKKiT+14PpVGYzkQzn20SQptV9srVFfhIIBVCWjUa5lVPMMHP\nnUzDDRVkzKgcZNyoouiCgd37Q1RLppsS+IlYnWrZZ7Nux1ugIE+rZDni7uRxet9N\nwQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-17 00:00:00.000Z","summary":"

More Curious Amateur than Expert

#Linux
#NixOS
#SoftwareCraft
#FunctionalProgramming

Denotational Design & Semantics
Graph Theory & Transformation & Formal Grammars
HoTT/UF/CategoryTheory Diagrams & Props Networks

Machine Learning/Statistics/Probability
Natural Language Processing
Computational Linguistics
Information Theory

Dynamical Systems Pde/Chaos
DSP Audio Math+Music/MamuX

Lots of things to learn. Endlessly learning.
Trolls say they are not trolls.
I am a night elf.

","updated":"2025-08-29 22:00:33.525Z","user":"","username":"Stephane L Rolland-Brabant ⁂⧖⏚"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-17 07:30:47.915Z","domain":"mathstodon.xyz","followerCount":5399,"followers":"https://mathstodon.xyz/users/ColinTheMathmo/followers","following":"https://mathstodon.xyz/users/ColinTheMathmo/following","followingCount":7344,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/000/013/original/d3bb832f7c670bec.png","id":"ic080688f6w58z3","inbox":"https://mathstodon.xyz/users/ColinTheMathmo/inbox","iri":"https://mathstodon.xyz/users/ColinTheMathmo","isLocal":false,"last_fetched":"2025-08-29 22:00:33.690Z","outbox":"https://mathstodon.xyz/users/ColinTheMathmo/outbox","preferred_username":"ColinTheMathmo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6OrmrQbTJl3U0FDjFjLq\nLyCZ8+V+XYSclQqm3PMrjmphEbhprMWUJlmHzpV1gGY9WS4JjS3IuM1sPopTNsCL\n9lerUbxE4NvHee/8S8zRQSVkZkEGU6ppB/i7dzScraZp7L2+R/fZGkYxjWB+zxn/\nWDW9pX/i4MofAecP3BeRRuglXW5aj04yWCZr23EiZ8uib4bGQboI0VH5dJ1eH1zR\ntdzOmS105RTGg4CiMuDht4V0gJuGiaR0d8CghGfBntfoC0sDmnCE/UdRj7aPgtqY\ng4+S9j37RYCoSzNfbsF9y5Za1Xl71TxkfmPefBFDh0peefOUTfbyHq2cWhTZ5xzQ\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-14 00:00:00.000Z","summary":"

Fulltime freelance provider of outreach and enhancement in maths ... I talk a lot. About maths.

I talk about other stuff too, like ballroom dancing, juggling, unicycling, education, engineering, software, and "other things".

But mostly about maths.

I tend to follow back, but only if you have something in your profile.

","updated":"2025-08-29 22:00:33.690Z","user":"","username":"Colin the Mathmo"}],"page":1,"perPage":10,"totalItems":6,"totalPages":1}

Derived User

Followers