Récemment, j'ai vu un point de vue intéressant : les bugs sont-ils vraiment inévitables ? Un développeur de renom dans l'industrie pense que la situation pourrait changer.
Son avis est le suivant — effectivement, de nombreux logiciels contiennent encore des bugs aujourd'hui, c'est un fait. Mais ce n'est souvent pas une question de technique impossible, plutôt un compromis entre efficacité et intégrité des fonctionnalités. Vous voulez du code sans bug ? D'ici les années 2030, cela devrait être réalisable sur le plan technologique.
D'un autre côté, cela reflète l'obsession de l'écosystème blockchain et Web3 pour la sécurité du code. Avec la maturation de la vérification formelle, de l'audit automatisé, et l'approfondissement de l'application de l'IA dans la vérification du code, les développeurs auront réellement la possibilité d'écrire un code sans défaut — du moins dans les scénarios où la sécurité est cruciale.
Bien sûr, cela ne signifie pas que tous les logiciels doivent suivre cette voie, mais cela offre aux développeurs une option : si vous pensez que la qualité prime sur la vitesse, la chaîne d'outils future pourra parfaitement vous soutenir.
Voir l'original
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
8 J'aime
Récompense
8
6
Reposter
Partager
Commentaire
0/400
FlashLoanLord
· Il y a 7h
Plus de bugs en 2030 ? Mon pote, je crois à moitié à cette parole, l'autre moitié je la mise sur le fait que l'IA dépensera de l'argent pour en sortir.
Voir l'originalRépondre0
Gm_Gn_Merchant
· Il y a 7h
2030 année sans bug ? Je vois que le Web3 est déjà en pleine compétition, la vérification formelle est depuis longtemps devenue la norme.
Voir l'originalRépondre0
BtcDailyResearcher
· Il y a 7h
2030 sans bug ? Ça sonne bien, mais je crois toujours que le marché parlera.
Voir l'originalRépondre0
RegenRestorer
· Il y a 7h
Avant 2030, il y aura encore des bugs, c'est normal. Arrêtez de raconter n'importe quoi.
Voir l'originalRépondre0
DeadTrades_Walking
· Il y a 7h
Un code sans bug dans les années 2030 ? Haha, d'ici là, ce sera sûrement dépassé, Web3 aura déjà été renouvelé cinq fois.
Voir l'originalRépondre0
SeeYouInFourYears
· Il y a 7h
2030 ? Mon pote, cette idée est trop optimiste. Maintenant, même le code d'OpenAI peut échouer, tu comptes sur l'IA pour l'audit sans aucune erreur ?
Récemment, j'ai vu un point de vue intéressant : les bugs sont-ils vraiment inévitables ? Un développeur de renom dans l'industrie pense que la situation pourrait changer.
Son avis est le suivant — effectivement, de nombreux logiciels contiennent encore des bugs aujourd'hui, c'est un fait. Mais ce n'est souvent pas une question de technique impossible, plutôt un compromis entre efficacité et intégrité des fonctionnalités. Vous voulez du code sans bug ? D'ici les années 2030, cela devrait être réalisable sur le plan technologique.
D'un autre côté, cela reflète l'obsession de l'écosystème blockchain et Web3 pour la sécurité du code. Avec la maturation de la vérification formelle, de l'audit automatisé, et l'approfondissement de l'application de l'IA dans la vérification du code, les développeurs auront réellement la possibilité d'écrire un code sans défaut — du moins dans les scénarios où la sécurité est cruciale.
Bien sûr, cela ne signifie pas que tous les logiciels doivent suivre cette voie, mais cela offre aux développeurs une option : si vous pensez que la qualité prime sur la vitesse, la chaîne d'outils future pourra parfaitement vous soutenir.