{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-16 02:24:09.871Z","domain":"mastodon.acm.org","followerCount":73,"followers":"https://mastodon.acm.org/users/icfp_conference/followers","following":"https://mastodon.acm.org/users/icfp_conference/following","followingCount":1,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/425/511/623/960/578/original/1a652765c570a52a.jpg","id":"g2sfmpm4m1ylkvd","inbox":"https://mastodon.acm.org/users/icfp_conference/inbox","iri":"https://mastodon.acm.org/users/icfp_conference","isLocal":false,"last_fetched":"2025-10-20 21:10:25.265Z","outbox":"https://mastodon.acm.org/users/icfp_conference/outbox","preferred_username":"icfp_conference","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsLIlRY/hp+OVfyoOVHsW\n804hZSm11wHiO7u8eUGOvRYvKFaR1Z87Bp3vJurCcrXLGCRClTGnvyLzh7rFDSr7\nHaX3ENwnHmcwGnZ/BkVGxH5rdLGuwwOM2++1/RHeVw5fJwqYCkq00cRWTX+OItqg\nh/331QS9azdWemcoFYm6Pm0BnPOmoI3agHgdTl9XQrLll50HuZMNpIjlZd9KcYVI\n7Kv6DCVs+nCbFGTz/sHfWERYPnmWA2m/FnHQYOMNOzwpA4/47v/nsBjGAx4Erz7I\nAvGG621STmFKEoCyKJuopfO4x3/Q6WXxTQW+AkY8shtRBXOF7CtXwZcwGVAJzStF\n3QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-04 00:00:00.000Z","summary":"

ACM SIGPLAN International Conference on Functional Programming. Toots by discuss.systems/@shwestrick

","updated":"2025-10-20 21:10:25.265Z","user":"","username":"ICFP Conference"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-29 05:58:01.107Z","domain":"mastodon.social","followerCount":831,"followers":"https://mastodon.social/users/tom7/followers","following":"https://mastodon.social/users/tom7/following","followingCount":64,"icon":"https://files.mastodon.social/accounts/avatars/000/240/283/original/d1dbdb99b8a1c7e9.png","id":"bpq3y819swjn8jj","inbox":"https://mastodon.social/users/tom7/inbox","iri":"https://mastodon.social/users/tom7","isLocal":false,"last_fetched":"2025-10-20 21:10:25.401Z","outbox":"https://mastodon.social/users/tom7/outbox","preferred_username":"tom7","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtBgdgP6E7YzxZB9VoaSx\nYfl8Mn4ZH3Tmn5LEdDg0y7QetfYDdmmQVihUivZWMipeFII8CfZ81ooLIPUDHtDI\nYFA0r2g9jyBJLeOCj6dL6ZycFyuI9q6k06b/GIwekjbuvsLElLO/0Wdh1SqMc78T\nqiWiuWPmfqziAEGGKyraCpm5JtxMYFlRT/s5PNtPJ5G+nzAgj6hJCXtqBq86stG1\nQPxmjxvBPmMWxGvtsYJyfH3VNIZsLIIqWTEoBt0wzvQeCe3TGjOvYjjrYAFbmSBa\n+0GMqoqHAoWE30rxfzJcYAwZbrWGjsIWqZHPGI+6hvkeCVNfTIMET/xm9PHPKsNe\nBwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-11-14 00:00:00.000Z","summary":"

HTTP:\\TOM7.ORG

","updated":"2025-10-20 21:10:25.401Z","user":"","username":"Tom VII 7th"},{"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-20 21:10:25.458Z","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-20 21:10:25.458Z","user":"","username":"markusde"},{"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-20 21:10:25.754Z","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-20 21:10:25.754Z","user":"","username":"Sam Westrick"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-12 04:44:52.626Z","domain":"ruby.social","followerCount":656,"followers":"https://ruby.social/users/byroot/followers","following":"https://ruby.social/users/byroot/following","followingCount":107,"icon":"https://cdn.masto.host/rubysocial/accounts/avatars/109/363/783/702/901/933/original/60bd0e318c2b1ae2.jpg","id":"2t7l96c7lrdkjel","inbox":"https://ruby.social/users/byroot/inbox","iri":"https://ruby.social/users/byroot","isLocal":false,"last_fetched":"2025-10-20 21:10:26.359Z","outbox":"https://ruby.social/users/byroot/outbox","preferred_username":"byroot","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt/OWpByxTJ5409C8f8RA\nuTLzAAdmtZ1+2jkckzhvinDnQ9hExdVzZoGIuv8U236Tt8HK3IU60An8XKouK/At\nTXAJ7fG8fQRcGfW4jdFUFMVFopL0J1Yyb6Cbyswoz1SaJVgMAB/ATasd3lrYKZYA\nPqLnBOMQ0og7yzYMeNDVI6QujXeh63rjzDt2iwUDux217C3Un60u+cpLj3MFbQPI\nif3TONSa/8nvtvkrgv5PXY//VmkHGzNMBEVXE76qmDhLMazs+SYsgTlV/yiBPYQG\nsOgp0RdBaoTGDZsXmyWGV7mr8CDMkfZdk9DbYkWTiwkexwEADdB2ayUzLCnO8mCQ\ngwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"

Rails core, Ruby committer, funemployed.

","updated":"2025-10-20 21:10:26.359Z","user":"","username":"Jean Boussier"}],"page":1,"perPage":10,"totalItems":5,"totalPages":1}

(Sundara (Vishnu)) (Satish)

Following