Julien Signoles's Avatar

Julien Signoles

@julien-signoles.bsky.social

Researcher in formal methods

28 Followers  |  93 Following  |  6 Posts  |  Joined: 20.01.2025  |  1.5423

Latest posts by julien-signoles.bsky.social on Bluesky

Si vous faites du cerf-volant, éviter de l'accrocher à un caténaire : ça met les trains *très* en retard !

05.08.2025 10:21 — 👍 0    🔁 0    💬 0    📌 0

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.

04.08.2025 15:58 — 👍 47    🔁 16    💬 2    📌 0
JFLA 2026 JFLA: JFLA 2026

Si tu soumets aux JFLA, tu peux écrire des choses très sérieuses tout en faisant des jeux de mots, dans les titres des articles notamment
jfla.inria.fr/jfla2026.html

19.07.2025 08:35 — 👍 1    🔁 0    💬 1    📌 0

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 ? 🤔

19.07.2025 08:28 — 👍 1    🔁 0    💬 1    📌 0

Sur le plateau, quand je ne vais pas dans un quartier pendant 6 mois, je ne reconnais plus rien et je m'y perds. Pourtant, j'y travaille !

20.05.2025 19:04 — 👍 3    🔁 0    💬 0    📌 0

Ils tournent en boucle ?

14.05.2025 21:56 — 👍 0    🔁 0    💬 1    📌 0
Preview
Intelligence artificielle, le renoncement Lors d’une discussion avec une collègue d’une disciplinaire littéraire qui préparait un enseignement sur l’intelligence artificielle, celle-ci m’a dit que ce qui lui semblait singulier dans l’intelli…

Intelligence artificielle, le renoncement (billet de blog)

blogs.mediapart.fr/david-monnia...

14.05.2025 06:01 — 👍 26    🔁 7    💬 0    📌 1

PURÉE

15.04.2025 17:42 — 👍 46    🔁 36    💬 6    📌 2
Le délétère mélange des faits et de l’opinion Le traitement médiatique tend à transformer des questions de faits, susceptibles d’argumentation rationnelle ou scientifique, en questions d’opinions politiques. C’est, à mon sens, dangereux pour la …

Le délétère mélange des faits et de l'opinion

blogs.mediapart.fr/david-monnia...

10.04.2025 12:46 — 👍 13    🔁 6    💬 1    📌 0

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!

05.02.2025 21:07 — 👍 0    🔁 2    💬 0    📌 0

"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 ! 🤦

04.02.2025 14:32 — 👍 3    🔁 0    💬 0    📌 0

@julien-signoles is following 20 prominent accounts