{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-13 00:03:53.609Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/vcvpaiva/followers","following":"https://mathstodon.xyz/users/vcvpaiva/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/250/904/482/260/309/original/ec1914502c838f48.png","id":"gtnqkx6rmsentu5","inbox":"https://mathstodon.xyz/users/vcvpaiva/inbox","iri":"https://mathstodon.xyz/users/vcvpaiva","isLocal":false,"last_fetched":"2025-11-13 00:03:53.609Z","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":"2025-11-13 00:03:53.609Z","user":"","username":"Valeria de Paiva"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 13:30:01.903Z","domain":"mathstodon.xyz","followerCount":20130,"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":"vc4q04m1za5ls60","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-11-13 00:03:53.656Z","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":"2025-11-13 00:03:53.656Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-13 00:03:53.689Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/erikagain/followers","following":"https://mathstodon.xyz/users/erikagain/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/986/462/412/494/072/original/201f2e4ce186314f.jpg","id":"qf9ltmzqabemz15","inbox":"https://mathstodon.xyz/users/erikagain/inbox","iri":"https://mathstodon.xyz/users/erikagain","isLocal":false,"last_fetched":"2025-11-13 00:03:53.689Z","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":"2025-11-13 00:03:53.689Z","user":"","username":"Erik Post"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-31 03:10:36.437Z","domain":"lipn.info","followerCount":219,"followers":"https://lipn.info/users/mevenlennonbertrand/followers","following":"https://lipn.info/users/mevenlennonbertrand/following","followingCount":102,"icon":"https://lipn.info/system/accounts/avatars/112/315/579/950/728/222/original/8a153e0d174caac6.jpeg","id":"7urpjcx2uciahtz","inbox":"https://lipn.info/users/mevenlennonbertrand/inbox","iri":"https://lipn.info/users/mevenlennonbertrand","isLocal":false,"last_fetched":"2025-11-13 00:03:53.808Z","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-11-13 00:03:53.808Z","user":"","username":"Meven Lennon-Bertrand"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-28 12:04:51.916Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ltchen/followers","following":"https://mathstodon.xyz/users/ltchen/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/290/750/881/240/038/original/0e48c0d475d4adff.jpeg","id":"h0r54mrenibe6nh","inbox":"https://mathstodon.xyz/users/ltchen/inbox","iri":"https://mathstodon.xyz/users/ltchen","isLocal":false,"last_fetched":"2025-11-13 00:03:53.841Z","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":"2025-11-13 00:03:53.842Z","user":"","username":"Liang-Ting Chen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-13 00:03:54.505Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/dilsatby/followers","following":"https://mathstodon.xyz/users/dilsatby/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/389/063/089/626/323/original/f8882b0102d6dd8e.jpg","id":"30s9ge9ugtwh44z","inbox":"https://mathstodon.xyz/users/dilsatby/inbox","iri":"https://mathstodon.xyz/users/dilsatby","isLocal":false,"last_fetched":"2025-11-13 00:03:54.505Z","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":"2025-11-13 00:03:54.505Z","user":"","username":"Dilsat"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-13 00:03:54.942Z","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":"ovrrhehgu0il3fv","inbox":"https://pleroma.marussy.com/users/kristof/inbox","iri":"https://pleroma.marussy.com/users/kristof","isLocal":false,"last_fetched":"2025-11-13 00:03:54.942Z","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":"2025-11-13 00:03:54.942Z","user":"","username":"Kristóf Marussy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-27 00:24:47.079Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/de_Jong_Tom/followers","following":"https://mathstodon.xyz/users/de_Jong_Tom/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/253/658/214/755/764/original/ff03bf2676a53c78.jpg","id":"pfumgzjjy4z26yy","inbox":"https://mathstodon.xyz/users/de_Jong_Tom/inbox","iri":"https://mathstodon.xyz/users/de_Jong_Tom","isLocal":false,"last_fetched":"2025-11-13 00:03:54.977Z","outbox":"https://mathstodon.xyz/users/de_Jong_Tom/outbox","preferred_username":"de_Jong_Tom","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp+MeS+d0E5IEXlj5LKNK\ns7+zX1BAwJVT9PT2V9rN2s69iVHqkMzapIWALmhH67lKqWpj/LBX/zph5PNh5SaE\nUjkXBYD97LK6qNgoG1FxwzwdFc695YxroJJ3wsJ1wepJh4YCjdQF2tVGa8hoP89T\nLbSoByb94s560sw0f+y6HU5F7Fy9DgjxPs7FiRgd+A6TnerF57eGuAU2DJgc7Bnb\ngyVtxcZ6PTd7wEDpnJSQQ0kwcSwnzISROBEC3Blu1cxLf5j1gr1SaeLQHoPgmO+d\nHYZls3U40/4aRMBLuWNxzy3MdIb008e2FAsnxaCFrbY/FWAFXQfAQQmF2RKX+MnR\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.

","updated":"2025-11-13 00:03:54.977Z","user":"","username":"Tom de Jong"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-02 11:30:00.434Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/fnf/followers","following":"https://mathstodon.xyz/users/fnf/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/783/996/624/264/432/original/500f991a72be56be.jpg","id":"i3tvk2jrx6gbg1v","inbox":"https://mathstodon.xyz/users/fnf/inbox","iri":"https://mathstodon.xyz/users/fnf","isLocal":false,"last_fetched":"2025-11-13 00:03:55.012Z","outbox":"https://mathstodon.xyz/users/fnf/outbox","preferred_username":"fnf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1QvII2iYtrWXp1IXm4Q/\nZTGKtfqpaTXMsHVWb/Mdvz1aJZMdW671Fkhubvnb5Amiacc9U+61RpJXbKGCkbqr\njw0npAaCuyFoR2iRa26h5WDGFGV2v+4uLhvWEn+UefiQG8bySB+mt4AxhDHecBkB\nzxOnUP5EPaGnMGJB3dncoTuZvD/KofqyWkBQuLAg6WQXeiby4Rp5OpboppeUWFuo\n3CPkLi9Lyc8DEAiNDzz0WUuE0z1EehrXI3ZBw/aUlsNQM2RDCFtC4Iae+XYuYI+V\nHpvuQmbL9N1xWC6oN5nWn5rd1ijH3zVZhCj1RAZMcERKy1BQt/7T9TZisNMWiu8/\nAwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-19 00:00:00.000Z","summary":"

Senior Lecturer @mspstrath. Interested in type theory and constructive mathematics.

","updated":"2025-11-13 00:03:55.012Z","user":"","username":"Fredrik Nordvall Forsberg"}],"page":1,"perPage":10,"totalItems":702,"totalPages":71}

Zanzi @ Monoidal Cafe

Following