@FIC_fr Spécialiste en méthodes formelles et en lambda calcul. Ce sont des maths, pas de la "programmation" (= du développement logiciel).
-
-
@newsoft @FIC_fr Sa sortie sur les compilateurs prouvés a beaucoup fait rire. -
@bortzmeyer @FIC_fr Toute personne qui n'a pas fait tourner un serveur Web ouvert au public sur Internet n'est pas légitime en sécu - 3 more replies
New conversation -
-
-
@newsoft whut ? c'est pas des maths, c'est de l'informatique ! @FIC_fr -
@newsoft G.Berry a beaucoup travaillé dans le domaine des langages&compilateurs. c'est pas du domaine de la prog ? @FIC_fr - 8 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.