{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-18 06:14:52.616Z","domain":"infosec.exchange","followerCount":9,"followers":"https://infosec.exchange/users/ftk/followers","following":"https://infosec.exchange/users/ftk/following","followingCount":39,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/109/253/306/096/477/298/original/fe06334ff2ac002b.jpeg","id":"13h2q5k2xt11jn1","inbox":"https://infosec.exchange/users/ftk/inbox","iri":"https://infosec.exchange/users/ftk","isLocal":false,"last_fetched":"2026-02-03 20:16:30.266Z","outbox":"https://infosec.exchange/users/ftk/outbox","preferred_username":"ftk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwDITL6aAbQICqLRY5Fzo\nhY/rdjyALYUzZPFrcUmCKuMqU8N397uoqxaeB9529xIgwb9VQYB9qVMatLkDuwt9\n6iqYvb4S6IsZpPMA+gMeFHDHQuetQE12UPbDzHw0JsODUAyaLUF72LUYAoqphAdp\nRC0rDRTCu0mN9i6ocwNyQ+uK3ZmGktmoRa5p3vxlaO41Kt7xz3P/JN9EB81OAl35\n058153cw/7h5Z9ZUdwTfhEtaYxS4RKO37JSrDfM92l4T3jEStdkg51alzIOyvQMw\nOWx+4RE6rq+DzQ0p1usQ7WETIPo7xdLPRXmKkp22aLgiDUTBYTuNwhlHjkrdJc4c\niQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Engineer, Scientist, Director, digital policy at SGPI: France's general secretariat for investment, #France2030, @SGPI_avenir, #GouvernementFR, GPG:0xC27B7490

","updated":"2026-02-03 20:16:30.268Z","user":"","username":"Florent Kirchner"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-09 22:19:47.384Z","domain":"piaille.fr","followerCount":3,"followers":"https://piaille.fr/users/wagyl/followers","following":"https://piaille.fr/users/wagyl/following","followingCount":23,"icon":"","id":"e6tl5a1e9qx18br","inbox":"https://piaille.fr/users/wagyl/inbox","iri":"https://piaille.fr/users/wagyl","isLocal":false,"last_fetched":"2026-02-03 20:16:30.359Z","outbox":"https://piaille.fr/users/wagyl/outbox","preferred_username":"wagyl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArTsr0FWIw88uYfpy2aDV\n6IFnzFZXgsK7HvwhnD/V11HIc5C/JPXsURR1xkidJSlgzyNbDCdqFNdNIvJmplwg\n2vOpvVaZNsvvYSlXlZFSUkgguehRn7SNjH1uDEKeL/DkRclWTWsV45tk7XbLp8EE\nY04YfzBvq0q3PRgKlynS5A1QQkeDYZ5lL2UNheRq2HXK0yfCn5DSKA5R/loPHa5i\nYHDAmcZ23XuGDt0eNRfcdxrBLbsHwJU2TRAkmCOow4SxOkGxzp9I65KLkdwJEwRT\nwRsMZoL9P2rO8LIsOLjZGCuxwpZKrBEvAMQSCDo/KmvvybBgyQxHYCnoYGc5bBhw\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-05 00:00:00.000Z","summary":"","updated":"2026-02-03 20:16:30.360Z","user":"","username":"Wagyl"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-03 20:16:30.717Z","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":"6n2rgijd1x6f26i","inbox":"https://functional.cafe/users/otini/inbox","iri":"https://functional.cafe/users/otini","isLocal":false,"last_fetched":"2026-02-03 20:16:30.715Z","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":"2026-02-03 20:16:30.717Z","user":"","username":"otini"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-03 20:16:30.803Z","domain":"mamot.fr","followerCount":0,"followers":"https://mamot.fr/users/allan_blanchard/followers","following":"https://mamot.fr/users/allan_blanchard/following","followingCount":0,"icon":"https://static.mamot.fr/accounts/avatars/000/282/981/original/925cb104d24dd9df.png","id":"uvu1f5m02ra5usl","inbox":"https://mamot.fr/users/allan_blanchard/inbox","iri":"https://mamot.fr/users/allan_blanchard","isLocal":false,"last_fetched":"2026-02-03 20:16:30.803Z","outbox":"https://mamot.fr/users/allan_blanchard/outbox","preferred_username":"allan_blanchard","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlFTjowFg2oQXx7IPaa+u\nS2wiPx6EIkK2YEl+2Xfuu4PAG+/ElQcpFE3IfOLjpsh7Ice5MWy6swN6LE4nvfTd\nENern1ES+8RENjPRAYuAcqIcalC41XlvIeiIccfBhv7rYbwzJ373ybTg5816W7uW\nK27QOrueIWhHgYBpACr3a1p/lWwwYQ0UtvkUPlxaXIIJmndKHSdsnJ9KNAmTl9lO\nvyrPYSG9xt8G3dv6VkMhrIP6vg3wbJvNo+PmA1Bq+htccdUCXWEmKwt7c+cSC7nH\neuqNl/F3MTjOCaxR3HLqgzIhkSyktcq6KNMZwArQJsdZeux+3X/WD66dCmqj5m9H\nhQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-01-14 00:00:00.000Z","summary":"","updated":"2026-02-03 20:16:30.803Z","user":"","username":"Allan Blanchard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-03 20:16:30.878Z","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":"k97x2l6js0awgs5","inbox":"https://fosstodon.org/users/frama_c/inbox","iri":"https://fosstodon.org/users/frama_c","isLocal":false,"last_fetched":"2026-02-03 20:16:30.877Z","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":"2026-02-03 20:16:30.878Z","user":"","username":"Frama-C"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-10 20:04:15.316Z","domain":"mastodon.social","followerCount":4830,"followers":"https://mastodon.social/users/regehr/followers","following":"https://mastodon.social/users/regehr/following","followingCount":956,"icon":"https://files.mastodon.social/accounts/avatars/000/147/970/original/8dd7e7e6a7ea9f95.png","id":"yikq6ui15w1d621","inbox":"https://mastodon.social/users/regehr/inbox","iri":"https://mastodon.social/users/regehr","isLocal":false,"last_fetched":"2026-02-03 19:38:03.065Z","outbox":"https://mastodon.social/users/regehr/outbox","preferred_username":"regehr","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqc9jRQbHfYqgDGWUXgk0\n2kPoy5LWnoA60e0nOFkK8YdlnO5XjkHPQENRBjeGg8MUjLsO+VpsyY7tFPYJ6Wp+\nqgIvawq6QZT5Aqk5Tj/DaeOe6xjF5vTcdptbgOiACekKA4jh3wq15CnoJrTRCWdh\n9R4y66RNF8fwcgYUBdqh3LxZfEeZEYd9zAGej5KdVnNOKt5dY/lN1OqSshnLfi9R\neHpHUwXC+N25TXUp8k+fzkwuHY2O0QUM+winQ8d43eOUNDmnTsIYCeH8LakaLozT\n+NgjJIjKkg6Mfk53qHQ/A53y1vJCbxbpjbJjKsQNep28fj5O/63op/hS5+yAXq4T\nEQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-24 00:00:00.000Z","summary":"

he/him

","updated":"2026-02-03 19:38:03.065Z","user":"","username":"John Regehr"}],"page":1,"perPage":10,"totalItems":2,"totalPages":1}

André M

Following