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

Copenhagen, Denmark
Joined April 2014
Sébastien Gondron retweeted
the Fields Medalists aren’t saying "don’t use AI for math"! They’re pushing back on a few frontier labs spending Billions chasing flagship problems instead of empowering the whole field & training the next generation of mathematicians. They’re thinking beyond the next 6 months..
Twenty-five Fields Medal winners have published a joint declaration warning about what they see as a severe misalignment between AI companies and the mathematics community.
23
17
2
174
5,917
Sébastien Gondron retweeted
The entire AI world right now
48
185
13
1,488
25,686
Sébastien Gondron retweeted
It's normal for postdocs to use their contracts to pursue side projects in order to build independent academic careers, so firing a postdoc for doing research outside their narrow contract is going against long-standing practice, and could be used against anyone, for anything.
Replying to @JKSteinberger
PS I am also not comfortable with "Cofnas misused his postdoc". I misused all of my postdocs. I did the work, yes, but I also used the time and resources to develop my own research "hobbies". Which is how I built an independent academic career, actually. This is normal practice.
9
17
5
126
16,073
Sébastien Gondron retweeted
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
236
451
136
12,304
1,011,991
Sébastien Gondron retweeted
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)
6
50
1
206
17,655
Sébastien Gondron retweeted
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.
1,499
3,480
987
43,163
2,021,091
Sébastien Gondron retweeted
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. ⬇️
5
10
1
102
17,232
Sébastien Gondron retweeted
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...
181
1,467
35
14,694
270,818
Sébastien Gondron retweeted
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.
Velvet, le prochain concurrent de la SNCF, prépare son arrivée pour 2028. Proxima, entreprise ferroviaire fondée par l’ancienne directrice de SNCF Voyageurs, a présenté son nom officiel, ce mardi, et la couleur de ses futures rames ➡️ l.leparisien.fr/Pm8w
161
1,608
22
6,644
326,111
Sébastien Gondron retweeted
Replying to @kimmonismus
I haven’t any idea what you mean
140
9,991
259
82,550
2,687,120
Sébastien Gondron retweeted
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
8
16
1
73
20,856
Sébastien Gondron retweeted
Linus is under a unique requirement that the vast majority of web developers have never encountered: His code has to work.
What is it about really really smart people that make them completely oblivious to how incredible AI is?
98
2,140
37
35,034
1,263,892
Sébastien Gondron retweeted
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.
I'm teaching databases this semester at Berkeley. My students all seem unusually brilliant. Not many go to office hours, and not too many folks post on the course forum asking project questions. Weirdly, the exam had the lowest recorded average in my 10 semesters teaching it.
1
6
32
3,119
Sébastien Gondron retweeted
Combien de doudoune sans manches ont bossé sur ce projet de 16 mois avec 72 comités de suivi pour un rendu si inutile ?
📰 Depuis 1950, l'enseigne "plume" identifie les marchands de presse. Elle se réinvente en 2025, accompagnant les transformations du métier. Le ministère de la Culture accompagne son déploiement qui s'inscrit dans le Plan culture et ruralité. 👉 swll.to/plume
136
2,266
23
21,854
1,066,705
This is it. This is the David Lynch tribute we all needed. #Oscars
23
1,980
97
23,784
357,819
👏 🗣️ @MerwaneB
188
5,311
250
21,729
1,698,539
Sébastien Gondron retweeted
❤️❤️❤️
an incomparably devastating loss. rip to a legend in every sense of the word.
7
2,081
27
21,118
504,597
<3
We say goodbye to vocal artist and actor, Benoît Allemane, who was also known for being the official French film voice of yours truly. Benoît & I finally met last year. My deepest condolences to his family & the entire French community who were blessed by his remarkable talents
41
239
18,816
382
84,807
2,513,712