He/Him. Research Engineer at @Galois. Static types and mechanized theorem proving enthusiast.
France
Joined August 2008
- Tweets803
- Following345
- Followers202
- Likes754
Ah, le parti dont certains membres trouvent que le gouvernement israélien est problématique est "quatre fois pire" que le parti dont certains membres organisent des ratonnades et doxxent et appellent au meurtre de juges et journalistes. Tiens donc.
Valentin Robert ❤️☕ retweeted
.@arretsurimages a regardé toutes les éditions des JT des 13 h et 20 h de France 2, TF1 et M6 entre le 1er et le 5 juillet midi, soit 27 JT. Bilan : 0 sujet, 0 commentaire, 0 question sur la recrudescence d'actes racistes. Des non événements pour les JT.
arretsurimages.net/articles/…
Valentin Robert ❤️☕ retweeted
Merci à @MKessi69 et Iheb pour leurs interventions. On ne lâche rien, le quartier était présent en nombres pour les soutenir. #Venissieux #SoutienIheb #JusticePourIheb
Valentin Robert ❤️☕ retweeted
🚨🚨 LambdaNantes 5, le 20 Juin 2024 🚨🚨
Très heureux d'annoncer LambdaNantes5, dans les bureaux de @PALOITFrance (à #Nantes) avec @dr_c0d3 et Didier Plaindoux qui vont nous parler de types à toutes les sauces!
mobilizon.fr/events/45729d5f…
#haskell #ocaml #idris #elm #scala #rust
Valentin Robert ❤️☕ retweeted
Oyez Oyez
mobilizon.fr/events/1779fd8b…
Rendez-vous le Lundi 23 Octobre, dans les bureaux Nantais de @PALOITFrance (Merci !!!)
Au programme :
- La vedette @NicolasRinaudo nous parlera de Monades Gratuites
- @vdwxv nous parlera de BuildSystem.
On espère vous voir nombreux !
Valentin Robert ❤️☕ retweeted
🎁 #CONCOURS 🎁
Afin de fêter la sortie du tant attendu Jagged Alliance 3 sur Steam je vous en fait gagner 2 exemplaires !
👉 🔃 RT + 👤 FOLLOW @13kill_fr
Rendez-vous ce samedi sur Twitch (twitch.tv/13kill)
TAS le 29/07/23 en live sur Twitch.
Bonne chance à tous !
Valentin Robert ❤️☕ retweeted
Regardez ce qu’ils lui ont fait. Ce que le policier en détention lui a fait. Vous comprenez maintenant la raison de sa détention provisoire ?
Vous comprenez à quel point ceux qui osent faire des arrêts maladie pour protester se couvrent de déshonneur ?
Valentin Robert ❤️☕ retweeted
If someone described German and French culture to you and told you one of them gets nearly all of its power from nuclear plants and the other one is so hysterically anti-nuclear that it voluntarily re-carbonized its electric grid, you’d never in a million years guess which one.
Valentin Robert ❤️☕ retweeted
Menacé par l'extrême droite, le maire de Saint-Brévin victime de l'incendie volontaire de sa maison.
A ce jour, absolument aucune réaction du président ou du gouvernement.
Store de La Rotonde incendié hier sur les Champs Élysées. Macron a personnellement appelé le propriétaire.
Valentin Robert ❤️☕ retweeted
I was relying on this app to publicize that I am defending in April! And looking for 2023 jobs! Guess I'll used...LinkedIn...now?
TL;DR If you want to understand/improve security processes using data and research science methods, shoot me a note. I'll post more later if I can
Valentin Robert ❤️☕ retweeted
1/2
/!\ NOUS SOMMES SUPER HEUREUX D'ANNONCER LAMBDANANTES 1.
Il aura lieu le 19 Mai (2022) et nous aurons l'honneur d'accueilir @NicolasRinaudo (CEO de Basedo) qui nous présentera "Function reuse is just wishful thinking" suivi de @lebalifant qui parlera de "Free Monad" (uhu).
I'm seeing **a lot** of online discourse about the punishing difficulty of the so-called Eldin Ring, but IMO it's really not that bad once you found fire-resistant elixirs or armors. :-\
Valentin Robert ❤️☕ retweeted
Curious what we've been up to for the last year? We're proud to share an update with you as we look forward to an exciting 2022! 2021: Year in Review. galois.com/blog/2022/01/2021…
Donc le site web de #LaPoste ne permet pas d'envoyer une lettre au centre financier de @LaBanquePostale parce qu'ils n'acceptent par leur adresse ! Merci !
