{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-18 01:06:21.822Z","domain":"hci.social","followerCount":103,"followers":"https://hci.social/users/harrisongoldstein/followers","following":"https://hci.social/users/harrisongoldstein/following","followingCount":83,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/111/805/647/066/217/362/original/fc634f0b2bba336b.jpeg","id":"pv37hw5f667dz5o","inbox":"https://hci.social/users/harrisongoldstein/inbox","iri":"https://hci.social/users/harrisongoldstein","isLocal":false,"last_fetched":"2025-11-26 07:21:43.477Z","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-11-26 07:21:43.478Z","user":"","username":"Harry Goldstein"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 13:25:17.544Z","domain":"discuss.systems","followerCount":433,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1422,"icon":"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg","id":"0hg54e5b0wu5d8p","inbox":"https://discuss.systems/users/csgordon/inbox","iri":"https://discuss.systems/users/csgordon","isLocal":false,"last_fetched":"2025-12-03 05:09:17.459Z","outbox":"https://discuss.systems/users/csgordon/outbox","preferred_username":"csgordon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqu75zd4WxhZbgnxr3D0x\nqdQennO5/JNC7TYuEXAAb5u2abevS8QvmACbGbtXZh3r/MKDfuUjq6PY8b6iMa4E\n+pG+DtKsdWgXbz6y08YhYqNe8CEGLS4/EowBLC6goMyLKj0sQ8OUGo0VawRaR/Ox\nWB4LAhqmdIP/2OAE3rzgJk+sU5rs6Q+p9eQj9W68JG7PwTY5ebHmksEhaU2lrdPq\nkE5l+j9e/ZBmbsGnGynZernCeRc2MdXn90avbROl/+5kSK870hyBww0xuOhgc099\nRCyiiAEQ3WAOVnRX9X49JhUS9ODmCdcHpp3awFKo0RGtMPxK1HOO4WPa0Pmakccm\nZQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-08 00:00:00.000Z","summary":"

Programming languages professor, kernel hacker, aspiring linguist (syntax & compositional semantics).

Currently figuring out how to combine all of my interests by mechanically translating English into formal specifications of a formally verified OS kernel for RISC-V.

:freebsd_logo: :debian: :openbsd: :clang: :csharp: :racket: :rust:

","updated":"2025-12-03 05:09:17.459Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-24 11:29:42.175Z","domain":"mathstodon.xyz","followerCount":868,"followers":"https://mathstodon.xyz/users/csgordon/followers","following":"https://mathstodon.xyz/users/csgordon/following","followingCount":1011,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/850/232/300/280/672/original/5fb29c5bf2874af4.jpg","id":"3r577ddi6he8u37","inbox":"https://mathstodon.xyz/users/csgordon/inbox","iri":"https://mathstodon.xyz/users/csgordon","isLocal":false,"last_fetched":"2025-12-03 05:09:17.537Z","outbox":"https://mathstodon.xyz/users/csgordon/outbox","preferred_username":"csgordon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxzv621E1Ynfe9+QQ0Emf\nB86uxDl34d/GfsnvDfOQge1b6mIflzH1AHzP8rK83RqBPxzDp32sgHTNrJDlyr+w\ngTxe+fR+EtKSZlvBjokBPcffSyTjNcpNd3C/toYyZylXzh4yP5I19vlURK+0t5Oz\nrRIRG12zcJFpDiv7J22A+IqrLVGT4EiZJzeELBOqpn0QOpUGrdpvdwlnQmYJ4nWO\n69S6f4ObfB93j1jGxHz7tBy1ew56c8TeNmYa5TqB/VZEj4G/iPYQ32lgUpZbNg9v\n0riEpE3/0tb/BruuP4UmR1vmu+uWLHsPD4EmO/RB8mDMrvAqhH1bxdHh+WCQPgch\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

PL professor, kernel hacker, aspiring linguist (syntax & compositional semantics).

","updated":"2025-12-03 05:09:17.538Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-05 09:28:01.340Z","domain":"hci.social","followerCount":0,"followers":"https://hci.social/users/vlhcc/followers","following":"https://hci.social/users/vlhcc/following","followingCount":0,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/872/402/985/493/268/original/46dd55a15256e231.png","id":"i989jcxch21vi71","inbox":"https://hci.social/users/vlhcc/inbox","iri":"https://hci.social/users/vlhcc","isLocal":false,"last_fetched":"2025-11-20 18:43:08.711Z","outbox":"https://hci.social/users/vlhcc/outbox","preferred_username":"vlhcc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtk9iy1+7vH9V4yCn1icN\nXQlI4Gg3n5TxNjY0flHm+lkb349Sz7J1k7vEEHFs2ugoXlxx4NP4WFv/3pG4XojJ\nNdvYPuJnLFBkmZXcBdGRXWQWXUQ1bjLubxiFlRZsnQ5q54MhbrcFvmLdzt8HimGA\nnmajMiWzMsPgHn/0WO7uPdWhnKS/qDFJARqvVWG6ONBRsPYrTmSCVR8CXc6ecujQ\nR7jU+15blbEEKzGsGrLvx2LCoPszUunx8BBmSESIBK5XFUcwrcVNRYe/2Bv1UPbp\nv7KCNwfrkE1BRDG/SW/R5QJJuqSLYReDLL8QEjrptTc78L6tagNtb3ZhqRYHEpsq\nEQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-16 00:00:00.000Z","summary":"

IEEE Symposium on Visual Languages and Human-Centric Computing

","updated":"2025-11-20 18:43:08.711Z","user":"","username":"VL/HCC"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-25 07:17:07.527Z","domain":"hci.social","followerCount":0,"followers":"https://hci.social/users/amyjko/followers","following":"https://hci.social/users/amyjko/following","followingCount":0,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/108/286/964/998/618/069/original/b6d5719532c824c7.jpeg","id":"09xjeh6k299oq26","inbox":"https://hci.social/users/amyjko/inbox","iri":"https://hci.social/users/amyjko","isLocal":false,"last_fetched":"2025-11-27 09:41:50.579Z","outbox":"https://hci.social/users/amyjko/outbox","preferred_username":"amyjko","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5YmQ/YVhL5hjACXmXuEQ\nJa89OfNH8TNcRsGo07uFDb0VklcDqOGkNxXyOv3aOLEpSPaR6GPkbphqJPQagmhA\n5ZozrLv7m7FKqdoW/2ffcyQZPBndrluKqzNr0v7KGbF5OuLb7NtoDh0DiHo0ID/t\nVtH5N6tfVPOAbqpjKjRXZNlOSypOoFT0vSOWxWqIe6MeF1lkSdtWHVVXORhQ8aRL\n4fAoMPLpfolxUtHlZvtRPAPqz5YzuN3fUxglufmOw5lJ20jayNT6G1I+vSLjzLWL\nWM5MVIUIHeB1wS8YQOMIJFLthhvpYDZezvfDKsFwqHEwtX4ygz/xeLThH+7C2x3p\nTQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-12 00:00:00.000Z","summary":"

Professor @uw_ischool @uwcse, she/her. Computing, learning, design, justice, trans, mom, biological human, #a11y. https://wordplay.dev https://bookish.press

","updated":"2025-11-27 09:41:50.579Z","user":"","username":"Amy J. Ko"}],"page":1,"perPage":10,"totalItems":73,"totalPages":8}

Andrew Head

Following