Anne Pacalet @_Anne_P
Joined March 2015-
Tweets427
-
Followers36
-
Following273
-
Likes840
Hello world! TrustInSoft is delighted to be attending @RSAConference 2023! Book a coffee (or a whiskey) with CTO/Founder @bmonate: Core software security & an opportunity to ensure your code runs as intended. Grab a time slot here: outlook.office365.com/owa/calendar/B… #RSAC2023
Join us on our upcoming webinar on Formal Methods in software development hosted by Olivier Korach from TrustInSoft on 6 April 2023! Register Here: linkedin.com/events/applica… #ASRG #ASRGWorldWebianr #ASRGWebinar
That’s a wrap! TrustInSoft’s team had a blast sharing its latest technology and solutions for the embedded systems industry at @embedded_world. If you missed TrustInSoft’s booth at the event or want to revisit our demos, please check out our website trust-in-soft.com #EW23
[Nouvelle vidéo] Je parle du ChatBot dont tout le monde parle et qui parle à tout le monde : #ChatGPT Pourquoi c'est une extraordinaire machine à bullshit... Avec l'irruption bienvenue de @le_science4all ! youtu.be/R2fjRbc9Sa0 youtu.be/R2fjRbc9Sa0
Le front-end Rust pour GCC a été marqué prêt pour le merge dans la mainline \o/ phoronix.com/news/GCC-Rust-…
#ICYMI : Don’t forget to sign up! Static Analysis Webinar with experts from TrustInSoft and LDRA on December 13th at 11 AM EST/5 PM CET titled- Static Analysis: Tried and True and Continuing to Evolve Don’t miss out, register for the webinar now: bigmarker.com/Embedded-Compu…
@scrabsha, CS Student and Software Engineer at Trustinsoft, will give a talk on “Parsing Rust Code Considered Harmful” at EuroRust 2022. Check out the full schedule: eurorust.eu #rustlang
On est attaqués par Avisa, l'agence qui diffuse de faux contenus médiatiques pour ses riches clients. D'autres médias indépendants sont concernés. Plus que jamais, on a besoin de vous, alors on vous propose une offre à un euro les trois premiers mois : arretsurimages.net/?formula=offre…
Want to join the team? Check out our open roles: trust-in-soft.com/company/career… #OrangeSquad
Un voyage à Tahiti offert, ça vous tente ? Les plages paradisiaques, l’eau turquoise, la nature resplendissante… Un vrai petit paradis sur Terre. Comment refuser ? bonpote.com/un-voyage-a-ta…
📣TrustInSoft is #hiring for a variety of open positions, including: 💼 Office Manager 💼 Senior Technical Pre-Sales 💼 Major Account Executive 💼 C and C++ Master Analyst 💼 Product Marketing Manager Check out the🔑points in the GIF below & apply here! bit.ly/3OZBfl1
Day 2 of @embedded_world is in full swing! The TrustInSoft team is giving demos at the booth all day. Meet us at booth 4-344 & learn about how TrustInSoft Analyzer can help prove the absence of bugs with the latest technology of formal methods #ew22
📢 Join TrustInSoft at @embedded_world 2022 from June 21-22 at booth 4-344! Stop by and experience a live demo where we prove the absence of bugs in the Mbed TLS library, or book a meeting with us at trust-in-soft.com/contact/
#FICDay2- Drop by TrustInSoft’s booth and pick up some fun summer freebies! Try some of our new bug spray: TrustInSoft wants to keep your summer & your source code bug free. The TrustInSoft team hopes to see you here at the @FIC_eu today and tomorrow in Lille 📍 Booth A7-25
The @FIC_eu is near! TrustInSoft will be there June 7-9, 2022 at booth A7-25 on the @Hexatrust Pavilion. CEO @fderepas & COO Caroline Guillaume will present: Get to the root of the problem: proving the absence of software vulnerabilities so that they can't be exploited. #FIC2022
Psst...have you seen our latest content on TrustInSoft Analyzer? Check out our product page on our website to learn the specifics, see practical uses, and request a demo from our experts! ✅ trust-in-soft.com/product/trusti…
The TrustInSoft team is expanding once again! We are happy to welcome you all to the team. We are proud of your dedication to making software safer & more secure. Let’s see what we can accomplish together. Learn more: trust-in-soft.com/company/career… #welcometotheorangeside
Pop Quiz! Bugs in the source code can be entry points for cyberattackers, including in the low-level code and backend libraries. Which of the following has not been affected by a cyberattack caused by undefined behavior in their software’s source code?
"La boulette" Atlassian a effacé les environnements cloud de 400 clients par erreur usine-digitale.fr/article/atlass…
La 1e thèse en informatique française a été soutenue par une femme, Marion Créhange, en 1961. Elle vient de s’éteindre à 85 ans. Elle n’a pas de page wikipedia car sa page a été supprimée en 2005 avec le commentaire "C'est une prof d'université. Rien de bien passionnant".
S🦀sha @scrabsha
1K Followers 406 Following Rust, compilers, functional programming and shitposting also -- 🏳️⚧️ -- she/her -- DMs always open
Matthieu Lemerre @lemerre_m
161 Followers 120 Following Matthieu Lemerre -- tenured researcher in formal methods, computer systems, cybersecurity and so on #StaticAnalysis #OS #Cybersecurity #AbstractInterpretation
BINSEC Team @ Univers... @BinsecTool
928 Followers 356 Following Binary code analysis for security / Academic research (Infosec, SE, FM, AI) / Open-source tool / Applied in industry / Posts by @michaelmarcozzi and @Seb_Bardin
SPARTA @sparta_eu
1K Followers 817 Following #Cybersecurity Competence Network pilot to ensure EU #SecurityUnion and #StrategicAutonomy | #H2020
Divine Box @Divine_Box
2K Followers 3K Following Produits d’abbayes 🇫🇷 👨🌾 Fabrication artisanale 📸 Découverte d’abbayes 💸 Soutien aux communautés 📺 Saison 5 de #QVEMA
Le Coq Gourmet @CoqGourmet
696 Followers 913 Following La box gourmande d'épicerie fine à destination des amoureux des produits du terroir 🇨🇵 Livraison en France et en Europe ! #madeinfrance #circuitcourt
Solaine perin @PerinSolaine
85 Followers 1K Following Coucou salut ! femme à la recherche d'un homme sérieux et qui veux une relation sérieuse et durable
Maison FT @MaisonFT
808 Followers 2K Following 🍃Vêtements sympas fabriqués avec amour 🚲 Livraison 72h 🌎 Habillons-nous bien 🎁Newsletter bons plans ⬇️ https://t.co/yVgeIXPRVu https://t.co/BtWxw4w0Lj
Marcel @Marcel28860217
56 Followers 560 Following Je suis pour me fait plus d’amis voir plus si affinités.
florent lagarde @florent_lagarde
81 Followers 397 Following Je suis quelqu’un de très sympa gentil honnête respectueux courageux et surtout très franc
Zay @ZaynahNicolas
172 Followers 198 Following
Au Grillon Fou @AuGrillonFou
13 Followers 788 Following
Art Déco Cyrillia @Cyrillia4
2K Followers 5K Following Artiste Cyrillia, la décoration graphique au service du particulier et de l'entreprise.
Philippe Trotin @Philippe_Trotin
1K Followers 575 Following Accessibility lead #MicrosoftFrance. Ambassadeur d’un monde plus humain et inclusif. #a11y #Accessibilite #Diversite #Inclusion #Microsoft #IA #Cloud
Tux de Poinsisse @TuxDePoinsisse
123 Followers 424 Following
Yann Régis-Gianas @yurug
1K Followers 2K Following Software engineer / Father of 3 / Head of Engineering @nomadiclabs / #tezos / #smartrollups / #ocaml / #functionalprogramming
Xavier Nayrac @lkdjiin
777 Followers 684 Following Créateur d'effets pour guitare, auteur de "Créer votre #framework web en #Ruby", happy #vim user, maker, TDD addict
START@SystemX @StartAtSystemX
198 Followers 173 Following #START@SystemX : une initiative multi-partenariale visant à rapprocher #startup et grands groupes autour de projets de R&D à l'@IRTSystemX.
fred dumont @freddumont4
432 Followers 3K Following angent immobilier et annonceurs de terrains à batir et programme neuf pour les particluiers et agences immobilières,constructeurs de maisons individuelles
Zim @1Zimzim
3 Followers 28 Following
Jakub Zwolakowski @JakubZwolakowsk
15 Followers 36 Following
Benjamin Monate @bmonate
48 Followers 81 Following
objmag1c @objmag1c
239 Followers 499 Following
Désidédata @desidedata
256 Followers 552 Following Je suis la plus fraîche des infolettres. Tous les jeudis, je vous parle de la vie des données en français. Créée et animée par @MaliciaRogue.
Roberto Di Cosmo @rdicosmo
5K Followers 5K Following Scientist professor hacker writer citizen. Committed to building a better world through science technology and community. Director @swheritage. Follow ≠ endorse
Jessica @JessicaBeyond
131 Followers 424 Following Geek & running, Apple & nouvelles technologies, mode & style, musique & infos, économie & finance
fabednubiak @fabednubiak
5 Followers 16 Following
Axelle Ap. @cryptax @... @cryptax
6K Followers 286 Following Mainly about security, OS, mobile phones. The postings on this page are solely my own opinion and do not represent my employer.
Le Président TONC @Ululu3000
2K Followers 4K Following Président de Chambre - Président de l'Association Justice de l'An 3000
Lightsephi @Lightsephi
4 Followers 89 Following
Lola @LolaLaGameuse
1K Followers 4K Following 20 000 déjà sur notre chaîne YouTube ! https://t.co/2m5LW1ADkX Merci à tous ! 1 video chaque semaine !
Gilles Perret @Gilles_Perret
23K Followers 872 Following Réalisateur de "Les Jours Heureux", "La Sociale", "J'veux du Soleil !", "Debout les femmes!", "Reprise en main", "La ferme des Bertrand" et "Au Boulot!"
Jules Grandin @JulesGrandin
57K Followers 1K Following 🌍 Cartographe et responsable du service infographie @LesEchos // L'Atlas Molière et le Bébégraphe chez @les_arenes // @GoumProd / @LittleBigData_ / #thingsMap
Happy To Dev @happytodev
3K Followers 2K Following 0 🟩🟩🟩🟩🟧🟨🟨🟨🟨🟨 🎯 5k abonné.e.s sur "Quoi de neuf les devs?" : https://t.co/wnh9Lvjkux Faire ta veille sur les frameworks 👉 https://t.co/sXwv4lLdFv
Olivier Poncet 🦝 @ponceto91
14K Followers 3K Following Artisan du magiciel et adepte de programmation récréative. Je partage du code, parle de logiciels libres et open-sources, de Linux, BSD et d'infrastructure
Nice-Presse Culture-L... @Nice_Culture
1K Followers 792 Following Le compte des pages culture et loisirs de @NicePresse, 1er journal gratuit du 06 🎭🍸 #Nice06 Sorties, expos, tendances, artistes…
Michael Zemmour @ZemmourMichael
74K Followers 1K Following Compte sans activité, j'ai déménagé ici: @[email protected] sur Bluesky @[email protected] sur Masto 🐘
@[email protected] @ptilouk
1K Followers 121 Following Je ne suis plus là. Retrouvez-moi sur Framapiaf : https://t.co/Y8jlik8Fdr
Tarides @tarides_
2K Followers 231 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
biotmeteo @biotmeteo
32 Followers 2 Following Je suis une station météo amateur EcoWitt, et je toote les conditions météo actuelles à Biot (06), France sur @paille.fr@biotmeteo.
Buitengebieden @buitengebieden
2.9M Followers 76 Following The official positive side of 𝕏. I’m Sander from the Netherlands. All copyrights belong to their respective owners! DM for credits/removal/submission!
The Rocq Prover @CoqLang
2K Followers 55 Following This account is no longer used. Follow us on Mastodon at @[email protected] (https://t.co/YQ7JNBex1u) instead.
Aludelles @aludelles
2K Followers 578 Following Créations originales, modèles uniques et séries limitées.
K-9 Mail @k9mail_app
2K Followers 7 Following K-9 Mail: An open-source email app for Android. Part of the @MozThunderbird family | Support forum: https://t.co/WM7FSm8ATA
Aude Gogny-Goubert @AudeGG
26K Followers 438 Following Actrice & Réalisatrice. #Virago https://t.co/vLJRQ26D0T
Bonjour Bot @BotGDeleur
683 Followers 2 Following Une fois par heure, je pioche parmi plus de 1300 "bonjour" tweetés par @GDeleur depuis mai 2017. Si on me mentionne, je réponds ! Contact : @PamelaChougne2
Le libraire se cache @librairesecache
131K Followers 709 Following Chroniques d'un libraire ordinaire bannière:Marion Montaigne https://t.co/wnZtFPtS9N
o0Ignition0o @o0ignition0o
2K Followers 4K Following He/They 🦀 @apollographql Trying to help newcomers learn rust. DMs always open! Don't worry too much, you're doing great already!
S🦀sha @scrabsha
1K Followers 406 Following Rust, compilers, functional programming and shitposting also -- 🏳️⚧️ -- she/her -- DMs always open
Pouhiou (plus souvent... @Pouhiou
5K Followers 520 Following Comte archivé. RDV sur masto (ou bsky).
Mairie Châteauneuf @actuchateauneuf
148 Followers 21 Following
Clara Dealberto @claradealberto
21K Followers 976 Following Responsable infographisme @LePoint, passée par @libe @lemondefr @we_do_data // 50% de @GoumProd // J’aime beaucoup les cartes // Derrière @LittleBigData_
Astropierre @astropierre
88K Followers 4K Following Médiateur scientifique, conférencier et chargé de projets. #Freelance Ici, on parle de science, mais pas que... Posez-moi vos questions, ça ne coûte rien ;)
Amazing Maps @amazingmap
594K Followers 14K Following Amazing maps brought to your attention. Turn our tweet notifications ON to never miss a tweet! Business/Map Ideas
Jean Michel Courty @jmcourty
6K Followers 3K Following Professeur #Physique @Sorbonne_Univ_ @lkb_lab #vulgarisation @PourlaScience @[email protected] 📺 https://t.co/1gcIoDWYg9…
Heliox @Heliox_Lab
25K Followers 855 Following Chaine #YouTube "Le Labo d'Heliox", je parle d'#impression3D / #DIY / #électronique / #HighTech... → https://t.co/AH4bvtdeYR
Les Matins de France ... @Lesmatinsfcult
46K Followers 1K Following Les Matins sur @franceculture, de 6h30 à 9h du lundi au vendredi par @guillaumeerner.
France Culture @franceculture
930K Followers 465 Following Culture, arts, débats et société... Fil twitter officiel de France Culture, une radio de @radiofrance.
Doc FX 🩺☘️ @FXMoronval
49K Followers 36 Following Médecin Urgentiste SAMU SMUR - Youtubeur - Sosie non officiel de @max_boublil - Papa de Cacahuète - Spiderman
Formal Methods Europe @FormalMtds
764 Followers 241 Following Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Paris Then and Now @Parisidftn
15K Followers 16 Following Paris yesterday and today. Historic images of Paris matched with modern views. Made with love daily in California, USA. Suivez-moi!
𝐒𝐭𝐞𝐚𝐦�... @Steampunk_T
115K Followers 162 Following Steampunk, Steamgoth, Victorian, burlesque, Neo-victorian, Fashion, Goth, Tentacles, Gas mask... and more !!
Benjamin Brillaud @NotaBeneMovies
187K Followers 919 Following Créateur de Nota Bene. Amateur de headbang. Expert autoproclamé de la barbe. Résident de la Moria (compte en sommeil pour le ciel bleu).
Le Média Positif �... @LMPositif
534K Followers 330 Following 🗞 Le Média 100 % optimiste et positif 🌱 Découvre notre podcast ! 🤩👇
Paris-treizième @ParisTreizieme
3K Followers 384 Following https://t.co/WQZMNZC5d9, c'est l'envie d'une évocation du 13e arrondissement de 1860 aux années 30. En ligne jusqu'à septembre 2026.#Paris13
François Malaussena @malopedia
113K Followers 3K Following Vulga éco, droit, histoire, politique, Parlement Froisse des ministres Tel le CICE, mes tweets n'engagent personne Mes autres réseaux : https://t.co/L8qQqqz1oT
kippit @kippitFrance
494 Followers 108 Following kippit, c'est quoi ? L’électroménager sans concession, durable, réparable et Made in France !
Théo Drieu - Balade ... @BaladeMentale
12K Followers 333 Following Entre le cosmos et les abysses et parfois à mi-chemin.
Eva Joly @EvaJoly
146K Followers 4K Following Avocate, ancienne magistrate, ancienne eurodéputée écologiste. Membre de l’@icrict. Titulaire de la chaire Arne Næss 2019/20 @UniOslo.
La Nef, pour la banqu... @laNef_
7K Followers 284 Following Nous sommes une coopérative bancaire citoyenne qui réunit particuliers et professionnels pour construire une société plus juste et durable.
alpesmaritimes @AlpesMaritimes
72K Followers 725 Following Compte officiel du Département des Alpes-Maritimes (06)
Lê Nguyên Hoang bsk... @le_science4all
24K Followers 1K Following CEO of @calicarpa_com. President of @TournesolApp🌻. ML security researcher. @Polytechnique X07, @polymtl PhD, ex @mit @epfl. Writer, @Orange AI ethics.
Contribulle @contribulle
294 Followers 0 Following Aider les personnes en charge de projets libres à trouver des volontaires pour contribuer à leur projet. Aussi sur mastodon: @[email protected]
Bon Pote @BonPote
79K Followers 481 Following A quitté Twitter le 20/01/25. Retrouvez-nous sur Bluesky, Linkedin, Instagram et via notre newsletter gratuite ! https://t.co/QWzJHqBc0O
GRZ @GuillaumeRozier
119K Followers 1K Following Conseiller du Président de la République, Data Engineer de formation, fondateur de @covidtracker_fr @vitemadose_off @trackmywatt, 🏔 lover
BINSEC Team @ Univers... @BinsecTool
928 Followers 356 Following Binary code analysis for security / Academic research (Infosec, SE, FM, AI) / Open-source tool / Applied in industry / Posts by @michaelmarcozzi and @Seb_Bardin
Diskio Pi @DiskioPi
814 Followers 1K Following All the Open Source in one device. - Dev. Tablet compatible Raspberry Pi, Odroid and more. https://t.co/RgXXpfx9K7
Le Doc @DrFranckClarot
79K Followers 2K Following Docteur des entrailles et des images. J'écris des trucs, j'essaie d'expliquer la médecine sérieuse, sans trop de sérieux. Radiologue, Légiste
Trends for United States
You might like
