{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-31 18:00:05.116Z","domain":"agda.club","followerCount":0,"followers":"https://agda.club/users/thechicken/followers","following":"https://agda.club/users/thechicken/following","followingCount":0,"icon":"https://agda.club/media/19db2a20-b6be-430e-b82a-1740bc7b477e/agda_no_transparency.png","id":"yt6utjfk35f9i7j","inbox":"https://agda.club/users/thechicken/inbox","iri":"https://agda.club/users/thechicken","isLocal":false,"last_fetched":"2025-12-31 18:00:05.116Z","outbox":"https://agda.club/users/thechicken/outbox","preferred_username":"thechicken","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxbp/MJm39B/B1TS2UID7\niefO8gET2KP1PH4BZSG9WtWGb2p/Rz/qeFVnDqAAuuAsqKLdKdpRjdgnfIeBQCoN\nfWzwA2JRiQbbwSWgxczy1RqJmAHUn/szayt36Lb/RMe8zUBO7QJ7URXOjIXMFRKN\nFQ//7vuw/X3V+9fCl+/340aDbTFIcuysVdH0yxTweu7wZQwgefiRV4we96ryneVb\n9/dKkk7FqQnKmDLcAj60VUIG4RKWnTIZOAlAnUmwcaiJDLmWHgdXDOVro6tJbWgq\nT6XkeL5iDlIWqxBBY40PTZ1PuRQn1BPQyIIl6P0uTgk+EaWLNR2VQmBvlTRyfhvA\nuQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":"I'm a chicken","updated":"2025-12-31 18:00:05.116Z","user":"","username":"The Chicken"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-31 14:46:19.966Z","domain":"agda.club","followerCount":0,"followers":"https://agda.club/users/johan/followers","following":"https://agda.club/users/johan/following","followingCount":0,"icon":"https://agda.club/media/e13aa3d0-b114-42b1-ad8c-aaa6caef6f2e/johan.png","id":"avxcd3ir1ge48ji","inbox":"https://agda.club/users/johan/inbox","iri":"https://agda.club/users/johan","isLocal":false,"last_fetched":"2025-12-31 18:00:05.142Z","outbox":"https://agda.club/users/johan/outbox","preferred_username":"johan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApSV8Xdnkhbt+txk/VTsK\n7tA0Qfb17ncT360/OOo8kHFUJ/3hzA8J4ZV3qD/McEjLKWRg7A2zzwplyK/CGogs\nFLDSpoEaTAxo86t/6OA3IaU64Ha5dCuH7Zf9+qGkhNQIUloJ++W88WSSAL/t/6dg\n9DnneHzypMF8bNNB+ViiQ85lnBMuiIi11kvXLKgKJM7bUwePCDyPu96prOFjeH7f\nwZ1e5WJpntfg+HhGHibLFQ19pgOmR5pWaqIkDA0ULr3Nw+Zh3yx4hess1/voZiQi\nPmEIQ/X4z6FTru4lbe0dL0JqYoex7Z4xLilGrgheLTvh15cmRygoN4ipTccN4i37\nCwIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":"","updated":"2025-12-31 18:00:05.142Z","user":"","username":"Johan Cockx"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-16 12:28:39.902Z","domain":"inductive.space","followerCount":402,"followers":"https://inductive.space/users/eisfunke/followers","following":"https://inductive.space/users/eisfunke/following","followingCount":424,"icon":"https://inductive.space/system/accounts/avatars/110/009/981/048/143/129/original/1a8aa6cb93370705.jpg","id":"1y9or77l1dswa77","inbox":"https://inductive.space/users/eisfunke/inbox","iri":"https://inductive.space/users/eisfunke","isLocal":false,"last_fetched":"2025-12-31 16:33:41.993Z","outbox":"https://inductive.space/users/eisfunke/outbox","preferred_username":"eisfunke","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAs/o2rAjJfXrCgjXJtJAS\n1S4GTlfvCV1Ai0x7UG3b/8/YaPb9J9FeMOTwm3HzeLJe37IIF7uawPHu0QvSc1Vg\nZ6kgWCc4YxYjTDHkQ/ZL4zDDGEU0DtL2qyUHaUq1zXwtf8KGnVGZLSMuRMnHHcFQ\nut5tTKnMkeDsIXPDyRCvzJ31agMD+bllYWnwlDJ+D6ddqlJ4vx7N024A+Tjk32xH\n8mtzT1Jo0OjF5bixVL12TuAIJNhvB0I8fAEhUsj58PtLlhz1uFHpjQbENcOtZNjz\nwtQOl2Kuw4d+V8ic/sOJGfgUNG+zjAO24LpO/W0yBD/Qhen8nA1kgIZd42aPllkr\n6QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-12 00:00:00.000Z","summary":"

Hi! I'm Nicolas, a software developer and computer scientist. I work with railway tech at @rrs.

The topics I'm currently nerding out about change on a daily basis! Here are some of my current and more persistent interests:

⚗️ programming languages, type systems, science communication

🖥️ self-hosting, Nix/Lix, free software

🛤️ urbanism, infrastructure, railways

⛰️ hiking, ice cream making, coffee, sewing, podcasts, ink & fountain pens

🏛️ politics, sociology

Trans rights are human rights! :neocat_heart:🏳️‍🌈

","updated":"2025-12-31 16:33:41.993Z","user":"","username":"Nicolas :eisfunke_logo:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-21 17:53:47.796Z","domain":"mathstodon.xyz","followerCount":122,"followers":"https://mathstodon.xyz/users/Nicolai_Kraus/followers","following":"https://mathstodon.xyz/users/Nicolai_Kraus/following","followingCount":51,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/964/742/805/989/905/original/01442f68f7992324.jpg","id":"kshijfx870go46n","inbox":"https://mathstodon.xyz/users/Nicolai_Kraus/inbox","iri":"https://mathstodon.xyz/users/Nicolai_Kraus","isLocal":false,"last_fetched":"2025-12-31 18:00:05.731Z","outbox":"https://mathstodon.xyz/users/Nicolai_Kraus/outbox","preferred_username":"Nicolai_Kraus","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmWJB148Yn1pCYIyERfo0\nFJjDJqJnO4RdGzBhAaL3cx9EwRIc2l+mYS384SYVaTbBd0rqvc2iCZECyoRzhTfM\nLMHxpUqODBPmwhy/LHMe/dlsZ9mg111NqIdXZhUklViL9gG2qCWrgbhGK14ehHsj\nrYV3OIVIJZdYSh+dlmC4itUMMif0iqM/nOkabzsIXHNWJowcm78n2QTuv6+GbQWP\nRrgci4GBFqxhF3a2rqpTLlsc2vbDJpYknIXwSo7g09bfcEajcpPLb3kGcRqDCxTC\nZWhDD+0fG9pWMSI1duHOc9MKiZ/0bOfamFRMfId3wZpZEHI9TbvJork6cUt51QQB\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-20 00:00:00.000Z","summary":"

I'm a professor of theoretical computer science at the University of Nottingham. I'm working in the area of dependent type theory (favourite proof assistant: Agda), especially homotopy type theory.

","updated":"2025-12-31 18:00:05.732Z","user":"","username":"Nicolai Kraus"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-26 03:56:56.937Z","domain":"mastodon.social","followerCount":508,"followers":"https://mastodon.social/users/rouh/followers","following":"https://mastodon.social/users/rouh/following","followingCount":2473,"icon":"https://files.mastodon.social/accounts/avatars/115/232/206/289/607/473/original/ff3220409d184d88.jpg","id":"e5a98d348cp70ez","inbox":"https://mastodon.social/users/rouh/inbox","iri":"https://mastodon.social/users/rouh","isLocal":false,"last_fetched":"2025-12-31 17:27:57.463Z","outbox":"https://mastodon.social/users/rouh/outbox","preferred_username":"rouh","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA16HuYeO0STRYs78UWGmZ\nIOXhD+qzPnPCJee7VxDhye62gqWUuSPiLx0w4bqdDwsuyNOclfIDZ/BjBVrdDZWJ\nY5pPFTAXBmfZQ78QEpM0FAmW1FP89A9O10AJR45h4QA3mbM0iGhvb2kJp8ZIvB69\ne/D9fRGWZVTnKllZDKSpSiFltdW4iHt0PDCm8ViUNBKlpNrN/8Z+sSUgXx9699nZ\nNpHm+Qo7HTeAZodL8KiDwg9BJ1SNX+IFOmGEkBle0zGeb6GtWQxvtsHspwB8u8ra\neSN2z2MTUGW9KHYZ5yrqFXDLCNEUA74Q5sZamVaxQspa3waetZv2RUdRFV/Fl5Y1\nZwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-09-19 00:00:00.000Z","summary":"

✨ Mai | From Gaza 🍉
💻 #Computer Technology Engineer
📍 Living in #Gaza
I’m supporting my family and 30 children in my camp — providing food, care, and hope under siege.
🤍 Seeking kindness
✊ Standing for dignity
🕊 Believing in #humanity
💕 Follow • Share • Support — every action matters
🔗 Help here:
https://chuffed.org/project/help-mai-and-the-gaza-camp-kids
💸 PayPal:
https://paypal.me/ShimaAzmi

#Gaza #GazaUnderAttack #FreePalestine #MutualAid #Humanity #Solidarity #SaveGaza #Hope
____
https://gaza-verified.org/people/@rouh@mastodon.social/

","updated":"2025-12-31 17:27:57.464Z","user":"","username":"Gaza_campkids🇵🇸"}],"page":1,"perPage":10,"totalItems":1064,"totalPages":107}

Jesper Agdakx 🔸

Following