Stéphane Carrez
@ciceron.bsky.social
CTO/Twinlife/Skyrock, software engineer twinme/Skred, Ada Open Source dev, Harley rider
Reposted by Stéphane Carrez
Composer 10 chiffres pour appeler quelqu’un. Rendez-vous compte un peu du calvaire.
December 11, 2025 at 9:50 AM
Composer 10 chiffres pour appeler quelqu’un. Rendez-vous compte un peu du calvaire.
Reposted by Stéphane Carrez
Pris sur X et ça m'a fait rire.
BSD, l'entre des BOFH 😅
BSD, l'entre des BOFH 😅
December 8, 2025 at 10:49 PM
Pris sur X et ça m'a fait rire.
BSD, l'entre des BOFH 😅
BSD, l'entre des BOFH 😅
Reposted by Stéphane Carrez
Reposted by Stéphane Carrez
La 30ème conférence internationale pour les technologies de logiciels sûrs (AEiC 2026) aura lieu en Suède à Västerås du 9 au 12 June 2026. Différentes thématiques seront traitées et divers évènements seront organisés en parallèle.
www.ada-europe.org/conference20...
#ada #adlanguage #software
www.ada-europe.org/conference20...
#ada #adlanguage #software
AEiC 2026
16 September 2025: Call for contributions published.
www.ada-europe.org
December 4, 2025 at 3:38 PM
La 30ème conférence internationale pour les technologies de logiciels sûrs (AEiC 2026) aura lieu en Suède à Västerås du 9 au 12 June 2026. Différentes thématiques seront traitées et divers évènements seront organisés en parallèle.
www.ada-europe.org/conference20...
#ada #adlanguage #software
www.ada-europe.org/conference20...
#ada #adlanguage #software
Reposted by Stéphane Carrez
Après NVidia, c'est Zenseact, une startup issue de Volvo qui fournit des logiciels pour voitures autonomes, qui choisit Spark pour ses développements.
Nous, on trouve que c'est une bonne idée :)
www.just-auto.com/sponsored/me...
#spark #ada #adalanguage #formal_methods
Nous, on trouve que c'est une bonne idée :)
www.just-auto.com/sponsored/me...
#spark #ada #adalanguage #formal_methods
Meeting ASIL C and D with Formal Methods - Just Auto
Zenseact develops world-leading safety software for passenger cars. As an AI and software company dedicated to revolutionizing car safety, Zenseact designs the complete software stack for autonomous d...
www.just-auto.com
December 4, 2025 at 8:17 AM
Après NVidia, c'est Zenseact, une startup issue de Volvo qui fournit des logiciels pour voitures autonomes, qui choisit Spark pour ses développements.
Nous, on trouve que c'est une bonne idée :)
www.just-auto.com/sponsored/me...
#spark #ada #adalanguage #formal_methods
Nous, on trouve que c'est une bonne idée :)
www.just-auto.com/sponsored/me...
#spark #ada #adalanguage #formal_methods
Reposted by Stéphane Carrez
Petite indiscrétion suite à l'AG d'Ada-France hier soir, il semblerait qu'un des membres veuille reprendre Ironsides, un serveur DNS écrit, à l'époque, en Spark 2012.
L'idée serait de porter vers la dernière version de Spark et d'ajouter les protocoles manquants.
ironsides.martincarlisle.com
L'idée serait de porter vers la dernière version de Spark et d'ajouter les protocoles manquants.
ironsides.martincarlisle.com
Ironsides
ironsides.martincarlisle.com
December 4, 2025 at 1:26 PM
Petite indiscrétion suite à l'AG d'Ada-France hier soir, il semblerait qu'un des membres veuille reprendre Ironsides, un serveur DNS écrit, à l'époque, en Spark 2012.
L'idée serait de porter vers la dernière version de Spark et d'ajouter les protocoles manquants.
ironsides.martincarlisle.com
L'idée serait de porter vers la dernière version de Spark et d'ajouter les protocoles manquants.
ironsides.martincarlisle.com
Reposted by Stéphane Carrez
C'est reparti pour le "calendrier de l'avent" en Ada !!
www.adacore.com/blog/announc...
#ada #adalanguage #contest #programming
www.adacore.com/blog/announc...
#ada #adalanguage #contest #programming
Announcing Advent of Ada/SPARK 2025: Coding for a Cause!
Advent of Ada/SPARK is back! Solve Advent of Code 2025 challenges in Ada/SPARK and help us raise up to $5,000 for Ada Developers Academy.
www.adacore.com
December 3, 2025 at 6:57 PM
C'est reparti pour le "calendrier de l'avent" en Ada !!
www.adacore.com/blog/announc...
#ada #adalanguage #contest #programming
www.adacore.com/blog/announc...
#ada #adalanguage #contest #programming
Reposted by Stéphane Carrez
Le problème des #déchets textiles est généralisé. Nos vêtements ne sont PAS conçus pour être recyclés. Même côté grandes marques de luxe. On cumule des déchets… sans savoir quoi en faire
Et penser que ça ne touche QUE la fast fashion c’est n’avoir rien compris au problème
Et penser que ça ne touche QUE la fast fashion c’est n’avoir rien compris au problème
November 30, 2025 at 6:19 PM
Le problème des #déchets textiles est généralisé. Nos vêtements ne sont PAS conçus pour être recyclés. Même côté grandes marques de luxe. On cumule des déchets… sans savoir quoi en faire
Et penser que ça ne touche QUE la fast fashion c’est n’avoir rien compris au problème
Et penser que ça ne touche QUE la fast fashion c’est n’avoir rien compris au problème
Reposted by Stéphane Carrez
« Pas question d’être un vassal » : A Berlin, Friedrich Merz et Emmanuel Macron ont appelé l’Europe à sortir de sa fascination pour les Big Tech et à reprendre la main.
www.france24.com/fr/info-en-c...
#souveraineténumérique #europe #UE
www.france24.com/fr/info-en-c...
#souveraineténumérique #europe #UE
L'Europe refuse d'être le "vassal" technologique des États-Unis et de la Chine, dit Macron à Berlin
Emmanuel Macron a rencontré, mardi, à Berlin, le chancelier allemand, Friedrich Merz, lors d'un sommet sur la souveraineté numérique de l'UE. Alors que le Vieux Continent a pris un retard considérable...
www.france24.com
November 28, 2025 at 11:20 AM
« Pas question d’être un vassal » : A Berlin, Friedrich Merz et Emmanuel Macron ont appelé l’Europe à sortir de sa fascination pour les Big Tech et à reprendre la main.
www.france24.com/fr/info-en-c...
#souveraineténumérique #europe #UE
www.france24.com/fr/info-en-c...
#souveraineténumérique #europe #UE
Reposted by Stéphane Carrez
L'Alliance européenne pour les SMR (dont Les Voix du Nucléaire est membre actif depuis sa création) fait face à une initiative coordonnée des mouvements anti-nucléaires européens et nous devons réagir.
Aidez-nous à agir : likez, partagez et répondez à la consultation.
Aidez-nous à agir : likez, partagez et répondez à la consultation.
November 28, 2025 at 12:39 PM
L'Alliance européenne pour les SMR (dont Les Voix du Nucléaire est membre actif depuis sa création) fait face à une initiative coordonnée des mouvements anti-nucléaires européens et nous devons réagir.
Aidez-nous à agir : likez, partagez et répondez à la consultation.
Aidez-nous à agir : likez, partagez et répondez à la consultation.
Reposted by Stéphane Carrez
France isn't a safe country for open source privacy projects. They expect backdoors in encryption and for device access too. Secure devices and services are not going to be allowed. We don't feel safe using OVH for even a static website with servers in Canada/US via their Canada/US subsidiaries.
November 24, 2025 at 7:55 PM
France isn't a safe country for open source privacy projects. They expect backdoors in encryption and for device access too. Secure devices and services are not going to be allowed. We don't feel safe using OVH for even a static website with servers in Canada/US via their Canada/US subsidiaries.
Reposted by Stéphane Carrez
ton lien renvoie vers un json au lieu de post.. bizarre.
copie d'écran du message:
copie d'écran du message:
November 24, 2025 at 5:15 PM
ton lien renvoie vers un json au lieu de post.. bizarre.
copie d'écran du message:
copie d'écran du message:
Reposted by Stéphane Carrez
Bon. J’invite tout le monde à garder calme et à prendre le temps d’écouter la prise de parole du CEMA devant les maires
Parce que ce qui en a été restitué est quand même pas mal en décalage avec ce qui a été dit
youtu.be/4eA4js-Tcw4?...
Parce que ce qui en a été restitué est quand même pas mal en décalage avec ce qui a été dit
youtu.be/4eA4js-Tcw4?...
Grand Forum Après midi - 18/11/25 : Intervention du général Fabien Mandon
YouTube video by Association des Maires de France
youtu.be
November 21, 2025 at 12:02 PM
Bon. J’invite tout le monde à garder calme et à prendre le temps d’écouter la prise de parole du CEMA devant les maires
Parce que ce qui en a été restitué est quand même pas mal en décalage avec ce qui a été dit
youtu.be/4eA4js-Tcw4?...
Parce que ce qui en a été restitué est quand même pas mal en décalage avec ce qui a été dit
youtu.be/4eA4js-Tcw4?...
Reposted by Stéphane Carrez
Reposted by Stéphane Carrez
Arduino a récemment été racheté par Qualcomm qui a changé les conditions d'utilisations.
J'ai l'impression que ça commence à puer un peu chez Arduino là.
blog.adafruit.com/2025/11/21/t...
J'ai l'impression que ça commence à puer un peu chez Arduino là.
blog.adafruit.com/2025/11/21/t...
November 22, 2025 at 4:40 PM
Arduino a récemment été racheté par Qualcomm qui a changé les conditions d'utilisations.
J'ai l'impression que ça commence à puer un peu chez Arduino là.
blog.adafruit.com/2025/11/21/t...
J'ai l'impression que ça commence à puer un peu chez Arduino là.
blog.adafruit.com/2025/11/21/t...
Reposted by Stéphane Carrez
« Nous ne nous sentons plus en sécurité en France » : pourquoi GrapheneOS retire ses serveurs de France suite à un article du Parisien
www.frandroid.com/android/2881...
www.frandroid.com/android/2881...
« Nous ne nous sentons plus en sécurité en France » : pourquoi GrapheneOS retire ses serveurs de France suite à un article du Parisien — Frandroid
La situation vient de déraper sérieusement. Suite à un article du Parisien qualifiant GrapheneOS d'outil privilégié des narcotrafiquants, les développeurs
www.frandroid.com
November 22, 2025 at 7:09 PM
« Nous ne nous sentons plus en sécurité en France » : pourquoi GrapheneOS retire ses serveurs de France suite à un article du Parisien
www.frandroid.com/android/2881...
www.frandroid.com/android/2881...
Reposted by Stéphane Carrez
How Vaccines Work 🧬🧫🧪🔬💉🥽
November 18, 2025 at 5:00 PM
How Vaccines Work 🧬🧫🧪🔬💉🥽
Reposted by Stéphane Carrez
November 19, 2025 at 4:35 PM
Reposted by Stéphane Carrez
Des années que les activistes climat et scientifiques se font menacer de mort. Bon Pote en reçoit régulièrement. Pourtant, aucun soutien du gouvernement qui au contraire, ferment les yeux et criminalisent les activistes. Un jour il y aura un drame et il ne faudra pas vous en étonner.
Faut-il dorénavant une escorte policière en France pour venir parler du climat?
Visiblement, mon chapeau de cowboy dérange. Je vais finir par lui coller une plaque d’acier et un gilet pare-balles assorti au marcel.
Ce qui se passe en France envers les scientifiques du climat est extrêmement grave.
Visiblement, mon chapeau de cowboy dérange. Je vais finir par lui coller une plaque d’acier et un gilet pare-balles assorti au marcel.
Ce qui se passe en France envers les scientifiques du climat est extrêmement grave.
October 30, 2025 at 12:04 PM
Des années que les activistes climat et scientifiques se font menacer de mort. Bon Pote en reçoit régulièrement. Pourtant, aucun soutien du gouvernement qui au contraire, ferment les yeux et criminalisent les activistes. Un jour il y aura un drame et il ne faudra pas vous en étonner.
Reposted by Stéphane Carrez
Faut-il dorénavant une escorte policière en France pour venir parler du climat?
Visiblement, mon chapeau de cowboy dérange. Je vais finir par lui coller une plaque d’acier et un gilet pare-balles assorti au marcel.
Ce qui se passe en France envers les scientifiques du climat est extrêmement grave.
Visiblement, mon chapeau de cowboy dérange. Je vais finir par lui coller une plaque d’acier et un gilet pare-balles assorti au marcel.
Ce qui se passe en France envers les scientifiques du climat est extrêmement grave.
October 30, 2025 at 11:13 AM
Faut-il dorénavant une escorte policière en France pour venir parler du climat?
Visiblement, mon chapeau de cowboy dérange. Je vais finir par lui coller une plaque d’acier et un gilet pare-balles assorti au marcel.
Ce qui se passe en France envers les scientifiques du climat est extrêmement grave.
Visiblement, mon chapeau de cowboy dérange. Je vais finir par lui coller une plaque d’acier et un gilet pare-balles assorti au marcel.
Ce qui se passe en France envers les scientifiques du climat est extrêmement grave.
Reposted by Stéphane Carrez
Il devient urgentissime de mettre un terme aux agissements de ce type. Combien de temps les États-Uniens pour commencer, mais finalement le monde entier vont-ils tolérer les dégâts énormes et sans doute irréversibles provoqués par ce techno-fasciste ?
Elon Musk lance Grokipedia, son alternative à Wikipédia jugé biaisée idéologiquement
Les premiers contenus de cette encyclopédie en ligne, générés par intelligence artificielle, révèlent une orientation marquée, notamment sur des sujets comme Black Lives Matter
1/
www.lemonde.fr/pixels/artic...
Les premiers contenus de cette encyclopédie en ligne, générés par intelligence artificielle, révèlent une orientation marquée, notamment sur des sujets comme Black Lives Matter
1/
www.lemonde.fr/pixels/artic...
Elon Musk lance Grokipedia, son Wikipédia jugé biaisé idéologiquement
Les premiers contenus de cette encyclopédie en ligne, générés par intelligence artificielle, révèlent une orientation marquée, notamment sur des sujets comme Black Lives Matter.
www.lemonde.fr
October 28, 2025 at 7:09 AM
Il devient urgentissime de mettre un terme aux agissements de ce type. Combien de temps les États-Uniens pour commencer, mais finalement le monde entier vont-ils tolérer les dégâts énormes et sans doute irréversibles provoqués par ce techno-fasciste ?
Reposted by Stéphane Carrez
Quelle indignité la chanson de GiedRé...
Le plus beau des cadeaux - La chanson de GiedRé dans La dernière
YouTube video by Radio Nova
youtu.be
October 20, 2025 at 3:43 PM
Quelle indignité la chanson de GiedRé...
Reposted by Stéphane Carrez
October 16, 2025 at 5:39 PM
Reposted by Stéphane Carrez
Cette dernière version de Ubuntu, la 25.10, c'est pire qu'une mise à jour de Windows. 🧌
Le choix de remplacer GNU coreutils par Rust Coreutils a beaucoup d'effet de bord.
La réalité du terrain est surprenante malgrés les tests fait en amont.
www.phoronix.com/news/Ubuntu-...
Le choix de remplacer GNU coreutils par Rust Coreutils a beaucoup d'effet de bord.
La réalité du terrain est surprenante malgrés les tests fait en amont.
www.phoronix.com/news/Ubuntu-...
Ubuntu 25.10 Fix Pending For Broken Flatpak Support
Besides last-minute breakage with some executables over the switch to Rust Coreutils, Ubuntu 25.10 ended up shipping with broken Flatpak support.
www.phoronix.com
October 13, 2025 at 10:40 PM
Cette dernière version de Ubuntu, la 25.10, c'est pire qu'une mise à jour de Windows. 🧌
Le choix de remplacer GNU coreutils par Rust Coreutils a beaucoup d'effet de bord.
La réalité du terrain est surprenante malgrés les tests fait en amont.
www.phoronix.com/news/Ubuntu-...
Le choix de remplacer GNU coreutils par Rust Coreutils a beaucoup d'effet de bord.
La réalité du terrain est surprenante malgrés les tests fait en amont.
www.phoronix.com/news/Ubuntu-...
Reposted by Stéphane Carrez
💡 Rediriger le #CIR vers ceux qui innovent vraiment :
➡️ 80 % pour les PME/startups
➡️ Bonus pour les techs critiques (IA, quantique, cyber)
➡️ CIR Express pour accélérer
➡️ Anti-rente & clause anti-délocalisation
La France doit investir dans le futur, pas dans la rente. 🇫🇷
➡️ 80 % pour les PME/startups
➡️ Bonus pour les techs critiques (IA, quantique, cyber)
➡️ CIR Express pour accélérer
➡️ Anti-rente & clause anti-délocalisation
La France doit investir dans le futur, pas dans la rente. 🇫🇷
October 13, 2025 at 9:52 AM
💡 Rediriger le #CIR vers ceux qui innovent vraiment :
➡️ 80 % pour les PME/startups
➡️ Bonus pour les techs critiques (IA, quantique, cyber)
➡️ CIR Express pour accélérer
➡️ Anti-rente & clause anti-délocalisation
La France doit investir dans le futur, pas dans la rente. 🇫🇷
➡️ 80 % pour les PME/startups
➡️ Bonus pour les techs critiques (IA, quantique, cyber)
➡️ CIR Express pour accélérer
➡️ Anti-rente & clause anti-délocalisation
La France doit investir dans le futur, pas dans la rente. 🇫🇷