{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-11 15:24:11.404Z","domain":"cyberplace.social","followerCount":0,"followers":"https://cyberplace.social/users/SaltyPeppermint/followers","following":"https://cyberplace.social/users/SaltyPeppermint/following","followingCount":0,"icon":"https://cyberplace.social/system/accounts/avatars/110/655/036/994/450/393/original/0f85dfbfab1938c9.jpg","id":"lm9jnj6ipha35yt","inbox":"https://cyberplace.social/users/SaltyPeppermint/inbox","iri":"https://cyberplace.social/users/SaltyPeppermint","isLocal":false,"last_fetched":"2025-11-11 15:24:11.404Z","outbox":"https://cyberplace.social/users/SaltyPeppermint/outbox","preferred_username":"SaltyPeppermint","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5nL33FbwhQ4W2hFkO0Uj\n00Nrz0C5BYv0WWKPhJXZAi4LDeM7CdsRNndKUD6hxdUnq6YzXNci2/pw//klHPot\nFNUTVOeLjiwfsY7qw/Ms9SHXBc8HtEnl5aSMxOTLsbpQFrx/pO16/s5y+cntx5l7\nERMNCH1HbAQVsofPmvnx1YpEyry8lsmRdMMg5IjlJVBH3E4Evx4xh/7p1jC4gv2Z\nSgoEgRb/b1ViedvIgWURLOV/l3yZpacoKnN4AnM53rSiy+Za7qsoadnXYOS4xrAE\nv9Uv05ElfjzyubhbBeru3KjAc5JcEBbAMt7zeWcluP8TUgoq6n9t+W6slYFUVv9z\nZwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-04 00:00:00.000Z","summary":"

ipv3.org
PhD student at TUBerlin
Opinions are those of your pet
Ask me about EGraphs, Compilers and Rust

","updated":"2025-11-11 15:24:11.404Z","user":"","username":"Nicole Heinimann"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-26 14:37:53.383Z","domain":"hci.social","followerCount":32,"followers":"https://hci.social/users/hgouni/followers","following":"https://hci.social/users/hgouni/following","followingCount":52,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/111/599/587/717/384/816/original/94e986144bc72c17.jpg","id":"dhyz72ngys4n5yx","inbox":"https://hci.social/users/hgouni/inbox","iri":"https://hci.social/users/hgouni","isLocal":false,"last_fetched":"2025-11-11 15:24:11.792Z","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-11-11 15:24:11.792Z","user":"","username":"Hemant Gouni"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-11 15:24:12.402Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/chasenorman/followers","following":"https://mathstodon.xyz/users/chasenorman/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/247/943/664/436/926/original/d6237516f209b772.jpeg","id":"xetuclqmcd364d9","inbox":"https://mathstodon.xyz/users/chasenorman/inbox","iri":"https://mathstodon.xyz/users/chasenorman","isLocal":false,"last_fetched":"2025-11-11 15:24:12.401Z","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-11-11 15:24:12.402Z","user":"","username":"Chase Norman"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 13:46:04.456Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/czhang03/followers","following":"https://mathstodon.xyz/users/czhang03/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/351/081/350/510/459/original/e8510960ad837989.jpg","id":"mwg2pwiqx0v11zn","inbox":"https://mathstodon.xyz/users/czhang03/inbox","iri":"https://mathstodon.xyz/users/czhang03","isLocal":false,"last_fetched":"2025-11-11 15:24:12.433Z","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-11-11 15:24:12.434Z","user":"","username":"Cheng Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-01 22:52:09.730Z","domain":"functional.cafe","followerCount":616,"followers":"https://functional.cafe/users/kha/followers","following":"https://functional.cafe/users/kha/following","followingCount":174,"icon":"https://files.functional.cafe/accounts/avatars/109/664/180/140/228/769/original/47bc0e69d6f0e5d6.png","id":"op0kplw96lm6xk7","inbox":"https://functional.cafe/users/kha/inbox","iri":"https://functional.cafe/users/kha","isLocal":false,"last_fetched":"2025-11-11 15:24:12.774Z","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-11-11 15:24:12.774Z","user":"","username":"Sebastian Ullrich"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-11 15:24:12.949Z","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":"z98iayquqkppliz","inbox":"https://mathstodon.xyz/users/mkramarz/inbox","iri":"https://mathstodon.xyz/users/mkramarz","isLocal":false,"last_fetched":"2025-11-11 15:24:12.949Z","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-11-11 15:24:12.949Z","user":"","username":"Maite"}],"page":1,"perPage":10,"totalItems":44,"totalPages":5}

Thomas Porter

Following