-
École normale supérieure - PSL
- https://www.normalesup.org/~boussaa/
- @ayb@mathstodon.xyz
Highlights
- Pro
Raphaël Sterbac
raphael-sterbac
Maths and Computer science student at ENS Paris-Saclay.
ENS Paris-Saclay France
Programmeur31
JeanGalte
"JeanGalte" est un pseudonyme.
Intéressé par les langages de programmation, les types, la logique linéaire, l'analyse statique
Paris
Alex NESVIT
AlexNesvit
🟣🟣 Fullstack / PHP Developer 🟣🟣
HTML & CSS | JavaScript | REACT | PHP | LARAVEL | SYMFONY | SQL | PYTHON | WORDPRESS
Web Planet Studio La Ciotat, France
adrien
Adrien-No
I used to code with functions, and now I focus on programming Turing machines and cellular automata.
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formal verification using proof assistants.
CISPA Helmholtz Center for Information Security Saarbrücken
Firas Khana
firasuke
Radiologist and Linux distribution developer. Debugging systems. Diagnosing diseases.
@glaucuslinux Aleppo, Syria