{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 14:38:41.883Z","domain":"discuss.systems","followerCount":338,"followers":"https://discuss.systems/users/jfdm/followers","following":"https://discuss.systems/users/jfdm/following","followingCount":236,"icon":"https://fd.discuss.systems/accounts/avatars/109/604/343/824/886/175/original/f2d879eddbbc9d21.jpeg","id":"33y5u907jb3i902","inbox":"https://discuss.systems/users/jfdm/inbox","iri":"https://discuss.systems/users/jfdm","isLocal":false,"last_fetched":"2025-12-24 07:37:13.788Z","outbox":"https://discuss.systems/users/jfdm/outbox","preferred_username":"jfdm","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0K7PCuyuCqgq4oeobhzQ\nCIDl/OtNP5JUY/PSOAm1SUeJka67Us5NWWooPNhhPWfdCIWE92TW+8uImglQKnpb\nVI0Bdiw8jUeYfR3fOZPF1DIkemxT3QAWQ2hN4It+AwzHJTUYnxb+oxWRNIbSIq72\n00N0vscH3QItsQMHQ2yRBNT7Go+f1T2ig71o4h+LhbQlTqHenSg/cWr1gZSC86aw\na70QbXT6YgWJirCD5pGNybgPxdUkkJJ48etGxapdArWzoxRjPgcMOSZBRGukC/ev\ne3JII7BKZDayI3ut2j6KSN9RvJL98KI1ZhJCnUKthoWSf4u6GjLkSuVX6tFKv76L\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-30 00:00:00.000Z","summary":"

Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in coffee, politics, music, the outdoors, sci-fi, high fantasy, & much much more! My work doesn’t define me; it is not my identity.

","updated":"2025-12-24 07:37:13.788Z","user":"","username":"Jan de Muijnck-Hughes"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 13:02:27.800Z","domain":"mathstodon.xyz","followerCount":61,"followers":"https://mathstodon.xyz/users/zackbach/followers","following":"https://mathstodon.xyz/users/zackbach/following","followingCount":131,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/627/730/215/722/523/original/8ca9fa620d85bb2c.jpeg","id":"ya4u2psh4t3030j","inbox":"https://mathstodon.xyz/users/zackbach/inbox","iri":"https://mathstodon.xyz/users/zackbach","isLocal":false,"last_fetched":"2025-12-24 07:37:13.925Z","outbox":"https://mathstodon.xyz/users/zackbach/outbox","preferred_username":"zackbach","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA12rXw1shGM9GeiS6b+IB\nkfDZTqiibv8NfgpgorLqH07Fq2RjmpV9UIy2Zn3FBr1g3RVt+dc3WugIlkRxeDmh\noMzzLavP2P5NkIRTolrrpodGGaZyMhrh9icWB7Z/YSyc2oMtBFqiccxf6POQ7MJK\nApn7VCEK0x6KktSUgiRXiioyiGLI0RmfKdcB9zXMLr/vQ8LKnlkWdv+frS6Z+W5L\nYKqG/zP5RTZzlqa2Ei/PzkOIKb9p33pr/qx8Uh/PgsyKEzq7ibucMu6WIu9NdhRy\nIlhIpjMDEObQ1s95+Pk3mk+FYL1pqspm9jIP4Bv5ZcI411GoUf8ZHMgIi52mr5ti\nTQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-03 00:00:00.000Z","summary":"

Undergraduate programming languages researcher @ Northeastern PRL
 Logic, types, compilers, categories

","updated":"2025-12-24 07:37:13.925Z","user":"","username":"Zack Eisbach"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 13:33:14.095Z","domain":"functional.cafe","followerCount":356,"followers":"https://functional.cafe/users/joomy/followers","following":"https://functional.cafe/users/joomy/following","followingCount":269,"icon":"https://files.functional.cafe/accounts/avatars/110/850/834/610/675/178/original/2e338b8ff1910307.jpg","id":"217j4w56lh8r63h","inbox":"https://functional.cafe/users/joomy/inbox","iri":"https://functional.cafe/users/joomy","isLocal":false,"last_fetched":"2025-12-24 06:44:08.966Z","outbox":"https://functional.cafe/users/joomy/outbox","preferred_username":"joomy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA96JoxXJm9WNPKClujKIo\nCz2vulphj815SZqtTnXMBJd6RdEEi+hDRBco2BtVzwOOpibHTgT4SqkyYVg/FBTr\nrjYCt371QEPEXfo0o25Fm7sXgyXjsQD6IRALa75XzR2IvMvxVaTD80ppVB3icGyR\nZi/SZug4H/BPkS966Ed+sHXcVEo1CMUPxJnbWT/fuhSXq+U35UsIo/s9ygRILt4q\nbXeeQ0Z2FOELVEQrQpgtAU80iG0B0axeWWyFjAfGBDckPfwTP7h5rD87U0KQFhh7\nC0+cUzSysaAyet/4OmnIAGf3rElABZQ78JRom8ggD+0lzV5l0Sw71EYMKZyuiVsw\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

researcher at Bloomberg 🅱️. somehow a computer doctor. 🐅   posts about functional programming, metaprogramming, proof assistants, and sometimes about linguistics, or Turkey.

","updated":"2025-12-24 06:44:08.966Z","user":"","username":"joomy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-02 02:47:28.824Z","domain":"mastodon.acm.org","followerCount":81,"followers":"https://mastodon.acm.org/users/ismailkuru/followers","following":"https://mastodon.acm.org/users/ismailkuru/following","followingCount":288,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/861/270/740/451/768/original/685bd353037ac398.jpg","id":"98k8b40lr5cxo51","inbox":"https://mastodon.acm.org/users/ismailkuru/inbox","iri":"https://mastodon.acm.org/users/ismailkuru","isLocal":false,"last_fetched":"2025-12-24 07:37:14.115Z","outbox":"https://mastodon.acm.org/users/ismailkuru/outbox","preferred_username":"ismailkuru","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvzvLwm0mzB2YV2/TN31P\nGIhoAWCdqvocoFGcqgZr533AfC778OdWXOfzcKWZkAE3q0fUAart1Rn7iesKY4PZ\nLW5t7U3bBhbavwfICyDCTZKsA5rd354Bhm2IzkMTWit7lux1atRA9HXPqxII3rQE\ny8x/yXkeYaI1+avnqtFDJ/SFn06ecMZmWvRjAkWNGoDmYCM68YUtNSVf9ACYNwEk\nurngRRUfvCv8Dlz06xl26i7eMQu8kTwVLLrDLj66p/ymAvjst1JrCjfUPSWza4lr\n0SqIIJZPpLPemBTAWU++/9ERExShcJOCDSswRwevCfjGHFGxLOkmU7dw6J/2vJCs\n5wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-09 00:00:00.000Z","summary":"

All opinions are my own

Not a professional account

website: https://ismailkuru.github.io/

","updated":"2025-12-24 07:37:14.115Z","user":"","username":"Ismail Kuru"}],"page":1,"perPage":10,"totalItems":32,"totalPages":4}

PRL @ Northeastern

Following