{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-24 01:51:28.257Z","domain":"fosstodon.org","followerCount":69,"followers":"https://fosstodon.org/users/frama_c/followers","following":"https://fosstodon.org/users/frama_c/following","followingCount":0,"icon":"https://cdn.fosstodon.org/accounts/avatars/111/851/647/886/334/541/original/1cb3e217f8680dea.png","id":"0k5z0e0y9bsbxz0","inbox":"https://fosstodon.org/users/frama_c/inbox","iri":"https://fosstodon.org/users/frama_c","isLocal":false,"last_fetched":"2025-08-05 14:00:39.747Z","outbox":"https://fosstodon.org/users/frama_c/outbox","preferred_username":"frama_c","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlqPbZzmBHpx5sFDY8fUr\nj51fU0a5eLxRYrg77Da1TAb+l7EIUSYcqm07U0oAPiVeVzvr0pYbsICAjMNTFQ56\nhdRkeGPHIZMyOa715BFcojPuFrl1A+uzVYvSO9xNxPL6md8pp9HMGc/tWvIT83df\nZjWkOlFxhDavXRdx+S0l8/b3pp0FdpqftYqwpnYb86Jr7AXQXuVOnNPFumU2EP/2\n922Oz3wx0gEsThjhz2agXBcbTKbCO2E5iCl0Ivlyy5y6SiUzMik+CnUKuRE2f5Gz\nQcbNYaWQ9nlGoByaUfX2+iOlzxthGe8hcW+bb1Ds25AoD4xZNOMbyhEUf+QPg6Q7\nywIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-31 00:00:00.000Z","summary":"

Open-source platform dedicated to the analysis of source code written in C, featuring:
- an abstract interpretation based analysis (Eva);
- a program proof framework based on deductive verification (WP);
- a runtime verification tool (E-ACSL);
- many tools for code base exploration, dependency analysis, slicing…

Based on formal methods, developed mainly in OCaml.

This account is used by Frama-C team members for technical (and not so technical) discussions, announcements, user support, etc.

","updated":"2025-08-05 14:00:39.747Z","user":"","username":"Frama-C"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 20:10:45.772Z","domain":"mastodon.gamedev.place","followerCount":1620,"followers":"https://mastodon.gamedev.place/users/pikuma/followers","following":"https://mastodon.gamedev.place/users/pikuma/following","followingCount":293,"icon":"https://cdn.masto.host/mastodongamedevplace/accounts/avatars/109/325/873/470/411/360/original/e7ff25ea33a0ac44.png","id":"881a659dn33f87g","inbox":"https://mastodon.gamedev.place/users/pikuma/inbox","iri":"https://mastodon.gamedev.place/users/pikuma","isLocal":false,"last_fetched":"2025-08-05 14:00:39.787Z","outbox":"https://mastodon.gamedev.place/users/pikuma/outbox","preferred_username":"pikuma","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwRxuEIvrZFcuzCxxfMH5\nl56TB3WcEdPrH6YDF+XUEFell6NiK6psupCxz+SApbaK1LxyeB1rSpsa9F3DEM7/\naVCo5e/K/CRHCV3hjXOMZwVbAGOst4gd74LxwEJlBXAE4vpzQf0KJBld2jsgnIh9\nzM3DMLj9ZcLYZ4RChcre37mJlXTxkhyqhiaaScF3oM9rdNAcxhz1ME1iFnbVlXY3\n0TiROZSo4nxKtyNtrdkyhPUVs8ifZZoQG1Qc3u73IeCD0uJ1WrcvoeckIpDHT2Pe\njbYjsbs9zy3kgcZFLGJAMwSeNMFMQd75TJh/6Eu3P+jfWpHyP9ta/ytFC1eY8yms\n+wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-11 00:00:00.000Z","summary":"

An education platform teaching the fundamentals of #ComputerScience, #RetroProgramming, and #Mathematics.

","updated":"2025-08-05 14:00:39.787Z","user":"","username":"pikuma.com"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 15:59:28.706Z","domain":"flausch.social","followerCount":336,"followers":"https://flausch.social/users/piegames/followers","following":"https://flausch.social/users/piegames/following","followingCount":200,"icon":"https://flausch.social/system/accounts/avatars/000/000/002/original/f152394bf39fec0a.jpg","id":"27p4z1qx6edhb42","inbox":"https://flausch.social/users/piegames/inbox","iri":"https://flausch.social/users/piegames","isLocal":false,"last_fetched":"2025-08-05 14:00:39.899Z","outbox":"https://flausch.social/users/piegames/outbox","preferred_username":"piegames","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx5YoVqaizEIn/Lt8SD65\nrSRdV3wT5YZjcsYs+BnAsLh6jYocZMtwWiI3sJBIiZUX5pNoEPWGoVnrW1IuD7k1\njoUQqmh3ueR6I7wc18ARp/ltWnSQueWt6jTS+oLszbu0gzWDHSo9FlENUNr9A91Q\nRhdkLNDgQiFW0/sWHMYNs0QUZV9/87kZWca+MJGoWDdm2lNpgfV7paKvGyLU+ebP\n4TKSUt7rYS7KX5LRsqYMafEbqE7cvjDKNqtRZWqekbHjVBKW+7FCXKOMdr9Q7tba\nWa8vJTtskDMvPNal+ycW7HAOoaLJzZe5EYrAfUOz1XOKFG25eZhe84US6ePwA4vh\ngQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-10-05 00:00:00.000Z","summary":"

:blobhaj_hug_plushie: Emotional support plushie — squish me like one of your Swedish sharks

🔮 certified in computer magic
:rust: is my love but C++ is my kink
:nixos: smash the state
:blobcatbox: certified smol
:asexual: unhinged kinky ace
🪢 autistic for ropes and knots

Peer reviews:
"good bean"
"we have compatible brain worms <3"
"premium comfy"

Private alt: @plushie

"minors DNI" on main DNI
Opinions are my own but they should also be yours

","updated":"2025-08-05 14:00:39.899Z","user":"","username":"piegames"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 14:15:23.464Z","domain":"fosstodon.org","followerCount":357,"followers":"https://fosstodon.org/users/simonmic/followers","following":"https://fosstodon.org/users/simonmic/following","followingCount":51,"icon":"https://cdn.fosstodon.org/accounts/avatars/106/304/084/994/827/771/original/37bbd0fd0dc31f57.jpeg","id":"i1ywyz749rgnm37","inbox":"https://fosstodon.org/users/simonmic/inbox","iri":"https://fosstodon.org/users/simonmic","isLocal":false,"last_fetched":"2025-08-05 14:00:39.948Z","outbox":"https://fosstodon.org/users/simonmic/outbox","preferred_username":"simonmic","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqAHooYYwqv8muw7pGKwq\nhDLhVwQzFJ+qVQMjLDGi63ZFKEQETNqN0oa15rw6FHyRdVIG2eeKMcf7Bo6epWmQ\ne93INiCh3pSuxIGeYoRfiYKKXt6KmeM1RhNfN27VGdqKwK6mE3NvGecO98mx71t/\npxmW7GN4JEA27b1OftGnO2vDySItolYFXSO3ZDRapc4RnCBqFy41v32o3t4T2rrd\n4MmglNzVnE5sdcBaXKfT8VPxVqgBbCi+3BXY6fDV2n3F5GNNmRB4VkAs/pmo7VtO\n5QT/0eBZMYzo2fbjlSj49rKUGdtLWc8xDtACzeRvOAbeG8Hg5HAHtC5frxd2PmtO\nlQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2021-05-26 00:00:00.000Z","summary":"

Independent software developer & consultant, #plaintextaccounting wiz, #hledger creator, haskeller, technoyogi, from Wicklow 🌲, Los Angeles 🌳, Maui 🌴 counties.

","updated":"2025-08-05 14:00:39.948Z","user":"","username":"Simon Michael"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:12:18.160Z","domain":"discuss.systems","followerCount":412,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1385,"icon":"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg","id":"dekw93l56l6q46z","inbox":"https://discuss.systems/users/csgordon/inbox","iri":"https://discuss.systems/users/csgordon","isLocal":false,"last_fetched":"2025-08-05 14:00:40.140Z","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-08-05 14:00:40.141Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 04:47:05.772Z","domain":"lonely.town","followerCount":32,"followers":"https://lonely.town/users/mikumiku/followers","following":"https://lonely.town/users/mikumiku/following","followingCount":145,"icon":"https://files.lonely.town/accounts/avatars/109/296/161/358/182/572/original/6de0c781e49643ef.png","id":"8545o7tmqrbkw24","inbox":"https://lonely.town/users/mikumiku/inbox","iri":"https://lonely.town/users/mikumiku","isLocal":false,"last_fetched":"2025-08-05 14:00:40.807Z","outbox":"https://lonely.town/users/mikumiku/outbox","preferred_username":"mikumiku","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0C9yFd8cMJi6kugrgVlw\npMXs8WxFT9+x8M43OSxcF5xgH+VIKzfjZLfqu7M+qdAAbviSInksrsHRXfPacA6x\nbfqkUBJMeuXfIk9zd7+H3T1rLpFhC2ErsA5UqfbUUrdGnQQ5Yjubh+K28T5dqKf6\nMcXA84eybZOyHuG5fu2CGNjjlCao8im3PSegiuXHrUbiySc1tayvNpQxndiIm1gN\nDk1DRkEGmkSPGjbJhOBmXr1n3Z/VMMpdLmV4tXpBhKfN6LxwpIyA2BYMuUw097zk\nzxtFRsWqVnBRIXDDaflFegorWPq5iQG4xmsRZ8MvE4oH8sdC0CSWB3Ee/4r4JXkF\nPwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

Lost soul of a lonely town

","updated":"2025-08-05 14:00:40.807Z","user":"","username":"Miku"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 20:04:48.331Z","domain":"digipres.club","followerCount":5075,"followers":"https://digipres.club/users/misty/followers","following":"https://digipres.club/users/misty/following","followingCount":820,"icon":"https://digipres.club/system/accounts/avatars/000/000/040/original/f7e86feb4c583794.jpeg","id":"3230d3327rg87u1","inbox":"https://digipres.club/users/misty/inbox","iri":"https://digipres.club/users/misty","isLocal":false,"last_fetched":"2025-08-05 14:00:41.366Z","outbox":"https://digipres.club/users/misty/outbox","preferred_username":"misty","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqajtw8KQ6b1Ie3B5GhHy\nJ6/sSDOmd4xHoKKZlB0NQ/3dwxnFUOSjFt8Ax0VJRoVYhnWZQ/wWf9Qn1JsmxhQ7\nZLju7/hzrCxRaflYn/HfnlBxU/BaNEeyxunhoGaiI3RwcjG9bMZyfbYD3mc65MKh\nvSEyl21acMHc1E2zLC8b3bFi9YI96fiPomRYt6qf0azrHnJV0a57zbL8KQHCmYpS\n3OiTkXoVdIAgGQmYESu2FdTebTZjR1rm8sPKuPIsBqWGUHSgUaDK3Cz+JhygtRRj\nLuWCUFMns4ckjE1HUZV4dqTP3uJAfaFIBg5lbm9uHXH9fGZaLvvbJvziYEDUPuyR\nvwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-01-17 00:00:00.000Z","summary":"

Runs digipres.club. Software + digipres. Currently, engineering at the Internet Archive. Prev. devtools at Axo, eengineering at Artefactual, etc.

","updated":"2025-08-05 14:00:41.366Z","user":"","username":"Misty"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-05 14:00:41.730Z","domain":"kde.social","followerCount":0,"followers":"https://kde.social/users/tokodon/followers","following":"https://kde.social/users/tokodon/following","followingCount":0,"icon":"https://cdn.masto.host/kdesocial/accounts/avatars/110/360/882/910/780/110/original/cbba3569d2350707.png","id":"18760l3d0fwxyaj","inbox":"https://kde.social/users/tokodon/inbox","iri":"https://kde.social/users/tokodon","isLocal":false,"last_fetched":"2025-08-05 14:00:41.730Z","outbox":"https://kde.social/users/tokodon/outbox","preferred_username":"tokodon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyEt9/nkU7eSXZm1Ykaft\nJ1lHnhH6Pm4634PnG3qiscacqBsBikwIyw+2qCs9EA+YJtL/pq5MkNYTO3G/1Dxy\nJ6hlF6AS4n/Bc2TLi077szLtfvxUX9l3nBKgJViHEvBYERieKFMXznUBuh7qpkEH\nwa3DvQYowP3Amg7zu+QgOpAl9ooKC+1yx+FMsrCueIqsUTSU3+cnJuVSr092mP59\nU1Q2OkfnFkqzciu1jkQhe/z0yVA8tG47Jz/dMW/uffcTlyvfIVA+U27JueVz8mxi\niyl+QMm8ICdxSmkE3ZxHrn8N5kEYQ7CM6YKtWkQidviG9wt2JdIjsuotYF5+hsZl\nhQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-05-13 00:00:00.000Z","summary":"

Tokodon is KDE's Mastodon client

","updated":"2025-08-05 14:00:41.730Z","user":"","username":"Tokodon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 16:30:09.321Z","domain":"mamot.fr","followerCount":13294,"followers":"https://mamot.fr/users/ploum/followers","following":"https://mamot.fr/users/ploum/following","followingCount":96,"icon":"https://static.mamot.fr/accounts/avatars/000/006/840/original/73b1609bd266f29b.jpg","id":"kn15h9euzl7w599","inbox":"https://mamot.fr/users/ploum/inbox","iri":"https://mamot.fr/users/ploum","isLocal":false,"last_fetched":"2025-08-05 14:00:41.792Z","outbox":"https://mamot.fr/users/ploum/outbox","preferred_username":"ploum","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA32rS29XK3IzE8ChDIv6a\nAjDSNn6NHRmmK1xg8IACetOjQiSQ3htLNswDY9fuhVfxdpq6qD78HxqNVYJkTe0Y\n6xye7DoDSCIXsMcKbgr2FAcqgiB2/0GfAv+un6LxGyb/at5TOLqfhoRa3uknGVqn\nvEa+hMpSe/91d7l6OtSOcrfKJyc3NXyEj8diQcKhvEx1x4np7B5x2pRJSXFnvSvq\n2FLeoiD6R+WtR9UDv4Ptm/dMgn+pSCCNtCY1YrbL0Gj8qpGx40j8DiHovBsJxHA8\nDgtGdJ4ElWUr7GT+H+MIDWUMWZEGPmws+ARU/e1Tt2ieYS3JQOXNwDDl+5LQLTQJ\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-08 00:00:00.000Z","summary":"

Joue de la machine à écrire dans un one-man-band pour défendre la liberté et l’imaginaire. Auteur de #Bikepunk.

Write SF and #cyberpunk books, free software and texts about freedom.

Pédale. Plonge dans l’eau froide.

Also on Gemini: gemini://ploum.net

","updated":"2025-08-05 14:00:41.792Z","user":"","username":"ploum"}],"page":1,"perPage":10,"totalItems":9,"totalPages":1}

Nano

Following