{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 22:41:56.018Z","domain":"mementomori.social","followerCount":778,"followers":"https://mementomori.social/users/tml/followers","following":"https://mementomori.social/users/tml/following","followingCount":563,"icon":"https://media.mementomori.social/accounts/avatars/114/765/293/944/174/985/original/6d86cee09980b821.jpeg","id":"0brn7d0oh3u4x58","inbox":"https://mementomori.social/users/tml/inbox","iri":"https://mementomori.social/users/tml","isLocal":false,"last_fetched":"2025-07-24 21:01:10.215Z","outbox":"https://mementomori.social/users/tml/outbox","preferred_username":"tml","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvZEIet69/vTpFu+aeQER\nEpjubCwCirdNJaym24nS4GeevvqRPbkk0N+Xm1lymwJktqCVNf0PJZEL9FJc8xpY\n8TSozzTKuLLY4AExU4UfLOCCOBIZujTAJTtH6ZcwTfJ+Zl4V4Y4zuOsseHgFDmCN\n8ko5JaT5NN5uhrLIuq1AbMJImp0c8eqa+ernM3+I9oR8Ub2F8+cmD15zQ+1zw3XM\nVZH7dL6bcVIXhTtoBKpyWu7V2EBFlWmBubAT44RIsK8E6NwswXL4koIAy1AKmopO\nby482gOtwRET+W6fIOCgqLA7JcA/gGIFhYnmsRKF86ErSXczC4p2BCwY78kzTgoz\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-29 00:00:00.000Z","summary":"

Software engineer, retired. Loves trains. Anti-fascist. Atheist. Feminist. Disillusioned by the open source "community".

A few videos on https://www.youtube.com/@TangoMikeLima

My toots are licensed as CC BY-ND https://creativecommons.org/licenses/by-nd/4.0/ .

Actually on Mastodon since 2023 but moved instance.

I will block apparent bots mercilessly.

Suomenkieliset tööttini usein luokkaa shitpost. Pier, pask, ja prööt ovat tööttien metakäsitteellisiä kulmakiviä.

","updated":"2025-07-24 21:01:10.215Z","user":"","username":"Tor Lillqvist"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-24 01:51:28.257Z","domain":"fosstodon.org","followerCount":0,"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-07-24 21:31:12.641Z","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-07-24 21:31:12.641Z","user":"","username":"Frama-C"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 07:45:34.549Z","domain":"mastodon.social","followerCount":934,"followers":"https://mastodon.social/users/alatiera/followers","following":"https://mastodon.social/users/alatiera/following","followingCount":236,"icon":"https://files.mastodon.social/accounts/avatars/000/328/338/original/bd3249b8d9c031dc.jpg","id":"j84w6589k8qwn4w","inbox":"https://mastodon.social/users/alatiera/inbox","iri":"https://mastodon.social/users/alatiera","isLocal":false,"last_fetched":"2025-07-24 21:31:12.727Z","outbox":"https://mastodon.social/users/alatiera/outbox","preferred_username":"alatiera","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0gjlLmSBiGiWEMyafMoD\n//bs1LkP8pHYR3WPWvhXrp0/x4JbGQpLIgoKs131Y94lG5j9YHLxyFyyi3qU76Nr\nuVtlUatIcCfmBxl29IYszu7SCTxbA8tnsvapaRo+CXpy89jRBkS4q9x09XuhXcPF\nfadLu/ueb4WemEILP2TdJXTQCEYfpIEv55SqwpcOPIqeqRZKz46l/yojkONLm0SB\nOesZ84FL3lgMfu1MlNGdhfYQ5lh/Fc4ut92ZpgaSZIDeiiXQIYsaA+n/Lq73sjg3\nlCjEKL/eH30YPeRJhtBxfOI5YCN/cnVazNaGebnQ23xoecwexrjofKF3saUMBgnT\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-04-14 00:00:00.000Z","summary":"

25 y/old kid without future.  GNOME, GStreamer, Release engineer, QA monkey. Multimedia Stuff. Flatpak and GNOME OS.

 Randomly complaining about computers and "foss". 

","updated":"2025-07-24 21:31:12.727Z","user":"","username":"Jordan Petridis"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 20:43:18.385Z","domain":"mastodon.gamedev.place","followerCount":0,"followers":"https://mastodon.gamedev.place/users/mirror2mask/followers","following":"https://mastodon.gamedev.place/users/mirror2mask/following","followingCount":0,"icon":"https://cdn.masto.host/mastodongamedevplace/accounts/avatars/109/310/180/335/646/570/original/5981c84ad85e2e29.jpeg","id":"240fl288ji7yu5m","inbox":"https://mastodon.gamedev.place/users/mirror2mask/inbox","iri":"https://mastodon.gamedev.place/users/mirror2mask","isLocal":false,"last_fetched":"2025-07-24 21:31:13.088Z","outbox":"https://mastodon.gamedev.place/users/mirror2mask/outbox","preferred_username":"mirror2mask","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq3CR+zPzF0qjqAigDJBI\npeuoidUCcaiBGzxifWDTuq+jKCfMjYsmXkmnoWrFokGqYqeCb/BGZt12lqMrTzIy\n6A+638nPBGbtis/F53tQVvLzeRJIIhjpTSwJHVYGF6guLAbh5wiN82IZ/FJfi+ct\nVmaVQyy40UfAO8f3u7ylDBfrIkvMcPcQ0vTt8gLYAUXr9Plzg4DemalrcST+oS6C\nUsSiLmNOYBXeuYbc4wqShT7z8GEA9V7fxWzba2vepkgVAqiM6cv24WaujeG8OHFz\nOduGxyr2mBR2f6gFTvga2FTUmX930Jdl28PSufmOGN4MBxB1aOJeJ7ESNKmUTdZa\nHQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Activision CTO. ex-Unity Gfx and Wētā tools. Prior to that graphics lead and engineering architect at Bungie. A long-time rendering enthusiast.

","updated":"2025-07-24 21:31:13.089Z","user":"","username":"Natalya Tatarchuk"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 09:34:04.416Z","domain":"limeshot.info","followerCount":328,"followers":"https://limeshot.info/users/krh/followers","following":"https://limeshot.info/users/krh/following","followingCount":187,"icon":"https://cdn.masto.host/limeshotinfo/accounts/avatars/114/647/483/613/768/016/original/b1f93a94f6074377.jpg","id":"g20408dw6nsc5h6","inbox":"https://limeshot.info/users/krh/inbox","iri":"https://limeshot.info/users/krh","isLocal":false,"last_fetched":"2025-07-24 21:31:13.275Z","outbox":"https://limeshot.info/users/krh/outbox","preferred_username":"krh","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtSDrMYZpTHbt2gW2BYxG\nlqE5Fche1T/xL0cbZvwSSoGH7G5ZIW4fTvDpRkAqLC8XO3judE6zZCy6dsaO0z+z\ncLaV91YZj1yNOqLeoh4suYQoR8+wR7XkdokvzFyTF1kLiztk10uyW0bpiKWsTTKP\nnNJx3fz7oL3sZu3rpOoK0dKj0jmg3A7r0bYH6kB5B27FFbAHKZK/KgsruWpnqNZn\npYQMqmhgzecPqm8+F3GMhtaFPCF2OAv1Gf5s7JEsRJNHDBlZRlfyxbXoL20Hq3Kd\nybMKvo5LUVJ1D4biKldTKadQl1m/XhNO9AmaheD8AMy7SJbCHJm92rFF9MdKN0hW\nZwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-08 00:00:00.000Z","summary":"

"Why does Rice play Texas?"

Linux and open source developer since, uh, back in the 90s. Mostly wobbly windows and other graphics, but also a firewire stack here and there. I named two projects after towns in western Massachusetts.

","updated":"2025-07-24 21:31:13.276Z","user":"","username":"Kristian H. Kristensen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 06:12:18.816Z","domain":"fosstodon.org","followerCount":127,"followers":"https://fosstodon.org/users/pundir/followers","following":"https://fosstodon.org/users/pundir/following","followingCount":229,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/290/751/868/508/078/original/fafe49a6b5023f9b.jpg","id":"9dw616uuf62265b","inbox":"https://fosstodon.org/users/pundir/inbox","iri":"https://fosstodon.org/users/pundir","isLocal":false,"last_fetched":"2025-07-24 21:31:13.321Z","outbox":"https://fosstodon.org/users/pundir/outbox","preferred_username":"pundir","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAs9YWbIj2KK3gmRKYE6ss\nRBJB7VFXyVoaXH9D0MOqnm43d9PVb1sr+KtJPajoKE9TL20TSuQiMLZAnlTSmd5y\nldILuAqV6+7nSiV/FZsJ0s7nhYwNMjiUecAwSQnqepRXqHXsN9+pwsmX9QnKDT3i\nqff2vvWxfSo2wKgAnCY10lmMVqSZsloLDxQ9MRh9djw/o2J2ptvZsqN714xC27E3\njn/zixQ7JsEC+K4gzPpkcqdjWW/C7iHIgm+govO/ZitcPBU7+9Idn8RPb/2bzNBa\n6TNFD1a9kYfuha/N8IcC2uQzq3sCyz4H2i0xSPl6KGFVW9W2i7Q6UmjIIPAfSuGh\nPwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"","updated":"2025-07-24 21:31:13.321Z","user":"","username":"Amit Pundir :android: :tux:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 09:17:36.724Z","domain":"floss.social","followerCount":1776,"followers":"https://floss.social/users/hywan/followers","following":"https://floss.social/users/hywan/following","followingCount":433,"icon":"https://cdn.masto.host/floss/accounts/avatars/114/541/533/159/396/885/original/140794cc2bbeddbe.png","id":"719xrw04j98207u","inbox":"https://floss.social/users/hywan/inbox","iri":"https://floss.social/users/hywan","isLocal":false,"last_fetched":"2025-07-24 20:18:30.334Z","outbox":"https://floss.social/users/hywan/outbox","preferred_username":"hywan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApmdGOWtunkWKMATCA3Xu\nZOoopO6NJ4ie4tXVYQXNAEh2DmC+fGgAIAV4IWNTz6k6eHCm/EqNSAS6OV/kcDIT\n39bpgDerroEMrYbfIWmismXpWKQMTN8kKfa6xuGS1G9oLGc4joojUMctjLWZswJU\nCxufe7uxrrPy1XbIgqjADyGQC3HnCXKjYaJGauu8TvQjQWOqcHoI/Az0KG8jRs9S\nkgIjLmhSZNjPnxgRqH8JtCiwtvAYFb8qybgWmwkKv5QUsKdzjBisMKbsmd38i5SY\nvFtV6U628OevYWRPyt8kWvhvSK70fFHWen1CB4+jT4cCvajjMuyxvIn29IbXzSFa\nFwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-20 00:00:00.000Z","summary":"

🌱 Ecologist :ferris: Rust nerd 👾 Hacker 🎓 PhD Computer Scientist 🤲 Open source lover 🙈 Parser, compiler, low-level, binding, VM/runtime, Web, home automation, embedded, WebAssembly polyglot… 🚀 R&D Element/Matrix, the decentralized, end-to-end encrypted, open source network 📜 Formerly Wasmer (WebAssembly runtime), Automattic, fruux, Mozilla (Firefox)…
🏠 Living in the stack, in a weird ABI, lost in FFI land

","updated":"2025-07-24 20:18:30.334Z","user":"","username":"Ivan Enderlin 🦀"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 17:49:28.278Z","domain":"mastodon.gamedev.place","followerCount":521,"followers":"https://mastodon.gamedev.place/users/sol_hsa/followers","following":"https://mastodon.gamedev.place/users/sol_hsa/following","followingCount":203,"icon":"https://cdn.masto.host/mastodongamedevplace/accounts/avatars/114/540/299/225/966/374/original/53a6471679b65990.png","id":"evf2xrd81nkr6p4","inbox":"https://mastodon.gamedev.place/users/sol_hsa/inbox","iri":"https://mastodon.gamedev.place/users/sol_hsa","isLocal":false,"last_fetched":"2025-07-24 21:31:13.364Z","outbox":"https://mastodon.gamedev.place/users/sol_hsa/outbox","preferred_username":"sol_hsa","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtjTKMpgNsLt+pClgCRyF\nQGcMTbVENp3qKZOZqzEel63Z8tUMAb2oW/Y3ajt2jeCoybxoIjbdXI6w148MpUAS\n2M80JBkN6KR82RsihoG4C5W8ix5Gn8h7NzoUENn0FDoqMrizS7kA+NrVnOAlbZav\njxvN5ckni9u1L9NmSrNIbVDPVnW+jQT2PW81C3IAV/oyOH/rbQHIdwrU5d3QIWrd\nrzYU8S/SmIB7+XS1zc8toOIY9SGvTBkEeGHjVHp27nxrZjAMKZ6wLseBdqF+Ntaf\nmzpp6r1ucd2I6+OiWr9v1fFf06kJ9g0cagTBYDLbu4Yygs8VOAszDWFR7LlM89yK\nxwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-20 00:00:00.000Z","summary":"

Author of SoLoud, Galaxql, Atanua, Sassy audio spreadsheet, and tons of other projects. I like zx spectrum next. Any opinions I post are mine, not my employers. https://ko-fi.com/sol_hsa

","updated":"2025-07-24 21:31:13.364Z","user":"","username":"Jari Komppa 🇫🇮"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 05:24:12.111Z","domain":"eupolicy.social","followerCount":7637,"followers":"https://eupolicy.social/users/bert_hubert/followers","following":"https://eupolicy.social/users/bert_hubert/following","followingCount":1093,"icon":"https://eupolicy.social/system/accounts/avatars/114/489/908/028/985/227/original/7cb494d435740aaa.jpg","id":"2w42bzjt3gnikdz","inbox":"https://eupolicy.social/users/bert_hubert/inbox","iri":"https://eupolicy.social/users/bert_hubert","isLocal":false,"last_fetched":"2025-07-24 20:17:44.486Z","outbox":"https://eupolicy.social/users/bert_hubert/outbox","preferred_username":"bert_hubert","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5HRFGDM3HikwC2SoiciG\nUTjVx+ZQlcHzcMBNMTxr3yH8eV8uD4pEfifxgIIrZjoXcX7I3MrUzWW1BnYLeTiW\naWrr56h0th4sqXucuF+8urA1HmLye+sl28Wtf9tx1z9CM70vF1twv6SkhU/nN6Ih\nqGcqckHa+islvDo0LRrldOqD0Z08WxErfBFJfSUqHB8x5A0AfNCyCuDlwNmaW/Sm\nQCWa1mMcdLKOBp5lQq8C1JSRennN2Juje86F1onljFG2U8MDn4+stXfsS8ec90Wb\nBsb24p01vC34GT/Aa87zgdEksWCPXA5PO/4ayZ4NHKo1p9EOg4c+l5P1W7AzCcUy\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-11 00:00:00.000Z","summary":"

Software developer, entrepreneur, former government regulator, current government advisor, amateur scientist.  https://berthub.eu/ - Nederlands account bert_hubert@mastodon.nl

","updated":"2025-07-24 20:17:44.486Z","user":"","username":"bert hubert 🇺🇦🇪🇺🇺🇦"}],"page":1,"perPage":10,"totalItems":89,"totalPages":9}

Adrian Marius

Following