{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-24 15:48:10.373Z","domain":"social.wub.site","followerCount":209,"followers":"https://social.wub.site/users/david/followers","following":"https://social.wub.site/users/david/following","followingCount":173,"icon":"https://files.socialwub.site/accounts/avatars/109/543/987/502/527/421/original/e74e14a4809540ab.png","id":"5n958u1794at13n","inbox":"https://social.wub.site/users/david/inbox","iri":"https://social.wub.site/users/david","isLocal":false,"last_fetched":"2025-12-21 14:28:37.617Z","outbox":"https://social.wub.site/users/david/outbox","preferred_username":"david","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq3LgnQ8DtQRBBIBwP4xT\nhCcVQr5EVdOeRRdWsi8hNP1JZ0v2w20e3kIjcjMfokms98xXkXmp91OPc3BbIyYu\nK25ynJyWDJZfLykQP6FFTKOlAKvm6kDU8mP/ZUC+8HUdmAFL2ISndp6thZYNMr4A\nF7ruyxXsv57SuYuL/bN67JkDLnl/FgrIE2oyPZE2HPO/Fwt5Z3Q0VUJk4FSzEuq4\nO4HnLQY82EBbqx7z+TfzgeZ4bWjtM8cC2jsqNFny6TpaGRr/ZCQ3e8dFqiX82gVy\n40jxXZWF7ypQJvxTPAql8XX4gIb6H140nXQIMKsGYZxaEGIdm3c5G9iq354kw8Ku\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-20 00:00:00.000Z","summary":"

Pittsburgh, PA, USA

• Formalizing math problems in Lean: https://dwrensha.github.io/compfiles/
• Defining every word as an acronym: https://acronymy.net/
• Maintaining capnproto-rust: https://github.com/capnproto/capnproto-rust

","updated":"2025-12-21 14:28:37.617Z","user":"","username":"David Renshaw"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-04 14:29:30.268Z","domain":"mastodon.acm.org","followerCount":927,"followers":"https://mastodon.acm.org/users/avandeursen/followers","following":"https://mastodon.acm.org/users/avandeursen/following","followingCount":830,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/911/595/358/965/459/original/90da81bd64913964.jpg","id":"wu3v9u85t574qgh","inbox":"https://mastodon.acm.org/users/avandeursen/inbox","iri":"https://mastodon.acm.org/users/avandeursen","isLocal":false,"last_fetched":"2025-12-21 14:45:55.105Z","outbox":"https://mastodon.acm.org/users/avandeursen/outbox","preferred_username":"avandeursen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuiyUOZuCFzufiW4wueiZ\n6BmWHSGTiCFtO0FwpWUZbDFLMXXUxg5LKCnAn3sqfTabR79ECuYN8tWKFP/qGNJv\n7YLf40fGy2XvB8KFNo1hXBjQqkh3YNh2zUQssj02Zf4bXzU6e/sL5kmdnQuSL5sj\n/iiDE2EAf/gELTyR5iepGWi/lXGJnD5i8S/uL/YXpG9fHWPN5/c6PRuDB4ZKKwMK\n/j7AOHT/dgwphqx+G9e37aR8aWLGZRZKyHtJo+3gwQV382XOU78uurI9IusUXKSf\nlLR/S20ax5Ve1tt/8Nfne5pk0g/j5scKm3TLL65DT/935X0G+kduAaL5Yap6ZRK3\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-18 00:00:00.000Z","summary":"

Professor in software engineering at TU Delft, The Netherlands. Software testing, software architecture, developer experience, open source, fintech, digitalization, artificial intelligence. Member Advisory Council on IT Assessment (AcICT) of the Dutch government.  Member Advisory Board ING Bank Netherlands. Opinions are my own. Boost ≠ endorsement. He/him.

","updated":"2025-12-21 14:45:55.105Z","user":"","username":"Arie van Deursen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-22 03:40:17.490Z","domain":"fnordon.de","followerCount":267,"followers":"https://fnordon.de/users/transitionalaspect/followers","following":"https://fnordon.de/users/transitionalaspect/following","followingCount":262,"icon":"https://media.fnordon.de/accounts/avatars/109/264/671/813/463/301/original/e589023c614cbb36.jpeg","id":"19pvsus1todhlam","inbox":"https://fnordon.de/users/transitionalaspect/inbox","iri":"https://fnordon.de/users/transitionalaspect","isLocal":false,"last_fetched":"2025-12-21 14:45:55.163Z","outbox":"https://fnordon.de/users/transitionalaspect/outbox","preferred_username":"transitionalaspect","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwMkTEQiUhjf0tfci01Iy\nGmH2ErmGMqUAq5dVNeg5UbIhEkbtkb63loO3Qg8NMUFPtUlbPWZGQKk/7ljzlgs8\nhm2jIV0Ls2Qyq+UiGJGo7vuyeJSx1hSMu/Vbb3iuwH0eElGkRucQRf4NeF1Sd1ai\nx1nXn4+6m/r32BC7eFtBL52Mg4e2Ish3x7YQp6Y4XMVvxe4m6HytHYfXhGEyv8xr\n+zWQC95q0/bxmRnCFAul9GFMl/tQtLIq40H6W7iG+k0QDtqBMZ8Q2/IFAXxFIYA4\nIU9FvqGnA700aQtK0wWLkXGrirt4iaRwqtQhYj6lHAcKzU5e9aJybdez4N0tKBa8\n7wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

I read the dictionary.
#Linguist at the University of Saskatchewan. Very fond of #cake, #cats, #biking to work, #gardening, and #hiking. And #bread.

","updated":"2025-12-21 14:45:55.163Z","user":"","username":"Olga Lovick (she/her)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-21 03:31:38.498Z","domain":"discuss.systems","followerCount":110,"followers":"https://discuss.systems/users/miado/followers","following":"https://discuss.systems/users/miado/following","followingCount":100,"icon":"https://fd.discuss.systems/accounts/avatars/113/839/588/330/781/313/original/afa65183947972a3.png","id":"u8d6ivhgba55jsw","inbox":"https://discuss.systems/users/miado/inbox","iri":"https://discuss.systems/users/miado","isLocal":false,"last_fetched":"2025-12-21 14:45:55.525Z","outbox":"https://discuss.systems/users/miado/outbox","preferred_username":"miado","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApXvTsE5DhxsfCAGfgnW1\nNRqflck9rFnfBFEQ/PZx9Eyx/uPDsRDHvQpp0yKH0b9VPnzFUhQl2V7qNjaXc/gd\nKrWVlS3JrSy64Viff9nRLFr75ZEbSb/7aFz38cI45YG6QJx8MH+RTYeXYC6CjEYY\nASz5oDsxQ32ZgNb8KyPIopbcZ5SvQbzxwZ28pbByV1xWpv3fbZ8UzFNfpekww3cb\nbFTYnT4FIkXjBx/gPq356EvEBn6ExhwBEYdjWS+lcU5B7VnRVRVFih12tr53TtuC\nuB7ON8ZV4ING+sixzcZY+uOFtMD0ObaYhhuawRHjlhAueBEsjyXKsxLFtComPtE7\ngwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-16 00:00:00.000Z","summary":"

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home | mother of chatons 😺😼
PhD at Princeton doing PL stuff for Hardware
MSc CS ETHZ | BSc CS EPFL

","updated":"2025-12-21 14:45:55.526Z","user":"","username":"amelia"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-18 11:13:19.155Z","domain":"mathstodon.xyz","followerCount":425,"followers":"https://mathstodon.xyz/ap/users/115553341774279659/followers","following":"https://mathstodon.xyz/ap/users/115553341774279659/following","followingCount":54,"icon":"","id":"2s6qg0oveouyk0t","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2025-12-21 14:45:55.550Z","outbox":"https://mathstodon.xyz/ap/users/115553341774279659/outbox","preferred_username":"AndrasKovacs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxKQ61hXO+7JT/kIz03Cu\ntf0HiGsvBUsGXoRLe1UrrbHvmYl1GeLe0oke5XbmzAL7KRg1SE02+ccHqBGL5zkQ\nzBriPrmyyBRlvsSMq5sV519hYd1lKhpYHexSzv3y1fyWXGMPEyA3qGb+ax8GtGCf\nWcaS8eOGv/EO5oXOC/O0mStTxBr2uYvoNPNvNG9m0tV8xEz9pLSx+q0C+/7BxmFj\nfcd/uf14ldXttVBS6hdKdqB/1OfOLLtaaTgPZjHFC35PFEis0QwW9G2VolbzuzbS\n/k0qmO3PsxN7hUmTSSIj+Hr7MBSA1pOYFjA369GBio6kQvbYRdJ0dt5vGtISxA+0\n+wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-11-15 00:00:00.000Z","summary":"

https://andraskovacs.github.io/

","updated":"2025-12-21 14:45:55.550Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-09 15:24:48.764Z","domain":"mastodon.social","followerCount":2030,"followers":"https://mastodon.social/users/raventhesciencemaven/followers","following":"https://mastodon.social/users/raventhesciencemaven/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/111/275/245/527/972/542/original/db86c29b8ec1fc92.png","id":"7bftc6cdrgjlvy6","inbox":"https://mastodon.social/users/raventhesciencemaven/inbox","iri":"https://mastodon.social/users/raventhesciencemaven","isLocal":false,"last_fetched":"2025-12-21 14:45:56.044Z","outbox":"https://mastodon.social/users/raventhesciencemaven/outbox","preferred_username":"raventhesciencemaven","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjXleWBo5bdftCr+8URRW\nOnd9JBcSTUQ5KyRVAHGcQrr8ZaKqepf7zecrlw3fDxLUxUHFTklnhtv2sdEodaii\n6dsHS6obSd3HHGyi2uxMvcleNg2qjBr2APaui1B2OKtm99dOsURXADmeEKfcNwMS\nEWae/cYwhO10Dj2vn2IXTJtqfHqr7LU1fEq1BbehNxssfqQM7eLW/jkPT7hi/rJD\nRvp4augcBNHeSSSZy8eKrx8B9MjPfhuFmRVlSSliMpRk0DCcfrtj1q+Jsly5O4dq\nKIlcJjz4boa/rUPKTUVKGWZGgisPoWdbUi+ESWzsM9DCJrMUxmnx1Dc4iFnIT/LT\n5wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-21 00:00:00.000Z","summary":"","updated":"2025-12-21 14:45:56.044Z","user":"","username":"Dr. Raven the Science Maven"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-21 14:45:56.070Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/m4rk1x/followers","following":"https://mathstodon.xyz/users/m4rk1x/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/497/029/518/714/784/original/a17b4b9905f12388.jpeg","id":"ue41wjum2tha09o","inbox":"https://mathstodon.xyz/users/m4rk1x/inbox","iri":"https://mathstodon.xyz/users/m4rk1x","isLocal":false,"last_fetched":"2025-12-21 14:45:56.070Z","outbox":"https://mathstodon.xyz/users/m4rk1x/outbox","preferred_username":"m4rk1x","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx6GNwpBW9dWPq0xgDIuc\nBKvejU3hI8H8Yy0ebgJjkodBwzXcqR9HSl99z/ON0WR0usdDd5uWiMwlD0Ay1xnt\nYhKwWi6uKlJvFb2NzzgzFnqC/V7OoT4SdQJwtOFPmf7uFfq25a0NqCLCz/uA1WY1\nHKZBRpNMxzkRSHn4q6LkyaaoKkL9OjXmQ2c7XSAD8/1ba2GjDK9KXw9xb7p24jE3\nkt4oVZLntqKTawUaAammLMLsraIgL8PFuK17eiGtAxU0WMX6HFQY0ryQqkDYUBC/\nyZvgz8P+1de7oT665veqACoJ+cditAKzNkM7PjaEdP0Q6uacmCy0YPMzCu7Mmzuq\nNwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-06-06 00:00:00.000Z","summary":"

Category Theory, Semantics and Type Theory.

","updated":"2025-12-21 14:45:56.070Z","user":"","username":"Marco Paviotti"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-21 14:45:56.123Z","domain":"social.edu.nl","followerCount":0,"followers":"https://social.edu.nl/users/jaror/followers","following":"https://social.edu.nl/users/jaror/following","followingCount":0,"icon":"https://objectstore.surf.nl/mastodon/accounts/avatars/109/926/271/567/624/730/original/06debad423ab1039.png","id":"lkt3errr2vzt14e","inbox":"https://social.edu.nl/users/jaror/inbox","iri":"https://social.edu.nl/users/jaror","isLocal":false,"last_fetched":"2025-12-21 14:45:56.123Z","outbox":"https://social.edu.nl/users/jaror/outbox","preferred_username":"jaror","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvwAP9wwEJ2Bol4ATUIf2\nxzxESB/yicmz8ESoEMYmAUUyerodYzCMA6krudUwG3mBT3HpPtLnlsGZ+tKMVfwE\nTyAK18O1/+gWghz0q1ASFPRLMEOMAQ4xt0M8F97tlAJZsIHzmRfU3WOABMmOL2gb\nnYSDuCGLMDzsj0XdcyP6Rb+2rwOZ17qiZ0Uq0Mi+V0m/AH2i+Ur4dS0L9NjQzM+o\nBk6dHmNVoHvCjaNAm7g6mjNABQMhohEQ49ORE7rxsSxTfIU1/jvIVRFH1J0WdsFS\nsZ6vzr9sl4SWqOVdAoqUPLEUzcpCchoZR+RW2qrzKIWpMF/JMnOFSm65AeCnztyV\nqQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-25 00:00:00.000Z","summary":"

PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in #Agda.

I'm also a #Haskell enthusiast, #GHC contributor, and a member of the GHC Steering Committee and the Core Libraries Committee.

Other than that I'd like to play some #folk guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 #lightverse.

","updated":"2025-12-21 14:45:56.123Z","user":"","username":"Jaro Reinders"}],"page":1,"perPage":10,"totalItems":713,"totalPages":72}

🇨🇦 Joey Eremondi

Following