{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-26 18:19:51.465Z","domain":"phpc.social","followerCount":729,"followers":"https://phpc.social/users/Girgias/followers","following":"https://phpc.social/users/Girgias/following","followingCount":339,"icon":"https://media.phpc.social/accounts/avatars/109/305/684/817/263/632/original/7fcf63cafee955fe.jpg","id":"w8v7eg470uj06lv","inbox":"https://phpc.social/users/Girgias/inbox","iri":"https://phpc.social/users/Girgias","isLocal":false,"last_fetched":"2026-03-05 09:40:05.227Z","outbox":"https://phpc.social/users/Girgias/outbox","preferred_username":"Girgias","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw+z+FZqWG5qQ7XqkMU2x\nY3vRz/UKds6zgWEohn+IjsDif1fVz7R9Q0Sxqy/h+mAlt4Y6T24t5ZLmS3XaGnvh\n1oxhKeXxzFm+Be0tiHjwk9GFUCLVQq0fEi+lzavJ0+Udc+bEpR1N+myvJcGqp09d\nIJT9K+Kmrypmrr4P4vjpk20yJTF71WwVzMW2lm8H+bPKuNdihpmdOe8yrkkAVBy5\ns0uK4/EIjjsSBJ8k7F95KgIcHzZ5BBNpAHOLiO/EqygmkrX9lHHVUe4awPeiHAtb\nvovCFoYg2syV9gueLStNqfmay6HZ1b3zlcU5I2xqJ4n4OC7DFEyq/bLB19v3bGS/\n4QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

PHP core developer and technical writer for the PHP documentation, funded by @thephpf
Lead maintainer, and master of typos, for the French translation of the PHP documentation.
Conference speaker who's always happy to rant on stage.
BSc in pure mathematics from Imperial College London
Photograph/Otaku in my spare time
Speaks 🇬🇧🇫🇷🇩🇪🇯🇵

","updated":"2026-03-05 09:40:05.228Z","user":"","username":"Gina Peter Banyard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-22 21:00:37.952Z","domain":"mathstodon.xyz","followerCount":443,"followers":"https://mathstodon.xyz/ap/users/115553341774279659/followers","following":"https://mathstodon.xyz/ap/users/115553341774279659/following","followingCount":56,"icon":"","id":"an8u0uuifkzw4ok","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2026-03-05 09:40:05.256Z","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":"

","updated":"2026-03-05 09:40:05.256Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-24 10:35:17.933Z","domain":"mathstodon.xyz","followerCount":108,"followers":"https://mathstodon.xyz/users/vcvpaiva/followers","following":"https://mathstodon.xyz/users/vcvpaiva/following","followingCount":48,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/250/904/482/260/309/original/ec1914502c838f48.png","id":"jbf54x7z1afnqq6","inbox":"https://mathstodon.xyz/users/vcvpaiva/inbox","iri":"https://mathstodon.xyz/users/vcvpaiva","isLocal":false,"last_fetched":"2026-03-05 09:40:05.285Z","outbox":"https://mathstodon.xyz/users/vcvpaiva/outbox","preferred_username":"vcvpaiva","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu6rVW1WVcn1LGD8z1GyM\nXFhpnaAfpRv9MJKiCQp/6iyOy4/l0Hruxvn82A3QghxzsUK0V2JyawyDtcZyq3ua\ndFlhA+MulR3q8Lg7ZGLX+ttHOwbHVwsdkfsnSkbKRdc/XYlclt+R/i+FGoYfBKhS\n9jRVH/canTXM/Wvr+CRIZO4VIzH7vC5bx/R3vgO0vEO5imEnUh3xgJ34YroloviC\nKyiKrPA+L1dzQXVTVTlLQuGn0vLEWUYVLotXP25SaS19YLLXN8I7frpsdZmTXeCy\nxOi9FgmZtjT4Su93VcuMLaPfSe0XusEz9q2r4pK2iJd8QNkBLR0E93BuSP301Toa\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-05 00:00:00.000Z","summary":"

Valeria de Paiva is a mathematician and AI scientist, working on natural language processing, logical inference, and all kinds of semantics, especially Dialectica categories.

","updated":"2026-03-05 09:40:05.285Z","user":"","username":"Valeria de Paiva"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 06:20:35.215Z","domain":"mathstodon.xyz","followerCount":21720,"followers":"https://mathstodon.xyz/users/tao/followers","following":"https://mathstodon.xyz/users/tao/following","followingCount":113,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/378/244/433/513/115/original/e7134404c3103f9a.jpg","id":"ml3xxf5ymabz0in","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2026-03-05 09:40:05.311Z","outbox":"https://mathstodon.xyz/users/tao/outbox","preferred_username":"tao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4Enfn4gs8ae2xG4OkK1P\nAzOXdgzLHvxoHLj1ZzIc+s6N+fYVAh1lO3oCyJ+v8ZOD5Di27yEpwEa3hU+j3ZEF\nIdfKwmfDwTA+tUHj2Dr5Hp8sDBI2Vsz9bKL4x6k1gPE785KIgQSCo6/Id31ZiwXC\n9ZEzKN0MRSKFGPVEuL4u0j85skMNC2DbDCXqvU2Zz88go2n204chp58pTI3xwGwX\nLtAF3grhLGdy9gdHEHpLpTHmUEzserpd4zLjqw5O6NydZTF5DFOazKn2QVx+X1Jz\njY2pvFWc4oXFLBv9IrvoYphTqxpMiOk/qnUxn2NconmcORihSGbObY033ZYy2dbK\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Professor of #Mathematics at the University of California, Los Angeles #UCLA (he/him).

","updated":"2026-03-05 09:40:05.311Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-09 16:22:36.526Z","domain":"mathstodon.xyz","followerCount":9,"followers":"https://mathstodon.xyz/users/erikagain/followers","following":"https://mathstodon.xyz/users/erikagain/following","followingCount":15,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/986/462/412/494/072/original/201f2e4ce186314f.jpg","id":"se1l1y2qdc985bf","inbox":"https://mathstodon.xyz/users/erikagain/inbox","iri":"https://mathstodon.xyz/users/erikagain","isLocal":false,"last_fetched":"2026-03-05 09:40:05.341Z","outbox":"https://mathstodon.xyz/users/erikagain/outbox","preferred_username":"erikagain","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvaFmlMkhsNlf/aepLz5p\nejTibdia3eqjvRHJUBUjZFcxcRTcvuv7+9/LHs5ZwFO019UPb7+xQ+acVO3lYFDT\nZE+P0Z2hOLTXYrdcBeEbvrHKUXJZWwpCWKi7KwPFt3EWWcFPVHK1FdbH6s2tOls1\nZSNltDauCttQMP7ZzkTofBHsSVXjOR4NMT6y3T2nFlu7Ps+6cXyiKRD0gCVZh1h5\nOL1HjV609Jg7ViD53SJ04NPYQFNpxa3iXq8MjT/2WM8Dxd8c69Uv2Tcvdp2+rjDC\n8oMnBgL4pe0jyf76aX3h9SjdWpjrL2XttRJoIVEYwbsKjF5RbukI0PxZPzZy9Z/G\nUQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-31 00:00:00.000Z","summary":"

profunctorial plumber from the Amsterdam area 🇳🇱🐄🌷

","updated":"2026-03-05 09:40:05.341Z","user":"","username":"Erik Post"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-30 10:58:04.726Z","domain":"lipn.info","followerCount":296,"followers":"https://lipn.info/users/mevenlennonbertrand/followers","following":"https://lipn.info/users/mevenlennonbertrand/following","followingCount":116,"icon":"https://lipn.info/system/accounts/avatars/112/315/579/950/728/222/original/8a153e0d174caac6.jpeg","id":"r581hv8nds14yw6","inbox":"https://lipn.info/users/mevenlennonbertrand/inbox","iri":"https://lipn.info/users/mevenlennonbertrand","isLocal":false,"last_fetched":"2026-03-05 08:46:07.582Z","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":"2026-03-05 08:46:07.583Z","user":"","username":"Meven Lennon-Bertrand"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-25 18:32:30.680Z","domain":"mathstodon.xyz","followerCount":260,"followers":"https://mathstodon.xyz/users/ltchen/followers","following":"https://mathstodon.xyz/users/ltchen/following","followingCount":214,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/290/750/881/240/038/original/0e48c0d475d4adff.jpeg","id":"275qle9ccw8oxfy","inbox":"https://mathstodon.xyz/users/ltchen/inbox","iri":"https://mathstodon.xyz/users/ltchen","isLocal":false,"last_fetched":"2026-03-05 09:40:05.371Z","outbox":"https://mathstodon.xyz/users/ltchen/outbox","preferred_username":"ltchen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9IdnG1AOuYGq3Us+LDhV\nTXJHx7y+EwOuYDbCLIKiPjACWOBS/8qBj1QgiwyEYu2wlsqS+6zhUn4Z5I6TqMdd\nU9k2OFOUIn1IKEsDAj4HCv9fH4ZF5nMEUm6whTvGFe85UIiQ28IJH/B/Dua6pCKq\nLijQsuJM49QICpN343K4iuyTmkWPOv3xPaBosof+cQpYupP5tmUTzXy9SmgriO9h\nYQGxt3RBqixjS65kMOjhfRS8fAX7wywSxngRZ1+j4ZeQeFO6/Tb3wUeh1662b/XW\nkUyrFw4cN51+FQp2owrvdkhctUK61OoQT42HFMLUPpkFhikzBtSUeQ7fk1vOiUmG\nwQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"","updated":"2026-03-05 09:40:05.371Z","user":"","username":"Liang-Ting Chen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-08 18:49:32.970Z","domain":"mathstodon.xyz","followerCount":21,"followers":"https://mathstodon.xyz/users/dilsatby/followers","following":"https://mathstodon.xyz/users/dilsatby/following","followingCount":61,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/389/063/089/626/323/original/f8882b0102d6dd8e.jpg","id":"ghyzdo7ekwqjtj7","inbox":"https://mathstodon.xyz/users/dilsatby/inbox","iri":"https://mathstodon.xyz/users/dilsatby","isLocal":false,"last_fetched":"2026-03-05 09:40:05.550Z","outbox":"https://mathstodon.xyz/users/dilsatby/outbox","preferred_username":"dilsatby","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwfHICVHHbEdRizgA3TGp\n2SgrX+Oqa6XVR4iwmX0KodreE/PS3gcFuVuBTgvo7toa6tJd2JHz0FAzbU5alvZD\nETbCmccUa2lAo8MpA6nBw/GuIHnOEKjnUWL7mI/nGGtuAtHoMwG+Bhq3G73d3rbr\nJDVchxi3j+46qI4ViWxvRQXD8sfKCKPxedCTjm8J0YnZjl5jAWqe1O2fdTi9WZxs\nBlkZnJAFq/OFEorCnhf9K1uwOyCdZUO27vwvcndc9fwUtwgHF55KUAMCOpH7Tudi\nrfPat6zGf/FZvwF9JhTXrz9MzWuif72qF2BpW6iRuPbJk8XZfsLN4qoKIjEJupMf\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-22 00:00:00.000Z","summary":"

PhD student

","updated":"2026-03-05 09:40:05.551Z","user":"","username":"Dilsat"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-09 16:22:37.408Z","domain":"pleroma.marussy.com","followerCount":0,"followers":"https://pleroma.marussy.com/users/kristof/followers","following":"https://pleroma.marussy.com/users/kristof/following","followingCount":0,"icon":"https://pleroma.marussy.com/media/eb855b206a26efd8559d562b68f86e017d5e9a4e21f478a664e8115cb96d8912.jpg","id":"86lbczjc6tcf8kt","inbox":"https://pleroma.marussy.com/users/kristof/inbox","iri":"https://pleroma.marussy.com/users/kristof","isLocal":false,"last_fetched":"2026-03-05 09:40:05.867Z","outbox":"https://pleroma.marussy.com/users/kristof/outbox","preferred_username":"kristof","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6U4Zmcf5a3OM+7TrwCsI\nxU+7wswFVvUv3h3JVF4zxdrNA68NAXy9Ev+ddnrrhei6ItXgtU8hnm8GQCSYDnaz\nyTtBDl48WiUErxyjMpi3YuG9V+c/KrJTeKvmXQQJQCHTigRNd88Ho9BtfRxgznlP\n+4qf007Do78SVAHJjrqj4RFBGY5SDb3FT2OyF3MZ/jxc+D4bYOhhFHYUkNTBYj7i\naFIKwx2p/0Ae+RDFdu+vdgX/G5FiJ8kObDH2JeenS3dueh2VIc4+TAJSj9nuZrtv\n9XKYZpayiRe7F2a13H2FQVLquDnIm8bVlqPG9IZd4xIYpdT5g/TOns7j2pfF1elN\nkQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"2020-08-03 20:58:22.000Z","summary":"I'm an assistant professor working on the extra-functional requirements and formal verification of cyber-physical system architectures.
I also like free (as in liberty) software, privacy enhancing technologies, and cryptography.

I may not be trans but transgender hating script kiddies are too incompetent to tell the difference. Donkey Kong says trans rights = human rights.","updated":"2026-03-05 09:40:05.868Z","user":"","username":"Kristóf Marussy"}],"page":1,"perPage":10,"totalItems":711,"totalPages":72}

Zanzi @ Monoidal Cafe

Following