{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-27 00:08:04.868Z","domain":"mastodon.3fx.ch","followerCount":86,"followers":"https://mastodon.3fx.ch/users/bfiedler/followers","following":"https://mastodon.3fx.ch/users/bfiedler/following","followingCount":158,"icon":"https://mastodon.3fx.ch/system/accounts/avatars/000/000/001/original/2963dc9cc9dbc12e.jpeg","id":"470a1xl6nh5gu2p","inbox":"https://mastodon.3fx.ch/users/bfiedler/inbox","iri":"https://mastodon.3fx.ch/users/bfiedler","isLocal":false,"last_fetched":"2025-08-30 22:12:02.422Z","outbox":"https://mastodon.3fx.ch/users/bfiedler/outbox","preferred_username":"bfiedler","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0arPe/62bxtGIrdSuo6m\n6lNsleO+RceGOHW/FTMFHfQrRdzf6ZI6L1jVMmYEBXd4Y0fBuXPB1amV5Ggvu8rc\nfvELU1cmloNhlmiR1rEt3oC8fhCy17beyTiwxOu1+RZIllrv8f3Tvq9vw7V8A8ap\nxIswnXw2u3ZVXKLsk10mL19k+M2SR5/1GnFbTVKEZMy3HatCcosUAHz4GlWGJ6Gc\no7JHN5HMh4kR20T0U7ch3bAK7g3ZAFB2wXW5oSL6PsP4cdEFs2vFFe+QtLnXUznZ\ntXwECEPeM4dzQdkg2wU99fnr+l092eBhKGJ2TazrIshouGRd9V5ePDaYzafQREoM\n4QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-04-01 00:00:00.000Z","summary":"

(de)

Ich verfolge einen Informatik PhD mit Fokus auf formeller Verifikation von hardwarenahen Komponenten.

Manchmal spiele ich Schach.

(en)

I'm a computer science PhD student focussing on verification at the hardware-software boundary. Sometimes I actually understand what I'm doing.

I like playing chess every now and then.

Personal von @flaps

#nobot

","updated":"2025-08-30 22:12:02.422Z","user":"","username":"Ben Fiedler"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 05:23:16.649Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/herrdreyer/followers","following":"https://discuss.systems/users/herrdreyer/following","followingCount":0,"icon":"","id":"r95sqbi769sp912","inbox":"https://discuss.systems/users/herrdreyer/inbox","iri":"https://discuss.systems/users/herrdreyer","isLocal":false,"last_fetched":"2025-08-30 22:12:02.542Z","outbox":"https://discuss.systems/users/herrdreyer/outbox","preferred_username":"herrdreyer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzJ/2iK6PeZiH+xaY4PCQ\ngD0/kb2gfFz6Fqb3kGQ/qbhaLcpeVhle9OfXuIah4dOPRIa+fZKHwcElKN0uec9P\n1tXPZX8UJ1Tb1Eho8p1xNfIDD074TRdst2LKNM1YJNREEF5u6IUW9vC2SQmPEcYy\np/QaGLJZKa79WpiSw8iVpAsPir8nUjqVioeFfvxAlV6ekvw4bDX1jeEyGIdpSMnE\nCK/30BaLSjVGlJ4gxTgclb6xTsbL1/JJ/ZeUp9Ep1hYz0qpQ5CqyOleFxhCmipIV\nGdjJIwkMSwsFXeS3Z9oVjY/U2E7FAq18V7FoEl16N/7LYmHZH+Ts0+cqxAbQDYXz\n6QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-21 00:00:00.000Z","summary":"","updated":"2025-08-30 22:12:02.542Z","user":"","username":"Derek Dreyer"}],"page":1,"perPage":10,"totalItems":1,"totalPages":1}

Andrea Lattuada

Following