-
OcciLan
- http://occilan.fr/
Vibe Melon
xMelonxx
AI does the typing, I do the vibing. Imagine actually writing your own code in 2026. Couldn't be me. ☕️💅 #FutureProof #VibeCoded
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formal verification using proof assistants.
CISPA Helmholtz Center for Information Security Saarbrücken
Randra Razafindrabe
CapePouvoir
Computer Science student at UT3 - Paul Sabatier, France, Toulouse.
Finishing my degree
Toulouse, France