{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-04 18:30:27.229Z","domain":"mathstodon.xyz","followerCount":6,"followers":"https://mathstodon.xyz/users/equisite_enoting/followers","following":"https://mathstodon.xyz/users/equisite_enoting/following","followingCount":91,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/050/880/180/137/957/original/24763feb3a3a7cdb.png","id":"ka0ujozz4o44mss","inbox":"https://mathstodon.xyz/users/equisite_enoting/inbox","iri":"https://mathstodon.xyz/users/equisite_enoting","isLocal":false,"last_fetched":"2026-04-19 11:09:16.383Z","outbox":"https://mathstodon.xyz/users/equisite_enoting/outbox","preferred_username":"equisite_enoting","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx2FRzn+h7+MirQuZPtH1\nwF74bUyDj/uYgICuWZKubN1EO8SvUcS3n2VlZEdJvePs0FrAdpecTu85OfAbIPC8\nxoopLemPWcm0RJ/W5EA0Pf3F69Ti3AMtcsu6aoQEXb7+QwghZUwI9NrgHDxiG24W\nC/1sH+b7Aa/mmoae6E7Yh0grq4miPacgzl6egObFdZnxxaYyfxLf5rgCJdBsrGlB\n7GPbEXmOJ7d39FWVgyzAavxYLa5gzC7qc5C5TQfVmJL/rfUf4huecssuDp9TzrYV\nl5OEzCFBPmytxNnjzFt0+QE/kBkrJLYzMBHcttsRU6XxCYbG82DJGA5jyLf8bftd\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-02-23 00:00:00.000Z","summary":"

Undergraduate student pursuing mathematics. My profile pic depicts the (3,3)-chessboard complex.

","updated":"2026-04-19 11:09:16.383Z","user":"","username":"akesi Alo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-05 02:24:52.309Z","domain":"mathstodon.xyz","followerCount":83,"followers":"https://mathstodon.xyz/users/jeanas/followers","following":"https://mathstodon.xyz/users/jeanas/following","followingCount":55,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/947/312/845/065/640/original/7f24f2fc281495e5.png","id":"m8j1d6c6zqyz1o6","inbox":"https://mathstodon.xyz/users/jeanas/inbox","iri":"https://mathstodon.xyz/users/jeanas","isLocal":false,"last_fetched":"2026-04-19 12:06:23.730Z","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-04-19 12:06:23.731Z","user":"","username":"Jean Abou Samra (new account)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 18:56:01.896Z","domain":"lipn.info","followerCount":239,"followers":"https://lipn.info/users/mevenlennonbertrand/followers","following":"https://lipn.info/users/mevenlennonbertrand/following","followingCount":109,"icon":"https://lipn.info/system/accounts/avatars/112/315/579/950/728/222/original/8a153e0d174caac6.jpeg","id":"ylw49job59mnqaf","inbox":"https://lipn.info/users/mevenlennonbertrand/inbox","iri":"https://lipn.info/users/mevenlennonbertrand","isLocal":false,"last_fetched":"2026-04-19 10:56:45.230Z","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-04-19 10:56:45.230Z","user":"","username":"Meven Lennon-Bertrand"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-29 02:46:55.026Z","domain":"mathstodon.xyz","followerCount":460,"followers":"https://mathstodon.xyz/ap/users/115553341774279659/followers","following":"https://mathstodon.xyz/ap/users/115553341774279659/following","followingCount":56,"icon":"","id":"mdnfnqh3gdye0wl","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2026-04-19 11:52:16.526Z","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-04-19 11:52:16.526Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-19 11:09:17.191Z","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":"1pe6mg6s16aws26","inbox":"https://discuss.systems/users/yizhou/inbox","iri":"https://discuss.systems/users/yizhou","isLocal":false,"last_fetched":"2026-04-19 11:09:17.190Z","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-04-19 11:09:17.191Z","user":"","username":"Yizhou Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-07 16:52:40.220Z","domain":"mathstodon.xyz","followerCount":399,"followers":"https://mathstodon.xyz/users/byorgey/followers","following":"https://mathstodon.xyz/users/byorgey/following","followingCount":144,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/003/032/original/1d4cbbda8969f7ab.jpg","id":"6hale6mgrpdvtvb","inbox":"https://mathstodon.xyz/users/byorgey/inbox","iri":"https://mathstodon.xyz/users/byorgey","isLocal":false,"last_fetched":"2026-04-19 12:08:08.161Z","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-04-19 12:08:08.161Z","user":"","username":"Brent Yorgey"}],"page":1,"perPage":10,"totalItems":48,"totalPages":5}

🍋 Ende Jin✨🤩✨

Following