{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 08:03:59.191Z","domain":"mathstodon.xyz","followerCount":527,"followers":"https://mathstodon.xyz/users/stphrolland/followers","following":"https://mathstodon.xyz/users/stphrolland/following","followingCount":2803,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/728/342/231/503/913/original/5855485b67a8a8f0.png","id":"8hy97m59t4ty3um","inbox":"https://mathstodon.xyz/users/stphrolland/inbox","iri":"https://mathstodon.xyz/users/stphrolland","isLocal":false,"last_fetched":"2025-11-27 21:16:47.165Z","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-11-27 21:16:47.166Z","user":"","username":"Stephane L Rolland-Brabant ⁂⧖⏚"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-19 22:07:18.901Z","domain":"mathstodon.xyz","followerCount":50,"followers":"https://mathstodon.xyz/users/jadkoleilat/followers","following":"https://mathstodon.xyz/users/jadkoleilat/following","followingCount":72,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/762/540/272/409/357/original/d5e1cf5f91ebe196.png","id":"wcl64cx49v9h477","inbox":"https://mathstodon.xyz/users/jadkoleilat/inbox","iri":"https://mathstodon.xyz/users/jadkoleilat","isLocal":false,"last_fetched":"2025-11-27 21:16:47.198Z","outbox":"https://mathstodon.xyz/users/jadkoleilat/outbox","preferred_username":"jadkoleilat","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyyCycS7faI8Eg4IE7Tr0\n8QnVxc1QlW5gVDZAMQVWPBYRB5YXyJ0XmnB5D43KNbC65rRC6tr16ewral7J6XnV\nmS5f+zTTWZjJcZrzBk1Va/jqZaHiY4XaWSSr0lhOcGErTflvTANl/YNH+XdKgq7z\njpFeP715CxerfvOtD6WpDD+qHCCZyLvVRzgaMiv0FnbyLH5v2kkgMJmgT9KUpGfD\nYwTGSXI53SXXUPt33XAdtdlZ5kPAbhCkIAYbAoNEliEbro32e1EyZIhm6QN2mMG5\nFabd8aHfE7O9KF62ZKcIMCRWMuihO6dFA+Em5TuJXAlPFBo/XcjGbOs4wFM2zUva\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-27 00:00:00.000Z","summary":"

PhD student at LIPN lab in logic. I’m interested in: LL, DiLL, denotational semantics, category theory, type theory, functional analysis, differential geometry, cooking, homotopy theory, board games and choice axioms.

Currently working on understanding differentiation from a logical perspective.

I post in French and English

","updated":"2025-11-27 21:16:47.199Z","user":"","username":"Jad Koleilat"}],"page":1,"perPage":10,"totalItems":2,"totalPages":1}

Sheaf

Followers