{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 02:35:11.089Z","domain":"mathstodon.xyz","followerCount":61,"followers":"https://mathstodon.xyz/users/anatolededecker/followers","following":"https://mathstodon.xyz/users/anatolededecker/following","followingCount":200,"icon":"","id":"439by3tg0vqnrql","inbox":"https://mathstodon.xyz/users/anatolededecker/inbox","iri":"https://mathstodon.xyz/users/anatolededecker","isLocal":false,"last_fetched":"2025-10-25 12:22:04.534Z","outbox":"https://mathstodon.xyz/users/anatolededecker/outbox","preferred_username":"anatolededecker","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuhgnWAKlslEAhQUrpWak\nSMUH2syRoo9F4/FwsQUxFbW4VIh3hjHUDT5BwoDwCPvBzbucP/T5c4xtYz7EvDZ4\nn4shMQ0UMGkIZrPwa5kkZEHDTALjRUa4KbLLcODjw7MMT+EhszHd6WgLiQVCIfc+\ntVQTgmNSi448/Ci5vh9dbLShYzWHQigvzbCXm4PX2siKJc3Cx0ElE0DSUDcmnT6S\nWUH3JjE92St29DTsqrYgrOvf1c2wXHSRDs7BJgQuSwNOtrBJ5t4VIHnQMi6s6n+W\nQVSfCrXLoYxsTjWkibWoBXnhH5nTgEuKP6PN6tfvLFKEbKr5ViApjGWgRMcHJqGT\nyQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

PhD student interested in Operator Algebras, Geometric Group Theory, Topology, and Proof Assistants. Proud contributor and maintainer of https://leanprover-community.github.io/

","updated":"2025-10-25 12:22:04.534Z","user":"","username":"Anatole Dedecker"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-20 08:29:36.837Z","domain":"mathstodon.xyz","followerCount":2395,"followers":"https://mathstodon.xyz/users/antoinechambertloir/followers","following":"https://mathstodon.xyz/users/antoinechambertloir/following","followingCount":1821,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/042/098/original/32360b78d62f6ef7.jpg","id":"56i058508nnwx73","inbox":"https://mathstodon.xyz/users/antoinechambertloir/inbox","iri":"https://mathstodon.xyz/users/antoinechambertloir","isLocal":false,"last_fetched":"2025-10-25 10:43:08.010Z","outbox":"https://mathstodon.xyz/users/antoinechambertloir/outbox","preferred_username":"antoinechambertloir","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp23Ap2z7eicg/wLWubWa\nQIdNrPL2My6NkRNMKy5/ffP9Kf3tgTN+c0/p7b9qJikZ8wkAtN2Ytc7bxkOQDIHP\n43D336sXYjPRMXx3RVKD+W56MIXNLy/7CE9OyhIWvEgXm7F+zjgy0o96U3MebIM5\nd+jVB7aACG62KlMp2ZUNvNgfgTKQwBCunzzBVM2WyrEp9aBFw+iNF+63JjLTxhom\nldYtVIHhWMytR9b89hpWHdrVQDbb4AT7BmCysYy0ingUsGd+++AIBdfIQnyK8zuf\n6ctjY1X23iolFXv6aiVxOy+GN6NdAkfPbq8aCruJYQwQqAt90eW1kdeNVFgvlQLp\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-19 00:00:00.000Z","summary":"

- Apprentice mathematician (Professor at Université Paris Cité),
interested in algebraic geometry, number theory and (more recently) proof formalization
- Apprentice musician (drums, tabla, cajon; previously Diderock; a rarely meeting jazz trio/quartet).
- Apprentice progressist.

In love with math, jazz, indian music and poetry. ⏚

","updated":"2025-10-25 10:43:08.010Z","user":"","username":"⏚ Antoine Chambert-Loir"}],"page":1,"perPage":10,"totalItems":5,"totalPages":1}

Alexandre Afgoustidis

Followers