Valentin Robert ❤️☕

He/Him. Research Engineer at @Galois. Static types and mechanized theorem proving enthusiast.

[Valentin Robert ❤️☕ @Ptival]

@p_droabreu0 @icfp_conference Just once or many times? 😄

[Valentin Robert ❤️☕ @Ptival]

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 ❤️☕ @Ptival]

@p4bl0 sa fé résoné 👴

[Valentin Robert ❤️☕ @Ptival]

@13kill_fr @BenjaminLesueur C'est un shiny de la région Johto ou ? 😂

[Valentin Robert ❤️☕ @Ptival]

Merci à tous ceux qui se sont mobilisés, en amont et les jours J ! <3

[Nassira El Moaddem @NassiraELM]

.@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.
https://t.co/xV8AOE4Sl3

[Valentin Robert ❤️☕ @Ptival]

@13kill_fr On fé la boul dénerji !

[Valentin Robert ❤️☕ @Ptival]

@13kill_fr @p4bl0 "De nombreux économistes"... Euh Bruno Le Maire et Dominique Seux sont économistes ou ?

[Bastien Quesada @raychon698]

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 ❤️☕ @Ptival]

@HellyBunny Faut les roder avant de les vendre à Netanyahu ou ?

[LambdaNantes @LambdaNantes]

🚨🚨 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!

https://t.co/7hXAJ9DPAu

#haskell #ocaml #idris #elm #scala #rust

[Valentin Robert ❤️☕ @Ptival]

@HellyBunny Fais-lui faire du omurice. ^^'

[Valentin Robert ❤️☕ @Ptival]

@TaliaRinger Maybe the enabling/empowering of the Rwanda genocide? Also repeatedly selling spyware for dictatorships to use against their citizens.

[Valentin Robert ❤️☕ @Ptival]

@13kill_fr @nathanwpyle 1 et A ?

[LambdaNantes @LambdaNantes]

Oyez Oyez

https://t.co/xnQaQm7kVr

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 !

[Hédi S. - 13Kill @13kill_fr]

🎁 #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 (https://t.co/fVX5DlN6fq)

TAS le 29/07/23 en live sur Twitch.

Bonne chance à tous !

[David Guiraud @GuiraudInd]

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 ❤️☕ @Ptival]

@13kill_fr La Macarena et las ketchup le type!

[Valentin Robert ❤️☕ @Ptival]

@13kill_fr Happiness Inquisitor.

[dandelion georgism 🔰🏗 @DolphinMossad]

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.