{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 14:46:19.333Z","domain":"social.edu.nl","followerCount":55,"followers":"https://social.edu.nl/users/Fabiano/followers","following":"https://social.edu.nl/users/Fabiano/following","followingCount":0,"icon":"https://objectstore.surf.nl/mastodon/accounts/avatars/114/937/258/237/948/589/original/cf1bf1c5ba661758.jpg","id":"1ti1pljr29j0qj5","inbox":"https://social.edu.nl/users/Fabiano/inbox","iri":"https://social.edu.nl/users/Fabiano","isLocal":false,"last_fetched":"2025-09-30 16:18:28.296Z","outbox":"https://social.edu.nl/users/Fabiano/outbox","preferred_username":"Fabiano","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsIAqh09FttvY8S872a6X\nKZk0w7JJBsM/1HidIgm3Z7HpvdYEfjJeJsRXjCzVs7WqqmSG382VuDuKsk71Xi6U\nY1X2IoLLr2cnFFmRFo1IUVPJiKEpVADXZKyNDDhieZetfUeDnUssKn4/Y5SJUtoa\nsgv5zL6CWhXLbyeI2v694ulPANodDs6g7kF8bov/oTVhHwSozkZRmFTaOYqSEJRB\nBRIxw9UHARn0KZjxSMQZmz9G6cyjGEEHT7vXit57UbtS6y11WiJSIL3BqvTi+cNE\nY280P+nJytwqcgduiVBh53qtpYi2ZiBFoBNDQab6ldYLSpDF1iYyNElcPvbeOpus\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-29 00:00:00.000Z","summary":"

Requirements Engineering, AI4SE, Empirical Software Engineering

","updated":"2025-09-30 16:18:28.297Z","user":"","username":"Fabiano Dalpiaz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 17:32:19.005Z","domain":"social.itu.dk","followerCount":619,"followers":"https://social.itu.dk/users/AndrzejWasowski/followers","following":"https://social.itu.dk/users/AndrzejWasowski/following","followingCount":538,"icon":"https://social.itu.dk/system/accounts/avatars/109/397/785/692/870/326/original/466ce1eb77b2f4b7.jpg","id":"2i2hdzsm60b5u3u","inbox":"https://social.itu.dk/users/AndrzejWasowski/inbox","iri":"https://social.itu.dk/users/AndrzejWasowski","isLocal":false,"last_fetched":"2025-09-30 16:18:28.540Z","outbox":"https://social.itu.dk/users/AndrzejWasowski/outbox","preferred_username":"AndrzejWasowski","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0WJAIshj8uQmIJyKNLsr\nUN/t7AZzyM+0vJoVuDwEW/9IX+5vAbb7WtCNlfVz8p4/jHM+pHSr5SymXpkwDisA\nd4p13aB9bs+EB99tq2XU1AAgCBDTeeBSW7A1i0ism/mvp4TYmhwP1k9EdqYvNPPh\n3gZ7KhmM442tWZVmp0iq7hBujIcC3gnxNUmj4sV7kOOjQ6s6qD2crt4w7x/qlaG8\n/BykvbgBo/DE+Hhu2hJYnNKTZb6BvR49nTFqAl6MrZU1g/nucdubWKgtCEgcnqfB\nkx64S9kVFZKZTOWE9FckP2JiLoHTWTZTc/zwcxn0C2j/Qw/cOW1g7xSqE9wZPgGt\n5wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-24 00:00:00.000Z","summary":"

An insolent elitist derogatory fearless context-free professor conjugates a well-typed glass of higher-order prilimubary students. Living in and in-between two marmaid cities.

affiliation: IT University of Copenhagen, Denmark

Searchable by tootfinder

Used to be @AndrzejWasowski which redirects here now.
Used to be AndrzejWasowski@twitter.com but that is no more.

","updated":"2025-09-30 16:18:28.540Z","user":"","username":"Andrzej Wąsowski ☑️ 🟥"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 03:47:24.633Z","domain":"social.coop","followerCount":6464,"followers":"https://social.coop/users/ethanz/followers","following":"https://social.coop/users/ethanz/following","followingCount":284,"icon":"https://social-coop-media.ams3.cdn.digitaloceanspaces.com/accounts/avatars/113/476/808/724/191/774/original/3601f561e5ce5964.jpg","id":"42h42a8cvuz5470","inbox":"https://social.coop/users/ethanz/inbox","iri":"https://social.coop/users/ethanz","isLocal":false,"last_fetched":"2025-09-30 15:34:32.282Z","outbox":"https://social.coop/users/ethanz/outbox","preferred_username":"ethanz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqNBpThR2wYIFDSOfB89p\nFpN1r35RIq2A6Eyz+j6ZjsuejKxuRF8BcOu60Gd5GCDOUBy3IXvfoIoW10cyHDva\nOeWCP7mE6QEdxC4VZmM5DzXj4cZVgZ7kHv/eGqSM2s4UPm2H4hHV8shB3SaF/B3I\njfujfvsl2LhVW/QqoR+Y/DCnmqlPkyvtBYeXsaQ6gKzZ4gsBeDEDKvwkDBeGSgwx\nOuFeYo28/pmCTZwyuuNiu36ZlVpHYT0g0XyX6D8DqP3Y2aFZtVfbzBjO46qJIf4p\nXUFV1Xqy1M6Fhkx5h+K85Xt8E64qZ1Tv//myDdn+5n57hSG43fZl+fSJKnK9ToHL\n5QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-13 00:00:00.000Z","summary":"

UMass Amherst, Global Voices, Berkman Klein Center. Formerly MIT Media Lab, Geekcorps, Tripod.com

","updated":"2025-09-30 15:34:32.284Z","user":"","username":"Ethan Zuckerman"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 01:53:48.028Z","domain":"mathstodon.xyz","followerCount":640,"followers":"https://mathstodon.xyz/users/xameer/followers","following":"https://mathstodon.xyz/users/xameer/following","followingCount":211,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/263/308/662/913/256/original/e75b356ad268afc8.jpg","id":"y164jcia864k4dg","inbox":"https://mathstodon.xyz/users/xameer/inbox","iri":"https://mathstodon.xyz/users/xameer","isLocal":false,"last_fetched":"2025-09-30 16:18:28.617Z","outbox":"https://mathstodon.xyz/users/xameer/outbox","preferred_username":"xameer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5TBRDqHjW69KoOCZMWJP\n2OnWPNbcwUu4jcCghxYfpol8+/TFfG60BW6ZCgQQTmfdfCCsKwvjkEj51B+LYSDP\nj5xznTp0Df2+VSV/mVXIMS0xVyj41gZ7aVaLBp9fvRtxjl9hHz8SKxZOBMGC9N+S\nrZkMhzcfkNswQdYSPft2bxrhYW86Z//h1ynu/zwj/zkcVGVUsP3wSn+KzQqhWs/Z\nr/SSEEeNhcgOuAGxSpHUUH4HFd8psiiD0T4J+kf+iZOqgk0GE0kY1fVE1rdYr1LY\n5b7eBw6IjCNJ5Mi8TWtmHEjjCiCdMIJ+c4ckm8B354iEWkHZ/uLxLJzUHNeEMumy\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

Currying on

","updated":"2025-09-30 16:18:28.618Z","user":"","username":"HoldMyType"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 19:45:48.279Z","domain":"infosec.exchange","followerCount":1333,"followers":"https://infosec.exchange/users/meghana/followers","following":"https://infosec.exchange/users/meghana/following","followingCount":843,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/111/492/691/433/136/993/original/4657f692475944ac.jpeg","id":"bxzg5x396d8xb30","inbox":"https://infosec.exchange/users/meghana/inbox","iri":"https://infosec.exchange/users/meghana","isLocal":false,"last_fetched":"2025-09-30 16:18:28.843Z","outbox":"https://infosec.exchange/users/meghana/outbox","preferred_username":"meghana","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm/8JS5cc9HS36B9xkh1I\npwJVRXJk3DYrPSCI6BYy2K9pnWOLkn0Q8jX4ec6WtXojKcFjDLYnvtcf1nHYC6r8\n2PdBqI7tRS+cvGtJg3XmppVkdPLNDiJWO7r1yIWEgERyMnth+TlHlgXHVf4/1qRC\nL0yTCFGZDqzUPpFJFVFprOiGX9m4mypLy8bcuyMNnJVn0jwywytKWNEoYLSNop+7\n/sQBM5QKNopnHo97l4LIJISV8++DoMnf9kk5nI+fsFV9sfEj3jM0GdNaIEAMG2hr\nEms0HVdhySzcsx67L9ZP6IQWR+vQtamPRwWvtEg7X826j5gaHRO0uzGvfP03YZRK\nlQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-11-29 00:00:00.000Z","summary":"

✨✨✨

","updated":"2025-09-30 16:18:28.844Z","user":"","username":"Meghana"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-16 01:43:31.387Z","domain":"discuss.systems","followerCount":698,"followers":"https://discuss.systems/users/sigplan/followers","following":"https://discuss.systems/users/sigplan/following","followingCount":44,"icon":"https://fd.discuss.systems/accounts/avatars/110/885/056/191/364/421/original/cb7854324066f66a.jpeg","id":"g55y4949bvufd7i","inbox":"https://discuss.systems/users/sigplan/inbox","iri":"https://discuss.systems/users/sigplan","isLocal":false,"last_fetched":"2025-09-30 14:23:33.064Z","outbox":"https://discuss.systems/users/sigplan/outbox","preferred_username":"sigplan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1Q01rJFWXa8KLkw9/Qej\nw8K4//4Xh14+31bhcW8QzGhqkszji/XfKmxrbJ9S77MUt1gigKNnIie3hrNd/Ajh\n7zojKSxHhVnrv0ZpAdt3QkCJCbJJw9waifei0xcxzVCn7sGGezK6h86tswjPTUo2\n2Po2V+ClQo1/n+WPusa9DqRL8rnFKajnD9G5OimU0NAEhgLd+wl/jV3umnpHTi6p\new7K5W1sujGiWp7HyOju2GbbxIYPWf8lWtvQMXJHnAA1hXHU4bITExxiCIt6tFe8\nfLd8lwg4H+uOaE3TxuWYhdfme+8Aae1oHbXtyUJ80KpcRLxg1hKdrdi0Zv6HNhIt\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-14 00:00:00.000Z","summary":"

the ACM Special Interest Group on Programming Languages

","updated":"2025-09-30 14:23:33.065Z","user":"","username":"SIGPLAN"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 00:45:12.512Z","domain":"mathstodon.xyz","followerCount":686,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":744,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"p076w9dy66fek3v","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2025-09-30 16:18:29.619Z","outbox":"https://mathstodon.xyz/users/joey/outbox","preferred_username":"joey","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuuyXP12Q1eND/tAmB3sh\nmUM/G/Wa6Gfm7F+0OZCgK7abAUpk/PiAw8dsj7wBJ5NoHYJsh5MCUEEu6OPeVj89\n5P9bldhXOojmU+oCzlA6i8aAgJF9f+LSCJHIwEJhJLL0Hi0bCfoZb+++zTj12Qbe\nipRiZXeFC+WcTHPx/3aET+octDlHTxerh6cPyrUnRbPG+DnqflivQcSHrVAHW3rC\nl09LDWvf9soeYPNZl3j1CeefYY+XIlPQD+6mzBmdexr71MmXMq6/5vFNLrAbJR58\nqO+/rt3kAqxpgz9hMTEiFB571qtp8tGlQ3XAa4rdsA7dCG1NYu/vmJsODA0FqWw0\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-22 00:00:00.000Z","summary":"

PL Researcher. Assistant Professor at the University of Regina. 🇨🇦

Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/

Formerly a Newton International Fellow at the University of Edinburgh with Ohad Kammar, and before that, PhD at UBC with Ron Garcia.

Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.

","updated":"2025-09-30 16:18:29.619Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 03:12:47.358Z","domain":"mathstodon.xyz","followerCount":870,"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":"57y0w20rgrq178l","inbox":"https://mathstodon.xyz/users/csgordon/inbox","iri":"https://mathstodon.xyz/users/csgordon","isLocal":false,"last_fetched":"2025-09-30 16:18:29.681Z","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-09-30 16:18:29.681Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-09 23:53:10.790Z","domain":"social.sigsoft.org","followerCount":69,"followers":"https://social.sigsoft.org/users/yannicnoller/followers","following":"https://social.sigsoft.org/users/yannicnoller/following","followingCount":112,"icon":"https://social.sigsoft.org/system/accounts/avatars/110/682/091/943/008/121/original/de081ca3ee5d4725.jpeg","id":"7r809u6346n110c","inbox":"https://social.sigsoft.org/users/yannicnoller/inbox","iri":"https://social.sigsoft.org/users/yannicnoller","isLocal":false,"last_fetched":"2025-09-30 16:18:30.049Z","outbox":"https://social.sigsoft.org/users/yannicnoller/outbox","preferred_username":"yannicnoller","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzKzDESOU6wwLRQk8/oQF\npWHMglFJ2Lj5k+/DOWYy/7WHvWRv1TpYs7+QDpx/2hIwQ2pKitXh1LnQEKhbb5wU\nzS2VvJEi68PPoJK420H7xNLshzN6IOHnKBTBGz1bC1J0lrQgi3YxmiFgLuf12xeS\nwzV2da1rbnRZZIv2TWch8jF3m0i4UIRWj9r6wuXMZI57kTgOVJQqurB7r0i1KdP6\n6VSblPLY79AM6bbdnREfFCCzr1fQW2oIbU1yMjhuCxk7nX3cpY8h4LViACNusmvK\nvN2P4wup2Lvvcxxo2ojA4ZyXudg8/sT8wqov1hpIkc7zWVC2gLt0Wz+/djQBfK5o\nXQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-09 00:00:00.000Z","summary":"

CS Professor at Ruhr University Bochum (RUB)

","updated":"2025-09-30 16:18:30.050Z","user":"","username":"Yannic Noller"}],"page":1,"perPage":10,"totalItems":41,"totalPages":5}

Dr. Claire Le Goues

Following