{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 10:13:59.234Z","domain":"mathstodon.xyz","followerCount":53,"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-08-05 08:33:35.190Z","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-08-05 08:33:35.190Z","user":"","username":"Niels van der Weide"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-04 15:57:19.605Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mvr/followers","following":"https://mathstodon.xyz/users/mvr/following","followingCount":0,"icon":"","id":"z4x81kd32201e1z","inbox":"https://mathstodon.xyz/users/mvr/inbox","iri":"https://mathstodon.xyz/users/mvr","isLocal":false,"last_fetched":"2025-08-05 10:01:46.864Z","outbox":"https://mathstodon.xyz/users/mvr/outbox","preferred_username":"mvr","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2X+ERIdUcP0V8I4/8WZ6\nMtg6MS/out0f0KC4jn7+X+avTQ+RfAB4nzv//rmHQHtjrA4VTUtQ7xMXILDBYsYq\np+xLA0BundU/XXuPeuDMsOUJZH1d1geBlDhWLp3jLS/xp8seoMLUmri8bZSbcS1H\nAKid3TJc0k77ayMKhhMkJ0LCKihwIET7JCGvmwsETY3lQ4qcKun+iTLNV+q92+as\nux64vn1429KVdtecpB0XF+Gbi0q2z9iSGoGq6F/1qas2yFXab+O6e/v72Df6+P56\n4jcLWxhAnDWqeaxYYLW95nV1ET6qvJWs/N//9B7WS6PVPIVzNiF+wLeHBGI0FgFn\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-27 00:00:00.000Z","summary":"","updated":"2025-08-05 10:01:46.864Z","user":"","username":"mvr"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 18:04:58.133Z","domain":"mathstodon.xyz","followerCount":23,"followers":"https://mathstodon.xyz/users/smimram/followers","following":"https://mathstodon.xyz/users/smimram/following","followingCount":51,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/005/477/original/56ad2ca474fd94c5.jpg","id":"2xl5j33v0398j75","inbox":"https://mathstodon.xyz/users/smimram/inbox","iri":"https://mathstodon.xyz/users/smimram","isLocal":false,"last_fetched":"2025-08-05 10:01:46.891Z","outbox":"https://mathstodon.xyz/users/smimram/outbox","preferred_username":"smimram","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzuLAIrDI0BW/DlXwQQyI\nFDrJVvxxGD2gUIai6h+wUWG5B93FV4RlxW58+PBN89V8rDDLcX9CDywZKJlOGgqX\nDUNBrlqD6AEaAUn86/ThtJyZKkcyG2jTWRz7cYjeOi0mijcQ+sj++41gms1jXYW3\nCO3YerIZPljCXSYSHEUnAieTKSO/qQ4A2pfVRb+J30FoA9U3cLjo5bQH7Ukgu3O5\niagB3w03pbZeCkQ7rH0yH/9uo9LzTGCD+YKdfNqH1ywAjQ832byTHLBbAInjsrKq\ngq3nBkCmGEK4eE2oVoyBVTADBWBg1oRpR1EnhClqg31fv+2AOtEluDfo00M1hTz8\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-06-16 00:00:00.000Z","summary":"","updated":"2025-08-05 10:01:46.891Z","user":"","username":"Samuel Mimram"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 19:34:28.561Z","domain":"mathstodon.xyz","followerCount":120,"followers":"https://mathstodon.xyz/users/holl/followers","following":"https://mathstodon.xyz/users/holl/following","followingCount":568,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/098/563/947/539/608/original/95a0a9a338cb3662.jpg","id":"b1p934g89azzxkm","inbox":"https://mathstodon.xyz/users/holl/inbox","iri":"https://mathstodon.xyz/users/holl","isLocal":false,"last_fetched":"2025-08-05 10:01:46.921Z","outbox":"https://mathstodon.xyz/users/holl/outbox","preferred_username":"holl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAiAxC2Z6Jqa0mjYbuBgMK\n/pAjK3s2PRqo/srdOReBY1tU5EilqLKAzbJLNs19GLle90WewU0dZj5fgwmSbP22\n+N+Zdszz5VNZW2YwUbqmuq0EbCBw5BoeniBP4Py7n3PIXjnIrey3ZyIPVlZAXmHR\nKh14BJqb8Hdpc0DkYwHEsDmZO/PqpCQWh2gbPpc6WpUmjRvWYY/cz1oWF4hKZJkz\nunWG6STuyb7zp0NPLi3XlIvFCHJvml5zKg/MuUforndjWkQvYdaU2iBpQoyeafut\nbgYzYXznjk77jmQo/y2Epr8Y/pQN7TXBuvRvao08DRTtKYfmSyjR6ZF5+waSJc/6\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-07 00:00:00.000Z","summary":"

#quantumcomputing #quantumcryptography #emacs #orgmode

","updated":"2025-08-05 10:01:46.921Z","user":"","username":"holl"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 07:19:04.290Z","domain":"mathstodon.xyz","followerCount":143,"followers":"https://mathstodon.xyz/users/pamellies/followers","following":"https://mathstodon.xyz/users/pamellies/following","followingCount":263,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/370/566/098/707/004/original/643da199678c3b3f.jpg","id":"hq23t8l371e849g","inbox":"https://mathstodon.xyz/users/pamellies/inbox","iri":"https://mathstodon.xyz/users/pamellies","isLocal":false,"last_fetched":"2025-08-05 10:01:46.954Z","outbox":"https://mathstodon.xyz/users/pamellies/outbox","preferred_username":"pamellies","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvcZy0speejmR9rrrHFLj\nt6YRQigBiGTZImWIHOgi0ZNtgV9P50jcW2HVmcSvnof9pBWp8DWcBlt5uXcd8gpK\nmYhKYNMKGyMJWo/UfqYS6288i3TrPFILPVLS/jiv5rfN0dns8Ai8+xeWdb7htoch\nk7wVwzyXRtpfe8h8ChOisqQMDi9XTYIgE4WGg8EV1SBHZ0OSfhXa2CUMA1aACsYF\nRwltxvzNiwjgE/+TRhhBt9WxpjR/qzMmZq2X8W40PuwWKCE1YuBdPzp1bRU+8ERE\nZZ0xaAF3v8QGPEJJD3UwL8LXl2qmjv4iVVVKykrHfL76X2zNrp0Ppq5Jc2TPg3gj\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-25 00:00:00.000Z","summary":"

Logician and computer scientist at work

Mathematical logic, proof theory, game semantics, theory and practice of programming languages, computer architecture, formalized mathematics, proof assistants, mathematical physics, knot theory, quantum groups, n-dimensional algebra, operads.

#CNRS #INRIA #UPCité #ENSParis #IRIF #Picube #Malinca

","updated":"2025-08-05 10:01:46.955Z","user":"","username":"Paul-André Melliès"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 01:44:33.732Z","domain":"mathstodon.xyz","followerCount":107,"followers":"https://mathstodon.xyz/users/varkor/followers","following":"https://mathstodon.xyz/users/varkor/following","followingCount":53,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/265/350/860/474/178/original/69157115ed1aa3b0.png","id":"5t125jgu0z12ocu","inbox":"https://mathstodon.xyz/users/varkor/inbox","iri":"https://mathstodon.xyz/users/varkor","isLocal":false,"last_fetched":"2025-08-05 10:01:46.994Z","outbox":"https://mathstodon.xyz/users/varkor/outbox","preferred_username":"varkor","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzXAuhOSbs3oYwj4HAja6\nbvSpghZQihzMr6zZOFFUhfUPkPGWvPnms9NBtCbZeF6FWSp21BfdgpWHcH/YKCNu\naPXbi0o5r8jBiaxAQiiBYy2ReygyLsAxoo205gK2S+h6ceqYe0GYtckDmNMYvd7b\naiyv7Vp6QDrg41tLlOo+jrVLFad8mUa/IUapwRh9Mg8DSrSDD0E08pnNsl8HzJHR\nZlfUyAjx0E1xFBfgRvDPKt6RIfrLCVt+OxncHiRY0EQLmBBf87BOv4Z+LBJv93ru\nSCfdLEXZxNHa9AXimv05+f76EmUM2gD/c7+PFpvj73ww7fjgaw7FFLPxWRRf0RbM\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

Category theorist and type theorist. I make http://q.uiver.app. Rust compiler team alumnus.

","updated":"2025-08-05 10:01:46.994Z","user":"","username":"varkor"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 08:45:46.518Z","domain":"mathstodon.xyz","followerCount":668,"followers":"https://mathstodon.xyz/users/zanzi/followers","following":"https://mathstodon.xyz/users/zanzi/following","followingCount":191,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/849/155/887/622/527/original/780575cab98b0ce9.jpeg","id":"2p68lv8b992jdq8","inbox":"https://mathstodon.xyz/users/zanzi/inbox","iri":"https://mathstodon.xyz/users/zanzi","isLocal":false,"last_fetched":"2025-08-05 10:01:47.164Z","outbox":"https://mathstodon.xyz/users/zanzi/outbox","preferred_username":"zanzi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7n/96xPDTD378z1I2rMn\ns+5qfyLupYGDa3rJKRLThIfbMwPC8I1bqBIE+LvDGjuHvGTnpYAHjN1vX45HNh7Y\nZbyhr5mLzXPK2xtjrAdf7wlKpO7N5X1DMqUYJbWE5xhj67tXU9eZJ4XmUMmdtTBf\nN3WKkxqfOlHRrHECotJv6LUysr3fN3a8gGifzGgwr5UjKP7FBTowt+d8WHDyYsGg\nPud075Ky/ryKi5DO7mTebKpWQg1dRXNDEMs0fTKmq7E4fesbv4+Osu+ziNkbjPH7\nSJU2e4JzBLCzL4MWycXWmoEX7oeTda7HciDZ45rgU+hkUtNnSe6xFnayUPgZuAtM\n6wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Applied category theorist, working on merging category theory and functional programming.
https://zanzix.github.io/

","updated":"2025-08-05 10:01:47.165Z","user":"","username":"Zanzi @ Monoidal Cafe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 23:08:22.135Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/kagma/followers","following":"https://mathstodon.xyz/users/kagma/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/301/232/014/465/440/original/480366ba0665f8c1.jpg","id":"6wo78uwa64c6r18","inbox":"https://mathstodon.xyz/users/kagma/inbox","iri":"https://mathstodon.xyz/users/kagma","isLocal":false,"last_fetched":"2025-08-05 10:01:47.338Z","outbox":"https://mathstodon.xyz/users/kagma/outbox","preferred_username":"kagma","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwm9MOsCZZO5rbvXBaR2D\nEyu2QZOFwE+l2LwEK6HBg8ssiXopDwsq6J6dNEGIX/a2uI6ujB0sPNO8m8bKY716\nTZZUpuWvOmn27Uzr5r11xxdsbmzrXueScO+8EU28g6D/act025iXL9pnWb0nSt/T\nPLBiiF2wVwDA9IDNtkXItwJMfGOQu90nbfA2+W3rRLJbArXeYovCQqM4MEmfMYdV\nWZSDhVSaRJIvxt8WemrWQhjwcbIe8NAmAj/n5U/b6Qe5rkekqZ2RV2RdttHJWIxV\nO4QDHbgUD5oc2LJxkQuJDe/d3kO5msqRYwSAEFJc87tal4ImCBCoY1aVFDo8GVLh\nLwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-26 00:00:00.000Z","summary":"","updated":"2025-08-05 10:01:47.338Z","user":"","username":"kagma"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 20:14:09.377Z","domain":"mathstodon.xyz","followerCount":518,"followers":"https://mathstodon.xyz/users/stphrolland/followers","following":"https://mathstodon.xyz/users/stphrolland/following","followingCount":2810,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/728/342/231/503/913/original/5855485b67a8a8f0.png","id":"tnwo7dx79xm5in4","inbox":"https://mathstodon.xyz/users/stphrolland/inbox","iri":"https://mathstodon.xyz/users/stphrolland","isLocal":false,"last_fetched":"2025-08-05 10:01:47.372Z","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-05 10:01:47.372Z","user":"","username":"Stephane L Rolland-Brabant ⁂⧖⏚"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-05 01:26:13.953Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/dylan/followers","following":"https://mathstodon.xyz/users/dylan/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/200/298/733/715/735/original/b4526bf51b1f9b43.jpg","id":"1rk233j2xp2xi6i","inbox":"https://mathstodon.xyz/users/dylan/inbox","iri":"https://mathstodon.xyz/users/dylan","isLocal":false,"last_fetched":"2025-08-05 10:01:47.403Z","outbox":"https://mathstodon.xyz/users/dylan/outbox","preferred_username":"dylan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu/+mPQbRob2hvtGLxjbX\nJXVdoCv19U2ZJ7FyVaGavrT9bVPj9afuFFt90qai2wHr0ilrLwg7WslHPlCCZis2\nRtpBKYV+abBA+xp9+P7iTlGJV3Nr5uc8H9W+4SyjVcYrIfiQasN5u5nHvEQ9l4XL\nyc65uu1NmXPUavTh6XGk0ILCVkcDXKZxHYr1WuZVtoFPEmZVLpiexW6XauC93W5l\nA1X2OgbG/ufzQdHqzdi2hHW4tzRS+C29QzOoWC0chtcRTUXy4MU29LP46eLW+Uwr\nLN3zrHUeOENZ6JButfIGvdHswZfrl2G+lyWc7RishV7zqiSLjv9AFPTJvGHI32DU\newIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-26 00:00:00.000Z","summary":"

PhD student @msptrath. Thinking about probability, computation and category theory

","updated":"2025-08-05 10:01:47.403Z","user":"","username":"Dylan Braithwaite"}],"page":1,"perPage":10,"totalItems":43,"totalPages":5}

Amar Hadzihasanovic

Followers