{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 10:51:13.723Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/shwestrick/followers","following":"https://discuss.systems/users/shwestrick/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/109/363/168/653/907/367/original/f4a4c582ddf02595.jpeg","id":"8300r015f2m25if","inbox":"https://discuss.systems/users/shwestrick/inbox","iri":"https://discuss.systems/users/shwestrick","isLocal":false,"last_fetched":"2025-10-02 10:51:13.723Z","outbox":"https://discuss.systems/users/shwestrick/outbox","preferred_username":"shwestrick","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6XRyTDU5Bf6wf2eaDyWT\ngvjAjYZW9c4cTqGK/jzYKxV/uNLdlsUdqi1cO9QowKqw7Xk7Vy3BdnZjj6r5owiE\nYvaX0MiewnATOQltz7yGeZwOK3nhICHQCnDcGVjOgN5xjxI5F1hHwi+OaQSnFT8k\nQL6EyWtbwWaiaudmfYDBSBrQjfpC+F0P0FGyIt+JP3MEZHpaxEQckisJENuBxw18\nh484poQzf5YZngherMi5mA7UDmBf1510ih+//OEUCLpS8wQMjnv0b7z/mYX2SO7N\nLwqXIs/8z0xbMGTzNlK7EN+6MObCHRD4n0NL7rvfXgfmVlrW5WHJgYO23nB9cKNE\nvwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"

assistant professor of CS at NYU Courant :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)

","updated":"2025-10-02 10:51:13.723Z","user":"","username":"Sam Westrick"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 12:28:53.743Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/markusde/followers","following":"https://mathstodon.xyz/users/markusde/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/348/375/625/542/944/original/e0235aa94d9ed680.jpg","id":"i606196om1gf8ll","inbox":"https://mathstodon.xyz/users/markusde/inbox","iri":"https://mathstodon.xyz/users/markusde","isLocal":false,"last_fetched":"2025-10-02 10:51:13.858Z","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":"

Human in the loop automated formal verifier

All opinions are my own

Not a professional account

","updated":"2025-10-02 10:51:13.858Z","user":"","username":"markusde"}],"page":1,"perPage":10,"totalItems":3,"totalPages":1}

(Sundara (Vishnu)) (Satish)

Followers