{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-12 09:33:35.516Z","domain":"mathstodon.xyz","followerCount":6,"followers":"https://mathstodon.xyz/ap/users/115670091130085270/followers","following":"https://mathstodon.xyz/ap/users/115670091130085270/following","followingCount":10,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/670/091/130/085/270/original/f07e1dc73a1f1f7a.jpeg","id":"w3878p3gl7e04qn","inbox":"https://mathstodon.xyz/ap/users/115670091130085270/inbox","iri":"https://mathstodon.xyz/ap/users/115670091130085270","isLocal":false,"last_fetched":"2025-12-13 00:30:00.632Z","outbox":"https://mathstodon.xyz/ap/users/115670091130085270/outbox","preferred_username":"u8cat","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArl/L1wNz0V3zHee6G4o8\n+e/HPzBOrmwOJmb44PeuajgXTDdcY6LrCY93gTZh+HJoXRuZj0LhfpAqqg6OZvYj\n7LcF5/jo640QaViI1LSesYuPfNgPc9zimheeSWLfTf+fig+JOSozRMniumofAbZn\ndBcZCvXaq3jkTGlJUKj1T/7akjCA7Vt5rXTPlHTvLffXoWCSPSYzYYJVOL3DtPFC\nofCQizxLwcVU1CN1ATTMfNuYoYNuNUxOwFzzlyqg4sCKnOJICNF6LPr7kdq0wkeE\nYpwf0D69AzrpDPOYi+SUQymEYCme5FQbHBOuRjeN3zhhEZk8IjZ+eOqsHOp4IX58\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-12-06 00:00:00.000Z","summary":"

A CS PhD student working on formal methods

","updated":"2025-12-13 00:30:00.632Z","user":"","username":"Zichen Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-12 23:34:18.620Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/svishnus/followers","following":"https://mastodon.social/users/svishnus/following","followingCount":0,"icon":"","id":"ch16bdn7r4z3529","inbox":"https://mastodon.social/users/svishnus/inbox","iri":"https://mastodon.social/users/svishnus","isLocal":false,"last_fetched":"2025-12-12 23:34:18.619Z","outbox":"https://mastodon.social/users/svishnus/outbox","preferred_username":"svishnus","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApepnTTEbeyYotNzJ5Zwg\n4m6fNROjXw1+JaBR6riYXd8BDY/AFj6bc/GuyUfHaTRNpesfqvFxbQ5p61DyC+wD\nb7YF0eMGF+qwXDw3L5K8LROXqqvoPkhAnsKE7LyEVLMqHYoSxjek/6gBz87GHY63\nBqKz/T3mFPdnVFXEM8H5DSj/OuMkwNb8ccaY1lsWVt1dU+Vrjc8IaHH1GUnA5Eig\ndxgRFgq4XrEznWNcfR4VWnfb/P6FiFf1oD/kIlMhYDNVmR5CCkNpR/Q/RDbK6Pi3\ncIsyGVkrJMy3oqwr5gfWdycozt2lDLtqFmlEyYcG1a8r3Jk1+GRg84ur0vSJCJmR\nowIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-23 00:00:00.000Z","summary":"

PL, Systems, & Math @UMich

","updated":"2025-12-12 23:34:18.620Z","user":"","username":"(Sundara (Vishnu)) (Satish)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-13 00:30:01.119Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/sgregersen/followers","following":"https://mathstodon.xyz/users/sgregersen/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/018/864/812/000/522/original/5d7df735be61ecbb.png","id":"19v5r0mf6nqvtgb","inbox":"https://mathstodon.xyz/users/sgregersen/inbox","iri":"https://mathstodon.xyz/users/sgregersen","isLocal":false,"last_fetched":"2025-12-13 00:30:01.117Z","outbox":"https://mathstodon.xyz/users/sgregersen/outbox","preferred_username":"sgregersen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAobQ5ErKaaX1SwbLxyPGh\nxuCcP7vFSF/EVAvZoOg4mh+BRGJmzuNm/Kn1LEH5UzFH7TQDjtNGUnD2tTsXjZUI\nTT75OCoWTklCexXvN3vkpzwg14EFlco2dGeYdZFyf5UDcVYwq0TxmeE4yx5ajB7Z\nDcyT0y6u3tijWMWBzlnAw81NIghyFm1h52wkcc7XNoh6/VlcTWQ63GU9TJVJqXNq\nV3lNWAz+uE/W5ZaP3uxF1bYKJzseTYl6e9kvNGl1NXAoSU2+mCdxl+E9q/WN4mkJ\nVWGvAu+4F2+qTV/LkdffzPb5osCkSmbh415KBQkHP+KKk/+Wzl6FhiPZYZjiCXXL\nvQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-13 00:00:00.000Z","summary":"

Postdoc @ NYU

","updated":"2025-12-13 00:30:01.119Z","user":"","username":"Simon Oddershede Gregersen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-13 00:30:01.767Z","domain":"hci.social","followerCount":0,"followers":"https://hci.social/users/infinimatt/followers","following":"https://hci.social/users/infinimatt/following","followingCount":0,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/300/228/694/892/432/original/15c1192521fbfdfa.png","id":"867ttsq1k61h0o4","inbox":"https://hci.social/users/infinimatt/inbox","iri":"https://hci.social/users/infinimatt","isLocal":false,"last_fetched":"2025-12-13 00:30:01.766Z","outbox":"https://hci.social/users/infinimatt/outbox","preferred_username":"infinimatt","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA8WsOYz6TNXjGPtNsZ4lq\n0wZk43tCntojDiu5Q7sne0YHz2H78O0OZ696l87KPOyDKSJ2U++P3P70nTzKVNzV\noqVPA4wxxKVm9sSIpNr33uuuuCNgwZGcHH1jpipPBYnuRPR6AE9PMmtqPQOC4qHf\nsNHFetphtaV8TKWeJCJ4ttrtxxbVXZs8vUFyJUrikuhbsBb4oUdCxCX742vMuTUc\nCyWXJWVGpgCt57NEtGZDgDHQ2BMHbhc2WPa9mXMFHSJm817l4R+Az41fbvccw/We\nYH0sKQU5Ay88TRJcKu0zSFuNPQuGBd0WLZG8iNxr2OB5mtywzKegYzsFpj2K1lfb\n3QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"

PhD candidate at Carnegie Mellon University School of Computer Science (S3D, HCII, RI, CyLab).  My research helps software engineers write tests that find more bugs faster.   Not a movie star. I like tacos.  #nobot

","updated":"2025-12-13 00:30:01.767Z","user":"","username":"Matt"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-13 00:30:02.000Z","domain":"functional.cafe","followerCount":0,"followers":"https://functional.cafe/users/joomy/followers","following":"https://functional.cafe/users/joomy/following","followingCount":0,"icon":"https://files.functional.cafe/accounts/avatars/110/850/834/610/675/178/original/2e338b8ff1910307.jpg","id":"5ewmejtq81w5f1r","inbox":"https://functional.cafe/users/joomy/inbox","iri":"https://functional.cafe/users/joomy","isLocal":false,"last_fetched":"2025-12-13 00:30:01.999Z","outbox":"https://functional.cafe/users/joomy/outbox","preferred_username":"joomy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA96JoxXJm9WNPKClujKIo\nCz2vulphj815SZqtTnXMBJd6RdEEi+hDRBco2BtVzwOOpibHTgT4SqkyYVg/FBTr\nrjYCt371QEPEXfo0o25Fm7sXgyXjsQD6IRALa75XzR2IvMvxVaTD80ppVB3icGyR\nZi/SZug4H/BPkS966Ed+sHXcVEo1CMUPxJnbWT/fuhSXq+U35UsIo/s9ygRILt4q\nbXeeQ0Z2FOELVEQrQpgtAU80iG0B0axeWWyFjAfGBDckPfwTP7h5rD87U0KQFhh7\nC0+cUzSysaAyet/4OmnIAGf3rElABZQ78JRom8ggD+0lzV5l0Sw71EYMKZyuiVsw\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

researcher at Bloomberg 🅱️. somehow a computer doctor. 🐅   posts about functional programming, metaprogramming, proof assistants, and sometimes about linguistics, or Turkey.

","updated":"2025-12-13 00:30:02.000Z","user":"","username":"joomy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-09 11:39:19.845Z","domain":"mathstodon.xyz","followerCount":266,"followers":"https://mathstodon.xyz/users/markusde/followers","following":"https://mathstodon.xyz/users/markusde/following","followingCount":94,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/348/375/625/542/944/original/e0235aa94d9ed680.jpg","id":"3gd2n26oa9r2l04","inbox":"https://mathstodon.xyz/users/markusde/inbox","iri":"https://mathstodon.xyz/users/markusde","isLocal":false,"last_fetched":"2025-12-12 23:34:16.576Z","outbox":"https://mathstodon.xyz/users/markusde/outbox","preferred_username":"markusde","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtJdfdMDAJSrulV3EPolX\nGdJVrtUgWNpIWQf+ITO633we+LN+i69o6PaJJ4KLYRRGybAO11ss80JJMlgU8bjH\nonuY1jWxuuHH92eoOXPbBmMHO+q2Zp/ev2LJd0HNOODKh50bi783n5L7SeEVDolz\nZ2HL7TogjDHNnMGMyoJEsjtV+UQ1YA43yvzZh8/GJ7e1n9FOknxHNEsVsNSpcVTj\nvk598a5/DDJdtVLbOwpK20vZTvyfS79LXO8pt+aJNUtV8lCRwgKVhp7goePqaEd8\nCnOQF/Bnqh8Gl6V9NnCsmi5wvWPHnByIk+upTG39jRSY2uAvU5oZ2Rgqg6g+/LHy\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

I'm addicted to posting and being annoying

"Eat Sleep Seethe Eat Quiche Repeat"

","updated":"2025-12-12 23:34:16.577Z","user":"","username":"markusde"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-10 16:50:48.979Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/amoine/followers","following":"https://discuss.systems/users/amoine/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/115/323/421/934/178/238/original/df8db9413673c712.png","id":"0bap7n9ksd144r1","inbox":"https://discuss.systems/users/amoine/inbox","iri":"https://discuss.systems/users/amoine","isLocal":false,"last_fetched":"2025-12-12 23:34:18.452Z","outbox":"https://discuss.systems/users/amoine/outbox","preferred_username":"amoine","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAl8Z8QEQl+2h81j1+d8uZ\n9tBBe32W7Q/6+M4rLitcd2f8MADDBe3jgvW6olMN1fG1kEiEKPLHmHz6Gnxpp1GZ\nVRq7XEbEO5X2pDbWAvtRm99ZGqCsdmmMRPqJOYvlbmiTmibTd8CHmQWPaSIDZGmG\nzeY9Zsmlk6Y2U8zzlk0MEJxAoGkMY5ZSNR1LZ/vwouK66uO5Mk4EpsFLLqancXUB\nZuS7Mo51dXUAwWhepIot6H01gSiDUYRypEIC2FAN+7MGGrpjMGFQm/yp9kuqZEHG\nqaiAPQ/9s/vU/ghO/Tlc0JC5q1HTBRP00mm/0O0jswprBJyaT1vikBXozdQHcGE/\nDQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-05 00:00:00.000Z","summary":"

Postdoc in PL at NYU - I'm proving things correct and efficient using separation logic.

","updated":"2025-12-12 23:34:18.453Z","user":"","username":"Alexandre Moine"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-10 03:30:06.761Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/javathunderman/followers","following":"https://discuss.systems/users/javathunderman/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/112/555/175/344/089/878/original/9427e442176d6db3.jpg","id":"13fv852kek7940j","inbox":"https://discuss.systems/users/javathunderman/inbox","iri":"https://discuss.systems/users/javathunderman","isLocal":false,"last_fetched":"2025-12-13 00:30:02.467Z","outbox":"https://discuss.systems/users/javathunderman/outbox","preferred_username":"javathunderman","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyZZ9IEVK8ve7A+75+KKU\nIQkkKA6p9h6INdHyje2W6j6mIN8l0crDbF1Pf6oRhHnIdvQny6rvi3zQlVozi8si\nlMUCx44nfAOhQQk0UHKhyWFuPnlEW7bqt7JBqvitF4EHfQVOFvU4rPV34UKYXQVS\nR3EVbwnbGndUEHGz2zL8xKiW6yYXvlEMwy4Mt6bDSaNOKAe3ikQyJn1GwQZkxOC7\nojNOhrd26hx4fMrQuKCgSbU7I7C05fjrcQO1C5rwGXZdWOsDCyXM20RV263puz3y\nxpOYtyDFOS3kyg3PHPMifVlBWffAgHrw5B6HXm/ouH5OK7Yy6FdXlID5gb3qbUdE\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-06-03 00:00:00.000Z","summary":"

ECE PhD student @ UIUC. interested in compilers, hardware, programming languages, graph algorithms, etc.

","updated":"2025-12-13 00:30:02.468Z","user":"","username":"Arjun"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-13 00:30:02.654Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/johama21/followers","following":"https://mastodon.social/users/johama21/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/114/600/052/242/366/499/original/f4a8a94c43df0168.png","id":"4cl1454n9ytrt59","inbox":"https://mastodon.social/users/johama21/inbox","iri":"https://mastodon.social/users/johama21","isLocal":false,"last_fetched":"2025-12-13 00:30:02.653Z","outbox":"https://mastodon.social/users/johama21/outbox","preferred_username":"johama21","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsG9NbA+Kv46W8WZXC+fJ\nVln+bHcWpNb7JTlRdcNmDTccWY+fCF4YNPYTQPSTb/btrzSWVlcpRILZCYAPsBFq\nEbypCZDJ10IBqv6gQpmEdwZ83DppuB2te1p5kT27erMMNEcCeEDQ1dqAQ/1iWyWn\n2OvNKF+oP02VCq+HUE36f/04bBXkba/B+Q87+EERD8hIqE4sLAN6VlOFxVTxOU59\nqw1ififcYnv1HG57bDwsSpPD5JL49JMYRAAFTkkfzEObHAgXNADwwxsSTdA9CH1Y\nsGvQ15lgkKV38uh5lf2X2HKRqRkzKmMvJbdkhTnzZKRO19pwchPh2tBvqYCnc2gU\nqQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-31 00:00:00.000Z","summary":"","updated":"2025-12-13 00:30:02.654Z","user":"","username":"Johama VA"}],"page":1,"perPage":10,"totalItems":32,"totalPages":4}

Seong-Heon Jung (정성헌)

Followers