{"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-09-14 00:37:55.300Z","domain":"mathstodon.xyz","followerCount":2300,"followers":"https://mathstodon.xyz/users/11011110/followers","following":"https://mathstodon.xyz/users/11011110/following","followingCount":141,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/001/160/original/10c085b2a1a6e1f6.png","id":"5806ibe3ibeeg5d","inbox":"https://mathstodon.xyz/users/11011110/inbox","iri":"https://mathstodon.xyz/users/11011110","isLocal":false,"last_fetched":"2025-12-13 01:20:22.288Z","outbox":"https://mathstodon.xyz/users/11011110/outbox","preferred_username":"[]","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt52p6AsRlBQvq0T6L7df\n0YZV0F9Oxtkqtbi0POSiDwFHDDCEAAvbBvS2uznSDE2jrLuJzvN6ZUwZRVX3zQGB\nhLElb0zG88OlhOuNueO5Gf23e3lafgl0RyPgHtBd7FiDzBwejbXK1rsFpPAui07q\nCh9twiFUd+UkOiajCx0HqWuD0YLZpgil83gYBEN91iPY9PyBaT/rcgN2w59vEHF6\nXq7432hBUW6RI5D6ip7PixRVGgTNuHQbJm+VTY3CwZU6Q4w8DmCFbrNyBsMHa5XH\n2m1OquK126axp8jWrr5e7z8rT2v2gTJdm1XbS4TNQNC0ResnHFPTUhuY9n/9dz1z\nTwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-20 00:00:00.000Z","summary":"

I'm a computer scientist at the University of California, Irvine, interested in algorithms, data structures, discrete geometry, and graph theory.

","updated":"2025-12-13 01:20:22.288Z","user":"","username":"0xDE"},{"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.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: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-10 03:30:05.214Z","domain":"mathstodon.xyz","followerCount":35,"followers":"https://mathstodon.xyz/users/ahuoguo/followers","following":"https://mathstodon.xyz/users/ahuoguo/following","followingCount":115,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/241/821/244/317/588/original/37d6ab269871b6af.png","id":"nw04v361auh8qbk","inbox":"https://mathstodon.xyz/users/ahuoguo/inbox","iri":"https://mathstodon.xyz/users/ahuoguo","isLocal":false,"last_fetched":"2025-12-12 23:34:18.485Z","outbox":"https://mathstodon.xyz/users/ahuoguo/outbox","preferred_username":"ahuoguo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxd4+hat4T4uR9x2jpnZn\ncZXVWuhIqmvLOE2WVVUYFuedeFZYuzKdN3V+m/TfK3gsYDhWcoiK/7o7bPhbX1bI\nfRaWRCLJ5S21KOWOCtdpVISSCSJTFqexlHj5H7nKZ9MtTfde/i+FNnpG7JTMJoOr\nPE/y6u0c3x80NTeP67Jk6IZGj+e4jmbqITyKZyWMwy90k15zdct47VOnJMX5QfFx\ngDwCtcG48Awou9DwLinfDr+TiL4Z9uNJigyCLdMW3X+HuqhLs3WXNVeGQImF9fwS\nkfL1dUZjPPu9ukvtbSdkTQXWuLXGMDs9yvxwQFwFrBTfq/v18uFYHTSzRe1ecRHU\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-28 00:00:00.000Z","summary":"","updated":"2025-12-12 23:34:18.487Z","user":"","username":"ahuoguo"},{"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"}],"page":1,"perPage":10,"totalItems":32,"totalPages":4}

Seong-Heon Jung (정성헌)

Following