{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 01:14:29.138Z","domain":"rheinneckar.social","followerCount":0,"followers":"https://rheinneckar.social/users/URWALD15/followers","following":"https://rheinneckar.social/users/URWALD15/following","followingCount":0,"icon":"https://rheinneckar.social/system/accounts/avatars/109/522/815/836/034/800/original/d73a4310ae158779.jpg","id":"4hn2fnvwq3u5az8","inbox":"https://rheinneckar.social/users/URWALD15/inbox","iri":"https://rheinneckar.social/users/URWALD15","isLocal":false,"last_fetched":"2025-07-29 22:50:31.925Z","outbox":"https://rheinneckar.social/users/URWALD15/outbox","preferred_username":"URWALD15","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzRcu4ni7K7SMgOqLYMyK\negq41VXZTY1T+pJd08CeGFSW6wmQ5S7HTzoSrSuldl2cHxTFzXRIdvuTy3tSSfk7\nDVwvliR1a1kFvATJJ/LOKso0jQPWYshlHG7vdF6hDLD2FRfLk7CpVKi2DM6sLTrh\nN2jxJV8+hn9YZKRs30B2JC0pUS682iTJ6l2uW34ygLOlMzQEXNpXUPqrjkJVBEiH\njTekf+dSXw0V9upvpk0rpDwiwQrGCG/OUgWhwHeQF2wS7dYmN5FwerqukfTnMoIG\nOpSZFhq8Efs65aRvSwh+6Ixg2c6OKO3ukADF142/YigncoVI9H5+JhJGFAzoqPWc\n5QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-16 00:00:00.000Z","summary":"

#fedi22 #Hambach1832
hambacherfest1832.blog@hambacherfest1832.blog

","updated":"2025-07-29 22:50:31.925Z","user":"","username":"URWALD15"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 12:11:47.261Z","domain":"mastodon.social","followerCount":1,"followers":"https://mastodon.social/users/EasyStarPilot/followers","following":"https://mastodon.social/users/EasyStarPilot/following","followingCount":3,"icon":"","id":"05020327k920y8w","inbox":"https://mastodon.social/users/EasyStarPilot/inbox","iri":"https://mastodon.social/users/EasyStarPilot","isLocal":false,"last_fetched":"2025-07-29 22:50:32.577Z","outbox":"https://mastodon.social/users/EasyStarPilot/outbox","preferred_username":"EasyStarPilot","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArNvjULSDUvWY2NR5h1ZE\nuweQ0yjyiO2Ul5h1WPmkbcP8RQX21fnZk7AlWDO883yMUyKXm0+YhCNProOUh5rK\nzHbyQ4RMChLbs3yNXMKiUbShrMuOEo1j/TnPPbBPAvOUj73mH2AfMIEp2R2GIDdN\nDYkFl55IHicYpa8tH5kCJevdWSFNxQ9q9Dg8/JO6pVbIOWFvIADDQ4NyjRbN14XK\nueBzuhH1eDF/lH506+q4SiJrm742MWM3dftc1v9bSpIF09jNtfXFh6aRxhiBofy+\n996Gt7i/8qSqFse/FbGMd8h7qfVmOLSjRqdzrgWUHIUGS02AdCUWcAfbd7RFMdHg\nXQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-24 00:00:00.000Z","summary":"","updated":"2025-07-29 22:50:32.577Z","user":"","username":"EasyStarPilot"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 01:43:35.988Z","domain":"lipn.info","followerCount":201,"followers":"https://lipn.info/users/mevenlennonbertrand/followers","following":"https://lipn.info/users/mevenlennonbertrand/following","followingCount":94,"icon":"https://lipn.info/system/accounts/avatars/112/315/579/950/728/222/original/8a153e0d174caac6.jpeg","id":"781j43qsyl8oil5","inbox":"https://lipn.info/users/mevenlennonbertrand/inbox","iri":"https://lipn.info/users/mevenlennonbertrand","isLocal":false,"last_fetched":"2025-07-29 22:16:54.006Z","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 the University of Cambridge.

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?
- In my opinion, he's complaining!

","updated":"2025-07-29 22:16:54.007Z","user":"","username":"Meven Lennon-Bertrand"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 11:02:32.491Z","domain":"mathstodon.xyz","followerCount":15,"followers":"https://mathstodon.xyz/users/comandingo/followers","following":"https://mathstodon.xyz/users/comandingo/following","followingCount":83,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/343/719/984/538/852/original/cb0d3579fa07b7b0.png","id":"6dxht0oec3u5543","inbox":"https://mathstodon.xyz/users/comandingo/inbox","iri":"https://mathstodon.xyz/users/comandingo","isLocal":false,"last_fetched":"2025-07-29 22:50:33.373Z","outbox":"https://mathstodon.xyz/users/comandingo/outbox","preferred_username":"comandingo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyZ5ftt9c7FF2sCfbK8c4\nSWZJxFexRNReztPFhoSj81RmvdO7OgCim+1gVatgzWuaLXatEtJeBd4HQ56Bh5xK\nhhS6aPaGbjGGg3oAv+XzkDra0EqpUAHqN6UP1T0db91C9g8TKMfl0yoUjylqP6/a\n+pK3GakqPVrY+7BaoWCbKvFy5a7eH3bc46mXMQG8xidZB24LZlyfxGCzvhKs9+TG\nvlRRRHcA/DfnnxQ0JrK1TUKgCuWEIsKL5hMA2UoPXJvfwjogYvzBDHdnK2kQ8lE6\n9iRMSbZ9yT+ihaXtaROhypeB8UMdncwt2rnlY63n/FBk/qoCd8zP/RVFMwCFjibD\nJwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-14 00:00:00.000Z","summary":"","updated":"2025-07-29 22:50:33.374Z","user":"","username":"comandingo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 05:13:26.671Z","domain":"hci.social","followerCount":92,"followers":"https://hci.social/users/harrisongoldstein/followers","following":"https://hci.social/users/harrisongoldstein/following","followingCount":79,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/111/805/647/066/217/362/original/fc634f0b2bba336b.jpeg","id":"9to389bo50ue301","inbox":"https://hci.social/users/harrisongoldstein/inbox","iri":"https://hci.social/users/harrisongoldstein","isLocal":false,"last_fetched":"2025-07-29 22:50:33.768Z","outbox":"https://hci.social/users/harrisongoldstein/outbox","preferred_username":"harrisongoldstein","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjkrasx62SArBGiDAHgY5\n2PqDqJPIuDQqxm/bp0RGGEEPThc/8Abt1EqzI3Z4OQCwJZPqxZPZ6cQpX3HFxHYj\nvnhWW5CfjPPC8EY7/F7kipGYGUfFueAr9s6eqcYKJg3i3kDu0epRAtAeYm80vtce\nOvcxeZyTdee1HWZy+hcahrj8+BLO9RRJaEqaG+CoSjb2GqNfxtBnOtLO6ghhtU8z\nt93hBXuc4sHfLlfy83inCnG7KK7D6HGVItLkEUIGnz/QT5cE84v/dNm6G21XSkUW\nYBj/U4ais0QVuA9H2/DauIdgapRd/LWD0OXhZjBfz6y+hU+DktkyD3U73jCGXO+x\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-23 00:00:00.000Z","summary":"

My work combines techniques from PL and HCI to solve software engineering problems. I currently work on property-based testing with Professor Benjamin Pierce.

","updated":"2025-07-29 22:50:33.769Z","user":"","username":"Harry Goldstein"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 06:07:08.743Z","domain":"mastodon.social","followerCount":69,"followers":"https://mastodon.social/users/bgamari/followers","following":"https://mastodon.social/users/bgamari/following","followingCount":51,"icon":"https://files.mastodon.social/accounts/avatars/000/305/568/original/817ad60ab9ff2790.jpeg","id":"wan975pgdwfge8h","inbox":"https://mastodon.social/users/bgamari/inbox","iri":"https://mastodon.social/users/bgamari","isLocal":false,"last_fetched":"2025-07-29 22:50:34.129Z","outbox":"https://mastodon.social/users/bgamari/outbox","preferred_username":"bgamari","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzCtJWEZ8BQg7FZAoiwwS\nd91IxSSwtDb6dy6h6LRf59LOkcaeAZQdkBpA/i5bXN9e4rV4XTz5iOFqrAmvEvXI\nD5pLTB2ncO0fwE/2rM8hKZv84R+0QXkTAQ/ImMnaWdTH5AGAYY2ipeapRnjaV0pL\nov6EzjR5d+qXUl3bV0aHCnJvSGu72uUcE/28pZY9JUlIFS4bIhWMWOj0NB3Nd09i\ngv5tr+KKIvqaC8b4oxDIni6aYm3KGgZkP1Mn2oVri6Zx5mKahJH6tZaS2D/JcIYy\ndGK9zpubiR6pbBCQoijQI9OKfiN4cRR8eesO7sNPFjVBEdpclskV6qdJZ6+LluoX\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-03-25 00:00:00.000Z","summary":"

I work on the Glasgow Haskell Compiler among other things as a partner and Haskell consultant at Well-Typed.

I love my turtle, hiking, sailing, and making things.

","updated":"2025-07-29 22:50:34.130Z","user":"","username":"Ben Gamari"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 07:05:34.907Z","domain":"functional.cafe","followerCount":6,"followers":"https://functional.cafe/users/HaskellInterlude/followers","following":"https://functional.cafe/users/HaskellInterlude/following","followingCount":8,"icon":"https://files.functional.cafe/accounts/avatars/114/613/008/739/498/821/original/fca33ce9f94aa284.png","id":"3fk8z7gaor669h0","inbox":"https://functional.cafe/users/HaskellInterlude/inbox","iri":"https://functional.cafe/users/HaskellInterlude","isLocal":false,"last_fetched":"2025-07-29 22:50:34.227Z","outbox":"https://functional.cafe/users/HaskellInterlude/outbox","preferred_username":"HaskellInterlude","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqLFjDWOAk1vr04LHloPm\nr8p8K4RlCONmhNN47ZsrWWlb8heH78wILs/aSjGARy9XPfNj9osDpH+L2iESdwZD\nLgeH97TPbizNWW8gAXhvXEuy72HjB45jJOg73v3gPA5DoUJROb+sdXwHGir1XDkG\nG74jXZZv8o9aUUFMghUalh4BdauU0GChHmvHwPTCCxCFR3R6skfi0BVcYSWSgetd\nI2+mjpDs79YuvavQpsQX2Tvr0eLJRhS1lfPaKAgUO/hqr688FaIrT+6kcM85sZHU\nd0q6c4LpHe0k86sVEVtMoh91J7m9DzzJJQ08dKI92TkjeeDhQkq8n5NotBGN7bEa\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-02 00:00:00.000Z","summary":"

The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.

","updated":"2025-07-29 22:50:34.227Z","user":"","username":"Haskell Interlude"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 21:12:45.704Z","domain":"mastodontech.de","followerCount":5,"followers":"https://mastodontech.de/users/pau/followers","following":"https://mastodontech.de/users/pau/following","followingCount":73,"icon":"https://media.mastodontech.de/accounts/avatars/111/121/039/662/224/398/original/e8fca8dbac3ea721.png","id":"y5cw0l9n27l3899","inbox":"https://mastodontech.de/users/pau/inbox","iri":"https://mastodontech.de/users/pau","isLocal":false,"last_fetched":"2025-07-29 22:50:34.295Z","outbox":"https://mastodontech.de/users/pau/outbox","preferred_username":"pau","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2X+b7TGAFZj5JPEyTaGQ\nsdbtAkAlFW8fLtEcvuflVBhHsaL7BtkBH5jkdGTlcUDuisWlFFYFXNWHXM5aerOn\nuSN1LeYZ4BKkJM8GPMzkTA5qhg3NC1BP+VMYLNdPvgVdubdI4fXmWYj9tPUqIdW7\nzxfGV8pN9fIeYWKUKy0BGxevw6DKCfYW5wyXoSKmnu3zXdMVEh6Vjs/kBf7JiguG\nhlYDHUjWy6OWoibY9rPuOLBVoNkEftptyQpaKTY8Il3sT6n6ku8UP4KBDHw0oqnT\nvsq3mUNar9txegPxOApDxKhu8ebPtW9IPLLEs8dD85SW+D1G9BO/DV4alwI4jFPL\nSwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-24 00:00:00.000Z","summary":"","updated":"2025-07-29 22:50:34.295Z","user":"","username":"Paul"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-24 01:39:32.387Z","domain":"social.tchncs.de","followerCount":0,"followers":"https://social.tchncs.de/users/veehaitch/followers","following":"https://social.tchncs.de/users/veehaitch/following","followingCount":0,"icon":"https://f2.tchncs.de/accounts/avatars/000/357/134/original/307369a3ae03f024.jpg","id":"aq7c3d6dof516wa","inbox":"https://social.tchncs.de/users/veehaitch/inbox","iri":"https://social.tchncs.de/users/veehaitch","isLocal":false,"last_fetched":"2025-07-29 22:50:34.470Z","outbox":"https://social.tchncs.de/users/veehaitch/outbox","preferred_username":"veehaitch","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvfJcd6Bfdfa/4/JGEEf6\nKGFcWO3D3nYJfwvCnSs84L4Ju8LN3JG+gu7NGl14oMHSAM7jC9VBI01iAfry1y7T\nnxk2YGZv3G6ZUg0Xb2YOXHFESCY9U0loXLBXZzXd4iBGERm3CHZfmTmEYRfX3X30\nz3AsSAtMibMaPU6DmSgvnh4EgulS0xaU31q0XnA1siQkldNhuwyLRyo1tVYILCf0\n1nQ7hJvW6pkAcxfiVEGjY9LfQCuBcgG8ExIM8D3e2Y5JREqASzYWbxlrZ+xKtEcl\nHd/li+WbqWE/9W4zvPTwpsDFsfGFMfTUh3fw7+gPdG1yi3fWAi42cyMLzDA9rtws\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2021-01-06 00:00:00.000Z","summary":"

Freelancer. Mobile Banking and FinTech Security. Associated Researcher @UniFAU. PhD/Dr.-Ing. Speaker. Hacker. Capital #top40. he/him.

","updated":"2025-07-29 22:50:34.470Z","user":"","username":"Vincent Haupert"}],"page":1,"perPage":10,"totalItems":616,"totalPages":62}

Joachim Breitner

Followers