{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-17 23:25:26.804Z","domain":"discuss.systems","followerCount":93,"followers":"https://discuss.systems/users/javathunderman/followers","following":"https://discuss.systems/users/javathunderman/following","followingCount":303,"icon":"https://fd.discuss.systems/accounts/avatars/112/555/175/344/089/878/original/9427e442176d6db3.jpg","id":"4rqajc2nrtilcde","inbox":"https://discuss.systems/users/javathunderman/inbox","iri":"https://discuss.systems/users/javathunderman","isLocal":false,"last_fetched":"2025-10-21 05:41:59.575Z","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":"

PhD student interested in architecture/hardware/systems, PL/compilers, graph algorithms, etc.

","updated":"2025-10-21 05:41:59.575Z","user":"","username":"Arjun"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-09 10:17:36.891Z","domain":"discuss.systems","followerCount":9,"followers":"https://discuss.systems/users/amoine/followers","following":"https://discuss.systems/users/amoine/following","followingCount":22,"icon":"https://fd.discuss.systems/accounts/avatars/115/323/421/934/178/238/original/df8db9413673c712.png","id":"qu1vcsifidu0849","inbox":"https://discuss.systems/users/amoine/inbox","iri":"https://discuss.systems/users/amoine","isLocal":false,"last_fetched":"2025-10-21 05:44:29.863Z","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-10-21 05:44:29.863Z","user":"","username":"Alexandre Moine"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-18 03:27:48.526Z","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":"mfoak37trbgdj8h","inbox":"https://discuss.systems/users/shwestrick/inbox","iri":"https://discuss.systems/users/shwestrick","isLocal":false,"last_fetched":"2025-10-21 05:44:29.959Z","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-21 05:44:29.959Z","user":"","username":"Sam Westrick"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-12 09:21:51.326Z","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":"spis1inmc53wbia","inbox":"https://mathstodon.xyz/users/markusde/inbox","iri":"https://mathstodon.xyz/users/markusde","isLocal":false,"last_fetched":"2025-10-21 05:44:30.025Z","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-21 05:44:30.026Z","user":"","username":"markusde"}],"page":1,"perPage":10,"totalItems":5,"totalPages":1}

(Sundara (Vishnu)) (Satish)

Followers