{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 01:43:35.988Z","domain":"lipn.info","followerCount":196,"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-24 01:39:31.311Z","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-24 01:39:31.311Z","user":"","username":"Meven Lennon-Bertrand"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 11:02:32.491Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/comandingo/followers","following":"https://mathstodon.xyz/users/comandingo/following","followingCount":0,"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-24 01:39:31.342Z","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-24 01:39:31.342Z","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-24 01:39:31.748Z","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-24 01:39:31.748Z","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-24 01:39:32.124Z","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-24 01:39:32.125Z","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-24 01:39:32.275Z","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-24 01:39:32.275Z","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-24 01:39:32.344Z","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-24 01:39:32.345Z","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-24 01:39:32.387Z","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-24 01:39:32.387Z","user":"","username":"Vincent Haupert"}],"page":1,"perPage":10,"totalItems":615,"totalPages":62}

Joachim Breitner

Followers