Retourner au contenu associé (dépêche : Programmer des démonstrations : une modeste invitation aux assistants de preuve)
Posté par thoasm le 27 février 2025 à 10:08. En réponse à la dépêche Programmer des démonstrations : une modeste invitation aux assistants de preuve. Évalué à 3.
Y a-t-il un développeur qui soit capable de trouver tous les bugs ? Est-il compris dans l'ensemble des développeurs capables de se corriger eux même ? Quid des bugs créés par des non développeurs ? Est-il un non développeur lui même ?
pars chercher un comprimé de paracétamol
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Clichés
Posté par thoasm . En réponse à la dépêche Programmer des démonstrations : une modeste invitation aux assistants de preuve. Évalué à 3.
Y a-t-il un développeur qui soit capable de trouver tous les bugs ? Est-il compris dans l'ensemble des développeurs capables de se corriger eux même ? Quid des bugs créés par des non développeurs ? Est-il un non développeur lui même ?
pars chercher un comprimé de paracétamol