{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 03:33:20.993Z","domain":"mathstodon.xyz","followerCount":31,"followers":"https://mathstodon.xyz/users/zaxioms/followers","following":"https://mathstodon.xyz/users/zaxioms/following","followingCount":51,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/311/630/985/890/989/original/ef500e59a526e746.png","id":"ya43fl9vp45269x","inbox":"https://mathstodon.xyz/users/zaxioms/inbox","iri":"https://mathstodon.xyz/users/zaxioms","isLocal":false,"last_fetched":"2025-09-30 02:16:38.008Z","outbox":"https://mathstodon.xyz/users/zaxioms/outbox","preferred_username":"zaxioms","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxcdt+xdchZccJt0iucXL\nxjx1tu9Fzk6g7cWj1jPn1sWXsnTeWYuZSAZJljRDElzFvATXw6FhU3ipnHiitmiJ\n/sijJzoM3llHrkz7f01qb91K7bE8w6uOeUpTQRhjKj1FAfwNsnCOuQlbTOSehMPp\nnOyUbqYqlqTDndqILw/dwk0ijiBIWmA6L4Er02UynJKAkRq9tY9TflOQ4JPETRLX\ndfiSEQelMkZYrnv0dWdkYoYPWqpf4LUfL91W5i8+u951Uol9DWUC1isJsZRFB+0a\nSmYVkj3uAkDKyqXbRMNZ09gZy4cpQVFoms3ycxJxF7XOhy1rgSIlF/Tv3Bbv2uEo\n7QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-10 00:00:00.000Z","summary":"

Senior at CMU! Interested in automated reasonsing, formal methods, and type theory!

","updated":"2025-09-30 02:16:38.008Z","user":"","username":"Zach"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-07 22:21:50.002Z","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":"7dvnao61m92kf30","inbox":"https://mathstodon.xyz/users/chasenorman/inbox","iri":"https://mathstodon.xyz/users/chasenorman","isLocal":false,"last_fetched":"2025-09-30 02:16:38.135Z","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-09-30 02:16:38.136Z","user":"","username":"Chase Norman"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-11 02:42:39.134Z","domain":"social.sigsoft.org","followerCount":407,"followers":"https://social.sigsoft.org/users/JonathanAldrich/followers","following":"https://social.sigsoft.org/users/JonathanAldrich/following","followingCount":304,"icon":"https://social.sigsoft.org/system/accounts/avatars/110/202/816/290/872/693/original/bc6c4fcffcc8fda4.jpg","id":"4tt521o8nd7dz5v","inbox":"https://social.sigsoft.org/users/JonathanAldrich/inbox","iri":"https://social.sigsoft.org/users/JonathanAldrich","isLocal":false,"last_fetched":"2025-09-30 02:16:38.317Z","outbox":"https://social.sigsoft.org/users/JonathanAldrich/outbox","preferred_username":"JonathanAldrich","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyUXGpUTADFQxcwUXBo36\nOoGfaOelZ9dvZDzhr7GOgwddc8/Kgz0b5nQRwLt/TWP4qBJTADGln/zExeda0AP9\nYrn3DWtvzGr1W87gogP9umyd3ZSPXYtFjY3/eWImOasmDnC8f0w7HdnZyxXEUd1G\ngnd4hFhWxUGkpx9ftvtFz5A6CZ4dpEM8P82Y7quU8lIXFUD10genpXTu5wVY5Eou\noz+IhihAotUgaIZOejHr3eyc+SBNoRr769m1Chu5d+8PIreUnFLY84IT5at4eJ0u\nBIazgYZPsCX25Nml9nBPEcr5gpoqebEUe97/MQG3FvKsRJ/W0ollyajyo6k/fkE2\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-15 00:00:00.000Z","summary":"

Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board member. He/him. Views are mine.

","updated":"2025-09-30 02:16:38.317Z","user":"","username":"Jonathan Aldrich"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-26 12:08:01.227Z","domain":"mathstodon.xyz","followerCount":149,"followers":"https://mathstodon.xyz/users/HarrisonGrodin/followers","following":"https://mathstodon.xyz/users/HarrisonGrodin/following","followingCount":180,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/264/622/363/673/731/original/f1cb84f180df763f.jpg","id":"185gc61gi7cd5ro","inbox":"https://mathstodon.xyz/users/HarrisonGrodin/inbox","iri":"https://mathstodon.xyz/users/HarrisonGrodin","isLocal":false,"last_fetched":"2025-09-30 02:16:38.517Z","outbox":"https://mathstodon.xyz/users/HarrisonGrodin/outbox","preferred_username":"HarrisonGrodin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvblujHjZEWIgsP0RzGHP\nJf6nteF1WIhn5PpC0jIITqcN/VBbHg+3RR+7E4DZNLI/atCCjkY0STlVa7TAPCu8\nNkwcEZM0FGwrZA9dRsx9+j9NGV2mIP1LUDO3W9HxBJwu1R0jZ7vB9Js/D90w9ifz\nCi9qggN9Q4gwy+SNlmv+VP5TIaFo/S2D3h9N0ZdyShm2PCtnMNljchULpCTd2Gg8\nO87rUUN5ebiQ6oQsBOWLS8rf0/3DvjcCB7T7kXmRUNaSQQMsuDJrVB9HS4h+24+m\nuLobrc2CsAeaIbQrxnCkPanazHM0uir6/PG/KvXb2CD0MtKJqBeRm4+Vby8AMFs0\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory

","updated":"2025-09-30 02:16:38.517Z","user":"","username":"HarrisonGrodin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 05:27:39.223Z","domain":"mathstodon.xyz","followerCount":263,"followers":"https://mathstodon.xyz/users/juli/followers","following":"https://mathstodon.xyz/users/juli/following","followingCount":139,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/388/231/211/338/069/original/e316421105c55149.jpeg","id":"2q91rjxb6kno16w","inbox":"https://mathstodon.xyz/users/juli/inbox","iri":"https://mathstodon.xyz/users/juli","isLocal":false,"last_fetched":"2025-09-30 02:16:38.688Z","outbox":"https://mathstodon.xyz/users/juli/outbox","preferred_username":"juli","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu4dHTYfC6DqjFsC6z52h\nlfLlkhC7vQA6+V2TnqBwNxUqsOa5VDiTjoEfJfrXjzwCtPSaKYLpAZxPkHjlvPNL\nqrLu3y8v7admO6ohNMqvgB0LZsmEmVAHHa6+vrJq+IonceUd03i6s5MaRov7/adk\nwACx4tyOcEXslC8WD0hFprpRdE4M3NZKKcpe65A4AaHxi1vhkfTe52G457ei4wZa\nzG7DCAH4UGpDTAOtzZom1AQRk25N2hyKjmxP6pzGOmIcunDPPejB3jF0H+iu11s2\n1UGPxueazoQpxTOa9LgNaieD3Qjfo/Vrkq6Ugcy08Dv89EZiUTtsLPMMgYfatmIn\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-29 00:00:00.000Z","summary":"

","updated":"2025-09-30 02:16:38.688Z","user":"","username":"Juli O'Connor"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 02:16:38.816Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mysteryfigure/followers","following":"https://mathstodon.xyz/users/mysteryfigure/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/065/670/156/745/093/original/9ce58d556e28d36b.jpg","id":"w7kqzt948cs1j3j","inbox":"https://mathstodon.xyz/users/mysteryfigure/inbox","iri":"https://mathstodon.xyz/users/mysteryfigure","isLocal":false,"last_fetched":"2025-09-30 02:16:38.816Z","outbox":"https://mathstodon.xyz/users/mysteryfigure/outbox","preferred_username":"mysteryfigure","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAo3NIo1Gw7rsQGEEaNHym\nvZuyzwXhcwkX0G7SFaX4RNlypR63BdvFcdMc9E2pfSKTNYQSDzfpeMlwEToEp5hT\nIc9oSpeCyZGZyW0vAiJAKWTqndfe0XqCHfMAzj/eqtctl6JbKMsX139YOBO88mJO\nKnGuARW3xEX0np5+yTQMmdFEh0jIl/B5gsBDwkE2C+r2NWvBNWy39ximN+CdC5fW\nFLVKl09+lUC+D077bX7LmYrVwS77apcZCAuCMq0+rf3ap9thMgnZAuRa4pyySNF+\n8AMeoVKPakpc/PKeupbMDSnJAu6ymKK6Q/yvNI7O5l+WDqSElzxmuYXPbyMOimWM\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-02 00:00:00.000Z","summary":"

Learning computer science and economics via blockchains
Assoc. Professor at GMU
Visiting CSD@CMU fall 2024

","updated":"2025-09-30 02:16:38.816Z","user":"","username":"Jiasun Li"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 02:16:39.047Z","domain":"hci.social","followerCount":0,"followers":"https://hci.social/users/hgouni/followers","following":"https://hci.social/users/hgouni/following","followingCount":0,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/111/599/587/717/384/816/original/94e986144bc72c17.jpg","id":"cm3d2uahm6pl8a7","inbox":"https://hci.social/users/hgouni/inbox","iri":"https://hci.social/users/hgouni","isLocal":false,"last_fetched":"2025-09-30 02:16:39.047Z","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-09-30 02:16:39.047Z","user":"","username":"Hemant Gouni"}],"page":1,"perPage":10,"totalItems":10,"totalPages":1}

Runming

Followers