{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-13 12:23:47.391Z","domain":"lipn.info","followerCount":235,"followers":"https://lipn.info/users/mevenlennonbertrand/followers","following":"https://lipn.info/users/mevenlennonbertrand/following","followingCount":108,"icon":"https://lipn.info/system/accounts/avatars/112/315/579/950/728/222/original/8a153e0d174caac6.jpeg","id":"5jqlyf0uxbx3l4t","inbox":"https://lipn.info/users/mevenlennonbertrand/inbox","iri":"https://lipn.info/users/mevenlennonbertrand","isLocal":false,"last_fetched":"2025-12-20 19:37:27.835Z","outbox":"https://lipn.info/users/mevenlennonbertrand/outbox","preferred_username":"mevenlennonbertrand","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlgF0/w8VsRnfACR0mhY9\nfxAQ8LpjL/r8DtwC4L8LXsPp3jj3Mphz1dU23xPxcIY/Ob0j97dDKRW7keUc6urx\nYULRfonchTRGcmC/4paJWX9/6DA4ezKgw3Q5bwJzGkCRQLpe3zUvlX8xXPJd4qyl\nOrxUMCXdYC1i+mOikY38TjSNQlzkQMOg4dIbLrtF70FHcFujS199XWsB9t79DyGo\n5Xmb+eDaBGAzxGjka4C/cPorfuEIO00C+Wmty9Y0hJZtTx17lyw+cYkfayqoZWSJ\n9ZNPMyb/nppVcCRDspk0eR0LJ1YPpq/+9tprElIhNuNDkwlwFXIHGv0/HI11T3Tu\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-22 00:00:00.000Z","summary":"

Post-doc at INRIA/IRIF/Université Paris Cité.

I mostly try to convince proof assistants that they are doing reasonable things. Sometimes this involves studying type theory. Sometimes this means understanding what our implementations do. All in all, it's not too bad.

Profile banner (from the Leonard comic by Turk & de Groot):
- I wanted to serve science because it it my joy and instead of that, what am I doing?...
- Yes, what is he doing?
- I guess he's complaining!

","updated":"2025-12-20 19:37:27.836Z","user":"","username":"Meven Lennon-Bertrand"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-15 05:49:48.782Z","domain":"mathstodon.xyz","followerCount":135,"followers":"https://mathstodon.xyz/users/lambdabetaeta/followers","following":"https://mathstodon.xyz/users/lambdabetaeta/following","followingCount":107,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/143/606/623/966/422/original/2c2cdd6ece0e3c96.jpg","id":"foh944jm1dxtxvg","inbox":"https://mathstodon.xyz/users/lambdabetaeta/inbox","iri":"https://mathstodon.xyz/users/lambdabetaeta","isLocal":false,"last_fetched":"2025-12-20 19:17:01.936Z","outbox":"https://mathstodon.xyz/users/lambdabetaeta/outbox","preferred_username":"lambdabetaeta","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx5Y33avhS99qyWVzYxGd\n9nclJp0IsLwDLiQjQLYbyluJC6NCiMnfrexOid/Tbx1A/OaLI7tlONSMZwc0Q+bH\nPh2jz4oL9c8REoZ57Gy7uvQCnY79mmA2rxsqgQ0cwZRVTlaGASjZf1hlrpRAvRpF\nWTBR8M3lWECRkJH61zRvqOVQ+FpgqN7zdaEscWA+kIeWAw6UD1gpL4rAIjXnjIQF\nZ917n5ybDPirEzWDZ0f2e5seXEzmEweSuLAdMmC7EbLHbUUS3pulaQiwVJlkZ2Nq\ngqj9INKqP1Z9qyCuty8v0HBC4TV7UDylPQyGQ2GMO6k5Y0NnNN97eQcawY8N3sy7\n1wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-28 00:00:00.000Z","summary":"

computer scientist (moonlighting as category theorist). lecturer at Bristol U

","updated":"2025-12-20 19:17:01.937Z","user":"","username":"Alex Kavvos"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-01 17:14:51.552Z","domain":"mathstodon.xyz","followerCount":425,"followers":"https://mathstodon.xyz/ap/users/115553341774279659/followers","following":"https://mathstodon.xyz/ap/users/115553341774279659/following","followingCount":54,"icon":"","id":"x53b8nbecjn8j22","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2025-12-20 19:37:27.875Z","outbox":"https://mathstodon.xyz/ap/users/115553341774279659/outbox","preferred_username":"AndrasKovacs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxKQ61hXO+7JT/kIz03Cu\ntf0HiGsvBUsGXoRLe1UrrbHvmYl1GeLe0oke5XbmzAL7KRg1SE02+ccHqBGL5zkQ\nzBriPrmyyBRlvsSMq5sV519hYd1lKhpYHexSzv3y1fyWXGMPEyA3qGb+ax8GtGCf\nWcaS8eOGv/EO5oXOC/O0mStTxBr2uYvoNPNvNG9m0tV8xEz9pLSx+q0C+/7BxmFj\nfcd/uf14ldXttVBS6hdKdqB/1OfOLLtaaTgPZjHFC35PFEis0QwW9G2VolbzuzbS\n/k0qmO3PsxN7hUmTSSIj+Hr7MBSA1pOYFjA369GBio6kQvbYRdJ0dt5vGtISxA+0\n+wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-11-15 00:00:00.000Z","summary":"

https://andraskovacs.github.io/

","updated":"2025-12-20 19:37:27.876Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 22:19:46.043Z","domain":"tilde.zone","followerCount":1270,"followers":"https://tilde.zone/users/left_adjoint/followers","following":"https://tilde.zone/users/left_adjoint/following","followingCount":1107,"icon":"https://media.tilde.zone/accounts/avatars/109/448/245/153/411/293/original/d17702a5705f6732.png","id":"rgu6202wizi24ue","inbox":"https://tilde.zone/users/left_adjoint/inbox","iri":"https://tilde.zone/users/left_adjoint","isLocal":false,"last_fetched":"2025-10-02 03:58:32.590Z","outbox":"https://tilde.zone/users/left_adjoint/outbox","preferred_username":"left_adjoint","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsCL11N4DjQFBLCWRiAV5\nk2L8H9maQ4vqD3go2e5CkouddQ3iqPfacFLYg0AUohWmDA8Al8nVl9ftzBuRfWY3\nYdKAYWzZ6NW+ZRiJvZumedPv8JRt3EldlDoebWMtN9MLH3wxxWj/ITDL82n4omDI\naMz089iKG9kJ2Bm/m3ZwfKXEN+9iugSo0qqlqsoYbVhZxiWJW1pyHbOBc3z4SvpN\nnIQ2M1zTuBfzACuwVym10pEokXAvA5ApzyjIaOlrNKYiCNeI7E3H5nygLeG8itnc\nhUaXnaNRtPFf8kKv0rpl4HEZ+QWWQmygy/vxm5qlb2leUeNuGUDlqKbk7AdS375u\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-03 00:00:00.000Z","summary":"

Educator in computational peculiarities. Phenomenologist. Algomusician. Trans-transdisciplinary. Obligate herbivore. ~ΘΔ

left_adjoint@inconsistentuniverse.space

","updated":"2025-10-02 03:58:32.591Z","user":"","username":"lynn / clarissa"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 06:53:16.864Z","domain":"tilde.zone","followerCount":0,"followers":"https://tilde.zone/users/istathar/followers","following":"https://tilde.zone/users/istathar/following","followingCount":0,"icon":"https://media.tilde.zone/accounts/avatars/109/302/223/532/923/678/original/e0a29d1d8922b7d5.jpg","id":"8065rmu1489wv10","inbox":"https://tilde.zone/users/istathar/inbox","iri":"https://tilde.zone/users/istathar","isLocal":false,"last_fetched":"2025-10-02 02:18:00.751Z","outbox":"https://tilde.zone/users/istathar/outbox","preferred_username":"istathar","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlLNDn3NKc58xAIAub0zF\nGqdiOujw76NaHrKm4S+Cxp51qZXNz1tPBWfKs5QnsMZ0cl+ysfifZwHGWsUNJ1kV\nCSi7KQpBCw/z/lU48nZa4DsnmFJZnjDfJDgwff4doU6ADb1NiUodMVlI3HStl8V9\noKMjW8lN08F8HZRQD3gXhzP2HrdAYXQtI8RNpWk2mZNYw+0iYEsbDTP6C4K9G6bQ\nfCUhYQJdzX7rOYRC6CM4uURpv+SrW+lD++vvH0p7fPAAZJsuJURA1GuyzDLTppZE\nVz5LY9Kusia02r3AZOcu+cGIXGbeS+dwZbuATEDhT9rh4977NuMLlfr6EHCtZAzN\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"

Systems Engineer focused on #Space exploration, platform #Operations, and mission critical #Procedures. Ex 🇨🇦 army, 🇺🇲 and 🇬🇧 tech, 🇦🇺 banking. #Linux, #Haskell, #Rust, and #OpenSource. Supporting the cause of peace and freedom at #NAFO.

","updated":"2025-10-02 02:18:00.752Z","user":"","username":"Andrew Cowie"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 17:28:25.019Z","domain":"mastodon.social","followerCount":1235,"followers":"https://mastodon.social/users/alexelcu/followers","following":"https://mastodon.social/users/alexelcu/following","followingCount":360,"icon":"https://files.mastodon.social/accounts/avatars/000/028/473/original/502e4ff00971266d.png","id":"12lxkutt7osyphv","inbox":"https://mastodon.social/users/alexelcu/inbox","iri":"https://mastodon.social/users/alexelcu","isLocal":false,"last_fetched":"2025-12-20 18:21:56.202Z","outbox":"https://mastodon.social/users/alexelcu/outbox","preferred_username":"alexelcu","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAn99ZFHVRyvpBGAXlwXOr\ncp/Lb6gAljbh2ChP1ROG57Jeyjsl1Yyti3D9MDMQYK403QfwAgKBsW8lOv36tx9F\nXgLsuDcW2f/0EgM0Tb+5lsShrhRQ8btPoItweeWQ9uG+Oj0VSGayD26uAOogrN+n\nsDNVqXbto1xFldtHAjOVkLtqQX8dpkPMm4pz3xT1oeVLv3K5DXMWrpzrgT4pxdKs\noUqR3Qd9cSyqJm1UQJ9Z+qiAHjGOQqsjwWWAfGeDDU8wW2z1xUj+Vm4HCGheQz+l\nilx5rKm3GFA5OP5nHGmdbJFyxDDuhShRJPT06ESXDHRQ/aNbY/Eh0lsghebRq85j\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-01 00:00:00.000Z","summary":"

Software developer, #FP, #Scala, #Kotlin, #JVM, #Haskell enthusiast; contributor to https://alexn.org, https://monix.io, https://typelevel.org.

🌍 #Bucharest, #Romania

","updated":"2025-12-20 18:21:56.203Z","user":"","username":"Alex Nedelcu"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 01:32:28.373Z","domain":"social.vivaldi.net","followerCount":602,"followers":"https://social.vivaldi.net/users/RosaCtrl/followers","following":"https://social.vivaldi.net/users/RosaCtrl/following","followingCount":218,"icon":"https://social-cdn.vivaldi.net/system/accounts/avatars/114/216/394/212/623/357/original/8f638d374a3064aa.png","id":"57067420y90199c","inbox":"https://social.vivaldi.net/users/RosaCtrl/inbox","iri":"https://social.vivaldi.net/users/RosaCtrl","isLocal":false,"last_fetched":"2025-12-20 19:37:28.916Z","outbox":"https://social.vivaldi.net/users/RosaCtrl/outbox","preferred_username":"RosaCtrl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA47Snv0PIREIqB/SCBuBS\n86lI8yE1+QWOJcQEMVH0UG5co627LijM9vg+qPIJgmIV3bOJ5dy/Z8dXeJ9jtyjM\nmRKRGNVJqA13fItM0qrNeFlnRGdo8OyvHyPrmZp0lmQZjGAWBCdm6W1EpketNUDJ\navP3jVlG2xXoqrthRLEOS9YBojQ8o814VMppp43mtE0ojzvS47q4ossOpVjp7ij+\nJsiPv0ApmKC2oFpyuC3AarY2w5t9RtnUQQHzvoUywhukEeSMVHOmsc17rOAmMlPi\nXomrorcchamVPgYyCzE8JuMgCYcX0F3PqhFvcbQQYoxNkyZIWcteit+cSt4dwmgR\nBwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-24 00:00:00.000Z","summary":"

Resented 🇨🇱 ✈️ 🇳🇴 immigrant. Also a middle aged woman literally yelling to The cloud

","updated":"2025-12-20 19:37:28.917Z","user":"","username":"Rosa Control"}],"page":1,"perPage":10,"totalItems":321,"totalPages":33}

Paolo G. Giarrusso

Following