"L'informatique ? Ouais, CODER, gérer des SITES WEB"

Le 20 avril 2025 à 19:39:33 :
ce bullshit spé macdo caissier

Pourquoi ?

Le 20 avril 2025 à 19:40:39 :

Le 20 avril 2025 à 19:39:33 :
ce bullshit spé macdo caissier

Pourquoi ?

car ça intéresse personne einstein

Le 20 avril 2025 à 19:41:45 :

Le 20 avril 2025 à 19:40:39 :

Le 20 avril 2025 à 19:39:33 :
ce bullshit spé macdo caissier

Pourquoi ?

car ça intéresse personne einstein

En effet

Le 20 avril 2025 à 19:42:30 :
La cybersécuritéent

Les courbes elliptiques

Le 20 avril 2025 à 19:43:24 :
Ah oui les boucles while c'est un point fixe trop dur j'y comprends rien à l'aide

go récursivité

Le 20 avril 2025 à 19:43:24 :
Ah oui les boucles while c'est un point fixe trop dur j'y comprends rien à l'aide

Ça c'est quand tu fais de l'interprétation concrète khey, quand ton domaine est rempli d'ints en gros. Quand tu interprètes tout dans autre chose (comme par exemple des ensembles de possibles, pour des langages non déterministes), ça devient vite le bordel théoriquement car impossible d'établir un point fixe

Le 20 avril 2025 à 19:48:29 :
coder des site web = bac +2, theorie des automates bac +5

On ne fait littéralement plus d'automates passé bac+2 khey
D'ailleurs c'est l'un des trucs les plus chiants que je connais en informatique théorique

Le 20 avril 2025 à 19:49:33 :

Le 20 avril 2025 à 19:48:29 :
coder des site web = bac +2, theorie des automates bac +5

On ne fait littéralement plus d'automates passé bac+2 khey
D'ailleurs c'est l'un des trucs les plus chiants que je connais en informatique théorique

qu'est ce que tu racontes y'a énormément de choses en théorie des automates c'est la base de toute la verif

Le 20 avril 2025 à 19:53:40 :

Le 20 avril 2025 à 19:49:33 :

Le 20 avril 2025 à 19:48:29 :
coder des site web = bac +2, theorie des automates bac +5

On ne fait littéralement plus d'automates passé bac+2 khey
D'ailleurs c'est l'un des trucs les plus chiants que je connais en informatique théorique

qu'est ce que tu racontes y'a énormément de choses en théorie des automates c'est la base de toute la verif

La vérif de ?
Si tu parles de vérif de preuves c'est pas le cas du tout

Le 20 avril 2025 à 19:56:01 :

Le 20 avril 2025 à 19:53:40 :

Le 20 avril 2025 à 19:49:33 :

Le 20 avril 2025 à 19:48:29 :
coder des site web = bac +2, theorie des automates bac +5

On ne fait littéralement plus d'automates passé bac+2 khey
D'ailleurs c'est l'un des trucs les plus chiants que je connais en informatique théorique

qu'est ce que tu racontes y'a énormément de choses en théorie des automates c'est la base de toute la verif

La vérif de ?
Si tu parles de vérif de preuves c'est pas le cas du tout

https://fr.wikipedia.org/wiki/V%C3%A9rification_de_mod%C3%A8les

C'est ce qui est utilisé dans l'industrie dans 99% des cas. Airbus va pas attendre 4 ans que ses ingénieurs écrivent des preuves coq avant de pouvoir commercialiser leurs avions, ils utilisent des outils de verif automatique