{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 16:52:21.991Z","domain":"mastodon.acm.org","followerCount":35,"followers":"https://mastodon.acm.org/users/sigplanav/followers","following":"https://mastodon.acm.org/users/sigplanav/following","followingCount":6,"icon":"https://mastodon.acm.org/system/accounts/avatars/114/139/957/125/458/819/original/7252d3b52eb6225b.jpg","id":"f5q4o8f02jzn899","inbox":"https://mastodon.acm.org/users/sigplanav/inbox","iri":"https://mastodon.acm.org/users/sigplanav","isLocal":false,"last_fetched":"2025-08-02 11:50:59.623Z","outbox":"https://mastodon.acm.org/users/sigplanav/outbox","preferred_username":"sigplanav","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtn6IUOWujBZBRQlwnXAL\nfZyWhEOqNd9y+f6pP3WgDbza8x4wyNPtdEDh3DRoP/HFyVsg6tn6ggoRN9497TER\ncaKKTutQIpJLmMgEQHkx+Li1znbrc/KaLH50EbBqoE9zqCbdbTeYLfCQ3BZrKe41\nEVKGmsqDdJKYYa5OqPG4hgZ4HogJID9wrQadZmZevC4enLdyO1vNBxtAuqEFq5yS\nZQRy/yZ1HUg/KGZJy6b6XDYAOIntNXWIP8Cd4yKq0xkbrbc89zI7NKHXi5kuPWx0\nzykuEEXw6atY0wGKnJQlUikHSrnUuJOg6tAvHOUx0H3535h21JWyvYR1UunUceLs\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-10 00:00:00.000Z","summary":"

We are a volunteer-led team within SIGPLAN that provides audio, livestreaming, recording, remote participation and archiving for SIGPLAN conferences.

Every event we cover is available on YouTube.

","updated":"2025-08-02 11:50:59.624Z","user":"","username":"SIGPLAN AV"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 23:45:02.019Z","domain":"discuss.systems","followerCount":376,"followers":"https://discuss.systems/users/notypes/followers","following":"https://discuss.systems/users/notypes/following","followingCount":163,"icon":"https://fd.discuss.systems/accounts/avatars/109/642/349/484/678/324/original/ff1bc7826e140cb3.png","id":"hj660pj8837h52y","inbox":"https://discuss.systems/users/notypes/inbox","iri":"https://discuss.systems/users/notypes","isLocal":false,"last_fetched":"2025-08-02 11:50:59.761Z","outbox":"https://discuss.systems/users/notypes/outbox","preferred_username":"notypes","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAn00K8Iy5kq+5WbSWvv2H\nJysTWM44/Mu6kYU4NWW+LMJsJvwFYPoeWtTxgP44t1TbPOaLaO5jKQIjCAKixAZA\nObpTdPYQvkTH4CL9qVeFoLASZMBAvvWwJFkV060ti2FgbUhii8fPTp2eS8lrhnGy\nO8HXUHODsTvjpWgQGWLV/CFlfPhJrT4cMSrf39djJr3eVvSrOSIX7SiL7kBr35OR\nNmXrnhMr/WBgUJr93Kn+B5k2PTs5BUzEbeos+LJGTUlwYlCbq0pAkeTF/ObRup9A\nC45oNfgIw4ebDbVsTXFRkq6WsKtdnY5+PKl6K1J9c5JBmhfxoyQBsXusfXCbo4CP\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-06 00:00:00.000Z","summary":"

PhD Student @ Cornell | Programming Languages and Computer Architecture

","updated":"2025-08-02 11:50:59.762Z","user":"","username":"Rachit"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 18:56:44.074Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/avanhatt/followers","following":"https://discuss.systems/users/avanhatt/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/109/514/101/354/519/114/original/c3c1b31cd198fc51.png","id":"2y53n8jyg8oz835","inbox":"https://discuss.systems/users/avanhatt/inbox","iri":"https://discuss.systems/users/avanhatt","isLocal":false,"last_fetched":"2025-08-02 11:50:59.887Z","outbox":"https://discuss.systems/users/avanhatt/outbox","preferred_username":"avanhatt","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAs3i5+41KYMBsgwe9/xsQ\ncWQ25Gln0f5Y9JzEeHf2HTufNaFXy6LWc69NWKVG/nI0MpsjaWzjrC2DJnYnWKeN\nA86RitWjiTCbjbyFke8Sqn+iwRzETs21uMnz7FJtC0RWiQrsRX7fzqOIHxDkptEK\nfrJETk0BB7qCZIW1/5yNYLaIHJW2rNI9ahXX9hNoLlziNu5CZKJhxVXpKVVzSjcA\nKvLuFkXbMxt/mtyXH7jOvH4ab/EJhvg584vVKgkJQfEBZfE4kkdXzGa5766/h21A\nZM7CWzI8JLtI7s0+lMEOUhzOx9PMr9DftM1VOQ/x2YDahUgMHi5vERy4pShYe92P\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-14 00:00:00.000Z","summary":"

Assistant Professor @ Wellesley computer science. PhD from Cornell. Compilers, formal methods, systems programming languages. she/her.

","updated":"2025-08-02 11:50:59.887Z","user":"","username":"Alexa VanHattum"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:22:08.478Z","domain":"mathstodon.xyz","followerCount":672,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":731,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"he5yknq988zfstw","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2025-08-02 11:51:00.124Z","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-08-02 11:51:00.124Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:24:43.957Z","domain":"functional.cafe","followerCount":789,"followers":"https://functional.cafe/users/jer_gib/followers","following":"https://functional.cafe/users/jer_gib/following","followingCount":131,"icon":"https://files.functional.cafe/accounts/avatars/110/853/908/057/317/071/original/d2d2d25541c45944.jpg","id":"0e6f3ui10vhvz3t","inbox":"https://functional.cafe/users/jer_gib/inbox","iri":"https://functional.cafe/users/jer_gib","isLocal":false,"last_fetched":"2025-08-02 11:51:00.276Z","outbox":"https://functional.cafe/users/jer_gib/outbox","preferred_username":"jer_gib","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvevzTX5awHhGepuzfX/n\n6dUxD6mMQ9yFoXyF8LHa0iALWeBJ7eO3XIm7ozcW3zZp7CwvJTr/cOi9NoHMz5sl\nYWR/W+1ZAoQX4BP1u9Ll0q/teASGAcc45VR7rSCRsNhm1yibD7qEe/U+7brgGcIx\njmCRMtlsJIvD7kPFYmj4x0NxG+iji22QQYknhHCU6JQdDvwt0VR7sv/tqLzaX7Ca\nM0amVZ1TYwzYXOXdURtVEn2LpCekRxYV2rBDvkOalMOVBSobkNAPX6SLx82ErR5e\nRUqEBDY/5lN+aj63WO8DghRLSNyMctqmAp8RCarkbnX7RUCbO9J8U1kUEY7Pa6y2\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-08 00:00:00.000Z","summary":"

Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.

","updated":"2025-08-02 11:51:00.276Z","user":"","username":"Jeremy Gibbons"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:23:07.931Z","domain":"mastodon.acm.org","followerCount":231,"followers":"https://mastodon.acm.org/users/smarr/followers","following":"https://mastodon.acm.org/users/smarr/following","followingCount":118,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/893/988/670/663/248/original/670cd93f2237fe42.jpg","id":"0676ylfp30xh1gy","inbox":"https://mastodon.acm.org/users/smarr/inbox","iri":"https://mastodon.acm.org/users/smarr","isLocal":false,"last_fetched":"2025-08-02 11:51:00.714Z","outbox":"https://mastodon.acm.org/users/smarr/outbox","preferred_username":"smarr","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqXAGJ15DuIOPfggXuN8T\nipHiLXDvtnxV+L4vbB2SvNDodMPOQCbEN4M1ysjHksT4aX4RVfIKFIu10H/kYC1V\nyqZ2DeyCNOhcXnNiSiLrSBMPo3tee07j/N8FK5+UHiEcV4o3Of/jUN9E0Ms0WzTb\nd9xgmANIUPHyRh4aKYEbGDUdfnn53aQh5cZ1dhioQB6HKIOuEvwpmuH57CHGbZ4V\navkeE90PsPFNvFs/URpCs4ZCMjPlPaeFrzJKNsAtCyOLdHyyLre5/f10Tun3jWhb\nYe2l8mE658lUF0Q6KXvT4IocLXpOfbO5Bhg9dm2CElV/WItPcjkWh3pSXW3ilgs4\nZwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-15 00:00:00.000Z","summary":"

Researcher, Royal Society Industry Fellow, Associate Professor/Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.

","updated":"2025-08-02 11:51:00.714Z","user":"","username":"Stefan Marr"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 15:19:25.857Z","domain":"mastodon.social","followerCount":1035,"followers":"https://mastodon.social/users/cfbolz/followers","following":"https://mastodon.social/users/cfbolz/following","followingCount":1191,"icon":"https://files.mastodon.social/accounts/avatars/000/064/048/original/21e3195e88052ffd.jpg","id":"m889igi575tl5im","inbox":"https://mastodon.social/users/cfbolz/inbox","iri":"https://mastodon.social/users/cfbolz","isLocal":false,"last_fetched":"2025-08-02 11:51:00.792Z","outbox":"https://mastodon.social/users/cfbolz/outbox","preferred_username":"cfbolz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr/d7GI2gtshUWW1UEk7v\nugfM8QKbROTty24gajT6ebTeWLyPRdOO/05m/493vkNrt54a/Hxf77JwiFtXd04d\ngc8EC26BvTfPpfUKSUrdgNUt0+PZyG2FPRE+t80Hg9MAdgug2JBbClrmL9gb1FrM\nCKsp/vITnxcXhSx4z1Ajw/c5egGIHoLhj/1b1xPEMhIE53iyCbbHLKfDNJItrBPR\nMDkQf0YrMHsUPAkxhr+BtlyxygGDFI1gs/blRP9a4vtwGDN1V416JssSRBvaoW6R\n+XjMZIH6ZgDKpPU1n2oOSB+KKoOvu8oiRNF5DPqc4P2ijSoMyECq4DPSlLBqKq8b\nLwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-08 00:00:00.000Z","summary":"

PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Vegan. Love street art and art in public spaces, hiking, reading.
they/them

","updated":"2025-08-02 11:51:00.793Z","user":"","username":"CF Bolz-Tereick"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 22:36:21.391Z","domain":"discuss.systems","followerCount":7,"followers":"https://discuss.systems/users/zachs/followers","following":"https://discuss.systems/users/zachs/following","followingCount":19,"icon":"https://fd.discuss.systems/accounts/avatars/110/951/843/880/575/743/original/7cfeb789a40b5139.png","id":"u15ov966z6q6726","inbox":"https://discuss.systems/users/zachs/inbox","iri":"https://discuss.systems/users/zachs","isLocal":false,"last_fetched":"2025-08-02 11:51:00.914Z","outbox":"https://discuss.systems/users/zachs/outbox","preferred_username":"zachs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvTTY8YOwHciPL2nRpzbA\nCnVi7dXNicVr74dZr054f+Zot1nOCcEUE7Cb1t/bge62E1WNpgP23VBmI7c9An5T\nU8JpMOUimB+okLg1F0fBIUkS/WpDLI3gxz4e8TAB2zy9Jq2q7/ZWR3al4JgfXEV8\nsBdSQdzQ0Lep/bf5yDio3/8YOPx4VZr/ZKN67OGI/82M1/+X2L4HJnG043IRUMUA\nWYMDXaDjbPidDFvvV52H+DC3XDEjHxs2lUcT8v8mIlQomnn+SJBNCueQit60tot2\nTtYKEUtqPhnNpCKaeZG3Vg8LUV6cbwdcTcpXlOer3GwgQUugcHf74jDGey7Tdu1O\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-25 00:00:00.000Z","summary":"

(PL ⨯ Arch) researcher. Banjo picker.
https://www.zsisco.net

","updated":"2025-08-02 11:51:00.915Z","user":"","username":"Zach Sisco"}],"page":1,"perPage":10,"totalItems":687,"totalPages":69}

SIGPLAN

Following