{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-19 08:31:13.255Z","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":"0e03elox38fbrrs","inbox":"https://social.wub.site/users/david/inbox","iri":"https://social.wub.site/users/david","isLocal":false,"last_fetched":"2026-01-04 16:50:26.294Z","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":"2026-01-04 16:50:26.294Z","user":"","username":"David Renshaw"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-09 01:46:32.123Z","domain":"mastodon.acm.org","followerCount":928,"followers":"https://mastodon.acm.org/users/avandeursen/followers","following":"https://mastodon.acm.org/users/avandeursen/following","followingCount":827,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/911/595/358/965/459/original/90da81bd64913964.jpg","id":"c2xcn4ijffxavgz","inbox":"https://mastodon.acm.org/users/avandeursen/inbox","iri":"https://mastodon.acm.org/users/avandeursen","isLocal":false,"last_fetched":"2026-01-04 16:58:42.598Z","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":"2026-01-04 16:58:42.598Z","user":"","username":"Arie van Deursen 🇪🇺🇳🇱"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-19 15:25:24.191Z","domain":"fnordon.de","followerCount":272,"followers":"https://fnordon.de/users/transitionalaspect/followers","following":"https://fnordon.de/users/transitionalaspect/following","followingCount":264,"icon":"https://media.fnordon.de/accounts/avatars/109/264/671/813/463/301/original/e589023c614cbb36.jpeg","id":"gqqpc2imr8yldg5","inbox":"https://fnordon.de/users/transitionalaspect/inbox","iri":"https://fnordon.de/users/transitionalaspect","isLocal":false,"last_fetched":"2026-01-04 16:58:42.654Z","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":"2026-01-04 16:58:42.654Z","user":"","username":"Olga Lovick (she/her)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-24 06:18:06.544Z","domain":"discuss.systems","followerCount":110,"followers":"https://discuss.systems/users/miado/followers","following":"https://discuss.systems/users/miado/following","followingCount":102,"icon":"https://fd.discuss.systems/accounts/avatars/113/839/588/330/781/313/original/afa65183947972a3.png","id":"tfdeingapfu9xgn","inbox":"https://discuss.systems/users/miado/inbox","iri":"https://discuss.systems/users/miado","isLocal":false,"last_fetched":"2026-01-04 16:58:43.158Z","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":"2026-01-04 16:58:43.158Z","user":"","username":"amelia"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-08 13:12:43.987Z","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":"510rpagpmsb25xa","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2026-01-04 16:58:43.203Z","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":"2026-01-04 16:58:43.203Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-13 19:16:59.683Z","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":"e0su53tmfdx2inv","inbox":"https://mastodon.social/users/raventhesciencemaven/inbox","iri":"https://mastodon.social/users/raventhesciencemaven","isLocal":false,"last_fetched":"2026-01-04 16:55:57.391Z","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":"2026-01-04 16:55:57.391Z","user":"","username":"Dr. Raven the Science Maven"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-04 11:11:06.879Z","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":"ja4hek3jxbl01va","inbox":"https://mathstodon.xyz/users/m4rk1x/inbox","iri":"https://mathstodon.xyz/users/m4rk1x","isLocal":false,"last_fetched":"2026-01-04 16:58:43.916Z","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":"2026-01-04 16:58:43.916Z","user":"","username":"Marco Paviotti"}],"page":1,"perPage":10,"totalItems":716,"totalPages":72}

🇨🇦 Joey Eremondi

Following