{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-20 14:39:43.582Z","domain":"discuss.systems","followerCount":444,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1430,"icon":"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg","id":"gnflgjbnh97ut68","inbox":"https://discuss.systems/users/csgordon/inbox","iri":"https://discuss.systems/users/csgordon","isLocal":false,"last_fetched":"2025-12-27 02:20:37.228Z","outbox":"https://discuss.systems/users/csgordon/outbox","preferred_username":"csgordon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqu75zd4WxhZbgnxr3D0x\nqdQennO5/JNC7TYuEXAAb5u2abevS8QvmACbGbtXZh3r/MKDfuUjq6PY8b6iMa4E\n+pG+DtKsdWgXbz6y08YhYqNe8CEGLS4/EowBLC6goMyLKj0sQ8OUGo0VawRaR/Ox\nWB4LAhqmdIP/2OAE3rzgJk+sU5rs6Q+p9eQj9W68JG7PwTY5ebHmksEhaU2lrdPq\nkE5l+j9e/ZBmbsGnGynZernCeRc2MdXn90avbROl/+5kSK870hyBww0xuOhgc099\nRCyiiAEQ3WAOVnRX9X49JhUS9ODmCdcHpp3awFKo0RGtMPxK1HOO4WPa0Pmakccm\nZQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-08 00:00:00.000Z","summary":"

Programming languages professor, kernel hacker, aspiring linguist (syntax & compositional semantics).

Currently figuring out how to combine all of my interests by mechanically translating English into formal specifications of a formally verified OS kernel for RISC-V.

:freebsd_logo: :debian: :openbsd: :clang: :csharp: :racket: :rust:

","updated":"2025-12-27 02:20:37.228Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-24 11:22:34.727Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/jppiquem/followers","following":"https://mastodon.social/users/jppiquem/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/109/256/084/793/576/936/original/2dddd5a92c8781ec.jpeg","id":"uopucid83ehrmyb","inbox":"https://mastodon.social/users/jppiquem/inbox","iri":"https://mastodon.social/users/jppiquem","isLocal":false,"last_fetched":"2025-12-27 03:29:31.193Z","outbox":"https://mastodon.social/users/jppiquem/outbox","preferred_username":"jppiquem","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA29koNGa3QMUeMJhi0t31\nkBf3ScSHETeExfrDzjJSqdalkEbE/BUiC7NEyrEO3t14+shBkfYrxCo6J9Yr+4/h\nKS75mMpo/tCWdoFLpynGAeMbJGirHgYLFQrbvxLjqYfo7vQv4qNJqsGB8z39rH9N\nyJrGgme1IDKJG6EJ5ySn8RMmDCMfUvURJ7+gX7qVvHZSUFyavNCQGXFIelNewHlc\nhOKDyYaIFeX9yc9O9GVCKq/tv2lSYnqymJKm1Oi13+XFe8U4ekPX17UNkfxXtxCT\n2hHd9HgeqTOCgCUhucrF4OHyRxz8vR6ixCv+S02ppU4rcMxaVJ7kILNCSnYVRNue\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-30 00:00:00.000Z","summary":"

Professor of Theoretical Chemistry &
Director @ Laboratoire de Chimie Théorique - Sorbonne Université & CNRS;
CSO @ https://qubit-pharmaceuticals.com (views are mine)
Interests: #compchem #HPC #supercomputing #quantumcomputing #neuralnetworks

","updated":"2025-12-27 03:29:31.194Z","user":"","username":"Jean-Philip Piquemal"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-12 09:58:59.468Z","domain":"mastodon.social","followerCount":32,"followers":"https://mastodon.social/users/rickvanrooijen/followers","following":"https://mastodon.social/users/rickvanrooijen/following","followingCount":345,"icon":"","id":"1vvv4q66rz9rmsd","inbox":"https://mastodon.social/users/rickvanrooijen/inbox","iri":"https://mastodon.social/users/rickvanrooijen","isLocal":false,"last_fetched":"2025-12-27 03:29:31.360Z","outbox":"https://mastodon.social/users/rickvanrooijen/outbox","preferred_username":"rickvanrooijen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxaBGjddwes833X1FWDC4\n6Mri6mTa9LaAg1t3s11qzxURmUx8xX03AOko3ffmQteeF1HSL7/3F1zKXRZao8rq\nk4zIRIcKfh81gJjmzAQSkEUi8JEB1C4/8K8BsYVkVCFfhVZUTG4tt8Ra8DnnmY38\nUsLXHHhVmYbnKvoDf1/ViGTOHnSYvBAnkw1FQj30bECK83A+Rdmrmrks8ioJ4Ef9\nltctj5gCpKbcStNrQhPDb/0BcgX8SbDJ1Gc8JBzLLZxQNy63YBubcoo9FGxcZfmZ\nroAJJmbOgi075dNTIdLB0eupeCXAS9sm8SnzLo2LpswGfFnGT60fwoAELiPVwn3M\n1QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-03 00:00:00.000Z","summary":"

Independent professional supporting public and public-private collaboration. Drawn to initiatives that strengthen (digital) sustainability, autonomy and security. Proponent of open standards and free and open-source software.

","updated":"2025-12-27 03:29:31.360Z","user":"","username":"Rick"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-21 00:44:06.893Z","domain":"mastodon.social","followerCount":42,"followers":"https://mastodon.social/users/osayami/followers","following":"https://mastodon.social/users/osayami/following","followingCount":427,"icon":"https://files.mastodon.social/accounts/avatars/108/159/085/603/196/509/original/c9eede9adc0852f7.png","id":"xyc8c6cs4zh7kdr","inbox":"https://mastodon.social/users/osayami/inbox","iri":"https://mastodon.social/users/osayami","isLocal":false,"last_fetched":"2025-12-27 03:29:32.065Z","outbox":"https://mastodon.social/users/osayami/outbox","preferred_username":"osayami","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuJsR73kQvZc6c64b+o06\nvKwnmj95W2C7AI3UTtQXr9B079eSFH7EIOj+obX5IGSnJIPFx0CRnmjWnYtJEzSB\nw5Souv2j6xDcRjEz2Mp7EFA0I7wucEEyOn4zp60NLOUp1GA8BzlboHAWtStZcACt\nwmt40T5VjgLSLmkbCZ3zI0OljhDVwcPSKPP5UXggZrB30nKnWE7RmPirTZ+vRfCD\n46V1AECKsZyDUYMG3QeEQoihvx28N7Y61IHZ4oXze3uDydsj1SjchskxiLOElJG3\n/OVr/aDhIl373HBtFMUVnu3wBUlTq/OuCnjTnooBnQFcSdDQl0GgLjwYGIkTRQoG\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-19 00:00:00.000Z","summary":"

An aspiring Sudanese game director , FOSS and Linux advocate and tech communities builder
Languages: Ar , En

","updated":"2025-12-27 03:29:32.065Z","user":"","username":"Osman Ahmed"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-21 04:50:31.353Z","domain":"chaos.social","followerCount":0,"followers":"https://chaos.social/users/fischer/followers","following":"https://chaos.social/users/fischer/following","followingCount":0,"icon":"","id":"j05xdougdaw808e","inbox":"https://chaos.social/users/fischer/inbox","iri":"https://chaos.social/users/fischer","isLocal":false,"last_fetched":"2025-12-27 03:29:32.205Z","outbox":"https://chaos.social/users/fischer/outbox","preferred_username":"fischer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAk1/mVJVWR57H7XX9V9TC\nfCskhYqRq7zPApZEFwhAGT6n/WGDK8AxPEauXopQKPHhR/SAX9sWykOU+DHnLTS6\nS8FyTCdRylZIRM2BkYquBuXR7O54JAkuirkZdOsvHdpdbLn3+AplNOvcHtjtk2rW\n77/+Jrpa0x3d0pTu++vDztg5anz5AKbAfKsADR3EzJWn3oTTnMACzlUOVLd9wOKg\n1xUZ7tTFZ3BASHD+L0tSCYrcac2T+mNl+ZMXp9hQuYDgLOA3KixJTkBbQXITc+iw\nHDyG5TvMwSujTjNYfDBdi3UYNBWz+LFY1pplYbzm/oYjqCA+7V2OcJZF36jvMDPA\nNwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-05-29 00:00:00.000Z","summary":"

#noarchive #nobot #nobridge #noindex

","updated":"2025-12-27 03:29:32.205Z","user":"","username":"Fischer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-23 04:40:35.029Z","domain":"mastodon.keks.club","followerCount":0,"followers":"https://mastodon.keks.club/users/valentin/followers","following":"https://mastodon.keks.club/users/valentin/following","followingCount":0,"icon":"https://mastodon.keks.club/system/accounts/avatars/109/333/516/641/882/264/original/45a409dc9ddbf4b1.jpeg","id":"ya7gq0lhqm57yaf","inbox":"https://mastodon.keks.club/users/valentin/inbox","iri":"https://mastodon.keks.club/users/valentin","isLocal":false,"last_fetched":"2025-12-27 03:29:32.573Z","outbox":"https://mastodon.keks.club/users/valentin/outbox","preferred_username":"valentin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtx9tij3OeAH7WsFJCB2s\nVcZjuwdUINJqgB1eUv3Jo8JZcITRgK5zn6bK+7Rx//Udg/1Ja/5DjK+4V9QEXiqK\nspZaKXrwcu+9iI5YGd7E8jobaruo4cynSsYSbOLma9aHBfhHUNp8LHZhQLepbuaA\n7HW7NC4oLOLwNVQSRnBzylXrfX7lQRLGvM02OR8UeTohl/0POldTxhrVZ1jTPMdb\nRsrlWN84BO+3WbLG7SAtENNGpqefstgVvwjDxncJwBNOdbqu2HVRmXkCPb/ZR5Vn\nlIMm4WW8lzBv3Ulm8pxLDTFRU8/5EkdyZZSciCo2L3JpFu/HAtgAawAYmhNIvytb\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-12 00:00:00.000Z","summary":"

🚲🌱🌻🌹:cookie: :nixos: :keksclub:

I love taking photos with my #Olympus OM-D and tinkering on one of my side-projects.

matrix: @valentin:keks.club
Fahrtenbuch: @unterwegs

#foss #linux #photography #sticker #mft #opensource #tech #HomeAssistant #nixos

","updated":"2025-12-27 03:29:32.574Z","user":"","username":"Valentin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-27 03:29:32.840Z","domain":"social.qutic.com","followerCount":0,"followers":"https://social.qutic.com/users/qutic/followers","following":"https://social.qutic.com/users/qutic/following","followingCount":0,"icon":"https://social.qutic.com/system/accounts/avatars/109/298/980/839/805/394/original/415ba1e5021ae582.png","id":"hyh0oolw1i7mchc","inbox":"https://social.qutic.com/users/qutic/inbox","iri":"https://social.qutic.com/users/qutic","isLocal":false,"last_fetched":"2025-12-27 03:29:32.840Z","outbox":"https://social.qutic.com/users/qutic/outbox","preferred_username":"qutic","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyN0BceE0v6ZUh8L9/y2z\nEF/CKJjt0D4EFMYG6hxAHRyTB5ex65a+fyRhpjYPh/KzHcUT5WnKJpYdVSaCtbPZ\nrnu6IXXMNL9TN35Sget1e3yu1Z7RJimaS/8U7/1eczbvCoxhCNERTq2legj3tHSg\ng2ZTZKMT/Pal7UZWHPixTMbx+qzbXTeBkNiGiJq5hSEDW8lYSFdvmuYMSyCU5tZi\nWdrX1n78nt8ehf6WzLB3zt3GHFBm70pgoJJgZHCY9F6eAhe68RTh9l4vfAD8tVNw\nKN235eVGTn61VPkETjmZ7xBkaqXF2DFnQjmnVXYdb92DVbQGzfsS6j8fzuulaHhO\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

Consulting, Development und Hosting von Web-Applikationen – mit einem Blick über den Tellerrand. Topics: #security, #datenschutz, #hosting, #opensource

","updated":"2025-12-27 03:29:32.840Z","user":"","username":"qutic development"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-27 03:29:32.881Z","domain":"nrw.social","followerCount":0,"followers":"https://nrw.social/users/appelgriebsch/followers","following":"https://nrw.social/users/appelgriebsch/following","followingCount":0,"icon":"https://media.nrw.social/accounts/avatars/115/263/209/858/066/145/original/47ada5631e87b8c5.jpeg","id":"w213e6uogautooh","inbox":"https://nrw.social/users/appelgriebsch/inbox","iri":"https://nrw.social/users/appelgriebsch","isLocal":false,"last_fetched":"2025-12-27 03:29:32.881Z","outbox":"https://nrw.social/users/appelgriebsch/outbox","preferred_username":"appelgriebsch","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7tepdpraACC8hOd1zBkV\nEZ5ApPOuTysTLyTdHRc8usxBLd04wo4KOcyP31fpDpK+lEo7t7l0Lprcf94yOvT4\nIkYPt7C4xubOzFgrAkq38UesiJuLge+B+VCamO2wjzICgthzsTXGRmBm1yYVKcAi\nYlb1oTA9SeafYtS2R0EOKK6XF9KLvkSw44Tm95NUFEqBaO5pZCT8qKezdo1v02g8\nqepKnNChuj3VMwxfa0tKGUfvgvmgaSQqgZiM+04q5C8EDcw6OWcDS2iMeA1ltB+z\nhGiVgk0gkUWsBCmKtDWDfQjZPAktFiAfwI9GRu7oGKuYL7f1Ihd11yYZPfEeSHxn\nhQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-09-25 00:00:00.000Z","summary":"","updated":"2025-12-27 03:29:32.881Z","user":"","username":"Andreas Gerlach"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-11 15:55:32.222Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/ap/users/115418106339374659/followers","following":"https://mastodon.social/ap/users/115418106339374659/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/115/418/106/339/374/659/original/92a3bc5548c214cb.png","id":"2uneadlvlofrsmd","inbox":"https://mastodon.social/ap/users/115418106339374659/inbox","iri":"https://mastodon.social/ap/users/115418106339374659","isLocal":false,"last_fetched":"2025-12-27 03:29:33.097Z","outbox":"https://mastodon.social/ap/users/115418106339374659/outbox","preferred_username":"Digital_Coolie","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmH5a4oeMK6Llqt/BxEjE\nChmAwF0kKO6/CTuVIqwN7Z3sR/Niz+wMfExUjA+FPoMcvs003PmS+4LsyN7/WZN4\nFEznu/G4LvQi/lVsFjp//zNAZSRgYfctKT8WznnWJqvkWECkWjUKh+BJ7ETO0Ww8\nNWT84xZUaAH2fEBTdLEmubU2/H7tgsZ+xi6dxS7dwX6W5fA5mCW3rqNEflgHei05\n3+mvDh5Tsr0V0pFCI38UNONBbODQwVQEgtqGxp++rXBoNlzjKVNZPSGF4ei5WOlx\n5SEYPwSWnqbyg9QqhlZmv9t3FLw6NQFaXuYtZbZVM7lfHkHuy9zRLuaP4AzCDJYj\n+wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-22 00:00:00.000Z","summary":"

Working in the IT salt mines

","updated":"2025-12-27 03:29:33.098Z","user":"","username":"The Digital Coolie"}],"page":1,"perPage":10,"totalItems":6768,"totalPages":677}

Assn for Computing Machinery

Followers