{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 01:37:38.188Z","domain":"mathstodon.xyz","followerCount":73,"followers":"https://mathstodon.xyz/users/pamorim/followers","following":"https://mathstodon.xyz/users/pamorim/following","followingCount":63,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/059/283/868/650/409/original/6242fa04a82b8e5d.jpg","id":"oa56a5x785yhcfq","inbox":"https://mathstodon.xyz/users/pamorim/inbox","iri":"https://mathstodon.xyz/users/pamorim","isLocal":false,"last_fetched":"2025-08-01 13:30:27.396Z","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":"

","updated":"2025-08-01 13:30:27.396Z","user":"","username":"Pedro Amorim"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 02:37:01.528Z","domain":"mastodon.social","followerCount":153,"followers":"https://mastodon.social/users/xanovsky/followers","following":"https://mastodon.social/users/xanovsky/following","followingCount":150,"icon":"https://files.mastodon.social/accounts/avatars/111/826/015/176/784/399/original/06e3527e2d4e2811.jpeg","id":"3uh4h70929eb354","inbox":"https://mastodon.social/users/xanovsky/inbox","iri":"https://mastodon.social/users/xanovsky","isLocal":false,"last_fetched":"2025-08-01 13:30:27.524Z","outbox":"https://mastodon.social/users/xanovsky/outbox","preferred_username":"xanovsky","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwWvDBLPpeG+i/YJ7Q3QJ\nZjAbVprpsiTX+K+DYK4amI1aZJUnt2BM+vX83N6gz2VQORX/l6F+I0ecGNk6miBn\nTJGTxf+4vGvVntME3J5ANGpd5X729/j/YJuhe7S7cIIC9oMcSQ+ppvYkDS+keHhK\nhzu/Oxc0ECpmt6oER29BcqPui+mBBSfyK8owCAOQbxYxlMhjVlhKwdeBqVRlcTxO\nDyAE7R0pK1NIuKIM+U1u0Qed7PTTM8Vs91MJ7nC/euoICsUtP0FS/kPVbY13ncI0\nUlLOlw66uoNjV6U3/Aeva8yFNgPFzwui8gfA6wbatMdXH+F8TYAueA5ntCZzyBCO\n8wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-27 00:00:00.000Z","summary":"

Mom, foodie, traveller, computer scientist

","updated":"2025-08-01 13:30:27.524Z","user":"","username":"Alexandra Silva"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 05:46:03.270Z","domain":"mathstodon.xyz","followerCount":72,"followers":"https://mathstodon.xyz/users/doenges/followers","following":"https://mathstodon.xyz/users/doenges/following","followingCount":77,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/296/220/355/449/997/original/c281179db7e5367b.jpg","id":"tzh95w632oes4kh","inbox":"https://mathstodon.xyz/users/doenges/inbox","iri":"https://mathstodon.xyz/users/doenges","isLocal":false,"last_fetched":"2025-08-01 13:30:27.556Z","outbox":"https://mathstodon.xyz/users/doenges/outbox","preferred_username":"doenges","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsTdlZ7rbP0GVmB+K/QVZ\neOK0Ho0dhY8dE9ydbkzxi2nUj5CWWpWBONdcD4mXry9xmoJy9vtvzIqV9EIx5HJO\nyp2GFHXFCz12vOiV8eRkGSY7hZ1lMrtUK6FopBVVAEGtcoaNFJ8aF43i4gvbNh3M\nb0FKYzZN7oxfqiY645BygsS7Z/JFP2ZnrGTrzwifhFiGwxbQU2eG1rs18K7cguqB\nvWhgVeOmxvYLX9N9sdOuQnWsfUPQbbv/WRNMBIhJiVC5gXS+XdPW/QfusM5i/vCm\nA6xWOkrbLzNoKZWAGgV1DThhHMFDLC1rnaNSinuBEzxl/lA9ZfI20y+2uxp9JQNO\nrwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-12 00:00:00.000Z","summary":"

I am thinking about separation logic. Certified Melville head

","updated":"2025-08-01 13:30:27.556Z","user":"","username":"Ryan Doenges"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-24 16:26:28.572Z","domain":"mathstodon.xyz","followerCount":232,"followers":"https://mathstodon.xyz/users/zyang/followers","following":"https://mathstodon.xyz/users/zyang/following","followingCount":153,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/688/874/651/362/692/original/9da844b96630508b.jpeg","id":"bdgcb9850fm1mgb","inbox":"https://mathstodon.xyz/users/zyang/inbox","iri":"https://mathstodon.xyz/users/zyang","isLocal":false,"last_fetched":"2025-08-01 13:30:27.587Z","outbox":"https://mathstodon.xyz/users/zyang/outbox","preferred_username":"zyang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0kW4yO9lrk7bOzIjXf1c\nYAioFNv4UbQHLVcHLvyWf3wUajWdrBPOvK2yUu32mmPTOIXJGFbgNKwmIrGBUwd1\n6UoPy8FSO+KLUG/5nQZHdpm6T6vCRlvSo5EXXEE2iyAwEApTiFBc9Z/1UN2w0/GQ\n+ZSy9oNRvfKo6Ux8QqO3TuvOqMzOc/iZj1S6jSFSPREfnHttIFo2ckFDfab2voGn\n5A8uxqVgl6/eCIkrSoXjm7vsLtJamvoipNyE4P26HvOqHQBuRdnUq02Yb7j+RFcv\n2g4Q2tL7kF2Xij26sVSZjc7dUCVrYqiqh85ZQDBYGatckCp4va+92/KC7ek1Hv5b\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-14 00:00:00.000Z","summary":"

Postdoc interested in algebraic and logical methods in computer science at Imperial College London.

","updated":"2025-08-01 13:30:27.587Z","user":"","username":"Zhixuan Yang"},{"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-08-01 12:22:01.704Z","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-01 12:22:01.705Z","user":"","username":"Cheng Zhang"}],"page":1,"perPage":10,"totalItems":7,"totalPages":1}

baojialu

Followers