Le 21 février 2024 à 00:03:26 :
Le 21 février 2024 à 00:02:23 :
Le 20 février 2024 à 23:58:11 :
Le 20 février 2024 à 23:49:43 :
Le 20 février 2024 à 23:46:44 :
> Le 20 février 2024 à 23:36:07 :
>> Le 20 février 2024 à 21:47:00 :
> >Je suis un dev confirmé.
> >
> > Et je peux vous dire que les recrutements c'est dur en ce moment
>
> Quelle techno ? Cb d'années d'XP ?
>
> Dev confirmé ca veut rien dire tellement l'informatique est vaste
Perso Dev avec 10 ans d’expérience en JS/TS, je suis au chômage depuis Octobre, car coupe budgétaire chez le client.
Y’a qu’à regarder le peu d’annonces quotidiennes sur Indeed ou encore sur Welcome to the Jungle, j’ai jamais vu ça sans déconner
La raison est simple : Crise > Restrictions de budget > Pas de nouveaux projets > Pas besoin de devs.
10 ans sur JS/TS et t'as pas pensé à diversifier vers autre chose ?
Sélection naturelle hein ...
J'ai codé Java pendant 10 ans et j'ai vite compris qu'à partir d'un moment il faut acquérir d'autres skills sinon j'allais stagner
La suite m'a donné raison ...
Aujourd'hui je code encore en Java (version 21 bleeding edge) mais c'est 20% de mon taff hein
Passe à Kotlin comme déjà dit
https://image.noelshack.com/fichiers/2022/37/1/1663014384-ahi-pince-mais.png
Bordel Java 21... tu fais d'autres trucs c'est bien, mais considères les propos de gens qui font du code à 90%https://image.noelshack.com/fichiers/2022/37/1/1663014384-ahi-pince-mais.png Spring BooT/Java 21 et je suis bien
Rien à foutre de Kotlin, en Java je fais des design avancés que 90% des mecs ne savent même pas possible techniquement en Java. J'ai pas besoin de Kotlin pour ce que je fais, à savoir une pauvre appli de gestion interne avec 10 mecs connectés en // à tout cassé
Ben je te le redis Spring va à fond sur Kotlin.
Regarde Sébastien Deleuze le principal core commiter Spring en Europe (c'est un français - peut-être LE dev spring FRANCE).Ils ont réécrit une bonne partie en kotlin et ça s'intègre de plus en plus.
Java 21 n'apporte rien (allez loom project quand t'as les continuations en kotlin via les coroutines depuis.. 10 ans ???).
Je me re-cite mais teste ça réellement.
J'ai été confronté à plusieurs dev "récalcitrants" (de 40 à 55 ans).
- "Java on connais, on a testé groovy et Scala bof.. bla-bla"
Après 2-3 ans de Kotlin -> aucun veut refaire du java.
Pire tu leur demandes (au sein de leur employeur) de maintenir du java, voir sur un ancien projet à eux => ils font la tête.
Vraiment intéresse-toi à ça. Et pas que pour les coroutnines (peut en ont besoin). Mais pour tout ça, ça justifie amplement le changement de langage :
- le null safety (la dernière NPE qu'on m'a sortie c'est quoi en 2019 ? Et sans avoir besoin de faire du code défensif avec du if != null ... c'est géré par le compilateur )
- collection mutable vs collection immutable
- prog fonctionnelle plus facile (pas de stream.map.collect... mais sérieux cette merde de Java )
- langage plus moderne : extension fonction (même si ça existe en Lombok.mais bof...), vrai high order fonction, all is evaluated (loop or conditions..), scoped functions...
Bref vivons avec notre temps.
Aujourd'hui côté core Spring ils ont adopté kotlin => Sebastien deleuze (principal core commiter) bosse avec kotlin wasm
Non franchement Java c'est un truc de boomer. T'es bon , tu connais bien le dev, teste quelques mois et tu verras la diff. Et si besoin d'accompagnement, tu sais où me trouver
Le 21 février 2024 à 00:22:02 :
Le 21 février 2024 à 00:04:10 :
Le 20 février 2024 à 23:59:58 :
Moi un truc me terrifie c’est l’IA dans 10 ans les dev on va ce faire massacreurJ’ai quasiment 0 compétences en dev et j’ai monté un site web opérationnel de A à Z avec ChatGPT en 2 semaines
1 test avec plein de variantes et de résultats différents.
Les résultats sont stockés dans une database et classéGpt m’a appris 90% des combines
Et t'auras toujours 0 compétences dans 3 ans
0 compétences mais un business fleurissant ...
Le 21 février 2024 à 00:19:20 :
Le 20 février 2024 à 23:23:14 :
Le 20 février 2024 à 23:19:30 :
Le 20 février 2024 à 23:13:52 RonaIdoents a écrit :
Le 20 février 2024 à 23:06:47 :
> Le 20 février 2024 à 22:54:47 :
>l'IA va rien remplacer du tout les golems
https://image.noelshack.com/fichiers/2017/06/1486457204-issou3.png >
> Faut jamais avoir taffé de sa vie sur un vrai projet de code pour penser que l'IA et GPT4 incapable de calculer et de faire des maths de lycée va avoir un quelconque intérêt
https://image.noelshack.com/fichiers/2017/06/1486457204-issou3.png Ceci.
L'IA n'est pas capable de réfléchir par elle-même, juste régurgiter les informations qu'elle a en mémoire. Tout les codes qu'elle ponds ce sont des patterns qui ont déjà été inventé mais elle sera incapable de se dire "ah, ce morceau de code ça fait 20 fois qu'il est utilisé, je vais en faire une fonction" elle va juste faire un copier/coller autant de fois qu'elle en aura besoin. (edit: pour les neuneus au fond de la salle, ça veut dire des problèmes de performance)
Elle sera incapable de créer de nouveaux frameworks voir même de faire des mises à jour de lib existantes. Elle va se contenter de recopier ce qui existent déjà.
Sans parler des projets avec des logiques métiers bien précises, l'IA sera incapable d'utiliser ces infos là.
Alors oui certaines IA permettent d'aller plus vite comme Copilot mais c'est pas pour autant que ça va remplacer un dev. Ca sera juste un outil en plus à utiliser comme Git.
Je prédis que dans 10-15 ans, les codes pondus par les IA seront remplis de failles de sécurité et qu'on aura droit à des empilements de catastrophes informatiques, des hack en tout genre etc etc.
évidemment t'as 100% raison dans ton dernier paragraphe, l'ia utilise des patterns/méta pour pondre du code (car il a été entrainé) en réalité l'ia ne comprend strictement rien à la logique derrière
donc dès que des hackers un peu expérimenté vont comprendre que c'est toujours les mêmes codes ils vont pouvoir l'exploiter et y chercher des failleshttps://image.noelshack.com/fichiers/2022/37/1/1663014384-ahi-pince-mais.png bref l'ia n'a aucun avenir (encore moins sur les projets où il y'a un minimum de confidentialité à avoir)
https://image.noelshack.com/fichiers/2022/37/1/1663014384-ahi-pince-mais.png Les IAs sont de plus en plus entrainés en LOCAL, donc non l'IA a encore de l'avenir
https://image.noelshack.com/fichiers/2024/07/3/1707930960-risitas-celestin-la-binocle-hd-2.png ça n'a aucune pertinence d'entrainer une IA en local
https://image.noelshack.com/fichiers/2022/37/1/1663014384-ahi-pince-mais.png
il faut bcp plus de donnéeshttps://image.noelshack.com/fichiers/2022/37/1/1663014384-ahi-pince-mais.png Si, je vois un intérêt
Si le développeur a souvent les mêmes bouts de code ou un même style de programmation, l'IA peut aider pour faire de la complétion automatique (comme le fait déjà depuis des années l'aide contextuelle d'IntelliJ de Jetbrains mais en plus poussé)
Seul souci, ça enferme le dév dans ses habitudes et dans son style de programmation
L'IDE le fait déjà.
J'utilise copilot, il propose du code inspiré du source code de mes projets (utilisant les mêmes lib voire lib custom).
Le 21 février 2024 à 00:14:05 :
Le 21 février 2024 à 00:09:27 :
Le 21 février 2024 à 00:07:34 :
Le 20 février 2024 à 23:01:42 :
Le 20 février 2024 à 23:00:55 :
Commencez déjà à vous former sur autre chose que du pissage purGo cloud
Cool du terraform et du yaml => l'IA sait le faire
J'aimerai bien voir la gueule de l'IA quand il faut corriger un TFState quand t'as fait un refacto de ton code Terraform
Et non toujours pas les shills
c'est pas plus compliqué que maintenir une code base à jour.
Ca se voit que t'as jamais eu à migrer les dizaines/centaines de TFStates suite à un refacto de module Terraform toi ...
Et ça sur la PROD...
Vous êtes vraiment NOT READY
On fait les choses bien, non on a jamais eu à avoir à régler ce genre de pb
Et qu'apporte du yaml voire scripting par rapport à un langage + haut niveau comme Pkl qui bénéficie des atouts d'un langage de programmation (clean code, POO et donc centralisation, compilation, autocomplétion etc..) ?
Le 21 février 2024 à 00:11:14 :
Le 20 février 2024 à 23:06:47 :
Le 20 février 2024 à 22:54:47 :
l'IA va rien remplacer du tout les golemshttps://image.noelshack.com/fichiers/2017/06/1486457204-issou3.png Faut jamais avoir taffé de sa vie sur un vrai projet de code pour penser que l'IA et GPT4 incapable de calculer et de faire des maths de lycée va avoir un quelconque intérêt
https://image.noelshack.com/fichiers/2017/06/1486457204-issou3.png Ceci.
L'IA n'est pas capable de réfléchir par elle-même, juste régurgiter les informations qu'elle a en mémoire. Tout les codes qu'elle ponds ce sont des patterns qui ont déjà été inventé mais elle sera incapable de se dire "ah, ce morceau de code ça fait 20 fois qu'il est utilisé, je vais en faire une fonction" elle va juste faire un copier/coller autant de fois qu'elle en aura besoin. (edit: pour les neuneus au fond de la salle, ça veut dire des problèmes de performance)
Elle sera incapable de créer de nouveaux frameworks voir même de faire des mises à jour de lib existantes. Elle va se contenter de recopier ce qui existent déjà.
Sans parler des projets avec des logiques métiers bien précises, l'IA sera incapable d'utiliser ces infos là.
Alors oui certaines IA permettent d'aller plus vite comme Copilot mais c'est pas pour autant que ça va remplacer un dev. Ca sera juste un outil en plus à utiliser comme Git.
Je prédis que dans 10-15 ans, les codes pondus par les IA seront remplis de failles de sécurité et qu'on aura droit à des empilements de catastrophes informatiques, des hack en tout genre etc etc.
Le souci avec l'IA qui génère du code c'est l'amplification de la CONNERIE
1) Un golem Openclass room demande à l'IA de lui générer un bout de code qui marchouille mais qui a un bug sur un corner case rare
2) Le golem commit son code sur Github
Répéter la boucle 1)-2) 1000 fois, comme l'IA apprend et se met à jour avec des nouvelles infos, et comme le code moisi est commité 1000 fois, l'IA va toujours le proposer car considéré comme "majoritaire" donc "correct"
C'est comme ça qu'on génère de la merde à échelle planétaire
RIP
L'IA n'est qu'un outil pour un dev senior d'aller + vite.
Donc on aura moins besoin de dev junior
Le 21 février 2024 à 00:07:34 :
Le 20 février 2024 à 23:01:42 :
Le 20 février 2024 à 23:00:55 :
Commencez déjà à vous former sur autre chose que du pissage purGo cloud
Cool du terraform et du yaml => l'IA sait le faire
J'aimerai bien voir la gueule de l'IA quand il faut corriger un TFState quand t'as fait un refacto de ton code Terraform
Et non toujours pas les shills
c'est pas plus compliqué que maintenir une code base à jour.
D'ailleurs j'ai pas encore testé Pkl d'Apple releasé ce-mois (déjà compatible spring), j'espère que ça marchera avec terreform/k8s d'ici peu
Le 21 février 2024 à 00:02:23 :
Le 20 février 2024 à 23:58:11 :
Le 20 février 2024 à 23:49:43 :
Le 20 février 2024 à 23:46:44 :
Le 20 février 2024 à 23:36:07 :
> Le 20 février 2024 à 21:47:00 :
>Je suis un dev confirmé.
>
> Et je peux vous dire que les recrutements c'est dur en ce moment
Quelle techno ? Cb d'années d'XP ?
Dev confirmé ca veut rien dire tellement l'informatique est vaste
Perso Dev avec 10 ans d’expérience en JS/TS, je suis au chômage depuis Octobre, car coupe budgétaire chez le client.
Y’a qu’à regarder le peu d’annonces quotidiennes sur Indeed ou encore sur Welcome to the Jungle, j’ai jamais vu ça sans déconner
La raison est simple : Crise > Restrictions de budget > Pas de nouveaux projets > Pas besoin de devs.
10 ans sur JS/TS et t'as pas pensé à diversifier vers autre chose ?
Sélection naturelle hein ...
J'ai codé Java pendant 10 ans et j'ai vite compris qu'à partir d'un moment il faut acquérir d'autres skills sinon j'allais stagner
La suite m'a donné raison ...
Aujourd'hui je code encore en Java (version 21 bleeding edge) mais c'est 20% de mon taff hein
Passe à Kotlin comme déjà dit
https://image.noelshack.com/fichiers/2022/37/1/1663014384-ahi-pince-mais.png
Bordel Java 21... tu fais d'autres trucs c'est bien, mais considères les propos de gens qui font du code à 90%https://image.noelshack.com/fichiers/2022/37/1/1663014384-ahi-pince-mais.png Spring BooT/Java 21 et je suis bien
Rien à foutre de Kotlin, en Java je fais des design avancés que 90% des mecs ne savent même pas possible techniquement en Java. J'ai pas besoin de Kotlin pour ce que je fais, à savoir une pauvre appli de gestion interne avec 10 mecs connectés en // à tout cassé
Ben je te le redis Spring va à fond sur Kotlin.
Regarde Sébastien Deleuze le principal core commiter Spring en Europe (c'est un français - peut-être LE dev spring FRANCE).
Ils ont réécrit une bonne partie en kotlin et ça s'intègre de plus en plus.
Java 21 n'apporte rien (allez loom project quand t'as les continuations en kotlin via les coroutines depuis.. 10 ans ???).
Le 20 février 2024 à 23:56:12 :
Le 20 février 2024 à 22:38:51 :
Le 20 février 2024 à 22:34:13 :
La raison est pourtant totalement évidente : le travail a été fait. Voilà.Les dév front end n'ont plus de boulot parce que les entreprises ont eu les interfaces qu'elles voulaient.
Les dév logiciel n'ont plus de boulot parce que les entreprises ont eu les algorithmes, les moteurs, les infras qu'elles voulaient.lol
Il fallait avoir un peu de jugeote et s'y attendre.
Une entreprise n'a pas besoin de faire faire son site web 100 fois. À un moment donné, le site web est fait, il tourne, il est opti, il est ergonomique, les clients sont satisfaits : c'est terminé.re-lol.
A chaque nouvelle direction = une refonte. Car une direction DOIT amener un changement radical. C'est le monde de l'entreprise. Car si elle suit la voie de l'ancienne direction et que ça marche en 2 mois (car le travail avait été fait à 90%), on donnera les lauriers à l'ancienne directionJe suis chez un client grand compte (+10000 salariés)... 3e refonte en 10 ans
https://image.noelshack.com/fichiers/2022/37/1/1663014384-ahi-pince-mais.png Maintenant les investissements dans le monde de la tech se tournent vers les secteurs émergents ; le deep, le web 3.0, la réalité augmentée ... Si vous n'avez pas de compétence là-dedans, vous n'avez simplement rien à offrir face aux besoins actuels des entreprises.
Oui mets solidity, IoT et Rust sur ton CV => en Fronce t'auras 0 entretien
https://image.noelshack.com/fichiers/2018/13/4/1522325846-jesusopti.png
Mets dev java/spring ou .NET, on en reparleOu alors il faut être TRÈS bon et s'imposer sur un marché saturé le jour où une entreprise veut rénover un truc déjà fait pour l'améliorer à la marge, ou veut créer un nouveau service qui apparaît parce que le monde change (mais à un rythme "normal" comme dans toutes les industries, pas aux rythme effreiné qui a été celui des années 90s/2000s/début 2010s)
Faut surtout avoir des compétences en accord avec le marché local. Et ne pas foncer tête baissée dans la première hype venue (on se rappelle du Perl chez les startup US... qui en fait encore ? ).
Pire que du Perl, du Ruby bordel !!!!
Y'a c'est abrutis de DoctoLib qui sont dessus, une putain de purge pour maintenir leur stack. La dette technique est juste colossale
Mais voilà, tout ré-écrire c'est trop tard, c'est mort. Ils vont se trainer cette dette pendant encore longtemps
C'est ca de confier le choix des technos à des kikoolol qui veulent faire mumuse dans une startup, tu assumes la merde 10 ans après
Doctolib je connais bien (quelques anciens collègues..).
La startup fière de te parler de son monolithe "majestueux" à devoxx (maintenant on parle de monolithe modulaire
Le 20 février 2024 à 23:49:43 :
Le 20 février 2024 à 23:46:44 :
Le 20 février 2024 à 23:36:07 :
Le 20 février 2024 à 21:47:00 :
Je suis un dev confirmé.Et je peux vous dire que les recrutements c'est dur en ce moment
Quelle techno ? Cb d'années d'XP ?
Dev confirmé ca veut rien dire tellement l'informatique est vaste
Perso Dev avec 10 ans d’expérience en JS/TS, je suis au chômage depuis Octobre, car coupe budgétaire chez le client.
Y’a qu’à regarder le peu d’annonces quotidiennes sur Indeed ou encore sur Welcome to the Jungle, j’ai jamais vu ça sans déconner
La raison est simple : Crise > Restrictions de budget > Pas de nouveaux projets > Pas besoin de devs.
10 ans sur JS/TS et t'as pas pensé à diversifier vers autre chose ?
Sélection naturelle hein ...
J'ai codé Java pendant 10 ans et j'ai vite compris qu'à partir d'un moment il faut acquérir d'autres skills sinon j'allais stagner
La suite m'a donné raison ...
Aujourd'hui je code encore en Java (version 21 bleeding edge) mais c'est 20% de mon taff hein
Passe à Kotlin comme déjà dit
Bordel Java 21... tu fais d'autres trucs c'est bien, mais considères les propos de gens qui font du code à 90%
Le 20 février 2024 à 23:39:56 :
Tant que la plupart des mecs se démènent comme des fous pour tenter de séduire ces femmes pas jolies, ni même apprêtées ou intéressantes, elles n'ont aucune raison de faire un effort.
c'est vrai.
Mais bordel, ça devient pathétique.
Mention spéciales aux meufs qui s'affichent comme "sportives" à la salle avec leurs 10kgs de trop. Et qui vont te snober si t'es pas sportif (mais mieux entretenu sans sport avec une nourriture saine
Ca enchaîne les mecs, ça s' "amuse", etc...
Mais c'est pas foutu de rester fine et avec de longs et beaux cheveux. De garder une féminité.
On m'explique le concept ?
Le 20 février 2024 à 23:18:47 :
Le 20 février 2024 à 21:18:28 :
Le 20 février 2024 à 21:17:20 :
Pourquoi y'a encore 2 ans tout le monde disait que y'avait du taff partout, souvent bien payé et en télétravailAujourd'hui je lis sur Reddit/JVC etc que c'est ultra bouché, plein de devs (même avec plusieurs années d'XP) sont au chômage depuis des mois
J'ai lu aussi que les entreprises de services style CapGemini, Atos et d'autres boites de la tech avaient eu des bénéfices records sur l'année 2023
Bref qu'est ce qui a changé en 2 ans ?
non juste des golem formation de 6 mois pole emploi
Ceci
Un mec avec une vielle formation moisie en 6 mois croit qu'il peut concurrencer un mec qui a baigné dans l'informatique depuis 25 ans ....
La sélection ne peut qu'être naturelle
t'as quoi contre les aide-soignant qui se veulent chirurgiens spécialistes ?
Le 20 février 2024 à 23:15:16 :
Le 20 février 2024 à 23:08:26 :
Ayaa le genre de topic qui me fait flipper.
J'ai terminé une formation dev web de 6 mois sur Open Classrooms, je cherche du taff depuis, une RH de Capgemini m'a contacté.Sélectionné avant même d'avoir commencé.
Après, j'ai toujours aimé l'informatique donc je partais pas de 0 non plus mais j'avoue que dès que le code est un peu trop complexe je galère.
Après j'ai l'impression qu'il n'y a plus trop d'entreprises qui veulent former et qui veulent un junior mais très compétent.
C'est un des problèmes oui.
Certaines sociétés veulent réduire un maximum les budgets alors ils vont chercher des gars qui sont des équipes IT à eux tout seul Faut faire le front, le back, le dev ops, s'occuper de la maintenance après alors que t'es déjà passé sur autre chose, etc etc. Donc faut qu'il soit junior histoire qu'il ne coûte pas une couille non plus mais qu'il soit déjà full compétent pour pas se faire chier à le former
El famoso fullstack
Pero je vois fullstack sur l'offre je décline.
Si on me dit : ok on est intéressé mais vous faites que du back on veut un full stack => je challenge leur back, montre que leur back c'est de la merde. Et après ils veulent un front ET un back
Le 20 février 2024 à 23:10:26 :
On crache beaucoup sur les ESN mais c'est bien pour commencer et prendre de l'xp sur des projets sympas (que de l'embauche sur mission par contre)Et si les relations sont ok ça peut faire un tremplin pour passer vite indep en les gardant comme intermédiaire pour ne pas se faire chier à chercher des missions
C'est bien sur ce forum on dirait que passer indep ça se fait comme ça
Je suis indep, ancien tech Lead en CAC40 où j'ai dû mettre fin à la mission de 3 ou 4 freelance (sur 7) qui étaient expérimentés, mais n'étaient pas au niveau
Le 20 février 2024 à 23:09:00 :
Le 20 février 2024 à 23:06:39 :
Le 20 février 2024 à 23:05:40 :
Le 20 février 2024 à 23:01:42 :
Le 20 février 2024 à 23:00:55 :
Commencez déjà à vous former sur autre chose que du pissage purGo cloud
Cool du terraform et du yaml => l'IA sait le faire
Go vérification formelle et programmation par contrat (ça demande des maths, adieu les reconvertis)
Les entreprises s'en fichent
C'est pourquoi microsoft, google, jetbrains, facebook et amazon développement leurs propres outils de vérification formelle et de preuve par contrat depuis 15 ans ?
Que Thales, Airbus et à peu près tout ce qui touche à de l'embarqué sensible y est déjà passé ?
Comme après le fiasco du jeu d'instruction du Pentium 94 on a commencé à faire de la vérification formelle sur la conception de microprocesseurs https://fr.wikipedia.org/wiki/Bug_de_la_division_du_Pentium
on commence à le faire de plus en plus en programmationRestez pas à la ramasse, essayez d'apprendre au moins le concept
J'ai un pote qui a fait sa thèse en preuve formelle en sous-traitant dans un domaine critique - avant de l'abandonner - puis de la reprendre .
Je connais un peu.. et non merciOui c'est lourdingue et chiant, mais clairement ça arrive à grand pas.
Suffit de voir comment les golems chialent et la quantité de pognon perdu au moindre bug dans l'appli insta/netflix/snap/whatsapp/twitter
Clairement on est en train d'ériger ça au même niveau que des failles critiques en embarqué
Franchement je pense pas.
Pour avoir un ancien collègue qui a monté une boite dans la qualité logicielle et mesure de dette technique => ça a fait faillite en 6 mois car les CTO voyaient pas de ROI immédiat
Le 20 février 2024 à 23:08:26 :
Ayaa le genre de topic qui me fait flipper.
J'ai terminé une formation dev web de 6 mois sur Open Classrooms, je cherche du taff depuis, une RH de Capgemini m'a contacté.Après, j'ai toujours aimé l'informatique donc je partais pas de 0 non plus mais j'avoue que dès que le code est un peu trop complexe je galère.
Après j'ai l'impression qu'il n'y a plus trop d'entreprises qui veulent former et qui veulent un junior mais très compétent.
le pb de l'informatique, c'est qu'on fait croire à des aide-soignants qu'ils ont les compétences pour être chirurgien
Le 20 février 2024 à 23:05:40 :
Le 20 février 2024 à 23:01:42 :
Le 20 février 2024 à 23:00:55 :
Commencez déjà à vous former sur autre chose que du pissage purGo cloud
Cool du terraform et du yaml => l'IA sait le faire
Go vérification formelle et programmation par contrat (ça demande des maths, adieu les reconvertis)
Les entreprises s'en fichent
C'est pourquoi microsoft, google, jetbrains, facebook et amazon développement leurs propres outils de vérification formelle et de preuve par contrat depuis 15 ans ?
Que Thales, Airbus et à peu près tout ce qui touche à de l'embarqué sensible y est déjà passé ?
Comme après le fiasco du jeu d'instruction du Pentium 94 on a commencé à faire de la vérification formelle sur la conception de microprocesseurs https://fr.wikipedia.org/wiki/Bug_de_la_division_du_Pentium
on commence à le faire de plus en plus en programmationRestez pas à la ramasse, essayez d'apprendre au moins le concept
J'ai un pote qui a fait sa thèse en preuve formelle comme sous-traitant dans un domaine critique dans un labo - avant de l'abandonner - puis de la reprendre .
Je connais un peu.. et non merci
Le 20 février 2024 à 23:03:22 :
comment apprendre les différents cycles d'une application ?
Du début du projet jusqu'à la mise en prod ?
au début, on sait pas ce qu'on veut mais on se doute que ça sera de la merde.
A la MEP : on sait qu'on a fait de la merde et on sait pas si ça va marcher
PAS DE MEP LE VENDREDI
Le 20 février 2024 à 23:00:55 :
Commencez déjà à vous former sur autre chose que du pissage purGo cloud
Cool du terraform et du yaml => l'IA sait le faire
Go vérification formelle et programmation par contrat (ça demande des maths, adieu les reconvertis)
Les entreprises s'en fichent