{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-18 01:20:49.874Z","domain":"mathstodon.xyz","followerCount":712,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":773,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"6vk0pywhw8nxf11","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2025-12-13 13:58:38.477Z","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-12-13 13:58:38.478Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 23:38:38.646Z","domain":"chaos.social","followerCount":461,"followers":"https://chaos.social/users/TimPhSchaefers/followers","following":"https://chaos.social/users/TimPhSchaefers/following","followingCount":638,"icon":"https://assets.chaos.social/accounts/avatars/000/111/749/original/08c96e8c629051f0.jpg","id":"9dee6yc10bw2844","inbox":"https://chaos.social/users/TimPhSchaefers/inbox","iri":"https://chaos.social/users/TimPhSchaefers","isLocal":false,"last_fetched":"2025-12-13 13:58:38.507Z","outbox":"https://chaos.social/users/TimPhSchaefers/outbox","preferred_username":"TimPhSchaefers","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAobTOGTZA2kphQUtG5FHA\nmxZiRG2m+CVJDwE/T9YqMZXFX+UEen/Y5fl7+X2IMr7TXhH+YQ1iPHQq4qV09siz\nSJkFwz5HdcpIqEDMcPW3fY8EcD2FwqKNK1MAp5IsRCyf0G3yC8uZ2XB9DYseVV+9\nwPTBlY5kT5haNrU8nEolPZ1AFF527OSeyWc0jZQCRaZ7e55UcK87SHkH12EXuzxt\n0rqhq8UhS5X/+YjLJeX0YVcaghfQfkPvkwERiKsQbl6WAfqwenGFoVGancXEuWHE\nB9oFID2oJP+3h+Z5XEOZ57nSWzCz4birUL3VTs3jhTcsXQKkhO+1qlRQ+xnKY1UZ\nEQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-09-28 00:00:00.000Z","summary":"

Protecting What Matters in a Connected World
Mostly hacker. lecturer. speaker. writer. We find our path - by walking it.

","updated":"2025-12-13 13:58:38.507Z","user":"","username":"Tim"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-13 13:58:38.790Z","domain":"bsky.brid.gy","followerCount":0,"followers":"https://bsky.brid.gy/ap/did:plc:emhyi4kljodgqlusdsopgfgd/followers","following":"https://bsky.brid.gy/ap/did:plc:emhyi4kljodgqlusdsopgfgd/following","followingCount":0,"icon":"https://enoki.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:emhyi4kljodgqlusdsopgfgd&cid=bafkreiemukf2cqgnjkcnhvfdqrsscnmfo5eqrgx7nwzqwn372jr4n6zhrm","id":"hipebuq309tnd0o","inbox":"https://bsky.brid.gy/ap/did:plc:emhyi4kljodgqlusdsopgfgd/inbox","iri":"https://bsky.brid.gy/ap/did:plc:emhyi4kljodgqlusdsopgfgd","isLocal":false,"last_fetched":"2025-12-13 13:58:38.789Z","outbox":"https://bsky.brid.gy/ap/did:plc:emhyi4kljodgqlusdsopgfgd/outbox","preferred_username":"rmac.bsky.social","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxZm58Z05id0vhVPJqt7+\nYjtvYcdZKaduh80lVCtRbLrcxnePdNqEG3Lv8qRk9zV4ytPWCQnufDKHmBM9no2r\niWj6ufZtcbGyncrDY5huvxZnureIo3PTijQyVQumJ5dJ4hevlgQNqmpuuBlLGZEm\nCL+c+8FpruYPmNEZsUp1rYtUJVL//hCYVKFrhK2BpwCcl/5DwpDcxG/AxByVGYYK\nSxP0WmfkD3KROXTqKC0NdqK6UusUPIRVWn/kgEKiQVglL4V35r0yfAjATHmPVrjH\nh84zjcvrsdt4vv5oTP5lTIF6ihYJKMMVQQdUW34z8G0Ka+xlh/ewFON3W4FTPswJ\nzQIDAQAB\n-----END PUBLIC KEY-----","published":"","summary":"NYT tech reporter\nCo-author of Character Limit\n\nSignal: rmac.18\nryan.mac@nytimes.com\nrmac18@protonmail.com\n\npenguinrandomhouse.com/books/737290/c...\n\nlinktr.ee/ryan_mac_

🌉 bridged from 🦋 rmac.bsky.social, follow @bsky.brid.gy to interact","updated":"2025-12-13 13:58:38.790Z","user":"","username":"Ryan Mac 🙃"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-26 23:02:55.225Z","domain":"universites.social","followerCount":1326,"followers":"https://universites.social/users/fresseng/followers","following":"https://universites.social/users/fresseng/following","followingCount":1352,"icon":"https://universites.social/system/accounts/avatars/115/224/349/500/881/610/original/0dfebf2890a4c462.jpg","id":"9suvkfb3lvsjvj1","inbox":"https://universites.social/users/fresseng/inbox","iri":"https://universites.social/users/fresseng","isLocal":false,"last_fetched":"2025-12-13 13:08:54.360Z","outbox":"https://universites.social/users/fresseng/outbox","preferred_username":"fresseng","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsUJkZ4/4A0HPNn0zDS3L\nAQzwpf4BddAzO6vY65FcSCIwiIo23k2xuVsoAnZWB50BuJEpUiatSVUDnA1CZ0Hx\nn19TuKItF885P0OEYTcxa7rGvbKleziF8q404frvvYmRCXoqbdC8OHssyDaL6otL\ng8aaslGSqf2xSwcjGQm7GYy8ab+QWnD1CtJjQnWmP9FcDnSd73N8/I9RPI4HnaQL\nl+MZL4rJVvSS/qk3qSgoa4QjJTj/1imboJ28Wt1IsfS7H7/UScG6NS3SqrrRUdn6\nTjP7H/UcbhCt8BzqZs2lB6eW8rwRGJVXClFTM44fTzasetIfZeH8AGTVOsi9Abrp\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-09-18 00:00:00.000Z","summary":"

🇫🇷

Vice-Président de l'Université de Lorraine chargé du Numérique, des Données et de la Science Ouverte.

Je partage des informations sur ces sujets, pour libérer le numérique pour que la science reste un bien commun.

🇬🇧

Lorraine university vice president in charge of the digital, data and Open Science policies.

Tooting on these subjects to try to help science as a common good thrive on free digital spaces.

🇫🇷 Vélotaffeur 🚲

🇫🇷 Photographe amateur 📷

🇫🇷 Technopunk ringard ☠︎

","updated":"2025-12-13 13:08:54.360Z","user":"","username":"Nicolas Fressengeas"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 15:26:34.464Z","domain":"chaos.social","followerCount":1159,"followers":"https://chaos.social/users/christopherkunz/followers","following":"https://chaos.social/users/christopherkunz/following","followingCount":705,"icon":"https://assets.chaos.social/accounts/avatars/109/285/603/109/052/081/original/6edfda60fa1061a9.jpg","id":"64p766q11uuq9i7","inbox":"https://chaos.social/users/christopherkunz/inbox","iri":"https://chaos.social/users/christopherkunz","isLocal":false,"last_fetched":"2025-12-13 12:32:51.049Z","outbox":"https://chaos.social/users/christopherkunz/outbox","preferred_username":"christopherkunz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA29x4+OJRNU2jutBj0ft8\nyKIP/vdymr4tuEVaHjAa3zXqOR6eptHnobamSNdZ0dNuAGqrnYT14RlqI4XlNJwi\nnb0FEEKQ7YMuVptANslu7W/HRV3aBqJg2906JsKwas82ayqToAa1uaY6jPNrE3Dk\nCZcmRn0fGpUfYUIGHu50zQ/NZqMAxRHo5ngeZE4zMqSLm4WnAzBzvSH6TG5L2HH/\nJgTL9Kd0lBsSE+aWXaEbnALNBfejE7iZsbKh+hMzQffJtsBX8XpL4vCAeYONVXi0\nlRvNW2QUYX8666JCUr+11a152Cx2L88YjirlC6LsIyic5QSNCBwMS2vf3baI8pAq\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

Security (web, infra, app) nerd, slightly disillusioned VR enthusiast, author @heise Security
PGP fingerprint: C882 8ED1 7DD1 9011 C088 EA50 5CFA 2EEB 397A CAC1

","updated":"2025-12-13 12:32:51.050Z","user":"","username":"Dr. Christopher Kunz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 13:54:38.007Z","domain":"curia.social-network.europa.eu","followerCount":3832,"followers":"https://curia.social-network.europa.eu/users/Curia/followers","following":"https://curia.social-network.europa.eu/users/Curia/following","followingCount":6,"icon":"https://curia.social-network.europa.eu/system/accounts/avatars/112/615/207/699/264/198/original/896e960ef1260bef.jpg","id":"izj028890cq85yq","inbox":"https://curia.social-network.europa.eu/users/Curia/inbox","iri":"https://curia.social-network.europa.eu/users/Curia","isLocal":false,"last_fetched":"2025-10-06 05:59:55.779Z","outbox":"https://curia.social-network.europa.eu/users/Curia/outbox","preferred_username":"Curia","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuna8z4vBSg7JwGFnSAWe\ntUv+8cwq3+CV2U+gNNIOTg6XaCZ0snXMuE0YS6GMOVICJus3cd192rOyMe9cwy0g\nFqM4Ae1a1RFqOiuEBBbBNydPeJD4RW7uLgWFeS6k+CQVKrnCKAkKbFJ18eCW8Fxe\nFtgdl0xTR+SHVt+raOydC5tnBpcs6XItz+RWsDbRxQz5ZSEHZvZchtfueWifiOoB\nhjTpURAskAw9enXXjlT427ZFIY+zXJbuJMA/4tqnVUPpnkhyEc7N73eOICYr58Se\nIxL/mCvZs4RQgxIXClvxBHbvCJyhCTsNBuA26S7Biu+KMhKfbwfURjsGBoYO23D8\n8wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-06-14 00:00:00.000Z","summary":"

Official account of the Press Service of the Court of Justice of the European Union.

","updated":"2025-10-06 05:59:55.780Z","user":"","username":"Court of Justice of the EU"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-21 03:17:52.253Z","domain":"waag.social","followerCount":0,"followers":"https://waag.social/users/douwe/followers","following":"https://waag.social/users/douwe/following","followingCount":0,"icon":"https://waag.social/system/accounts/avatars/113/957/727/122/310/836/original/8b3faaebb3fb630d.gif","id":"zd2r08jxoei0g27","inbox":"https://waag.social/users/douwe/inbox","iri":"https://waag.social/users/douwe","isLocal":false,"last_fetched":"2025-09-29 14:48:12.968Z","outbox":"https://waag.social/users/douwe/outbox","preferred_username":"douwe","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA06hcUJjCS0NRF2YmG54O\n6mMvqcWvGe/otXc37caVOLRWsGjdvU+dYjylGt5ExHbHhoIYJ+XbagMibYwPgTsf\nj1T7jxGMPUEF/BZ2IoQfbK7vF7InvSw5DizZexU3YzD5k4QSf0UXmV3mLYaG0xkW\niOKvzbfebwksrtjAUQX77/Mu8/rIxARCxyru2Rhf5daluhZymRI6ZPDkbfGa7IPJ\nLcCLpVScrb00do4BBX4Ual9ohhpOYHMtaJgMZPNG4NeZa35gE3NZrE+uOh9cxXRd\nUT43oNyp/NH8WhU7pGINTmV+mTopVyz47fCXahOpMZvWWQrDfhR60oj6yoDJLTXw\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-02-06 00:00:00.000Z","summary":"

tech, filosofie, klimaat, amsterdam, ...

","updated":"2025-09-29 14:48:12.968Z","user":"","username":"Douwe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 09:04:52.023Z","domain":"mastodon.social","followerCount":4465,"followers":"https://mastodon.social/users/mellifluousbox/followers","following":"https://mastodon.social/users/mellifluousbox/following","followingCount":993,"icon":"https://files.mastodon.social/accounts/avatars/001/002/649/original/f4bea56f08379459.jpg","id":"8r58uc32b6y6csp","inbox":"https://mastodon.social/users/mellifluousbox/inbox","iri":"https://mastodon.social/users/mellifluousbox","isLocal":false,"last_fetched":"2025-12-13 13:58:39.279Z","outbox":"https://mastodon.social/users/mellifluousbox/outbox","preferred_username":"mellifluousbox","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxwsnLNyDDqkSW4g9o+Zb\nXXlRF4HxwzIQ0w/yme+j3+H4vdPudm+n05IHf7LzjwSnlfYYRTtDCmL/DRpDaM0v\nxFNvgZa6wWfUZ2xZ04iFpkCRCg8LIpkIZnSerdnDYJBc9wlLIg4h7ZNczBT95qTK\nDMNs1gkmtGDL3xnGWT49DZRkkgdGX/ATFrfKFCkbO6j5/kurJlewe+EfMbDF8V9b\nT7W6N6oUfgLnWCXc7WI9W3fkwycWh31y7eq5mLYevTkh7p47ZzE2vvyctYkVOKyH\nfpsjo3OyeunmXKCWN4bKLfu7lM1pB3Tk75ILEnQRc9bB5BdFBjGJlsc6NDE9ujpg\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-11-16 00:00:00.000Z","summary":"

Executive Director at @Mastodon

","updated":"2025-12-13 13:58:39.280Z","user":"","username":"Felix Hlatky"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-15 11:07:26.527Z","domain":"fosstodon.org","followerCount":169,"followers":"https://fosstodon.org/users/crichardson/followers","following":"https://fosstodon.org/users/crichardson/following","followingCount":37,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/292/574/499/864/439/original/858e66cbe7a99943.jpg","id":"qv1pmm9kf9hagh5","inbox":"https://fosstodon.org/users/crichardson/inbox","iri":"https://fosstodon.org/users/crichardson","isLocal":false,"last_fetched":"2025-12-13 13:58:39.314Z","outbox":"https://fosstodon.org/users/crichardson/outbox","preferred_username":"crichardson","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqlshTwJhQG5UQGk6wDSq\nFCouZ6SqUW/usKeVGMa+712xWN+h2mw7Bp6bRDsiozR3b6c67g/s4rB/qjixevCh\nQiFGlp6EwKLz7Qyv153K63oRmV7THrEk2VZ9DFtAYil2k+aFQqaGtqCjt7ewXcJu\nQ1VeP6hfFTH4OqPJC6wQ3DnbZMwaGletbqerBKZpuSoA5bzzoQrPtD0mbXCCwmnY\nFNujzm13Ak0S7+aWjMxqMYnQC7enoty0KwvCy2Y0EtosxNuiPw++Jvt6lVf/fwyT\nhfYbjC1ArqPeEOzmeTudZ+TD2JrPn9NxjEI7AnDGMY70Jbt1ZY2jgcKjpi4jRZ6B\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

Learn-Build-Assess: http://eventuate.io, transactional microservices. http://microservices.io patterns. Author of Microservices Patterns. Frameworks. Consulting

","updated":"2025-12-13 13:58:39.314Z","user":"","username":"Chris Richardson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 16:15:28.148Z","domain":"mastodon.social","followerCount":5095,"followers":"https://mastodon.social/users/Karlitschek/followers","following":"https://mastodon.social/users/Karlitschek/following","followingCount":1235,"icon":"https://files.mastodon.social/accounts/avatars/000/395/546/original/f443fd26ccd50a56.jpeg","id":"0o5o3712l00e5t7","inbox":"https://mastodon.social/users/Karlitschek/inbox","iri":"https://mastodon.social/users/Karlitschek","isLocal":false,"last_fetched":"2025-12-13 13:58:39.389Z","outbox":"https://mastodon.social/users/Karlitschek/outbox","preferred_username":"Karlitschek","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAre78KHZicPsoYRCsOXOm\nPJ0mSXHKHmtRcpN9watl7qDb3oEOaPHaCmoaVSso1iynCt0278pdzbFl4E1H5s3C\n7CBEGKybdHuxjOea+5COL7SUIQuPNa2nDOO7RC6vt7Cf4VbuL3bqMaDPTVAwo/v3\nh/Dt8V8H60yUNkaA6hD0LuCa2ELn79jVozLv2fR0DM9zwciUO5lfcSLXYAoBFC5p\nDCqIA7Q/PYeH5SaWIiI5Cg9Bi8JmsA8FOMUIQHkNRlgupKQ+NWxg7orMSeND8kzf\nZpb5jqM584OwUSOOAIot/EeZBnsFdUFaGS9wunZw5iKo6do5qHMwZrS1bZ+2AvLt\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-07-24 00:00:00.000Z","summary":"

Founder of Nextcloud, founder of ownCloud, Free Software Developer, former KDE e.V. board member, photographer and founder of openDesktop .org

","updated":"2025-12-13 13:58:39.389Z","user":"","username":"Frank Karlitschek"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-11 23:35:57.327Z","domain":"fosstodon.org","followerCount":6408,"followers":"https://fosstodon.org/users/Gina/followers","following":"https://fosstodon.org/users/Gina/following","followingCount":3201,"icon":"https://cdn.fosstodon.org/accounts/avatars/000/110/088/original/4da529e121b6a01d.png","id":"s2f2ao58ezqk1s1","inbox":"https://fosstodon.org/users/Gina/inbox","iri":"https://fosstodon.org/users/Gina","isLocal":false,"last_fetched":"2025-12-13 13:58:39.423Z","outbox":"https://fosstodon.org/users/Gina/outbox","preferred_username":"Gina","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApdgTClOrKSv/HXSYT7pp\nrNe6lIpmJvRObyUy3hTGClt+o9IXXPSyXsgzycCSzHc7PPWTycyGjPNkGHTgSaQ/\n71dkWEcdVhng8geNXixW+jG0BGvky/QDY2xNt9GE2BohvSVuhVDYLezk13KCjbp9\nyPOeJlC4oJN5Dj7OZtnCCNVaEHpYIDSIVgOxo5dq/Y85SGZuN9TUFY4tQUmX2pU4\n0KZZ9iMJt2ZwRRi7spwL/e+SW6L0pKtztXdiaIm+wL1fWXNewVH0bkVQBJueX/Py\nGyd9TCOL1kYsgZsOLMU4lmqnvzO0CtHrXuxjjjXG8yFnlFBnrWWedDk8e94QM8Ab\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-03-26 00:00:00.000Z","summary":"

One of Fosstodon's admins. Staff of Pookie and Wessie. She/her. 🏳️‍🌈&🏳️‍⚧️ ally.

","updated":"2025-12-13 13:58:39.424Z","user":"","username":"Gina"}],"page":1,"perPage":10,"totalItems":925,"totalPages":93}

Arie van Deursen

Following