{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 17:53:25.124Z","domain":"aus.social","followerCount":55,"followers":"https://aus.social/ap/users/115705344509090629/followers","following":"https://aus.social/ap/users/115705344509090629/following","followingCount":61,"icon":"https://mediacdn.aus.social/accounts/avatars/115/705/344/509/090/629/original/6e3f2a2968047a86.png","id":"nvj70skjha0xjfx","inbox":"https://aus.social/ap/users/115705344509090629/inbox","iri":"https://aus.social/ap/users/115705344509090629","isLocal":false,"last_fetched":"2026-07-09 12:56:36.017Z","outbox":"https://aus.social/ap/users/115705344509090629/outbox","preferred_username":"megadec","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAn6HDQuQhAMgy1BgO2M3D\nMxJPHyQXEMAaglzgtVzL0FGRiUShxMn/hbCr+KD6HnbS0pIDGLzYnniy1J2vUan4\n3JS8WXfFOMK9nknISRKVQlP+pSXAAK9sRzoUidg96MdVdTNSvduEcXgq49/RCLrU\n6X5HHR28hQ6MHBaeOfHJPcXeUp2qzQ+25Lp2nOgjVtN4414GQ09VzaSfzwONVbCP\nmKdow80z9ImINoGjWK2kzlL+wZMtzwtmgq7RDpfLtQVs+J6n4+LL2t9qjJ2LJe9I\nJNxvXzWagIFfbBDZ2R0DwmFpUzc5pNfoG4kP4wGEcpWW/gd1M+3KuuyawLAfgM90\n3QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-12-12 00:00:00.000Z","summary":"

unified fediverse presence, a.k.a. riv / robs. I like sci-fi and adventure shows, books and games, and I've dabbled in traditional and digital fantasy creature art. at work I'm a formal methods person who works on os verification

💑 @leoadec

the header pic shows the size distortion of countries by the mercator projection. the profile pic is a watercolour badge by mamath of a bespectacled island fox person holding books

","updated":"2026-07-09 12:56:36.018Z","user":"","username":"meg roberta 🏳️‍⚧️:Flag_Enby:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-27 14:41:22.873Z","domain":"freeradical.zone","followerCount":94,"followers":"https://freeradical.zone/users/rcarback/followers","following":"https://freeradical.zone/users/rcarback/following","followingCount":176,"icon":"https://nfts.freeradical.zone/accounts/avatars/000/065/319/original/05889d7bc3bd8f89.png","id":"6bywygyft0nbrv7","inbox":"https://freeradical.zone/users/rcarback/inbox","iri":"https://freeradical.zone/users/rcarback","isLocal":false,"last_fetched":"2026-07-09 12:56:36.733Z","outbox":"https://freeradical.zone/users/rcarback/outbox","preferred_username":"rcarback","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAukkTCpYeas4vf5O/MszJ\nBVbG2PMilwyma6Jws9aHSeiRHJC6rOCjMRK3TjC9IIEEBlUMnx3L2W/zBELai68Z\nKXvj3zmFxzAKRc5DS7RdIB1AWL2tG8R/J7uY3rOlWLyD093TIBXqfVEJrTMiVvzK\nXMu1V+X/dBNMXi9ZUkIkNdSO8m89EY1wj4IeTDKndfmNhMJey6nCKGcOmCMCqwr/\nLTxMp/Io1XCX15bUSmHqN49wUR1Qqxxl2tvQ3w6gljL4s3mk6KnXVFJctVINkKLR\n+iej7HC1dMvnuwbR05pSCLUjvHixOeIdgX9nfdvGvWtLNv53nJ2rJqPS0oET6WVN\nSwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-30 00:00:00.000Z","summary":"

Cryptographer

co-founder https://quip.network/
co-founder https://xx.network/

Post-quantum and privacy preserving crypto and cryptographically secured voting & governance systems.

https://carback.us/rick

","updated":"2026-07-09 12:56:36.733Z","user":"","username":"Rick Carback"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-27 14:41:23.115Z","domain":"mathstodon.xyz","followerCount":17,"followers":"https://mathstodon.xyz/users/massin/followers","following":"https://mathstodon.xyz/users/massin/following","followingCount":125,"icon":"","id":"gu8vd2h0lr2clou","inbox":"https://mathstodon.xyz/users/massin/inbox","iri":"https://mathstodon.xyz/users/massin","isLocal":false,"last_fetched":"2026-07-09 12:56:36.775Z","outbox":"https://mathstodon.xyz/users/massin/outbox","preferred_username":"massin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt0d9QHHcgK3VklRwDu3r\nQ3vfi4dOVkX7w0xq95B2rLTBvVg6r//sJP2XkALqdGOXW8Jt54If2ahZHWRlDHlg\nEUu+fASa+orGgUp9l9sXeeQuAZLpt77UgCdiL7mlFt3mh+XMMvdLL/36KDFTLoNk\nVGm3S0bUEoD3gwRgrrgrxMX94HLoGQ7JiC3kRSpvRH77NhDQFJ/NFFw2SJtNBfMj\nDjzznHyu234ufXjzAlfJthZZfTkIdADJCLAtXvb8biyf4JgoB+ceoGkMlRulxpim\nTF78liuRDEnpv3C9mRf91ZXKWk0XpJqt3Tau7FTCy/+y1nGvKe/9tCKulbZiyr9F\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"","updated":"2026-07-09 12:56:36.776Z","user":"","username":"massin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-10 04:48:21.560Z","domain":"mathstodon.xyz","followerCount":14,"followers":"https://mathstodon.xyz/users/wendigotypes/followers","following":"https://mathstodon.xyz/users/wendigotypes/following","followingCount":54,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/960/044/338/323/202/original/4f4c47c759dac5f2.jpg","id":"dg5k8peks1af3ji","inbox":"https://mathstodon.xyz/users/wendigotypes/inbox","iri":"https://mathstodon.xyz/users/wendigotypes","isLocal":false,"last_fetched":"2026-07-09 12:56:36.818Z","outbox":"https://mathstodon.xyz/users/wendigotypes/outbox","preferred_username":"wendigotypes","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoEuijNl2xXSjWTyCSbtY\nug+yqR07i7AkWZdt27hpnkt6xueT8PJhip4ZiS9DVuup86od2JJeBIXh1c2tVv8E\nWiCxasKFKxa9hDrVDtwQ7kS1RbUuZ/cPVbJw+Delog8qF2WfYJm5O5jto+GseBa/\n6VBmD/uyaj5j/nf97e7m92GewJfMZ/KQtPPKit6OZ5z4oD3xbP+kIggSdm+D3Crb\n8tEpxYEco3lIKZPTAI3O8tPKGIne3p9bqk9B798vryMu99QcvXVENYoMnTjefZLL\ngEX9neD8mTY3Lvd+5KnKIFyuealu+8oGw9wk28bHunFE4uDBVnEMspChHiXfK0w2\nHwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-02-07 00:00:00.000Z","summary":"

theoretical computer sorcery and theorem potions.

","updated":"2026-07-09 12:56:36.819Z","user":"","username":"elisabeth lemma ☔"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 06:05:40.954Z","domain":"social.kit.edu","followerCount":374,"followers":"https://social.kit.edu/users/KITInformatik/followers","following":"https://social.kit.edu/users/KITInformatik/following","followingCount":67,"icon":"https://files.social.scc.kit.edu/accounts/avatars/114/573/592/805/518/609/original/7dc165c6c8f97309.png","id":"9wyugla6co3y8v6","inbox":"https://social.kit.edu/users/KITInformatik/inbox","iri":"https://social.kit.edu/users/KITInformatik","isLocal":false,"last_fetched":"2026-07-09 12:56:36.902Z","outbox":"https://social.kit.edu/users/KITInformatik/outbox","preferred_username":"KITInformatik","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwAbb5uBHyrzC8Kt8Xa3m\n4bM1MZn4joej/MtGA9I8kJz/892inZ7NkEaaPzTFKCtt8WR/AkLwFOGD8EXZoqCM\n+bpM8VGt/vqz8rXN9xhSfqDmAKnch4BLM8u/WdxGTI/RwZPJ3O6eR8lWHJLHaWJo\nZxzimjjrcLE/3je+VMcWxZYxzoR6QVTZnUsbJNwjfdPKUHRMmuIoRpbCs/KqzAGV\niNqz7+Zrqa8491krWV5lsqr/+H15PW6Sy6HhVOYbBdVORNRf3dPexBVkvnq36PbS\nbo8xYBVMyIqW7l/jH4f+u7Kw6XIHQatH35VpfYTpvWAe5LTWRzZN6DAUvS2LwavW\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-26 00:00:00.000Z","summary":"

Fakultät für Informatik am Karlsruher Institut für Technologie, gegründet am 1.10.1972 als erste Informatik-Fakultät in Deutschland. #KITInformatik

","updated":"2026-07-09 12:56:36.902Z","user":"","username":"KIT-Fakultät für Informatik"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-07-09 12:56:36.951Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/f_lanzinger/followers","following":"https://mathstodon.xyz/users/f_lanzinger/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/392/575/490/468/073/original/cde013e6b492d70c.jpeg","id":"l9gati1o2xbb9p3","inbox":"https://mathstodon.xyz/users/f_lanzinger/inbox","iri":"https://mathstodon.xyz/users/f_lanzinger","isLocal":false,"last_fetched":"2026-07-09 12:56:36.951Z","outbox":"https://mathstodon.xyz/users/f_lanzinger/outbox","preferred_username":"f_lanzinger","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2vlyi4trSXgz1lu6hj1F\njxZK31KGnLeMMh94Lya+mzydOBY9xrnfg/bb8luNbw1Oc7l0pQCXdSj9wXSFXibD\nVK5OjgZHVx9VCqQlFjehOZi3SLE7j10ylRiZ+9VaYllRnF2vMYj5tEQunI0dlk5W\na6X+6jUmKXjHBnuU5ngVbgxq+AuOxRUKOOj5+MrINEnVzT/4tFW9kzETjisDTcOU\n/eSo+H2P9P91KpWuVRN4FXWX2kWgLHtjFWe/fRtlH4wzkdC6Ar7A4DLU+4w65/wY\nInXwmp0RLmmIvTH6eomiaQgizl4KQlafP90Vuu6zO/vvDeuMdP1D4AUvIogmrIwE\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-11-11 00:00:00.000Z","summary":"

PhD student of computer science at Karlsruhe Institute of Technology

https://formal.kastel.kit.edu/~lanzinger/

","updated":"2026-07-09 12:56:36.951Z","user":"","username":"f_lanzinger"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-07-09 12:56:36.998Z","domain":"dgc.social","followerCount":0,"followers":"https://dgc.social/users/felix/followers","following":"https://dgc.social/users/felix/following","followingCount":0,"icon":"","id":"6146omz7aqpeyze","inbox":"https://dgc.social/users/felix/inbox","iri":"https://dgc.social/users/felix","isLocal":false,"last_fetched":"2026-07-09 12:56:36.997Z","outbox":"https://dgc.social/users/felix/outbox","preferred_username":"felix","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFQq0avmEcokfGsPrGjV\nt8r8zlO6LQl4xHrAbQ4vGjXIF1zJ5/dDQZp9DjRZtfnkwg86+0Odes/xhU+zR6wr\nFZt7vn/At7GvV/+Fu5mYIzq0LMB9oFSGutW/2cpL7Jchne9Jw/jPzdf6Z000J1Yx\nBnwpDy+nnRSko9z3teLD2hppt2Pw08IKPsUHy3KNOJFY63OnJ9E/ztd5wDkPQ1vf\nQ8js497nBrgWL0q7KGnIunLhc6rPfa4UD175NQzH+OQjOuuECvmzFLOfaitFFXhZ\n6976INhDoIByrXa26duq2DC/fKvsj+ECcurM5T2H2wJR1fdasXJ3QQ4M3pIRuVc7\nqQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"","updated":"2026-07-09 12:56:36.997Z","user":"","username":"felix"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-07 01:58:56.071Z","domain":"mastodon.social","followerCount":342,"followers":"https://mastodon.social/users/fm_volker/followers","following":"https://mastodon.social/users/fm_volker/following","followingCount":438,"icon":"https://files.mastodon.social/accounts/avatars/109/251/590/005/619/829/original/810a05d7daee6290.png","id":"2s1fbct6qpvgq8i","inbox":"https://mastodon.social/users/fm_volker/inbox","iri":"https://mastodon.social/users/fm_volker","isLocal":false,"last_fetched":"2026-07-09 12:56:37.645Z","outbox":"https://mastodon.social/users/fm_volker/outbox","preferred_username":"fm_volker","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA+1vPssvb1GEFwneGw4rE\nyY1TjpEuFscy8onb8g9hhmoxPyOmu5ZuD1VlT8MH0VjowklhVfl2R9c2AcmLeFVP\nc3+QXSQbVkXwJMTqX9cwXFPuU5vF2gzxK8jv3zL/J8TelnAme0vBt9064m0WZ+OD\nJ6N5asJgmY/IFOqJJfDJ4Reasye34qenPEiJLU+MDzpnjQx27g8u/rtdNYkAXW+e\ngEe4cgk8hVzbRZwAAQWFeXTUzVgL1oXK1asXyfx9gGJz3buXWv6H8zyjKrV2ZucS\n5Wi+IsP2/NdPEhp+NL+43eyyalSzqhCibmUv5PFGEf91hQ/kzAnod4OSvAbXrR6N\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Unprofessional takes on CompSci and other things. Card-carrying member of @informatik. Sub-tooter at https://fediscience.org/@selabhvl. Part of the control-group & training material. Listening to/on Unix sockets.
https://λ.foldr.org/~vs/. Relapses into #FreeBSD.
#Bergen - nordisk by nature. #FormalMethods #RuntimeVerification #Refactoring #HomeAssistant
25./26.6.: Lübeck; 5.-8.7.: München & Regensburg

","updated":"2026-07-09 12:56:37.646Z","user":"","username":"Volker Stolz🏳️‍🌈"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-07-09 12:56:37.744Z","domain":"sigmoid.social","followerCount":0,"followers":"https://sigmoid.social/users/riedel/followers","following":"https://sigmoid.social/users/riedel/following","followingCount":0,"icon":"https://cdn.masto.host/sigmoidsocial/accounts/avatars/112/605/062/272/873/813/original/7bfc631093c329ec.jpg","id":"jt6nd4beadb60b0","inbox":"https://sigmoid.social/users/riedel/inbox","iri":"https://sigmoid.social/users/riedel","isLocal":false,"last_fetched":"2026-07-09 12:56:37.744Z","outbox":"https://sigmoid.social/users/riedel/outbox","preferred_username":"riedel","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5XBuiDb5wtZtq5/vpllU\npJ4Xiv2jHjMVD61CsuDKVv6mG1UY/HPn+KYbyA64Fjcx9Ty1bLvQMcjWNXyjgbjd\nshkRAm+ueqJu3vSjrRswhEUzIS3uXVQdwE2z7R8KddmwusO7HzOVJ1bBNEeSxwv7\nUhtvJA4JNeBSNreV19kSLMXW5O5u3n8c+jAQX+yfJawrnYgk1p4WZeIb9FW+GK0J\n62Seeg3q8jFA1taMoIih86GffrA/ZpVV/hg/C55CBQLb5qlEcYMPoU6oktA+2HVz\nOfoYJajls0goislK3xNPvBzLJS7wxBzmI157mJpvta8mHde5RYaohh/+J0LEjHXG\nrQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-06-12 00:00:00.000Z","summary":"

Lab Lead @teco.edu

","updated":"2026-07-09 12:56:37.744Z","user":"","username":"Till Riedel"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 22:09:42.378Z","domain":"xn--baw-joa.social","followerCount":9,"followers":"https://xn--baw-joa.social/users/KITInformatik/followers","following":"https://xn--baw-joa.social/users/KITInformatik/following","followingCount":38,"icon":"https://xn--baw-joa.social/system/accounts/avatars/109/382/866/022/241/970/original/b7031ea186cf2a73.jpg","id":"0y1zo9yqnkngfgc","inbox":"https://xn--baw-joa.social/users/KITInformatik/inbox","iri":"https://xn--baw-joa.social/users/KITInformatik","isLocal":false,"last_fetched":"2026-07-09 12:56:37.807Z","outbox":"https://xn--baw-joa.social/users/KITInformatik/outbox","preferred_username":"KITInformatik","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4Fsq3SC0aSPU5pWqo2V6\ntz+4o+4F8LhMueuiPsjB2eO25UZMFvJN7ox5NmqtOXRWdIJjiJXm5nK9tqP8doc7\nWM6RqH6ogqxnZcaRZUpEWLvHBiM6jSJD8LBOVGvbIfqPujJtDNhBtdhVWsQRP77l\nkKWn0iAt792TU3mYhrJcX+vb628jOk47xgdWFzS2XzznWNyqytCvgjucP+4kUMkM\ngcPpbspY1i9gT4ufGhgNzKSLbzDRJWFlV640qy/Qp/tg5AlLnJINzDKM5g5JF5zp\nqXF9AFdFzxU7fbLtLchULVHOxFCcpOuduLIuGk5o/MnK+kgiNgLgPQTHXg3S7qHa\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-21 00:00:00.000Z","summary":"

KIT-Fakultät für Informatik am Karlsruher Institut für Technologie #KITInformatik

","updated":"2026-07-09 12:56:37.807Z","user":"","username":"KIT-Fakultät für Informatik"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-07-09 12:56:37.911Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/kastel/followers","following":"https://mastodon.social/users/kastel/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/109/517/168/247/450/085/original/f47103c8b85b9310.jpg","id":"tznmgafkytxk1ve","inbox":"https://mastodon.social/users/kastel/inbox","iri":"https://mastodon.social/users/kastel","isLocal":false,"last_fetched":"2026-07-09 12:56:37.910Z","outbox":"https://mastodon.social/users/kastel/outbox","preferred_username":"kastel","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuJKwm+DwQ0xS23sP5d6J\nb1zY80m67W9JMAXilxg09JipBWJfox4u8wzbI4hP2+YcjxxzAq/WONWbNYCmYCZA\n1c/nHuQGWRnKuKBO67mg+SeAppj3BpD3tL7/cd1M6fCr09ihaXpb2t08KLkOKsHe\np3UaaF2h1RIOU16CkqIGR8tIELGHpIzlJHjmuKnKgJ0OtWUPhNX4SWhyNjqv9o2A\n8yfcVbGCBOKoK9kE6zsXcC0CrNzuODYqdruNOVoSkA/bmQ1uNN0ASk1yAASrbzi3\nZH9zjLK3SegTDtWTCCJtKdODdiAxC77a0CXgLVn509ZZhuSMYkDfiOPgO62mKefk\nmQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-15 00:00:00.000Z","summary":"","updated":"2026-07-09 12:56:37.911Z","user":"","username":"KASTEL Security Research Labs"}],"page":1,"perPage":10,"totalItems":13,"totalPages":2}

Michael Kirsten

Followers