{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-07 21:08:00.296Z","domain":"freeradical.zone","followerCount":162,"followers":"https://freeradical.zone/users/athas/followers","following":"https://freeradical.zone/users/athas/following","followingCount":98,"icon":"https://nfts.freeradical.zone/accounts/avatars/000/125/972/original/a21550877e4b5e69.png","id":"r7saaytxfsg9v5x","inbox":"https://freeradical.zone/users/athas/inbox","iri":"https://freeradical.zone/users/athas","isLocal":false,"last_fetched":"2026-04-19 12:14:26.472Z","outbox":"https://freeradical.zone/users/athas/outbox","preferred_username":"athas","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArk7OKfOsJW1fHSF6hwF2\nraVvArTluC0wgUpHa5NRZqkhF7o1jgjSdJK6WofziAl3PPm3XSBBpI8rLy7XSKjs\nPNWWqz8LIBOt2Cv5EGxIMt5Zf/35wDwvxnL7zrkeOQzB5Db7gQA/04lvXT6n94ve\n6bFuiaEieKpaSYMKIVsbMZsZDsmmmKgQILRTNak4Th/7UCDELQvSjdglAKmItUKm\n6iaQyk0x3sqff8CWni9g3ixi4ZRiEn+wwHqwrBzITKM2KtJp7aKN9JYVBMprvvZ9\n16p9UUdVrhAZeWLFKGN/EPBOGk62SuJg+AOBAnzg8rvmv85aO/+uny6KA76sWAAF\n+wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-07-13 00:00:00.000Z","summary":"

Hacker from Denmark. Not as cool as I'd like to be.

","updated":"2026-04-19 12:14:26.473Z","user":"","username":"Troels"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-08 18:54:29.547Z","domain":"mathstodon.xyz","followerCount":183,"followers":"https://mathstodon.xyz/users/HarrisonGrodin/followers","following":"https://mathstodon.xyz/users/HarrisonGrodin/following","followingCount":199,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/264/622/363/673/731/original/f1cb84f180df763f.jpg","id":"x3bp00l8nryz56j","inbox":"https://mathstodon.xyz/users/HarrisonGrodin/inbox","iri":"https://mathstodon.xyz/users/HarrisonGrodin","isLocal":false,"last_fetched":"2026-04-19 12:14:26.509Z","outbox":"https://mathstodon.xyz/users/HarrisonGrodin/outbox","preferred_username":"HarrisonGrodin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvblujHjZEWIgsP0RzGHP\nJf6nteF1WIhn5PpC0jIITqcN/VBbHg+3RR+7E4DZNLI/atCCjkY0STlVa7TAPCu8\nNkwcEZM0FGwrZA9dRsx9+j9NGV2mIP1LUDO3W9HxBJwu1R0jZ7vB9Js/D90w9ifz\nCi9qggN9Q4gwy+SNlmv+VP5TIaFo/S2D3h9N0ZdyShm2PCtnMNljchULpCTd2Gg8\nO87rUUN5ebiQ6oQsBOWLS8rf0/3DvjcCB7T7kXmRUNaSQQMsuDJrVB9HS4h+24+m\nuLobrc2CsAeaIbQrxnCkPanazHM0uir6/PG/KvXb2CD0MtKJqBeRm4+Vby8AMFs0\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory

","updated":"2026-04-19 12:14:26.513Z","user":"","username":"HarrisonGrodin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-07 00:30:41.486Z","domain":"fosstodon.org","followerCount":179,"followers":"https://fosstodon.org/users/anuytstt/followers","following":"https://fosstodon.org/users/anuytstt/following","followingCount":118,"icon":"","id":"9odrzh0lcn0sd6l","inbox":"https://fosstodon.org/users/anuytstt/inbox","iri":"https://fosstodon.org/users/anuytstt","isLocal":false,"last_fetched":"2026-04-19 11:20:01.914Z","outbox":"https://fosstodon.org/users/anuytstt/outbox","preferred_username":"anuytstt","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6Gpnpk7kLOAJIp0DhxkD\nOnKa96esVeiy6SfvbEv9yckccT6AU7sHWAtGBshERFlbsxihWHTaGZl/fdWDW5ny\nAMlPA5K9uoDQ6mEIr7iwGmyD1Z6yJPRLZMf58M5iVk4ZPinKad53jziBcJ/oz21Z\nKBF4Ub5A1w3grnCUztY5itHWLDO76nv9Y0K32FvCh7SRqD6tEdSZnz68L5/tsMzw\n/+LkEWhx4ut7vdctdnJM2XhkrPWAew39gIHSiJhlPM5tDGC/K/YToJV23b+tcTEF\nbpZ1PcPw3jgL8v8uBrKmvxnJekhbRWIzAmrA64MetO3ekeL1GXmf3q2PK7LKA3TZ\n4QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-08-29 00:00:00.000Z","summary":"

Postdoctoral researcher in type theory. This account is chiefly intended for academic purposes.

Mastodon has 1 boolean (followership) to regulate two things:
(1) Whether you see someone's posts in your feed,
(2) Whether you can see someone's followers-only posts.
Because of (2), I review follower requests. If you want to follow me and your profile contains little or no identifying information, please drop me a message (triple dot -> direct msg) to identify yourself, e.g. with some git account.

","updated":"2026-04-19 11:20:01.914Z","user":"","username":"Andreas Nuyts"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 18:56:01.896Z","domain":"lipn.info","followerCount":239,"followers":"https://lipn.info/users/mevenlennonbertrand/followers","following":"https://lipn.info/users/mevenlennonbertrand/following","followingCount":109,"icon":"https://lipn.info/system/accounts/avatars/112/315/579/950/728/222/original/8a153e0d174caac6.jpeg","id":"ylw49job59mnqaf","inbox":"https://lipn.info/users/mevenlennonbertrand/inbox","iri":"https://lipn.info/users/mevenlennonbertrand","isLocal":false,"last_fetched":"2026-04-19 10:56:45.230Z","outbox":"https://lipn.info/users/mevenlennonbertrand/outbox","preferred_username":"mevenlennonbertrand","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlgF0/w8VsRnfACR0mhY9\nfxAQ8LpjL/r8DtwC4L8LXsPp3jj3Mphz1dU23xPxcIY/Ob0j97dDKRW7keUc6urx\nYULRfonchTRGcmC/4paJWX9/6DA4ezKgw3Q5bwJzGkCRQLpe3zUvlX8xXPJd4qyl\nOrxUMCXdYC1i+mOikY38TjSNQlzkQMOg4dIbLrtF70FHcFujS199XWsB9t79DyGo\n5Xmb+eDaBGAzxGjka4C/cPorfuEIO00C+Wmty9Y0hJZtTx17lyw+cYkfayqoZWSJ\n9ZNPMyb/nppVcCRDspk0eR0LJ1YPpq/+9tprElIhNuNDkwlwFXIHGv0/HI11T3Tu\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-22 00:00:00.000Z","summary":"

Post-doc at INRIA/IRIF/Université Paris Cité.

I mostly try to convince proof assistants that they are doing reasonable things. Sometimes this involves studying type theory. Sometimes this means understanding what our implementations do. All in all, it's not too bad.

Profile banner (from the Leonard comic by Turk & de Groot):
- I wanted to serve science because it it my joy and instead of that, what am I doing?...
- Yes, what is he doing?
- I guess he's complaining!

","updated":"2026-04-19 10:56:45.230Z","user":"","username":"Meven Lennon-Bertrand"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 19:37:00.860Z","domain":"mastodon.social","followerCount":2471,"followers":"https://mastodon.social/users/pervognsen/followers","following":"https://mastodon.social/users/pervognsen/following","followingCount":359,"icon":"https://files.mastodon.social/accounts/avatars/000/523/512/original/f41d1d4bf379077f.png","id":"ns7o7981o97s15g","inbox":"https://mastodon.social/users/pervognsen/inbox","iri":"https://mastodon.social/users/pervognsen","isLocal":false,"last_fetched":"2026-04-19 11:57:20.693Z","outbox":"https://mastodon.social/users/pervognsen/outbox","preferred_username":"pervognsen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA088I6TgGFAm3F0ynPd+B\nOTi0lAVsnPs6S1h/WFSoPVG1WBfvc7ZyErQi98QdQeJYTquezcbgcSgcdIYUkYC2\nPLxUOGcepS7HCif9LkzU0Rpm4QCGhJBCzoOBzMA+EivZuJDXaNid/1j/Mrf/1PLK\nT+CZn1cKGUFTgHtn9hbeNyyr6XW2+nqMpc25eS+5hffsPl2tkYtX/FNdXatamYeu\nBubIA7SAfWuGb+hEvnYU+PrIaDwk9xYViCIxfBO8XlF5QmfrfOMGQi8uTNYYwN8v\nQhZ0ZRybgcKBrdavh9RVoHoiwpIqAxX14h6FOCvcXdRDqOVkXrui758tlZ3Mcc3d\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-09-11 00:00:00.000Z","summary":"

I like programming and understanding how stuff works. My background is in systems programming and game development.

","updated":"2026-04-19 11:57:20.693Z","user":"","username":"Per Vognsen"}],"page":1,"perPage":10,"totalItems":460,"totalPages":46}

AndrasKovacs

Following