{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 07:25:39.964Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/byorgey/followers","following":"https://mathstodon.xyz/users/byorgey/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/003/032/original/1d4cbbda8969f7ab.jpg","id":"id0e477v13ic4gk","inbox":"https://mathstodon.xyz/users/byorgey/inbox","iri":"https://mathstodon.xyz/users/byorgey","isLocal":false,"last_fetched":"2025-08-17 07:25:39.963Z","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":"2025-08-17 07:25:39.964Z","user":"","username":"Brent Yorgey"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-12 20:53:12.210Z","domain":"mathstodon.xyz","followerCount":75,"followers":"https://mathstodon.xyz/users/samkuhn/followers","following":"https://mathstodon.xyz/users/samkuhn/following","followingCount":668,"icon":"","id":"i07wu6652jl7g2f","inbox":"https://mathstodon.xyz/users/samkuhn/inbox","iri":"https://mathstodon.xyz/users/samkuhn","isLocal":false,"last_fetched":"2025-08-17 08:37:58.433Z","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":"2025-08-17 08:37:58.434Z","user":"","username":"Sam Kuhn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 08:37:58.764Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/alyta/followers","following":"https://mathstodon.xyz/users/alyta/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/718/071/595/093/885/original/5557dc6914506b88.jpeg","id":"8fbui4y4y4dgl80","inbox":"https://mathstodon.xyz/users/alyta/inbox","iri":"https://mathstodon.xyz/users/alyta","isLocal":false,"last_fetched":"2025-08-17 08:37:58.763Z","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":"2025-08-17 08:37:58.764Z","user":"","username":"Alyssa Renata"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-16 19:57:33.402Z","domain":"mathstodon.xyz","followerCount":312,"followers":"https://mathstodon.xyz/users/czhang03/followers","following":"https://mathstodon.xyz/users/czhang03/following","followingCount":1125,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/351/081/350/510/459/original/e8510960ad837989.jpg","id":"o91t326h6zn22w7","inbox":"https://mathstodon.xyz/users/czhang03/inbox","iri":"https://mathstodon.xyz/users/czhang03","isLocal":false,"last_fetched":"2025-08-17 08:37:58.802Z","outbox":"https://mathstodon.xyz/users/czhang03/outbox","preferred_username":"czhang03","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw+7Z86RWLBlWfiCEUoJ4\nQVkAPG/9Iz9f4iuauVzWGUUumV37mB3jCQk6vLweQD8oFt7qOcHX8JY1h9EJlxrQ\neC1u9dBZeA5mwe9FLlBjjPRvviAxpuejEWm6onFU1UBDmR8OuRrPJxgtoc/l6vGh\njv8a+Hn/lV4QRcPdgG1TGDxTqrR/4+f0Y1MYpUuvOtTQ8/CgqVXiwSJeKV8VJClY\nQ2DK6QCdWu01+GZiQ51FsR5xAO22VQPSqYv6gcw11LG2Rj3DDVylqgMRzj2N6kf6\nAjT8CuV+fixSdMP53d+VZ+Hvn+gmvO2UbbOuhybEYlaDpCLr7NVohIhLcd27pS+G\n2QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-16 00:00:00.000Z","summary":"

Vibing good vibes; mathing bad math.

non-associative, non-commutative, non-symmetric, non-idempotient, and non-continuous.
Do not lift, extend, or generalize.
A fixpoint that is not least, a functor without adjoint, and a directed-incomplete partial order.

Generally co-menacing co-categorical co-object.

"I cannot Grothendick construction under these conditions."

","updated":"2025-08-17 08:37:58.802Z","user":"","username":"Cheng Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 08:37:58.836Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/pamorim/followers","following":"https://mathstodon.xyz/users/pamorim/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/059/283/868/650/409/original/6242fa04a82b8e5d.jpg","id":"27f6c5h52ui4o17","inbox":"https://mathstodon.xyz/users/pamorim/inbox","iri":"https://mathstodon.xyz/users/pamorim","isLocal":false,"last_fetched":"2025-08-17 08:37:58.836Z","outbox":"https://mathstodon.xyz/users/pamorim/outbox","preferred_username":"pamorim","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1muxgXT2cZclsGkzuia1\nfrERi9LL03awfkc6TEdpKysf+mto5WSsGSz96e2HQFKMlb0JIzwH+w/I1GyaWHE8\nxTBuWmr75TzUloaoNvU0g26CPKZTTao/4CqMcmFtEhaBbar8ig2BsNwlMHhb8OEU\nF7AcmeD3S0xs2vq6q80Qp96qlRr8uCxpxF5JF7eV5Nlv34BDYC6p3IOw5LQsQGop\ndWNO/bPlR03XcCsWI2CZxpzQwMpT2+gG877wczgZzQWlxuMh6q+s2xSR7boygHyc\nL+d1PCGHjyNxsZawrOSX+99Ggnoexza0AIf5NODaqysL1JSRYIIoTp5nZcSknIB2\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-21 00:00:00.000Z","summary":"

https://pedrohaa.github.io/

","updated":"2025-08-17 08:37:58.836Z","user":"","username":"Pedro Amorim"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 08:37:58.874Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/lighghteeloo/followers","following":"https://mathstodon.xyz/users/lighghteeloo/following","followingCount":0,"icon":"","id":"tpmu49l2261s313","inbox":"https://mathstodon.xyz/users/lighghteeloo/inbox","iri":"https://mathstodon.xyz/users/lighghteeloo","isLocal":false,"last_fetched":"2025-08-17 08:37:58.874Z","outbox":"https://mathstodon.xyz/users/lighghteeloo/outbox","preferred_username":"lighghteeloo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7BOPaQf3/Ij0hywcvXhZ\nKcpz5qIME/pvQrphOybLIxmwd1THF4emejrk2iZTvockYz3gGiWZ3WMeLcGbklXW\nFOZZI2qOSCL/MeOluOC6KrbOqJGhblQL5SLVkhI0j4oGiEPxMjgCpnCSXDA3XRho\ndBNQaJyQMjj8GPJ+9fxfgjqddVTz6ziZRshe1/fN5yPqW2z+jiTTZGF2BFy8ITCk\nEr0Ntv3Jyyyu+ds8tX962lZsgkLU05fZw+4RwZF0D8oGX6MzFp4cVcppysCUdlLu\nnNWifeWEZuJc3VRkYf+jAu3vg0FQHHElJkJVEmmSoVF4JDhwoEt4Tcb3OAkcGlmz\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-19 00:00:00.000Z","summary":"","updated":"2025-08-17 08:37:58.874Z","user":"","username":"LitiaEeloo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-14 23:14:14.573Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/stschaef/followers","following":"https://mathstodon.xyz/users/stschaef/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/959/149/866/531/093/original/ae21df2f49b02587.jpeg","id":"yz519dmc986lf57","inbox":"https://mathstodon.xyz/users/stschaef/inbox","iri":"https://mathstodon.xyz/users/stschaef","isLocal":false,"last_fetched":"2025-08-17 08:37:58.909Z","outbox":"https://mathstodon.xyz/users/stschaef/outbox","preferred_username":"stschaef","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAisWk3DlQ8a2Ekc5LNMmU\nzdlbmalE/MqclfZ6WkDbDdlLAYKLi3W8nckDZGNjcY5MUgdK314V2BdgI9X37Ci1\nGBiGdoy+p/SkhTLQw0aFNbkRR/ECcTsiByos6IPGXmjXEDTkm9d8teeHRQ0vY/6c\nObLJqHoS2NtmjNOeXlw+2L7MuMIso37zaYcLtRIvoKftjNmgkhIMBqgB0/hOa6Aj\nE/JPWJjsfOjkQPJpFuU7IPudnsIQhVlQvf4afCfQh3NNdyyILrLviijOB5K0cvy/\nf42RNw2ExdopXNshl3Zh7TwU6QTSMNlsxISqn1VOmwOJHqL84cjWS4Byuhnzcbgd\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-19 00:00:00.000Z","summary":"

PhD student at UMich

","updated":"2025-08-17 08:37:58.909Z","user":"","username":"Steven Schaefer"}],"page":1,"perPage":10,"totalItems":43,"totalPages":5}

🍋 Ende Jin✨🤩✨

Following