{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 18:32:54.802Z","domain":"mathstodon.xyz","followerCount":47,"followers":"https://mathstodon.xyz/users/zackbach/followers","following":"https://mathstodon.xyz/users/zackbach/following","followingCount":116,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/627/730/215/722/523/original/8ca9fa620d85bb2c.jpeg","id":"57o41ih2yhad821","inbox":"https://mathstodon.xyz/users/zackbach/inbox","iri":"https://mathstodon.xyz/users/zackbach","isLocal":false,"last_fetched":"2025-07-30 09:49:50.313Z","outbox":"https://mathstodon.xyz/users/zackbach/outbox","preferred_username":"zackbach","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA12rXw1shGM9GeiS6b+IB\nkfDZTqiibv8NfgpgorLqH07Fq2RjmpV9UIy2Zn3FBr1g3RVt+dc3WugIlkRxeDmh\noMzzLavP2P5NkIRTolrrpodGGaZyMhrh9icWB7Z/YSyc2oMtBFqiccxf6POQ7MJK\nApn7VCEK0x6KktSUgiRXiioyiGLI0RmfKdcB9zXMLr/vQ8LKnlkWdv+frS6Z+W5L\nYKqG/zP5RTZzlqa2Ei/PzkOIKb9p33pr/qx8Uh/PgsyKEzq7ibucMu6WIu9NdhRy\nIlhIpjMDEObQ1s95+Pk3mk+FYL1pqspm9jIP4Bv5ZcI411GoUf8ZHMgIi52mr5ti\nTQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-03 00:00:00.000Z","summary":"

Undergraduate programming languages researcher @ Northeastern PRL
 Logic, types, compilers, categories
 Research intern @ Apple

","updated":"2025-07-30 09:49:50.322Z","user":"","username":"Zack Eisbach"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 09:49:50.523Z","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":"9q9bop076j8891n","inbox":"https://mathstodon.xyz/users/stschaef/inbox","iri":"https://mathstodon.xyz/users/stschaef","isLocal":false,"last_fetched":"2025-07-30 09:49:50.521Z","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-07-30 09:49:50.523Z","user":"","username":"Steven Schaefer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 12:06:44.508Z","domain":"mathstodon.xyz","followerCount":311,"followers":"https://mathstodon.xyz/users/czhang03/followers","following":"https://mathstodon.xyz/users/czhang03/following","followingCount":1121,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/351/081/350/510/459/original/e8510960ad837989.jpg","id":"kpl80s3wg2sb1ee","inbox":"https://mathstodon.xyz/users/czhang03/inbox","iri":"https://mathstodon.xyz/users/czhang03","isLocal":false,"last_fetched":"2025-07-30 09:49:50.560Z","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-07-30 09:49:50.561Z","user":"","username":"Cheng Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 22:52:30.466Z","domain":"g0v.social","followerCount":222,"followers":"https://g0v.social/users/dannypsnl/followers","following":"https://g0v.social/users/dannypsnl/following","followingCount":178,"icon":"https://objects.g0v.social/accounts/avatars/000/121/131/original/7a814839e0dc9cc5.jpg","id":"2que04pds811678","inbox":"https://g0v.social/users/dannypsnl/inbox","iri":"https://g0v.social/users/dannypsnl","isLocal":false,"last_fetched":"2025-07-30 09:49:51.573Z","outbox":"https://g0v.social/users/dannypsnl/outbox","preferred_username":"dannypsnl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAl5cLFQk+8ISPxIzhIZYM\n0O9pby0n7rBunalZ5oWsbhI5UyV2bo/giMeKgV19HfJUpjmNnUygu5r010ZjH8ZZ\nY8BskTAc+UukS+Df3oFi6G8s/XrYU8JvGM5CGokFpbSwjV4ro4Kqb8v2bx09ElkI\nG6WCbRmUFCNyFmtvBdDOW/Bpj/9Jcy76MJi6cv7F4SVqdwcjisrCF3R1jEagWQD8\nq42Eu6xbxD5ez1ImyhozEQXAFHd+Bsw0wMOdWgut/o5zi+GHzh9duIQF54Ut1Ynn\nH3tiEuvs4/R7EuF44qm1TiUnDG73bvMi0PCQqEdSuJBUvU9AjCMn57dhOP8i2qbn\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-12-28 00:00:00.000Z","summary":"

Tâi-uân lâng｜autistic｜數學｜電腦｜歷史｜摺紙｜人之患

Et tiedä. Niin minäkin.

","updated":"2025-07-30 09:49:51.573Z","user":"","username":"Lîm Tsú-thuàn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 03:49:05.899Z","domain":"functional.cafe","followerCount":307,"followers":"https://functional.cafe/users/joomy/followers","following":"https://functional.cafe/users/joomy/following","followingCount":252,"icon":"https://files.functional.cafe/accounts/avatars/110/850/834/610/675/178/original/2e338b8ff1910307.jpg","id":"7sefh7anud94tw4","inbox":"https://functional.cafe/users/joomy/inbox","iri":"https://functional.cafe/users/joomy","isLocal":false,"last_fetched":"2025-07-30 09:49:51.760Z","outbox":"https://functional.cafe/users/joomy/outbox","preferred_username":"joomy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA96JoxXJm9WNPKClujKIo\nCz2vulphj815SZqtTnXMBJd6RdEEi+hDRBco2BtVzwOOpibHTgT4SqkyYVg/FBTr\nrjYCt371QEPEXfo0o25Fm7sXgyXjsQD6IRALa75XzR2IvMvxVaTD80ppVB3icGyR\nZi/SZug4H/BPkS966Ed+sHXcVEo1CMUPxJnbWT/fuhSXq+U35UsIo/s9ygRILt4q\nbXeeQ0Z2FOELVEQrQpgtAU80iG0B0axeWWyFjAfGBDckPfwTP7h5rD87U0KQFhh7\nC0+cUzSysaAyet/4OmnIAGf3rElABZQ78JRom8ggD+0lzV5l0Sw71EYMKZyuiVsw\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

researcher at Bloomberg 🅱️. somehow a computer doctor. 🐅   posts about functional programming, metaprogramming, proof assistants, and sometimes about linguistics, or Turkey.

","updated":"2025-07-30 09:49:51.760Z","user":"","username":"joomy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 00:00:14.212Z","domain":"functional.cafe","followerCount":41,"followers":"https://functional.cafe/users/meccine/followers","following":"https://functional.cafe/users/meccine/following","followingCount":76,"icon":"https://files.functional.cafe/accounts/avatars/112/294/715/239/363/597/original/62c2a1e77d6ebc3e.jpeg","id":"639z0hjr01ij8xj","inbox":"https://functional.cafe/users/meccine/inbox","iri":"https://functional.cafe/users/meccine","isLocal":false,"last_fetched":"2025-07-30 09:49:51.825Z","outbox":"https://functional.cafe/users/meccine/outbox","preferred_username":"meccine","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwYP4pjMXkIOEihrcWk8Y\n9zWFOaQN7NyWL2U2cRW5LJl5rHImtJebhqck/1APHSSot2IAN3KGEK8y+gA0M29B\n4kpSDcXxw7yG0ynF9OZPHZmsFR8jt0cAA0c+iSScj9xB0LDii/vredkD8AyRKixP\nLHsnIdkIQiB3bIl8QZVqWcINwGAW5zIixv6+QgbZfKecOO+mLaz0J8ceE2YfYrDf\nDV8r/rZNHyFVdzafhDc3mARmTlMJtTXhf6GAq1sc7ezcXx5yY2Vn3fBPVZQuVoMB\nmMcS+SzdovJwSclgmMMg78kTk99FFXZ6qIxeztNU4k/fy62l0YFskqSwXX/mzSr+\nKQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-18 00:00:00.000Z","summary":"

FP + [A]rray [P]rogramming = Style
searchable by tootfinder

","updated":"2025-07-30 09:49:51.825Z","user":"","username":"⌈☉"}],"page":1,"perPage":10,"totalItems":17,"totalPages":2}

ahuoguo

Followers