{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 15:12:21.408Z","domain":"mastodon.social","followerCount":6,"followers":"https://mastodon.social/users/jinhao/followers","following":"https://mastodon.social/users/jinhao/following","followingCount":57,"icon":"https://files.mastodon.social/accounts/avatars/110/823/131/925/609/629/original/84b41e84bf8d5dbe.png","id":"d0534q1tj44ng96","inbox":"https://mastodon.social/users/jinhao/inbox","iri":"https://mastodon.social/users/jinhao","isLocal":false,"last_fetched":"2025-08-24 02:30:06.447Z","outbox":"https://mastodon.social/users/jinhao/outbox","preferred_username":"jinhao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1mquErnQx7zhIKxjP+sJ\nlEOhwDkOHy0JsWB58yl2j2daxLsDO51i2lUb0t5WvfnR3RrLhUHQVM1QRtmFPfZA\nwkQudXu2mBYMmVVazQNwqCCFGhuN5dlDFRew1CCIoIoxTk6j0z+UDGxzIJjlBxhS\nkHuPWjHZ0utcjU91TCIxUW/xn4nycjIH/CG0+IVHRTreN48s5HyvhTZE+qDDXpu/\nttbzEOxYeHPmpfPDHqJLDVUtzEx56Y6dP6RDSR0n/PSlVREOixNAIcr8U4A1Ttln\n+tgN9hQWTwE5v0uTt6Rf+eD2WmcT/JNVaTWiMFBTQEXrwhVuKVhOmNIuwNNrUkma\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-03 00:00:00.000Z","summary":"

Ph.D. student at the University of Hong Kong, interested in programming languages, type systems, theorem proving, program verification, and logics.

","updated":"2025-08-24 02:30:06.447Z","user":"","username":"Jinhao Tan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-07 02:32:32.990Z","domain":"mathstodon.xyz","followerCount":311,"followers":"https://mathstodon.xyz/users/czhang03/followers","following":"https://mathstodon.xyz/users/czhang03/following","followingCount":1124,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/351/081/350/510/459/original/e8510960ad837989.jpg","id":"5i1w7ti24qn5fun","inbox":"https://mathstodon.xyz/users/czhang03/inbox","iri":"https://mathstodon.xyz/users/czhang03","isLocal":false,"last_fetched":"2025-08-24 02:30:06.602Z","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-24 02:30:06.602Z","user":"","username":"Cheng Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-02 02:01:20.838Z","domain":"mastodon.online","followerCount":617,"followers":"https://mastodon.online/users/nomeata/followers","following":"https://mastodon.online/users/nomeata/following","followingCount":88,"icon":"https://files.mastodon.online/accounts/avatars/109/280/580/241/074/001/original/ad7d0dde3212b334.jpg","id":"ff2s6nlqjp02tr2","inbox":"https://mastodon.online/users/nomeata/inbox","iri":"https://mastodon.online/users/nomeata","isLocal":false,"last_fetched":"2025-08-24 02:30:07.143Z","outbox":"https://mastodon.online/users/nomeata/outbox","preferred_username":"nomeata","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4RDqwi1dhYGjohNSWIN9\nlt8IqKFrgmZnJvJ31zXN5BTIJNnRtbJXuOW4nXwv4/+e87RTBYXSzt8VfhVj7qgT\ndYmIy/r33E0u6QdZbT5Cp1/5gSWXVbvDCrspdH9l0NJNkbmufxXbgC/WbiQf2m2h\nexGl/A1LJCb9PmDxW6NS2SXF7PcOEWr/OM9inBRsQu261MjgnQjzb/ul0mZq0OTM\n6K6YemkJSvnYfF+ffJghzBglwUqB3TQrCXqtauZhNNKJCNQm7H8Y6ckMRNZZUwSt\nYXx4r8/a5f2NuO19Jw7GZKQim5JPFTbvoZiOFwHJaQ3R5NXOd0ROhbC6l+nXbD/E\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Has a thing for abstraction.
Haskeller, Computer Scientist.
Dances tango, swing and blues.
Stand-up comedian and Paraglider.

","updated":"2025-08-24 02:30:07.143Z","user":"","username":"Joachim Breitner"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 11:20:32.347Z","domain":"discuss.systems","followerCount":78,"followers":"https://discuss.systems/users/miado/followers","following":"https://discuss.systems/users/miado/following","followingCount":92,"icon":"https://fd.discuss.systems/accounts/avatars/113/839/588/330/781/313/original/49bb37f088b8e2a5.png","id":"fp13uld375820lj","inbox":"https://discuss.systems/users/miado/inbox","iri":"https://discuss.systems/users/miado","isLocal":false,"last_fetched":"2025-08-24 02:30:08.180Z","outbox":"https://discuss.systems/users/miado/outbox","preferred_username":"miado","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApXvTsE5DhxsfCAGfgnW1\nNRqflck9rFnfBFEQ/PZx9Eyx/uPDsRDHvQpp0yKH0b9VPnzFUhQl2V7qNjaXc/gd\nKrWVlS3JrSy64Viff9nRLFr75ZEbSb/7aFz38cI45YG6QJx8MH+RTYeXYC6CjEYY\nASz5oDsxQ32ZgNb8KyPIopbcZ5SvQbzxwZ28pbByV1xWpv3fbZ8UzFNfpekww3cb\nbFTYnT4FIkXjBx/gPq356EvEBn6ExhwBEYdjWS+lcU5B7VnRVRVFih12tr53TtuC\nuB7ON8ZV4ING+sixzcZY+uOFtMD0ObaYhhuawRHjlhAueBEsjyXKsxLFtComPtE7\ngwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-16 00:00:00.000Z","summary":"

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home
PhD Student at Princeton University
PL for Hardware
MSc CS ETHZ | BSc CS EPFL

","updated":"2025-08-24 02:30:08.180Z","user":"","username":"amelia"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-07 01:37:27.446Z","domain":"discuss.systems","followerCount":377,"followers":"https://discuss.systems/users/notypes/followers","following":"https://discuss.systems/users/notypes/following","followingCount":163,"icon":"https://fd.discuss.systems/accounts/avatars/109/642/349/484/678/324/original/ff1bc7826e140cb3.png","id":"w24kog7lax59zqw","inbox":"https://discuss.systems/users/notypes/inbox","iri":"https://discuss.systems/users/notypes","isLocal":false,"last_fetched":"2025-08-24 02:30:08.243Z","outbox":"https://discuss.systems/users/notypes/outbox","preferred_username":"notypes","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAn00K8Iy5kq+5WbSWvv2H\nJysTWM44/Mu6kYU4NWW+LMJsJvwFYPoeWtTxgP44t1TbPOaLaO5jKQIjCAKixAZA\nObpTdPYQvkTH4CL9qVeFoLASZMBAvvWwJFkV060ti2FgbUhii8fPTp2eS8lrhnGy\nO8HXUHODsTvjpWgQGWLV/CFlfPhJrT4cMSrf39djJr3eVvSrOSIX7SiL7kBr35OR\nNmXrnhMr/WBgUJr93Kn+B5k2PTs5BUzEbeos+LJGTUlwYlCbq0pAkeTF/ObRup9A\nC45oNfgIw4ebDbVsTXFRkq6WsKtdnY5+PKl6K1J9c5JBmhfxoyQBsXusfXCbo4CP\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-06 00:00:00.000Z","summary":"

PhD Student @ Cornell | Programming Languages and Computer Architecture

","updated":"2025-08-24 02:30:08.244Z","user":"","username":"Rachit"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-05 23:18:17.729Z","domain":"discuss.systems","followerCount":98,"followers":"https://discuss.systems/users/okennedy/followers","following":"https://discuss.systems/users/okennedy/following","followingCount":160,"icon":"https://fd.discuss.systems/accounts/avatars/113/750/007/904/386/528/original/4e0a4be33135020d.jpg","id":"49i4r3672l14zk6","inbox":"https://discuss.systems/users/okennedy/inbox","iri":"https://discuss.systems/users/okennedy","isLocal":false,"last_fetched":"2025-08-24 02:30:08.310Z","outbox":"https://discuss.systems/users/okennedy/outbox","preferred_username":"okennedy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAudImny4wQ66Q7RmPRhOW\n5RMqIhmkA0xmWL3FFt0TvMpMAZc2pUVDM45JtKGQA3Iql0ZxFSEg9TAaMkuJBVVp\nc8NZ/VJmpVqcyvPFlzc+U9iJ0uGZpGYjbDnLCkwMx2G5PCsYWtGRR/rUsu33c/GI\nPwIWcf95WScCN9sflKvAPyC1g+5rV+RLQmxyAJXKkyZIGhYY2lmHMN4qvUCUguRY\nOVlOLu51s7y9KWMyne++CIktBnI7pfvpu5C16gWyKp/YcY0Uzv+xMOdjwmlO/Zux\ns3Kl00/ehgeGWppAuPGsTYKMClelY7VDTSbApCrjrZCPlW8Q6tYuHrk8e6Cwhtlj\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-31 00:00:00.000Z","summary":"

Oliver is a CSE Prof teaching databases and data structures. He enjoys HEMA, cooking, photography, home automation, and coding random stuff. His big project is a notebook for collaborative, reproducible data science: https://vizierdb.info

Expect posts here to be mostly about #vizier, bad dad jokes, my #photo graphy, and/or travel logs.

If I know you, feel free to shoot me a follow request. If I don't know you, please don't be annoyed if I reject your request.

[He/Him]

","updated":"2025-08-24 02:30:08.310Z","user":"","username":"Oliver Kennedy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-19 13:30:33.587Z","domain":"hci.social","followerCount":14,"followers":"https://hci.social/users/sakekasi/followers","following":"https://hci.social/users/sakekasi/following","followingCount":14,"icon":"","id":"v015n1t42179m87","inbox":"https://hci.social/users/sakekasi/inbox","iri":"https://hci.social/users/sakekasi","isLocal":false,"last_fetched":"2025-08-24 02:30:10.144Z","outbox":"https://hci.social/users/sakekasi/outbox","preferred_username":"sakekasi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxaDs+AJWUkhwU8DBmgkl\nGgzsGdEVvmATCaB+LCV6Wg5+WQRAGEV0ryV7zWSRyC2vmUA3Ff/rRRczMeiutumn\nWD9M9xcxpCYGHv0JiOAIE22/WO1MV3/zcStYv6mEzscISG/wq395z+fw62/Btxra\nJKrpzHT0rlTSQzZvq2sQXQ7qNRdGDLR+OL5o0KrowTDCkIH8IeDJkiWMkwi5aA78\norxkM1RW4xu6WJ/hB/CkfRgDOJod25mcP4nhmuZ2f862nLzyxVVsDWgfqIncXrzZ\nCG4Ab5betWsOzLSuQg7gX7kCxmTxNH0zMeAbhBah6EA4YC4l2OK7RiCr+6JrcOgU\nEwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-01 00:00:00.000Z","summary":"

Ph.D. Student @ UCSD

","updated":"2025-08-24 02:30:10.144Z","user":"","username":"Saketh Ram Kasibatla"}],"page":1,"perPage":10,"totalItems":93,"totalPages":10}

Harry Goldstein

Following