{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-17 10:12:30.107Z","domain":"mathstodon.xyz","followerCount":424,"followers":"https://mathstodon.xyz/ap/users/115553341774279659/followers","following":"https://mathstodon.xyz/ap/users/115553341774279659/following","followingCount":54,"icon":"","id":"oyymuvca514s4iw","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2025-12-16 03:15:22.122Z","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":"

","updated":"2025-12-16 03:15:22.123Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-15 23:47:50.536Z","domain":"hci.social","followerCount":40,"followers":"https://hci.social/users/hgouni/followers","following":"https://hci.social/users/hgouni/following","followingCount":54,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/111/599/587/717/384/816/original/94e986144bc72c17.jpg","id":"1h19ckegegx5u6h","inbox":"https://hci.social/users/hgouni/inbox","iri":"https://hci.social/users/hgouni","isLocal":false,"last_fetched":"2025-12-16 03:15:38.751Z","outbox":"https://hci.social/users/hgouni/outbox","preferred_username":"hgouni","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtnixXYs8HsrFphiJ9CLb\nbZkUxBqRAD/5QEXgl9stDx8RnJ2tu6p+yZBLVtO9F2QTe+BbfNb+9+GhKeWyOESV\nymz0kXGAR5OO1OXXQn723QXwhP0zGo4njDGYeJHwhzLiNl/GKyDJqNyoh6ZTley6\nIoJ5hJL4MsBxvI8onUWW1vfi/yOFygixVUAzyco9eiYe7DtyMMOhUnBNdfoQZ4wm\nxo+j5lh2FQuaGb+bfVnA3ISsbA64Lbzx10Egp69wWhhA4xAHsYt4xBi11FZVTdzi\nr+7Rj9O6KEm3bphYL+2v/qEIEVRcOdZrlRF6WLu7GkLfJq+28iL5Sh6axFF7kD5M\nEwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-18 00:00:00.000Z","summary":"

Third-year PhD student in type systems + HCI @ CMU

","updated":"2025-12-16 03:15:38.752Z","user":"","username":"Hemant Gouni"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-15 10:34:37.612Z","domain":"mathstodon.xyz","followerCount":20,"followers":"https://mathstodon.xyz/users/chasenorman/followers","following":"https://mathstodon.xyz/users/chasenorman/following","followingCount":10,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/247/943/664/436/926/original/d6237516f209b772.jpeg","id":"fqcmqtrl0dqf9fd","inbox":"https://mathstodon.xyz/users/chasenorman/inbox","iri":"https://mathstodon.xyz/users/chasenorman","isLocal":false,"last_fetched":"2025-12-16 03:15:39.371Z","outbox":"https://mathstodon.xyz/users/chasenorman/outbox","preferred_username":"chasenorman","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmm2Z+h3RArCWvb17jx5L\n7s20tj/nQSJCCzYUsh1BGCzCiQpK42FdOKG6B75cN97/O3kRKCFs+H7mI2J0oe3s\nc9CXvpblDU86shy1xQ+a3HgqVuz4uNWAVzIIIeYeNCgpNEGT+uuSRlXO9KLMVDIm\nPcrgideZvhgf8Xfm/69TG1VgkpgPPI0mKfWRoYlgPbhhIaSELwlx6RhtqJjIKVrN\naYih0zkDzr2M2dQOBkNhN8Jh5rmLTsJaXhUqUGniU+/OsHvGkv9/mZ7olPIDbpsQ\ntc7q7TKYKRpl35hP+Xm+mMDy1wBx2GA9gVUF8CbZzl0g3A2NqwCRuzz6VPkhiVQ1\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-29 00:00:00.000Z","summary":"

CS PhD Student at CMU

","updated":"2025-12-16 03:15:39.371Z","user":"","username":"Chase Norman"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 00:32:20.985Z","domain":"mathstodon.xyz","followerCount":320,"followers":"https://mathstodon.xyz/users/czhang03/followers","following":"https://mathstodon.xyz/users/czhang03/following","followingCount":1134,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/351/081/350/510/459/original/e8510960ad837989.jpg","id":"11al8f5t1ncsval","inbox":"https://mathstodon.xyz/users/czhang03/inbox","iri":"https://mathstodon.xyz/users/czhang03","isLocal":false,"last_fetched":"2025-12-16 03:15:39.405Z","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":"

Assistant professor at WPI; coalgebra, Kleene algebra practitioner.

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-12-16 03:15:39.406Z","user":"","username":"Cheng Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-19 15:07:05.236Z","domain":"functional.cafe","followerCount":0,"followers":"https://functional.cafe/users/kha/followers","following":"https://functional.cafe/users/kha/following","followingCount":0,"icon":"https://files.functional.cafe/accounts/avatars/109/664/180/140/228/769/original/47bc0e69d6f0e5d6.png","id":"d911ca372p52eu7","inbox":"https://functional.cafe/users/kha/inbox","iri":"https://functional.cafe/users/kha","isLocal":false,"last_fetched":"2025-12-16 03:15:39.436Z","outbox":"https://functional.cafe/users/kha/outbox","preferred_username":"kha","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv4JUUAZ0qgKQOXkSE4O0\nsV6QBaKlww6Sy/AotxRic5ys+s5dZ+k+1HJuKMHzhJcX0MgB2d9SvvTMyZU5kHjL\n728HFmx4JK/pK15epZrh0VC9nv/qHG+j5HZeeslBn9oQ5/6/I02RbaJVes9zLZ/v\nNhziBdCTqKGxOND15sCLOj1t4t5LB1yY7iylHcnWhkEB7Hwk9cLpr5vudaxVlgY0\n6Zp6nWMPJQpltl8gWRm/smt5O1Gi6cltwqU8Mvw2CWyzc42spbHc78cQvJX6AYjJ\nX4WIVzJbuOx/MvwX1LIFzmhfi402xaCOiicR4pDcoH72s19yewgdSzk+RPSaEEaX\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-10 00:00:00.000Z","summary":"

makes Lean at Lean FRO

Munich, Germany

","updated":"2025-12-16 03:15:39.436Z","user":"","username":"Sebastian Ullrich"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-16 03:15:39.614Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mkramarz/followers","following":"https://mathstodon.xyz/users/mkramarz/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/541/037/146/056/639/original/3ed52f4527465f07.png","id":"62k8v8vu363ejd0","inbox":"https://mathstodon.xyz/users/mkramarz/inbox","iri":"https://mathstodon.xyz/users/mkramarz","isLocal":false,"last_fetched":"2025-12-16 03:15:39.613Z","outbox":"https://mathstodon.xyz/users/mkramarz/outbox","preferred_username":"mkramarz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoN0FFPt8R69dnPaCK/c/\n8fK2L7fTxxZzFtrFoRrJ6d5tHufIJXlHbmLVx3Ko8NEs4bc7ZeXlYtIEW5Jz0gSy\ngAXDxPRoHcgDNOKiHpfMVn+8RlhjmXGcuJVeZD42aaKAe9JKRRMI2G0pBBWfbfKj\n3ZeDCBDn+A5pgCVS5XQ7ifIoolNJSoEo8AGMxlQYDFw1p3GHxlv9W3gO04pMt0fE\nHzkE4RHmj0OplledUqDiWMWA5oMyOayfI358XUZ05V3aN4j6PdTAZnnu887fXDuw\nTBdbQhTmzrfY/Y/h2C/PLKy36mH6WZMPnkTLi/PTVYcHvtXAKEnIGVffFf+a+YrG\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-25 00:00:00.000Z","summary":"

MSc student @ UToronto

","updated":"2025-12-16 03:15:39.614Z","user":"","username":"Maite"}],"page":1,"perPage":10,"totalItems":46,"totalPages":5}

Thomas Porter

Following