{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-26 00:15:00.317Z","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":"pwvkjfojjc5o1r0","inbox":"https://lipn.info/users/mevenlennonbertrand/inbox","iri":"https://lipn.info/users/mevenlennonbertrand","isLocal":false,"last_fetched":"2025-12-31 09:42:09.108Z","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-31 09:42:09.108Z","user":"","username":"Meven Lennon-Bertrand"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-19 12:31:13.684Z","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":"axseuutnh8h8lvv","inbox":"https://mathstodon.xyz/users/lambdabetaeta/inbox","iri":"https://mathstodon.xyz/users/lambdabetaeta","isLocal":false,"last_fetched":"2025-12-31 09:42:09.145Z","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-31 09:42:09.146Z","user":"","username":"Alex Kavvos"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-17 10:12:30.107Z","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":"oyymuvca514s4iw","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2025-12-31 09:03:21.701Z","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-31 09:03:21.701Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 13:30:37.302Z","domain":"tilde.zone","followerCount":0,"followers":"https://tilde.zone/users/left_adjoint/followers","following":"https://tilde.zone/users/left_adjoint/following","followingCount":0,"icon":"https://media.tilde.zone/accounts/avatars/109/448/245/153/411/293/original/d17702a5705f6732.png","id":"igt78u088i6wvgr","inbox":"https://tilde.zone/users/left_adjoint/inbox","iri":"https://tilde.zone/users/left_adjoint","isLocal":false,"last_fetched":"2025-10-01 18:47:32.523Z","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-01 18:47:32.524Z","user":"","username":"lynn / clarissa"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 15:16:33.718Z","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":"568161xhjhut4v7","inbox":"https://tilde.zone/users/istathar/inbox","iri":"https://tilde.zone/users/istathar","isLocal":false,"last_fetched":"2025-10-01 15:16:33.717Z","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-01 15:16:33.718Z","user":"","username":"Andrew Cowie"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 13:24:00.625Z","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":"6nnxzrhllk19301","inbox":"https://mastodon.social/users/alexelcu/inbox","iri":"https://mastodon.social/users/alexelcu","isLocal":false,"last_fetched":"2025-12-31 09:42:09.215Z","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-31 09:42:09.215Z","user":"","username":"Alex Nedelcu"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 12:43:09.321Z","domain":"masto.hackers.town","followerCount":659,"followers":"https://masto.hackers.town/users/vertigo/followers","following":"https://masto.hackers.town/users/vertigo/following","followingCount":99,"icon":"https://cdn.masto.host/mastohackerstown/accounts/avatars/114/328/934/363/269/120/original/d07b0328ee06d57e.png","id":"371p036v8ne6mwy","inbox":"https://masto.hackers.town/users/vertigo/inbox","iri":"https://masto.hackers.town/users/vertigo","isLocal":false,"last_fetched":"2025-09-22 06:17:14.801Z","outbox":"https://masto.hackers.town/users/vertigo/outbox","preferred_username":"vertigo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9BXCtKKulVttmwu+whp5\njiqkmVwqF9lGeihTshgJLiGcbtctwWYRqFsyUrVxEOHwk12X9MI5ea9EphUo4ewj\ni26Uv/tfn2iloYliCu53DFGH+BcrVB4u4wjsidc/5HCMJRj6r3DEqeGWz4g9SbN8\nbSum9h/fMMLX5pptf7d2BV3w2k2NMsUQFJe4naOSVv1nXXAbtrWWQ8tW25Adm4dd\nAQZ5Zoa27P4o8Wol/gDGvdmvARcsz9pCd2ihTcCwRdiAzJnEgfNGHy8stqeauAsQ\nc5Y47sn/RUgShrQ1Cf8JloLgYpX55I4qD9mvJVrpjkzt06Doo3xPJ16xZkAHDt5x\nZQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-13 00:00:00.000Z","summary":"

HW: #ForthBox #vdc2 #vdcII #fpga

SW: #Forth #Lisp #Python #Asm #APL #J #Rust #Sather

Creator of the VIBE screen editor (no relation to vibe coding!!), Kestrel computers, ROSE, and most recent project: VM/OS (soon: VHC). Do you use Western Digital or Sandisk drives? Do you run AmigaOS 4.x or remember AmigaDE? Congrats! You're running some of my code!

4-time Burnout Emeritus.

He/Him preferred, but I don't really care. Just don't call me late for dinner.

#nobot

","updated":"2025-09-22 06:17:14.802Z","user":"","username":"Vertigo"}],"page":1,"perPage":10,"totalItems":321,"totalPages":33}

Paolo G. Giarrusso

Following