Comment la NASA code sans bug

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) !
Aujourd'hui, on va se demander comment il est possible de produire un code sans bug quand ce dernier doit être utilisé dans des conditions critiques et qu'une seule faille pourrait coûter la vie d'un Homme.
Resources :
- Ma vidéo s'inspire de celle de LowLevelLearning, je trouvais le sujet top et ça m'a donné envie de le traiter : • how NASA writes space-...
- Les 10 règles : www.researchgate.net/publicat...
- L'accident d'Ariane 5 : www.aria.developpement-durabl...
- Dijkstra : www.cs.utexas.edu/~EWD/transc...
- Théorème de Rice : fr.wikipedia.org/wiki/Th%C3%A....
💻ME SOUTENIR : / v2f ou fr.tipeee.com/v2f
🔴 ME REJOINDRE SUR TWITCH : / iv2fi
💬 LE DISCORD : / discord
⚙️ MON SET UP : www.amazon.fr/shop/v2f
Merci de me suivre !
📱 ME SUIVRE SUR LES RÉSEAUX :
► Ma chaîne secondaire : / @bestofv2fstreams
► TikTok : / iv2fi
► TikTok Gaming : / v2f_clips
► Twitter : / iv2fi
► Instagram : / iv2fi
► Facebook : / iv2fi
🛒 Code créateur sur l'Epic Games Store : V2F
A bientôt !

[@V2F]

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 !

[@ytb3737]

t’es montage + storytelling nan t vrmt fort

[@Felix_421]

Ggg déjà une nouvelle vidéo

[@Felix_421]

Stppp fais nous une vidéo tutoriel frR t’explique trop bien si t’a pas 1 000 000 de vue j’comprend pas

[@siro3904]

Merci BG

[@Brainphantom-hf9mm]

Cool la video

[@le_wiwi_]

Deux vidéo en une semaine ?? Incroyable

[@user-wk9uu3ow2j]

oe javous

[@paulpascual]

Bravo! Plutôt 😊

[@deathwolf_sidney6604]

Faut bien parler d hostinger 🤣🤣🤣

[@jesaispaseu499]

Bientôt les vacances faut qu'il sorte les vidéos avant que les gens arrêtent de regarder

[@luc--33]

Réel

[@user-yj5hi2qo3d]

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

[@V2F]

Merci c' est gentil !

[@ZodalMC]

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.

[@V2F]

Ça fait plaisir merci beaucoup

[@RaynaIdo]

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

[@V2F]

Les miracles existent

[@nightmare694]

@@V2F ta chaine est la pour le prouver 😉

[@florian_bs33]

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 ❤❤

[@zboobafett5984]

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.

[@ok_nice___]

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 !

[@sketchychillandchill]

Pour avoir fait un système pour de l'aviation c'est l'enfer. Même au niveau matériel y a de la redondance par 3 avec un système à la majorité

[@Adriensympathique]

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

[@V2F]

Ça fait plaisir merci 🙏

[@Caenem_]

Quelle entreprise si c'est pas indiscret ?

[@jlnoe7817]

Yoooo je suis un jeune étudiant en informatique et j'aimerais vraiment me diriger vers ce domaine que me conseille tu pour apprendre car je veux me lancer (quelle language de programmation ?/ Comment m'entraîner ? ) c'est un domaine qui me passionne depuis tout petit et j'aimerais vraiment bossé dans ce domaine ! Voilà j'attends ta réponse avec impatience !

[@bobchristophe2242]

@@jlnoe7817T’es un jeune étudiant en informatique mais là se que tu demandes tu es déjà sensé le savoir

[@TheMagicBretzel]

Tas ?

[@amzogm8749]

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 !

[@theobiardeau4280]

Bien d'accord ! Mais ce n'est pas un langage de débutant. Le mieux c'est de faire du C, ce planter pas mal de fois avec la gestion de la mémoire puis ce mettre au RUST.

[@D4rkJvck]

Moi j'ai pas fait de C...mais Rust est mon langage préféré...son system de gestion des erreurs est très interactif...et ça forge ta manière de coder je trouve...

[@sketchychillandchill]

​@@D4rkJvcket ça évite d'avoir des pointeurs dans tout les sens et de plus savoir ce qu'on a free

[@libellian]

@@theobiardeau4280 Arf,c'est compliquer de poser des assertions comme ca du genre il faut commencer le C avant le rust. Je suis d'accord que le rust n'est pas LE langage a conseiller a toutes les perssonnes qui veulent aprendre le code. Typiquement je trouve que le python est plus simple pour commencer. Je trouve aussi qu le python est plus pratique pour prototyper un projet en quelque jours. Mais pour les perssonnes qui on le temps, ou qui font un projet relativement long et complex, alors le rust est un exelent choix meme pour des debutant. Quand on reflechie au meilleurs langage pour debuter, en fait on se pose aussi la question des raisons qui pourrait nous pousser a abandoner. Effectivement la rigueure du rust pourrais decourager certaines perssonnes, mais quand on comnmence a avoir un gros projet qui ressemble un peu a une usine a gaz, la rigueure de rust nous protegera d'un ensemble de bug compliquer a enticiper ou a reproduire en comparaison a python. Et le fait d'avoir investie beaucoup de temps pour au final avoir un gros paquet de code inutilisable, ca peut carrement demotiver. Donc commen d'ab je dirait que la reponse n'est pas aussi simple et que ca depend des situations particuliere.

[@Fl0x0]

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

[@user-wk9uu3ow2j]

grave

[@Shadow-pz2rj]

"Éviter les pointeurs" 🤨

[@darknight-xf5ls]

Mec je regarde la video pile quand j'ouvre le com la phrase que ta marqué s'affiche@@Shadow-pz2rj

[@Shadow-pz2rj]

@@darknight-xf5ls mdr

[@lohnspike7627]

Où il sort la phrase?

[@funnycats9436]

Les pointeurs mon pire cauchemar💀

[@F4LZ0N]

Surtout quand ils te couraient après la nuit quand t’avais 8 ans ! Quel enfer ! // char* rire

[@gabzdev]

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

[@arthurcarcano7782]

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.

[@remibouyer7407]

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

[@ariastudio54]

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

[@Fisherio9741]

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

[@Jordan-my5gq]

T'as pas dû voir beaucoup de vidéos dans ta vie. Je peux te donner 2 KZbinurs et 1 KZbinuse avec des très bons montages si tu veux, mais ils n'ont rien à voir avec le dev.

[@Fisherio9741]

@@Jordan-my5gq non merci ! Et c'est balot pour un KZbinur comme moi 🤣😭

[@Jordan-my5gq]

@@Fisherio9741 Effectivement si t'es KZbinur c'est bizarre mdr. Bonne chance pour ta chaîne.

[@Fisherio9741]

@@Jordan-my5gq Après quand je compare à des montages de KZbinurs connus comme Squeezie ou Mr beast, je trouve que le montage de V2F est largement mieux

[@crazygeekman4068]

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

[@Rom1Snooze-d3l]

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

[@samuelneveu2790]

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 !

[@mayonnaiseetcookies]

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

[@jeanphilippeardrone5135]

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.

[@miiforlong3020]

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

[@JohSmith]

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

[@MrUnitWorld]

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

[@paulcosinus752]

MASTERCLASSE comme toujours 🔥

[@V2F]

Merci 🙏

[@Tom-eu2gq]

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

[@angeatgr]

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

[@MrK0bayashi]

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

[@smako8374]

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

[@user-ef8vz3ku8p]

Tes vidéos sont très passionnantes

[@samuelsarfati9314]

Divertissant, instructif, montage hyper agréable, bravo

[@ethant.2569]

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

[@Aebid94]

Ton montage est excellent !

[@user-vw8ro3fj5l]

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

[@had0pi]

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 :)

[@philippe-lebel]

Je ne savais pas que Norman jouait à la pétanque :)

[@yurrax256]

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

[@V2F]

Merci !

[@timouuuuute]

incroyable vidéo comme d'habitude🤩

[@SpyroxasVOD]

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) 😅

[@owner-6234]

toujours des conceptes incoyable !

[@sarahbenzai5358]

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

[@aboulayecamara1954]

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❤

[@V2F]

Oh merci beaucoup !

[@Pessi121]

Bonne vidéo !

[@CXYRSYX]

messi il est pas si mal

[@mehdib1781]

Excellent travail !

[@nicolasadam3792]

Chapeau cher Victor félicitations fier de toi. Belle fin de journée et semaine agréable. Bisous

[@V2F]

Merci, à toi aussi !

[@Craig22110]

Ç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 !

[@user-sk3ux9lq4q]

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

[@V2F]

On va sûrement y retourner oui 👍 par contre c’est beaucoup plus long à faire

[@Shadow-pz2rj]

J'suis d'accord, j'ai bien ces vidéos Storytelling, mais s'il peut y avoir des vidéos sur des projets de temps en temps ce serait vraiment cool

[@user-sk3ux9lq4q]

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

[@mike_datpseudo]

masterclass la vidéo, merci

[@PRISMA16.]

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

[@civismesecret2795]

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

[@V2F]

Bienvenue 🙏

[@Polars011]

c'était vraiment très intéressant

[@sadokidahound]

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

[@V2F]

Merci 🙏

[@CEDZEE]

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

[@ferreolduboiscoli]

J'adore ! Superbe vidéo !

[@V2F]

Content de l’apprendre

[@user-qz8gv5mt1t]

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

[@V2F]

Merci 🙏

[@leroiarouf1142]

Masterpiece ta vidéos

[@TheMogn]

J'aime vrmt bcp le montage

[@martinpecheur-xh1qp]

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.👍

[@V2F]

Merci ça fait plaisir !

[@yann4174]

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

[@rainboww_ui2755]

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.

[@lantfeuscool]

video trop bien comme toujours

[@silvanwave]

Incroyable la narration

[@meldyluova3340]

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

[@orizz300iq]

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

[@Adelyas192]

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

[@D00MER_]

🔥🔥🔥 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…)

[@user-yp2ii5gl1p]

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

[@blacktrosh]

J'aime bien ce montage

[@benfort3904]

Très bonne vidéo ! 👍

[@m4el_192]

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

[@V2F]

Ça fait plaisir merci 🙏

[@DeMoNELectro]

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

[@EricEtFabienne]

Ce sont des rules pour dev dans du bas language. Et faire une simple if condition en bas niveau revient obligatoirement a faire a minima 1 jump (goto) ;) Donc penser complètement différemment d’un code haut niveau ! Plus de récursivité signifie également plus de code orienté objet ;)

[@quenting4885]

Pour moi une règle ultra importante c'est de faire des logs. En python le module logging est très bien pour ça. Si tu a oublié de faire certains test unitaire sur des valeurs limites. Que tu t'es trompé de paramètre dans ta fonction. Ou que ton programme est un service et qu'un problème est survenu mais rien quand tu tests bah c'est bien pratique d'avoir de la journalisation. Classé en error, warning, info, debug, ou en critical, franchement bien pratique pour debugger sans avoir a faire du ligne par ligne. Remarque debugger ligne par ligne fonctionne aussi plutôt bien, c'est juste qu'il faut savoir d'où vient le soucis pour mettre un breakpoint au bonne endroit. Seulement si ton problème est une fonction qui renvoie une sortie valide mais incorrecte ça peut être compliqué de trouver.

[@TiBroom]

Bonjour, prudence sur le débit et le volume car j'ai vu des systèmes planter à cause de cela : D

[@dechamps777]

Un exemple encore marrant (et avec moins d'enjeux) pour les overflow comme Arianne 5 c'est dans le jeu civilization 5. Dans ce jeu, les autres civilisations contrôlée par des IA avait un niveau d'agressivité représenté par un nombre dans un variable pouvant aller de 0 à 255. Ce nombre variait au fur et à mesure de la partie avec des facteurs qui le faisait augmenter ou diminuer. Sauf que, vu que ce nombre ne peut pas avoir de valeur négative, si une diminution entraînait un résultat négatif, cela faisait un overflow. C'est le cas pour Gandhi, ayant un niveau d'agressivité de 1, qui à un moment dans la partie était diminué de 2. Au lieu de passer à -1, avec l'overflow il passait à 255 (25 fois plus agressif que les dirigeants les plus agressif du jeu) et donc commençait a vous balancer des bombes nucléaire dans la gueule.

[@samy_mrz]

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

[@imputii4084]

Super vidéo 💪🔥

[@chatmaigre]

Comment j'ai atterri ici moi.... j'ai été voir ce qu'est la théorème de rice, j'ai rien capté, que du vocabulaire inconnu et des idées et des raisonnements trop lointains pour ma caboche. Mais vidéo super bien montée malgré que j'y ai pas appris grand chose vu que j'ai rien compris. 🤣 +1 like.

[@shadowofthejaguar7068]

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

[@campro7563]

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

[@blaack2051]

J’adore tes vidéos, je sais que je vais passer un bon moment avant même de regarder !

[@XimaPC]

stp continue tes vidéos

[@remiechange5482]

OUI. Des basiques qui devraient être mieux connus. Autre exemple automobile ( domaine contraignant car pas cher, fiable , dev rapide ) : le soft embarqué des calculateurs moteur : plusieurs années de dev et fortes vérifications à chaque modif. Alors que le sof du calculateur habitacle du même véhicule : quelques mois avec son lot de beug chez les bidochons qui finissent de tester ls fonction et leur soucis ( lumiere, reset bus can, vitre stoppée, clignotants affolés )

[@JrPinguoin]

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

[@MrJetSyle]

Superbe vidéo !

[@V2F]

Merci à toi 👍

[@popovitchyannick3806]

Super vidéo très intéressante ! Mais je pensais que tu parlerai des "méthodes formelles", des méthodes mathématiques qui permettent de prouver l'absence de bug justement. Utilisé en france pour les TGV et les avions, comme avec le logiciel "Scade" ou le langage "Ada". Je taf moi même avec ces méthodes. Elles ont été imaginés par Alan Turing lui même, mais il avait mas le temps de bosser dessus. Elles sont largement utilisées pour vérifier qu'un circuit imprimé est bon avant d'en produire des centaines, ou pour démontrer qu'un algo de cryptage ne peux pas livrer ses secrets.

[@boboyourslime8718]

Super video je vais changer ma maniere de coder

[@Black-Flamby]

Super vidéo 👍

[@V2F]

Merci !

[@protocole266]

Évidemment il y bien plus, comme des systèmes de preuve ou encore des simulateurs. Prenons l'exemple d'une base de donnée nommée FoundationDB, utilisée par Apple pour iCloud. La base de donnée a été développée en se basant sur un simulateur permettant de tester des milliards de contextes. Ces contextes se basent sur les périphériques, le réseau, un bitflip dans un paquet... Ça permet non seulement de découvrir des bugs pour faire un système rock-solid, mais aussi de s'assurer que notre système fait réellement ce qu'on lui demande.

[@superzeldo396]

incroyable la video

[@V2F]

Merci 🙏

[@enokseth]

une des meilleur simplification au C et a l'overflow ! troop coll je Dev en même temps

[@julien5227]

T'es le goat que tu penses être

[@gablurg6901]

T'as expliqué en 1 phrase ce que j'ai pas compris en 2 ans de SIN : pourquoi coder correctement au lieu de ce qui est enseigné, merci 😭😂 À partir d'aujourd'hui finit le paragraphe décla de variable de 100 lignes 😤

[@0pium_33]

le montage est toujours aussi fou

[@Gologoye]

Wesh tu post beaucoup les vidéos !

[@Jeff-ix8ty]

Magnifique🎉.

[@infographie]

Excellent.

[@FREATY96]

Bonne vidéo

[@e-v-o-l-v-e]

super vidéo

[@rayanelattari3818]

Pour les parties critiques d'un programme on fait généralement de la preuve de programme avec why3, Coq ou encore Isabelle. Cela permet de prouver que pour une certaine entré, je sais à l'avance quelle genre de sortie je peux avoir.