Sébastien Gondron

Ph.d. on security protocol verification. Security engineer #Infosec. Hacking enthusiast. Free software user. Brewer for fun.

[Sébastien Gondron @SebGondron]

@veorq I hope there is still room for more formal vulnerability research techniques, especially for systems requiring high assurance.

[Sébastien Gondron @SebGondron]

@ChaykaHackso @MJ_FERMEZ_LA Et je ne sais pas comment prendre le post instagram de RTD, j'ai l'impression de devoir lire derrière chaque ligne...

[Christoffer Bjelke @chribjel]

We hired a junior developer to write the simple code, so we don't have to spend a ton of money on tokens for those basic/primitive tasks

[Nolife @NolifeOfficiel]

Nouvelle soirée Nolife Z ce vendredi 24 avril à partir de 19h sur Twitch.

Encore un sacré programme pour la nostalgie mais pas mal de contenu inédit aussi !

(Lien en bio)

[FFmpeg @FFmpeg]

FFmpeg is moving to Rust 🦀

Our use of C and Assembly in FFmpeg has been an unacceptable violation of safety.

FFmpeg will be running 10x slower - but we're doing it for your safety.

All your videos will appear green - safety first, working software later.

[Chayka Hackso @ChaykaHackso]

Se plaindre est une chose, montrer son amour pour les réal, chef op, artistes qui refusent la mode du tout grisâtre sans travail de la lumière, contrastes, couleurs, c'est quand même mieux.
J'ai pris uniquement des films et séries mainstreams pour montrer que c'est possible. ⬇️

[Hugo Hélin @helinhz]

Le plus dur commence pour Nicolas Sarkozy : se réhabituer à un monde qui a bougé, se réinsérer dans une société qui a évolué, retrouver sa place auprès de proches qui ont construit de nouveaux repères...

[Sébastien Gondron @SebGondron]

@twoinou_2 Ok, j'avais complètement raté ce symbole, merci.

[Sébastien Gondron @SebGondron]

@twoinou_2 J'ai loupé un truc, la pastèque c'est le signe de quoi ?

[Sébastien Ramage @sebramage]

Quel incroyable matériel SNCF, qui circulera sur des réseaux SNCF conduits par des agents formés par la SNCF pour relier des gars SNCF, le tout dirigé par une ancienne directrice SNCF.

Bref c’est pas un nouveau train, c’est juste de l’argent public donné à des actionnaires.

[Alex Hirsch @_AlexHirsch]

@LupinZenigataEr @kimmonismus I haven’t any idea what you mean

[Andrew Myers @AndrewCMyers]

Many people are skeptical of the formal approach to computer security because "there will always be more unexpected attacks". This criticism misunderstands how the formal approach represents real adversaries with abstract threat models. There are two parts to the answer.
1/7

[Merlin @TheWizardTower]

Linus is under a unique requirement that the vast majority of web developers have never encountered:

His code has to work.

[Carsten Baum @crypto_carsten]

This is happening all over the world. Students use LLMs to solve projects/handins that teach them the basics of the subject.

Then exam/real world happens, which is more than the basics, and either LLMs can't do it or students can't because they haven't learned the basics.

[Jason Burne @Monty_Brogan69]

Combien de doudoune sans manches ont bossé sur ce projet de 16 mois avec 72 comités de suivi pour un rendu si inutile ?

[Sébastien Gondron @SebGondron]

@RiboDansLaSauce Il était justement plutôt question de revenir sur ces accords justement...

[Sébastien Gondron @SebGondron]

@RiboDansLaSauce Surtout que c'est faux... Le report à 70 ans de l'âge de la retraite n'a pas encore été ratifié et découle d'accords passés il y a des années qui permettent l'augmentation automatique graduelle jusque 70 ans justement...

[Welcome to Twin Peaks @ThatsOurWaldo]

This is it. This is the David Lynch tribute we all needed. #Oscars

[🍦🎀🌿🌤️Margaux ™ 👒🪿🌷 @Captain_Starla]

David Tennant le roi des rois

[Caisses de grève (Gauche Gaza / Antifasciste) @caissesdegreve]

👏
🗣️ @MerwaneB