{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-08 02:14:14.104Z","domain":"mathstodon.xyz","followerCount":56,"followers":"https://mathstodon.xyz/users/jeanas/followers","following":"https://mathstodon.xyz/users/jeanas/following","followingCount":50,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/947/312/845/065/640/original/7f24f2fc281495e5.png","id":"kftpia9wj4ut6m5","inbox":"https://mathstodon.xyz/users/jeanas/inbox","iri":"https://mathstodon.xyz/users/jeanas","isLocal":false,"last_fetched":"2026-01-09 15:44:25.445Z","outbox":"https://mathstodon.xyz/users/jeanas/outbox","preferred_username":"jeanas","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu17mXkKs9zNUFFw6KYZs\nGAU4V0MQQmLxdlmnvuPgMDgOrz9IacbI4gvSqRf/cVW5zhRum4vapPTZXD5MNRSy\n5Fq6WLDPY8pIaFQ50rsNM2fxYjQTJo0hg6iMOH0qxdhv7i1V7Pk3QcQhtCIEcRR9\nwd8ayFpxmtRthVUHmJlMdoxckih8aZLPkpx67tbOCWMI/sS35vtN/gf1c3wuNjIa\nZodpcHfRAyzRFuHwrVi8e9BrMCNx/5HuBrpCOGlDGEDBifdfo1R6Pa6zRGX/oYNr\n6gMqQaKtVKMzEQ4j3LZjR+rxBkEIOUv3OWeT2djlLuGOwgwrkSEdpaIE6NuZDhc/\n1QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-17 00:00:00.000Z","summary":"

PhD student in theoretical computer science at Eötvös Loránd University in Budapest. Mainly here to chat about TCS/math.

","updated":"2026-01-09 15:44:25.446Z","user":"","username":"Jean Abou Samra (new account)"},{"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":"2026-01-09 15:50:56.601Z","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-01-09 15:50:56.602Z","user":"","username":"Meven Lennon-Bertrand"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-17 10:12:30.107Z","domain":"mathstodon.xyz","followerCount":429,"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":"2026-01-09 15:50:56.622Z","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":"2026-01-09 15:50:56.622Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-09 15:50:56.933Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/yizhou/followers","following":"https://discuss.systems/users/yizhou/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/113/213/061/473/891/563/original/a6ecebdafb16b446.jpg","id":"7q6ym1iqteitn4w","inbox":"https://discuss.systems/users/yizhou/inbox","iri":"https://discuss.systems/users/yizhou","isLocal":false,"last_fetched":"2026-01-09 15:50:56.933Z","outbox":"https://discuss.systems/users/yizhou/outbox","preferred_username":"yizhou","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6Wlpv2Bq3CLMboY911So\n1JLsyf2yuEZGSRRO3+RV3eCI2sVY5ESnegSZ1IBvCd7e2RVvznbtjiaY3VaK4zGI\ngptZsmcfuD+3qcWQwJmm8iyyWm/L8PjO4M9UK0MlxfSmvJY30HLrrgZJKa6mU6Su\nOdeIiZKJ+iJ7V6RKXbJ1UiBgMy6peLVMER3IW5WfJn4G2p7sTgUxdsNcoTZobTpD\n98n+FAOKFXaDvPoZM3U+Kg/+ys2vPu0Es9rfC7+ztbkUtnleY+YFopXQovDY1Ca5\nQUHlKmrvAcaUnqISAgG3rHpQkb++fLCS/aFe1sY5Xrqjp1mApl+0vcBgk86SHR/t\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-28 00:00:00.000Z","summary":"

cs prof @ uwaterloo

","updated":"2026-01-09 15:50:56.933Z","user":"","username":"Yizhou Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 09:52:23.802Z","domain":"mathstodon.xyz","followerCount":370,"followers":"https://mathstodon.xyz/users/byorgey/followers","following":"https://mathstodon.xyz/users/byorgey/following","followingCount":138,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/003/032/original/1d4cbbda8969f7ab.jpg","id":"wv27g0wygbv54kl","inbox":"https://mathstodon.xyz/users/byorgey/inbox","iri":"https://mathstodon.xyz/users/byorgey","isLocal":false,"last_fetched":"2026-01-09 15:50:56.966Z","outbox":"https://mathstodon.xyz/users/byorgey/outbox","preferred_username":"byorgey","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvkDEPt7uBVW+VYSLry+p\nmm0R8pxy3lFgdk+0HAeOSH+k+QX6+heh5Wj34bOiWoJizowfcx14MFEeMM+gwR3m\nylond9XmHF/L8QemgFyRqmO8Gnw8kXEcn3Kpw7h9HlFvA3+S57UdWvHwa/2N1hBO\nfnBR8F1qHR8FU/hj9lM6R4hRE1CPtBOcAGYlBXHzJxRLQh48Grb6U8BhXldqLxsM\nDmWq4n8qZta4iwm3pOs4+cqf4PtWt6sWyOL6mE+WhuxaV5GspFjyR9OMFXoZ3Ch7\n6v6YVUmMKtu+VUkdyG/v3r/0fwjGSnQTLmefVIo4vFBMPywWclDO/+Mre0m0JAyi\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-15 00:00:00.000Z","summary":"

Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.

","updated":"2026-01-09 15:50:56.966Z","user":"","username":"Brent Yorgey"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-05 01:18:15.169Z","domain":"mathstodon.xyz","followerCount":79,"followers":"https://mathstodon.xyz/users/samkuhn/followers","following":"https://mathstodon.xyz/users/samkuhn/following","followingCount":672,"icon":"","id":"vrm3qb7xwssziet","inbox":"https://mathstodon.xyz/users/samkuhn/inbox","iri":"https://mathstodon.xyz/users/samkuhn","isLocal":false,"last_fetched":"2026-01-09 15:50:57.275Z","outbox":"https://mathstodon.xyz/users/samkuhn/outbox","preferred_username":"samkuhn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyfav9aeQYPfG5GJLwjrP\n3rFljo0RSb38FNbjC0kpt37FvAPjh8gCwMSEx4gQCxO9SEda/LOnBIxKaUuBsT1+\n9KLRJqRs/Wva5JypjpkTCNbPrkoOi3aIDlC/tcYCCDMXVpG5OVCzhn41OYmKD2uS\nt+yDL75gDUT6cwaglb/zd/gyUSEm0FnPH72XBsnr5x+DQEsGqLA7tIsQUERLbd1k\nQtdt98RGHVA0m1U6NohajLlx+n0vRp8dnr9v/1/25mLpl/4fyAPbsBPE61OX+U6S\nPDzq1fnVvuQgeLZF8P1Rt6OSNy4FYdVNL+YefFYWIR3dpEWvpKoLmHILyYqwjcZV\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"","updated":"2026-01-09 15:50:57.276Z","user":"","username":"Sam Kuhn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-21 01:54:41.404Z","domain":"mathstodon.xyz","followerCount":57,"followers":"https://mathstodon.xyz/users/alyta/followers","following":"https://mathstodon.xyz/users/alyta/following","followingCount":56,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/718/071/595/093/885/original/5557dc6914506b88.jpeg","id":"hldsm7nwo4hhz4f","inbox":"https://mathstodon.xyz/users/alyta/inbox","iri":"https://mathstodon.xyz/users/alyta","isLocal":false,"last_fetched":"2026-01-09 15:50:57.586Z","outbox":"https://mathstodon.xyz/users/alyta/outbox","preferred_username":"alyta","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1z2ZmJIwHAWyi3MQWL7+\nj8zIb335F6FBac6+n3jPLjxU5woP1JafnaWNq+KJj0j6GGzQCmS1struVkPiPx0B\nwX6Oh6XdGMbco1+mWVep+ijBrJrHphT3XJpRGaXVYjDEGBpGo/Y3Ssr9IbPxd+ae\nRbQFhjbtKaZLaAxM2jTsEyiCYYqT8iYWDj4qh2fjLWM3K1MXMduvKbPxnN2QS4rQ\njcmZiGEktScjiF9nnI3zIJy83MZQyVdmkZ27+q4GDn/A0JlWa0qVUisfA8Ub0AnA\n8+f5yfADJt9/9mq1No1mWSQAmPhe9/x+UzEGEWH+bQxSakOapckcye51gIB5yTQ4\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-15 00:00:00.000Z","summary":"

Master's student in logic at the Institute for Logic, Language & Computation in Amsterdam. She/Her.

I'm interested in the connection between computation and topology, and how logic fits into this connection. Concretely, it means I'm into stuff like domain theory and topos theory.

","updated":"2026-01-09 15:50:57.586Z","user":"","username":"Alyssa Renata"}],"page":1,"perPage":10,"totalItems":45,"totalPages":5}

🍋 Ende Jin✨🤩✨

Following