Crée ton site facilement avec Hostinger en utilisant ce lien : www.hostg.xyz/SHFdS et ajoute le code coupon V2F pour une réduction supplémentaire de 10% (sur un abonnement de 12 mois ou plus) ! Vous attendez pas à un tel rythme, c'est exceptionnel haha J'ai dû rusher à fond ce mois-ci pour que 2 vidéos sortent et que les sponsos soient faites à temps, je sais pas si ça se voit d'ailleurs dans cette vidéo ? J'espère que ça vous plaira en tout cas !

Deux vidéo en une semaine ?? Incroyable

V2F c’est sûrement la meilleure évolution d’une chaîne FR, de CoD à des vidéos absolument géniales sur le dev et l’IT

La première fois que je vois 2 vidéos en 1 semaine, merci V2F.

ce mec est une masterclass, que ce soit qualité de narration ou de montage tout les éléments sont réunis pour former une vidéo intéressante et dynamique ! ma meilleure découverte 2023.

j'étais justement en train de me dire "ah yaura pas de video de v2f il en a déjà fait une cette semaine... love u bro ❤❤

FYI dans l'aeronautique / aerospatial, pour plus de sécurité les codes qui sont certifiés doivent être écrits dans (au moins) 2 languages différents par 2 personnes différentes avec des inversions dans la logique (A = B ou C dans un langage et A = C ou B dans l'autre par exemple). Redondance, double verification et si jamais y a un système qui plante l'autre fonctionne toujours et peut toujours prendre le relai. Super vidéo !

Vidéo très bien réalisée. 😁 Une petite erreur cependant: il est possible de prouver qu'un programme donné ne contient pas de bug. C'est ce que l'on peut faire avec les méthodes dites "sound" (par opposition à celles "complete") comme l'interprétation abstraite, le model checking, ou la preuve automatique, qui sont utilisés pour les systèmes les plus critiques. Les pilotes automatiques des métros parisiens 1 et 14 ont été prouvés avec la méthode B par exemple. Les micrologiciels de carte à puce, les composants de certains airbus etc sont également prouvés. On peut également considérer que le typage fort prouve certaines propriétés (par exemple de sûreté mémoire en Rust), mais moins fortes que les méthodes précédentes. Ce que dit le théorème de Rice, c'est qu'on ne peut pas écrire un programme qui prouve la correction de n'importe quel programme qu'on lui donnerait en entrée. C'est en fait similaire au problème de l'arrêt: On peut facilement montrer qu'un programme qui n'a pas de boucle, de goto ou de récursion va terminer, on peut même écrire un programme qui vérifie cette propriété sur d'autres programmes (on vérifie qu'il n'y a pas de boucle/goto/récursion, et on renvoie "ok"), mais on ne peut pas écrire un programme qui puisse nous dire, quelque soit le programme qu'on lui donne en entrée, si il va terminer ou non.

Salut ta vidéo m'a fait à un cours d'info que j'ai eu pendant ma formation (où on parlait justement d'ariane 5). Un des outils que l'on utilise aussi pour éviter les bugs c'est les assistant de preuve comme Coq. Ce genre d'outil permet vraiment rigoureusement de connaître avec démonstration mathématique le comportement d'une fonction.

Bonjour, je fais de l'informatique théorique, et je voudrais rectifier quelque peu l'introduction de la vidéo: il est vrai que le théorème de Rice nous donne comme résultat qu'il n'existe aucun programme qui peut vérifier n'importe quel code et dire s'il est correct, mais c'est faux de dire qu'on ne peut pas prouver qu'un code en particulier est correct; en fait il existe même des assistants de preuve, comme coq, qui permettent ça, et même si c'est un travail très conséquent, certains programmes sont "certifiés" sans bug: on a prouvé qu'ils respectaient leur spécification

Je trouve que Rust est vraiment efficace pour aider à suivre les bonnes pratiques de programmation. Bien sûr, le langage à lui seul ne peut pas tout faire, mais il facilite vraiment les choses. Super vidéo, continuez comme ça !

Bossant dans les logiciels embarqués pour satellite, je valide ta vidéo. Très synthétique et claire !

Les pointeurs mon pire cauchemar💀

C'était le sujet de mon grand oral, tu viens de tout résumer x) super vidéo !

C'est de très loins la vidéo la mieux montée que j'ai pu voir de toute ma vie.

Encore une superbe vidéo, merci d'expliquer aussi clairement et de plus avec une superbe qualité

j'ai adoré ta vidéo, tu expliques très bien, c'est très clair et les pointes d'humour rendent le tout parfait, continue ainsi

Le montage de la vidéo est INCROYABLE ! C’est très très agréable à regarder (et à écouter)

Maintenant, tous mes projets seront propres avec ses 10 règles de la NASA. Merci à toi pour cette vidéo instructive !

Toujours incroyable montage et donc très simple de comprendre ce que tu expliques 👍🏼

Je te suis depuis longtemps et ta chaîne a vraiment bien évolué.

Explications très qualitatives, très intéressant !

en tant que jeune devloppeur, toujour un plaisir de regarder tes videos ;)

Incroyable la vidéo V2F, franchement continue comme ça ! Tu est le top 1 de mes KZfaqr favorie, c'est grâce a toi que j'ai commencer l'informatique (c'est pas une blague).

Je connaissais pas ta chaîne, continue très intéressant, continue comme ça. Entre temps j’embarque dans ton bateau

ptn je suis tjr content de voir une de tes nouvelles videos , tu régale !

Master class ! Vidéo vraiment agréable et montage juste waouh

J'ai fais l'école 42 et on avait les mêmes règles et normes pour nos projets 🤯 Merci très bonne vidéo !

Toujours des vidéos super propres ! Vraiment top ! Mix entre histoire, vulgarisation informatique et code 👌Hâte de revoir un projet fun aussi (même si j'imagine que c'est beaucoup plus long à faire) 😅

10 règles ? On ne peut pas le prouver ? Ça me parle

style de montage et d’explications super ! très bonne vidéo et concept

Ultra intéressant merci, des règles simples que je vais essayer d'appliquer dès maintenant.

DEUX VIDEO EN 1 SEM !!!! C’EST INCROYABLE

*c’est Ariane 5*, *C’ETAIT ARIANE 5* mdrrrr banger cette phrase

Je travaille dans le ferroviaire, et pour le code qui protège la vie des gens (genre le code qui vérifie que le train ne dépasse pas les limites de vitesses ou ne franchit pas de signal fermé) on applique aussi des règles hyper strictes similaires à celles que tu a décrites. Un point non abordé mais aussi hyper important c'est qu'on a un type déclaré par type de donnée transportée.Genre si tu met vitesse = hauteur + 1 bah ça marchera pas parce que la variable vitesse sera de type vitesse et la variable hauteur de type distance, même si les 2 sont des float sous-jacents. Et on réduit nos types au maximum aussi. Par ex pour une vitesse de train c'est pas au delà de 500km/h. Et c'est différent des checks de return parce que ces checks sont fait en permanence. Le language privilégié pour tout ça c'est le ADA.

T'es un monstre, bravo pour la qualité de la vidéo.

Trop cool une nouvelle vidéo. Si tu pouvais sortir des vidéos fréquemment ainsi se serait le paradis

MASTERCLASSE comme toujours 🔥

Encore un banger!! Il y a que des masterclass dans ton historique ouuuu?

toujours des conceptes incoyable !

incroyable vidéo comme d'habitude🤩

Les vidéos sont tellement bien monter c’est agréable à regarder, vraiment.

Je suis bluffée par la qualité de tes videos! tu as une nouvelle abonnée 😄

Merci pour cette vidéo !!! Ultra instructif.

Deux vidéos en une seule semaine ? Mais quel gigachad ce V2F

Ton montage est excellent !

la vidéo à pris une nouvelle dimension cette semaine

Divertissant, instructif, montage hyper agréable, bravo

Tes vidéos sont très passionnantes

Ce montage vraiment c'est un délice

Super vidéo, avec beaucoup de valeur, merci !

J'aime beaucoup plus les vidéos oú tu créé des projets. C'est plus cool. Néanmoins, tu es le meilleur

Je connais rien en codage mais en regardants ta vidéo sa me donne envie :o

Tes vidéos sont trop cool 🤩. J'aime bien les animations ça rend tes explications plus intéressante. Bref force à toi epour que tu continues à nous offrir du beau contenu et merci❤

Bonne vidéo !

Montage, contenu, excellents.

Bonjour, C'est la première fois que je regarde ta vidéo et je trouve le montage énergétique et drôle.

Je tombe sur cette vidéo par hasard via les recommandations, la qualité du montage est exceptionnelle. +1 abo

Je ne suis pas développer mais passionné d'astronomie. J'ai trouvé cet épisode passionnant. Je me suis souvent demandé en effet comment les gars faisaient pour optimiser leurs codes afin d'éviter tout bug menant à une cata type Arianne 5. Merci pour cet éclairage détaillé même si j'ai pas tout compris. Le montage est génial et plein d'humour ce qui ne gâche rien.👍

Vidéo super bien montée. Bravo.

Celà fait plusieurs fois que ta vidéo m'est proposée dans mes suggestions. J'ai fini par cliquer dessus en attendant rien de fou, mais j'y ai découvert un sujet hyper intéressant avec une narration et un montage bien rythmé ! Merci, je crois que tu as gagné un abonné ;)

c'était vraiment très intéressant

Je m’appelle Ariane et j’apprends que j’ai plein de clone fusée😂

2 video en une semaine 👍👍nice .... toujour aussi qualit maintenant je prepar mon CV pour la NASA, il accepte les freelance🙃

Excellent travail !

je trouve que tu as été respectueux de pas mettre la tête de Norman lorsque que tu as parlé des pointeurs, avoue ça ta traverser l'esprit :)

Très bonne vidéo ! 👍

masterclass la vidéo, merci

Elle sont super c'est petite vidéo continue comme ça 👍

La musique a 4:21 c'est : Progression par Birraj (j'ai galéré à trouvé) ps: La vidéo est vraiment bien et le montage trop bien fait, gg.

les vidéos sont bien monté dire que j'était là parmis les tout premiers abonnées tellement fière

video trop bien comme toujours

Le titre attire beaucoup plus, tu mérite plus de vues bonne chance à l’avenir

J'aime vrmt bcp le montage

J'adore ! Superbe vidéo !

Franchement V2F est l'exemple parfait de ce qu'on peut devenir une fois qu'on arréte league of legend X-D

Nice, vraiment Nice.... c'est tres utile pour nous la! Merci.

de rien pour le don. ça m'a fait plaisir 🥰

🔥🔥🔥 productif En plus c’est passionnant et relativement accessible, en fin de term NSI on connaît la plupart des thèmes et tout.(Dijkstra, récursivité et stack overflow, bits, goto et longjump…)

Masterpiece ta vidéos

Incroyable la narration

Let’s go on va en prépa cette année 🥲

Super vidéo 💪🔥

C cool v2f tu publie de plus en plus de master class

Mais c'est bon ça ! Merci beaucoup 😙

Ça ne parais rien comme ça mais ça rend la tâche beaucoup plus complexe, la simplicité est toujours plus complexe et je dit chapeau aux dev capable de le faire quasi naturellement !

Super video je vais changer ma maniere de coder

Wesh tu post beaucoup les vidéos !

aie les oreilles, les sfx et les musiques sont super fort

C'est bon j'active la cloche t'es vraiment un crack

Ayant été en licence d'info je m'attendais à ce que tu parles du langage Ocaml, justement utilisé pour des situations nécessitant un code très sûr

Superbe vidéo !

tester c'est douter, merci du conseil. Je vais balancer en prod vendredi soir

T'es le goat que tu penses être

stp continue tes vidéos

Pour avoir travaillé dans l'aéro, on aussi d'autres règles comme: - pas plus de 3 paramètres d'entrée dans une fonction - obligation d'initialiser les variables - interdiction d'avoir des valeurs numériques dans un calcul (utilisation de variable constante ou #define en C) - seulement des variables dans des paramètres de fonction (interdit de faire factoriel( a * cube(b)) => on préfèrera c = a * cube(b) puis factoriel(c) Bref plein d'autres règles hyper utile. Pour la règle pas de fonction de plus de 60 lignes je suis totalement d'accord. J'ajouterai même que 90% des fonctions doivent faire moins de 20 lignes (sans compter les lignes de robustesse) En revanche éviter les pointeurs je suis surpris. Ils ont l'avantage de faire gagner du temps d'exécution comparé a un passage par valeur et quand on fait du temps réel c'est ultra utile

J'aime bien ce montage

le montage est toujours aussi fou

Supers conseils pour des développeurs qui auraient démarré l'informatique en 1987 !!!

Nah je crois que j'ai jamais autant apprécié une vidéo