{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 10:31:57.416Z","domain":"hci.social","followerCount":92,"followers":"https://hci.social/users/harrisongoldstein/followers","following":"https://hci.social/users/harrisongoldstein/following","followingCount":79,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/111/805/647/066/217/362/original/fc634f0b2bba336b.jpeg","id":"28aqf97yg7h478d","inbox":"https://hci.social/users/harrisongoldstein/inbox","iri":"https://hci.social/users/harrisongoldstein","isLocal":false,"last_fetched":"2025-07-28 19:52:35.838Z","outbox":"https://hci.social/users/harrisongoldstein/outbox","preferred_username":"harrisongoldstein","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjkrasx62SArBGiDAHgY5\n2PqDqJPIuDQqxm/bp0RGGEEPThc/8Abt1EqzI3Z4OQCwJZPqxZPZ6cQpX3HFxHYj\nvnhWW5CfjPPC8EY7/F7kipGYGUfFueAr9s6eqcYKJg3i3kDu0epRAtAeYm80vtce\nOvcxeZyTdee1HWZy+hcahrj8+BLO9RRJaEqaG+CoSjb2GqNfxtBnOtLO6ghhtU8z\nt93hBXuc4sHfLlfy83inCnG7KK7D6HGVItLkEUIGnz/QT5cE84v/dNm6G21XSkUW\nYBj/U4ais0QVuA9H2/DauIdgapRd/LWD0OXhZjBfz6y+hU+DktkyD3U73jCGXO+x\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-23 00:00:00.000Z","summary":"

My work combines techniques from PL and HCI to solve software engineering problems. I currently work on property-based testing with Professor Benjamin Pierce.

","updated":"2025-07-28 19:52:35.838Z","user":"","username":"Harry Goldstein"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 12:30:24.657Z","domain":"mstdn.party","followerCount":1318,"followers":"https://mstdn.party/users/DrOinFL/followers","following":"https://mstdn.party/users/DrOinFL/following","followingCount":1287,"icon":"https://files.mstdn.party/accounts/avatars/114/583/297/577/653/950/original/bc8dcd3dacd8df1c.jpg","id":"84v4g8u8o81o57u","inbox":"https://mstdn.party/users/DrOinFL/inbox","iri":"https://mstdn.party/users/DrOinFL","isLocal":false,"last_fetched":"2025-07-28 19:52:37.050Z","outbox":"https://mstdn.party/users/DrOinFL/outbox","preferred_username":"DrOinFL","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArwho5GTcTTaFOTH6i3Kg\nlPKKfKwE5LWi7tjFUJKbBzls3gQBQ++6YlgjkfDSvNmazC91RSISSL31Oa/oVRYz\naNseBGEhCPAym5nubDjm0Fsz+E9ULw3QfWA3FKTJmRNtgXJQmblFzb7PYCg0HkKM\nrKguwqUHy2EtU08HHuJptmtf/w3w4/8rN+c1j0YFgcxYi3SUpqB/SRDcyxABkYgC\nO5q150TELY9nfr35IqvkQIggydYdAQ5BaqKWT1+AMxu8EK3YE/C1WrImf0IaTDb3\nsYCbxxsLqaIFxgmj5mvHP92bbrygWvdNbbnBNUr/Xj2Ws5sqtHb2DhNkzO26G68o\n6wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-28 00:00:00.000Z","summary":"

U.S.A., U.K. / Commonwealth blue politics, funny memes, dad jokes, cats, Star Trek, snark & sarcasm, Japanophile, LGBTQ+ Ally. Medical cannabis user. Plant-based diet Ⓥ. I FollowBack like-minded people. #NoBridge

","updated":"2025-07-28 19:52:37.050Z","user":"","username":"OhSnap!Dragon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-28 19:52:37.084Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/fnf/followers","following":"https://mathstodon.xyz/users/fnf/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/783/996/624/264/432/original/500f991a72be56be.jpg","id":"9qq81k6v6xb2612","inbox":"https://mathstodon.xyz/users/fnf/inbox","iri":"https://mathstodon.xyz/users/fnf","isLocal":false,"last_fetched":"2025-07-28 19:52:37.083Z","outbox":"https://mathstodon.xyz/users/fnf/outbox","preferred_username":"fnf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1QvII2iYtrWXp1IXm4Q/\nZTGKtfqpaTXMsHVWb/Mdvz1aJZMdW671Fkhubvnb5Amiacc9U+61RpJXbKGCkbqr\njw0npAaCuyFoR2iRa26h5WDGFGV2v+4uLhvWEn+UefiQG8bySB+mt4AxhDHecBkB\nzxOnUP5EPaGnMGJB3dncoTuZvD/KofqyWkBQuLAg6WQXeiby4Rp5OpboppeUWFuo\n3CPkLi9Lyc8DEAiNDzz0WUuE0z1EehrXI3ZBw/aUlsNQM2RDCFtC4Iae+XYuYI+V\nHpvuQmbL9N1xWC6oN5nWn5rd1ijH3zVZhCj1RAZMcERKy1BQt/7T9TZisNMWiu8/\nAwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-19 00:00:00.000Z","summary":"

Senior Lecturer @mspstrath. Interested in type theory and constructive mathematics.

","updated":"2025-07-28 19:52:37.084Z","user":"","username":"Fredrik Nordvall Forsberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 13:30:55.590Z","domain":"discuss.systems","followerCount":121,"followers":"https://discuss.systems/users/apanda/followers","following":"https://discuss.systems/users/apanda/following","followingCount":146,"icon":"https://fd.discuss.systems/accounts/avatars/109/309/993/098/764/533/original/aa6e3c7d99adcf15.jpeg","id":"9yakwf49twzo075","inbox":"https://discuss.systems/users/apanda/inbox","iri":"https://discuss.systems/users/apanda","isLocal":false,"last_fetched":"2025-07-28 19:52:37.488Z","outbox":"https://discuss.systems/users/apanda/outbox","preferred_username":"apanda","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4+alAF43gNuYaBKsLG/h\n0Dz82eud160YNsFlx0yJ59vUbuMCWE33G8WgR7p8YGtOiGxagHKJSb2aNtKg/QNa\nb58vcQ4EgT4hzaNvNaLhKZA6Vf83IGlHu+0G3u0TnNeXyw6MvTkg2+S0kONqATjd\nyoBFbJ7C/YJYzKWSuoB6c/clLiUu3FCo9pl+APn4vZBsF/16W/Izvoj1Kl7bQEV8\nRxlMuVNn25cSvlGhmwnYSal76OcX4GzWNYEWSw/axx6cshokTt63mxv9KOxN42o0\nuXIHReiUoinudlWm2roxJqMbOSlkIaJbtqMzT/GY3IR8d9aURfAv6Eekt+ZFI49U\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Assistant Professor at NYU, mostly work on distributed systems, and networking.

","updated":"2025-07-28 19:52:37.488Z","user":"","username":"Aurojit Panda"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 10:07:50.435Z","domain":"cosocial.ca","followerCount":30,"followers":"https://cosocial.ca/users/shon/followers","following":"https://cosocial.ca/users/shon/following","followingCount":168,"icon":"https://media.cosocial.ca/accounts/avatars/114/543/315/336/713/357/original/66f1dbd051abed38.jpg","id":"nk6of6aspvw9775","inbox":"https://cosocial.ca/users/shon/inbox","iri":"https://cosocial.ca/users/shon","isLocal":false,"last_fetched":"2025-07-28 19:52:37.645Z","outbox":"https://cosocial.ca/users/shon/outbox","preferred_username":"shon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsJlo0m6o7iFQmSpwgXUx\nxoiDEHZtqMvCpHqVy21+ZBbCnWUDLjgx+F3CoKe0lLT0y4TctUBGsSJ/jvv6W2m+\nDfcCA3C6V5DBAW41ozfJtcJTXdXlza6AOy7TFnlHZdDgIe4JpQrZkRB6lKwL2bY2\n/4VS32X6sv/IzkCqBpPu7VG6KoThZubeIb8t4hmy63F4GTl048aEYLK5rGmV+31b\nTVoLIBH9SCwbvLXI0aELLdsHAQArMLae7nCDFE4a4NNgs4FhGtkPjUqXa19xF4bS\nV+BWq6rEc1ZJk3PecKzAqdu65jE0bvoErFy/2GxF/nrjqn1bDvV9ou7/qrx1nDha\nNwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-21 00:00:00.000Z","summary":"

I'm interested in {programing x language × eco-systems × theory}, broadly conceived.

I'm working on the OCaml ecosystem @tarides .

aka/fka: @shon

","updated":"2025-07-28 19:52:37.645Z","user":"","username":"shon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 21:45:30.297Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/HarrisonGrodin/followers","following":"https://mathstodon.xyz/users/HarrisonGrodin/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/264/622/363/673/731/original/f1cb84f180df763f.jpg","id":"klo9054r72s82a4","inbox":"https://mathstodon.xyz/users/HarrisonGrodin/inbox","iri":"https://mathstodon.xyz/users/HarrisonGrodin","isLocal":false,"last_fetched":"2025-07-28 19:52:37.677Z","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-07-28 19:52:37.677Z","user":"","username":"HarrisonGrodin"}],"page":1,"perPage":10,"totalItems":311,"totalPages":32}

Cheng Zhang

Followers