{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-09 17:53:57.521Z","domain":"fosstodon.org","followerCount":2,"followers":"https://fosstodon.org/users/ramdna/followers","following":"https://fosstodon.org/users/ramdna/following","followingCount":7,"icon":"https://cdn.fosstodon.org/accounts/avatars/111/880/861/441/248/138/original/58e789b87573a6bf.png","id":"8ls50wayttfxdpq","inbox":"https://fosstodon.org/users/ramdna/inbox","iri":"https://fosstodon.org/users/ramdna","isLocal":false,"last_fetched":"2025-11-13 06:59:06.789Z","outbox":"https://fosstodon.org/users/ramdna/outbox","preferred_username":"ramdna","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7P7mD6blP1KticxxL9Zx\nIVyZNMrqeVcvNakPVrimNO332vk9C0iqYu2vhUx9ZEuQqX3qGBh5rVKx/pbpSVys\nfrNl49U66ghHOtlt8yYJMZa84BKI5Suafp5vpUnv874pw8k6o1nLleRGSmGxg4ke\nHLbt+hce3wyS/SpnQkfu77tYkWrFHjUMms3j/EMCT40jkcoAFvENJfDz61vu9NAT\nrFXXceYLvV+KIRtW+opcSOypEuaJ9DS4RgdSgzNpJUxJJsDEEGT63JSzjTmKvOjm\nsl+BH046BKrtRB3kSDEM6ML/S/WaMjlw6jBAl+qSPhHTQoOwvdQcnwhTW2LKceDb\nZQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-05 00:00:00.000Z","summary":"","updated":"2025-11-13 06:59:06.789Z","user":"","username":"André M"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-13 06:59:06.861Z","domain":"functional.cafe","followerCount":0,"followers":"https://functional.cafe/users/otini/followers","following":"https://functional.cafe/users/otini/following","followingCount":0,"icon":"https://files.functional.cafe/accounts/avatars/000/026/428/original/ecf1d1eda83978b5.png","id":"1hpkxu5c3lve20h","inbox":"https://functional.cafe/users/otini/inbox","iri":"https://functional.cafe/users/otini","isLocal":false,"last_fetched":"2025-11-13 06:59:06.860Z","outbox":"https://functional.cafe/users/otini/outbox","preferred_username":"otini","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv2XkgHbmvwjG4Zmo3zkX\nEQAzbDDg3tVki1v7ZBv2mHNdsa+4N0oyVhwsupIy4vlU5P+iE188UmGUB2LWsuEL\niL3aVqWT5edg4f5WLkcYkwRjLEY7xH8XcNAhNI9BCit197gWXgAUgcCa2rBq6bJt\nrMqQXf8clSSs2Qo4jNISG/dFVkoBSj5LDhV6fEzKU8RQadGyAhPgd0XfUbsR9QrS\nO6H5LZitiiG3iUAty6RQfbRMNUn4QSTtnPNP/Ri48DGf8YqDkHd14/p4XYLOMxiu\nHvpA4okvv+7H5uQRXsLi8jzUvvfySjYVQfOJuwsctvv9CieJVDYfgEzkZNTDmHzv\nXwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-12-07 00:00:00.000Z","summary":"

Working on the OCaml language at Tarides. Typography dilettante. The rest of me is too fuzzy for this format I fear

","updated":"2025-11-13 06:59:06.861Z","user":"","username":"otini"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-19 18:12:11.999Z","domain":"sigmoid.social","followerCount":13,"followers":"https://sigmoid.social/users/lambdaxdotx/followers","following":"https://sigmoid.social/users/lambdaxdotx/following","followingCount":104,"icon":"https://cdn.masto.host/sigmoidsocial/accounts/avatars/109/552/766/051/241/975/original/3946d27a9f93a842.jpg","id":"hmxaox6uervmc8q","inbox":"https://sigmoid.social/users/lambdaxdotx/inbox","iri":"https://sigmoid.social/users/lambdaxdotx","isLocal":false,"last_fetched":"2025-11-13 06:59:06.990Z","outbox":"https://sigmoid.social/users/lambdaxdotx/outbox","preferred_username":"lambdaxdotx","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxqtkVEkdq6RacYzJ0GjT\nutjRtOxdUKuvC4CjLKVVylidRJotpRomdXUHmWqAULnX8z1QSZKZQTFErQxCL9gJ\nfDYAijiTc2Xq+L4Crw4f0w0SHoMuCz/jeIcePxUsGeBsH7DLj1PlmkloquALYl+0\nTv+UG7E2W9CVrZxXIiJ+5J12Vegue1Y0T0JJ3FPEiHOlTCNpKj3LO0WQ3IxaFDIM\n6eDM2vc6v5kB4M7DxcnNlOjfuSQ+KvfI+NWebmYhpj0+Mm1EfHFKHIcYGgm6utGC\nhYhImhGnkAVKmYTpLC9JcMR15mV6QzBFX/wp9ifHy5Npy5yPj6bvs76C/zw0c503\nJwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-21 00:00:00.000Z","summary":"","updated":"2025-11-13 06:59:06.990Z","user":"","username":"Michele Alberti"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-31 13:35:15.206Z","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":"3ko33lcn35j86aq","inbox":"https://fosstodon.org/users/frama_c/inbox","iri":"https://fosstodon.org/users/frama_c","isLocal":false,"last_fetched":"2025-11-13 06:59:07.034Z","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-11-13 06:59:07.034Z","user":"","username":"Frama-C"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-24 01:26:53.407Z","domain":"mamot.fr","followerCount":30715,"followers":"https://mamot.fr/users/admin/followers","following":"https://mamot.fr/users/admin/following","followingCount":0,"icon":"https://static.mamot.fr/accounts/avatars/000/003/458/original/a66257959a43f50d.jpg","id":"357e1k9o69rel8h","inbox":"https://mamot.fr/users/admin/inbox","iri":"https://mamot.fr/users/admin","isLocal":false,"last_fetched":"2025-11-13 06:59:07.054Z","outbox":"https://mamot.fr/users/admin/outbox","preferred_username":"admin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4ND8twFjluotX0NWa/nD\nnn/KzetptswmKalNvaUdVZi/596IW06b3fJMqegnurKkvDGnbC3akaNZo7HiS997\nDTmL1BXrrE0i3rKgk7KdClJWG6px2RqZgr6oIYtfdTHrbfYkYbFl1yt5tAIFoR4Y\n83WeRHkaR7NUG5mwZEeV7ymM1snxEtWT5X+0LzeRN6RXylRsiaFGtk5SMxk+6yvB\ngowLLhI8ttUHIZZa50iMCMqTstCbmGqgsaADtkC9QivuO8vlCjhjJbE33ggEsdQs\nGJyzlXWIh9BWUyPztdzy4aq1TcfQRRkvo5on/XPZCgrMac1ZoaR7pcjdJ5o+JIMG\nVwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-07 00:00:00.000Z","summary":"

Information on planned downtime or issues on https://mamot.fr instance.
Information sur les maintenances planifiées et problèmes de https://mamot.fr

","updated":"2025-11-13 06:59:07.054Z","user":"","username":"Information on mamot.fr status"}],"page":1,"perPage":10,"totalItems":6,"totalPages":1}

Allan Blanchard

Following