{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-22 19:22:03.302Z","domain":"lipn.info","followerCount":0,"followers":"https://lipn.info/users/mevenlennonbertrand/followers","following":"https://lipn.info/users/mevenlennonbertrand/following","followingCount":0,"icon":"https://lipn.info/system/accounts/avatars/112/315/579/950/728/222/original/8a153e0d174caac6.jpeg","id":"y5h6ci9kt4242b1","inbox":"https://lipn.info/users/mevenlennonbertrand/inbox","iri":"https://lipn.info/users/mevenlennonbertrand","isLocal":false,"last_fetched":"2025-12-22 19:22:03.302Z","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-22 19:22:03.302Z","user":"","username":"Meven Lennon-Bertrand"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-16 20:28:07.869Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/lambdabetaeta/followers","following":"https://mathstodon.xyz/users/lambdabetaeta/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/143/606/623/966/422/original/2c2cdd6ece0e3c96.jpg","id":"ju4sdrhzzd3b0ng","inbox":"https://mathstodon.xyz/users/lambdabetaeta/inbox","iri":"https://mathstodon.xyz/users/lambdabetaeta","isLocal":false,"last_fetched":"2025-12-22 19:22:03.332Z","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-22 19:22:03.332Z","user":"","username":"Alex Kavvos"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-14 14:58:31.357Z","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":"wdnn4zs6mjft9b8","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2025-12-22 19:22:03.361Z","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-22 19:22:03.361Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-12 07:46:41.270Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/alexelcu/followers","following":"https://mastodon.social/users/alexelcu/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/028/473/original/502e4ff00971266d.png","id":"2jqi8ztkykg8p8h","inbox":"https://mastodon.social/users/alexelcu/inbox","iri":"https://mastodon.social/users/alexelcu","isLocal":false,"last_fetched":"2025-12-22 17:28:48.679Z","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-22 17:28:48.679Z","user":"","username":"Alex Nedelcu"}],"page":1,"perPage":10,"totalItems":321,"totalPages":33}

Paolo G. Giarrusso

Following