Julien Signoles
julien-signoles.bsky.social
Julien Signoles
@julien-signoles.bsky.social
Researcher in formal methods
Reposted by Julien Signoles
Vous avez sûrement déjà lu que la climatisation aggrave les canicules car l’air chaud rejeté à l’extérieur augmenterait la température des villes de 2 à 3°C.

Vérifions ce que disent vraiment les études scientifiques à ce sujet 🧑‍🔬

(lisez jusqu’au bout, car vous allez être 🤯🤯 à la fin)

#Thread
⬇️⬇️
August 15, 2025 at 7:37 PM
Si vous faites du cerf-volant, éviter de l'accrocher à un caténaire : ça met les trains *très* en retard !
August 5, 2025 at 10:21 AM
Reposted by Julien Signoles
Hot take: real numbers are countable

Uncountable reals are a lie by big maths to oppress computer scientists

Don't agree? Construct an uncountable real for me. Oh wait. You can't.
August 4, 2025 at 3:58 PM
Bribe de conversation entendue par hasard à l'aéroport : "on va prendre un stagiaire qui va dérouler de la recherche pour de vrai".
Qu'est-ce que ça peut bien vouloir dire ? 🤔
July 19, 2025 at 8:28 AM
Reposted by Julien Signoles
PURÉE
BREAKING.

From a reliable source. MITRE support for the CVE program is due to expire tomorrow. The attached letter was sent out to CVE Board Members.
April 15, 2025 at 5:42 PM
Reposted by Julien Signoles
We’re Hiring – Tenured Faculty Positions in Cybersecurity!

CentraleSupélec is recruiting 2 tenured Ass. Prof. / Prof. in Cybersecurity at IRISA (UMR CNRS 6074), Rennes, France.

Application deadline: April 14, 2025
Full job details: team.inria.fr/sushi/files/...

Contact us before applying!
team.inria.fr
February 5, 2025 at 9:07 PM
"Nous avons remarqué que vous occupez le poste de Research Director. Votre expérience pourrait correspondre à une superbe opportunité ! La ville de Versailles recherche son Chef de la régie éclairage public et signalisation lumineuse tricolore"

Que voilà une proposition lumineuse et bien ciblée ! 🤦
February 4, 2025 at 2:32 PM