on peut imaginer que le coup de pouce vise l'optimisation.
Je n'en suis pas sûr à 100%, mais à mon avis il y a aussi un deuxième sujet : le don/prêt/prix réduits de machines. Parce que pour tester son code sur une plateforme, c'est plus simple d'avoir accès à cette plateforme.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Les lobbies de Microsoft ne vont pas être contents
Je ne suis pas sûr que Microsoft développe spécifiquement des logiciels pour les institutions de l'union européenne. Et j'ai bien l'impression que Windows, ou Office, par exemple, ne rentrent pas dans la catégorie telle que définie par cette phrase.
toutes les solutions informatiques développées par et pour les institutions de l’UE
Ce n'est clairement pas développé par une institution de l'UE, et ce n'est pas non plus développé pour eux, c'est un "produit informatique standard" (apparemment c'est un mot qui existe pour traduire COTS. C'est plus joli que "sur étagère")
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Pour information si vous n'êtes pas francophone de naissance « encor » s'écrit en français : encore. De même, « Français » en parlant de la langue, s'écrit avec une minuscule. Et enfin, il faut insérer une espace insécable après un guillemet ouvrant et avant un fermant.
Une autre possibilité est de ne pas s'emmerder à corriger les gens qui ont le droit de s'exprimer comme ils veulent.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Pour citer un type qui n'est pas de l'opposition, et qui est censé représenter une autorité dans le pays :
Dans ce contexte, j'ai interrogé les scientifiques sur nos élections municipales, dont le premier tour se tiendra dans quelques jours. Ils considèrent que rien ne s'oppose à ce que les Français, même les plus vulnérables, se rendent aux urnes
Si le président explique à l'ensemble des français que "les scientifiques" expliquent que rien ne s'oppose aux élections, dans quelle mesure, sur quels leviers, l'opposition pourrait-elle demander un report des élections ? Et si le président a décidé de ne pas reporter les élections à cause de la pression de l'opposition, pourquoi ment-il en expliquant aux français que c'est parce que "les scientifiques" lui ont dit que ça ne posait pas de problèmes ?
Si c'est de la faute de l'opposition après le premier tour, mais pas avant le première tour, ce n'est pas très logique.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
il va vous falloir deux fonctions: une pour avant le confinement et une pour après
Pas vraiment. Comme pour tout problème dynamique, on a probablement
X_(k+1) = f(X_k, u_k, perturbation_k);
y(k) = g(X_k, u_k, bruit_k); f et g peuvent rester identique, par contre c'est u_k qui va changer de forme entre avant et après le confinement.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Il y a un problème de date, on est dans les années 20 maintenant.
La clé USB, ça passe (juste, si on considère les choses dispo commercialement)
Flash drives were sold initially by Trek 2000 International, a company in Singapore, which began selling in early 2000
L'écran LCD, pas vraiment. Les cristaux liquides ont été découverts/utilisé au 19e siècle, mais si on se limite aux écrans style télé/pc, on peut en trouver trace au 20e siècle, largement. Par exemple :
Sharp demonstrated a 14-inch, active-matrix, full-color, full-motion TFT-LCD. This led to Japan launching an LCD industry, which developed large-size LCDs, including TFT computer monitors and LCD televisions
Le GPS, c'est assez vieux. Le premier lancement de satellite date de 1978, je ne suis pas sûr de la date de mise en service de la constellation, mais c'était peu après, probablement. Quand aux récepteurs GPS grand public, je suis presque sûr qu'ils datent d'avant 2000.
La TNT, en France, peut-être, mais d'une façon générale, c'est un poil plus vieux que 20 ans :
The United Kingdom (1998), Sweden (1999) and Spain (2000) were the first to launch DTT with platforms heavily reliant on pay television
La souris optique, la version moderne a 21 ans.
The first commercially available, modern optical computer mice were the Microsoft IntelliMouse with IntelliEye and IntelliMouse Explorer, introduced in 1999 using technology developed by Hewlett-Packard
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Si le bouffon à la base de la fausse tentative de chantage fait ça bien, il y aura une adresse de payement par destinataires, et donc envoyer un message sur cette adresse prouvera au moins que son email est arrivé à un destinataire actif. Je ne suis pas sûr que ça soit un information qu'on ait envie de transmettre à un spammeur.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
C'est ingénieur qui est protégé en Belgique, ou ingénieur civil et ingénieur industriel ? Parce que je ne pense pas qu'il existe de titre/diplôme d'ingénieur "tout court". (cela dit c'est possible qu'il y ait un truc qui dise qu'on ne puisse se dire "ingénieur" que s'il on est l'un ou l'autre)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Tout à fait. Un FPGA, c'est relativement cher pour chaque unité. Un ASIC, c'est extrêmement cher pour la première unité (il faut créer un masque. Et si on si plante, recommencer, et repayer) mais sur le volume, ça peut devenir plus rentable. Autrement dit, le coût marginal d'un ASIC (un chip) est plus faible que celui d'un FPGA.
Il y a aussi d'autre avantages (si je ne me trompe pas), c'est qu'un ASIC peut être plus performant ( en consommation d'énergie par calcul par exemple) qu'un FPGA qui ferait les mêmes calculs.
Note : ce n'est pas mon domaine, mais ce que j'ai compris. N'hésitez pas à corriger si j'ai tort.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Non seulement le parlement européen a un pouvoir de censure sur la commission, mais il doit également approuver le choix du président et la composition de cette commission. (le conseil propose un président, le parlement approuve ce choix ou non, ensuite le président compose la commission, et une fois que c'est fait, le parlement doit approuver la composition)
Du coup comme tu le dis, les gens qui disent "le parlement n'a pas de vrai pouvoir, c'est plutôt la commission et le conseil", c'est étrange, vu que la commission dépend entièrement de l'approbation du parlement.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Dans une autre vie (wow quand j'y pense, je deviens vieux :-D ) j'ai bossé sur des satellites qui utilisaient un récepteur GPS pour déterminer leur orbite. Et aussi pour recaler l'heure de bord. Je me rappelais que l'epoch démarrait au 6 janvier 80, pour avoir du calculer des temps basés là dessus, mais pas qu'il y avait eu un rollover (pourtant c'était bien après 1999 quand même) (je dialoguais avec un récepteur GPS intelligent, c'est peut-être lui qui corrigeait déjà ça)
Du coup je me demande à quel point ça va lancer des alarmes en avril dans les centres de contrôle. (pour avoir bossé un peu dans le domaine, j'imagine que ça va faire plein de problèmes, mais surtout des faux positifs sur des équipement sols). C'était amusant de voir le passage au 31 décembre des années bissextiles (compteur de jour dans l'année qui arrive à 366) ou lors des secondes intercalaires (la seconde 60, en dehors de l'interval [0,59])
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Mon ordinateur principal (celui que j'utilise le plus, si c'est la définition) est mon laptop du travail, donc il ne m'a rien coûté. L'ordinateur qui m'appartient et que j'utilise le plus m'a coûté entre 1000 et 2000€ (écran et périphériques inclus, sinon ça serait juste en dessous de 1000€), mais c'était en 2010, je pense qu'il doit valoir un peu moins à la revente maintenant :-D
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
J'ai envie de dire oui. Ca dépend de ce que l'on attend, évidemment, mais par rapport à ce qu'ils sont censé tester, oui, ils font ce que l'on attend d'eux. Il ne faut pas s'attendre à ce qu'ils disent "ton algorithme est faux parce que tu fait C = a*b alors que la spec demande C = a+b", parce que ce n'est pas leur rôle. Par contre leur rôle c'est de trouver/prouver* des défauts/bugs dans l'utilisation du langage. Par exemple, en C, un analyseur doit (devrait) trouver l'utilisation d'un pointeur ou d'une variable non initialisée, un accès hors limite de tableau, une division par 0, …
En général, vu que c'est "gratuit" à implémenter, il y a souvent en plus la possibilité de vérifier des bonnes pratiques de codages (par exemple les règles MISRA), mais ça ça peut déjà souvent être fait (en partie au moins) par un linteur (enfin, techniquement, un linteur c'est déjà un outil d'analyse statique)
Comment ça s'appelle ?
Ceux qui sont vendu par ma boite c'est Polyspace Code Prover et Bug Finder.
Combien ça coute ?
Disons qu'on ne vise pas le marché des particuliers ;-) . C'est plutôt à destination des gens qui ont a certifier un produit, souvent dans un processus encadré par des normes (DO-178C, IEC61508, ISO26262, …) mais pas uniquement. (une autre façon de dire ça serait de dire que parmi les différents trucs qu'on vend, il me semble que ça fait partie des quelque exceptions pour lesquels on n'a pas directement un prix affiché sur le site, mais un lien "contacter un commercial")
Après le prix, dans l'absolu, c'est pas le plus important, la question est "est-ce que ça rapporte plus que ça ne coûte ?" (oh mon dieu, je pense que je traîne trop avec des commerciaux)
* trouver et prouver sont deux termes qui ne veulent pas dire la même chose et qui recouvrent deux types d'outils d'analyse statiques différents. Les outils qui prouvent (par calcul formel, "sound static analyzer" vs "unsound" pour les termes anglais) sont "mieux" (pas de faux positifs, pas de faux négatifs, uniquement des preuves d'absence ou de présence de bug. Ah, et aussi parfois des "je ne sais pas", mais c'est "limité" en nombre). Mais ils sont plus limités par la taille du programme analysé et le type de bugs à identifier. (le temps et la mémoire utilisée pour l'analyse augmente rapidement avec la taille du programme analysé)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
J'ajouterais à ton ajout qu'on peut également détecter les (des) problèmes d'UB avec des analyseurs statiques de code, en plus d'utiliser les sanitizers dynamiques de clang. Ca peut montrer beaucoup de choses (ainsi que de rappeler un paquet de règles du C/C++ qui peuvent être oubliées, en lisant les résultats)
(Divulgation complète : l'entreprise pour laquelle je travaille vend un analyseur statique, mais ce n'est pas vraiment la partie sur laquelle je bosse)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Si par drone tu entends un engin multi-rotor, il est probable que l'utilisation de caméras pour identifier/attraper des objets soit un petit peu compromise lorsque tu t'approches du sol à cause du sable remué par les turbulences. D'ailleurs j'imagine que ça peut ne pas être idéal pour les moteurs d'ingérer du sable, mais c'est à vérifier. Et aussi le fait de remuer le sable pourrait être à l'encontre du but initial qui était de limiter l'érosion des dunes, mais je n'en ai aucune idée, il faudrait faire une étude d'impact.
Sinon d'un point de vue technique, je pense que tout cela est possible. Pas nécessairement simple, puis suivant la taille (et poids) des déchets il faudra un drone plutôt puissant (sans compter un algo de contrôle pas trop mauvais pour arriver à voler avec des poids asymétriques chargés à bord, en vol…) mais d'autres ont fait des choses plus compliquées avec un drone et un déploiement d'engin par dessous, par exemple un drone avec des tuyères plutôt que des rotors, et un rover par dessous, plutôt lourd, au bout d'un filin. Ah, et puis ils l'ont fait automatiquement. Et sur une autre planète. Skycrane
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
La réponse à n'importe quelle question du type "X va-t-il détruire la planètes" est non, sauf si X possède une quantité d'énergie astronomique, au sens littéral du terme. La planète devrait pouvoir résister à environ 100% des conneries que l'homme peut faire actuellement.
L'écosystème actuel ou passé, par contre, c'est moins sûr.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
qu'évidemment ça ne peut pas provenir d'une femme ce genre de discours.
Tu remarqueras qu'ils n'auraient pas eu à faire cette remarque si la posteuse originale n'avait pas utilisé cet argument d'autorité "je suis une femme et je ne suis pas d'accord".
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
sur un sujet aussi pointu techniquement, on consulte pas la hotline
Du coup, on consulte qui ? Et je vais mettre une restriction, "on consulte qui chez l'opérateur en question ?" pour éviter que la réponse soit "google", et qu'après tout c'est bien eux qui vendent un service, et qui devraient pouvoir répondre aux questions à propos de ce service.
Parce qu'il me semble que tu nous as juste dit qui ne pas appeler, mais que tu n'as pas proposé d'alternative.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Contexte
Posté par 2PetitsVerres . En réponse au journal Transition ARM : Apple assistera certains projet open source . Évalué à 5.
Je n'en suis pas sûr à 100%, mais à mon avis il y a aussi un deuxième sujet : le don/prêt/prix réduits de machines. Parce que pour tester son code sur une plateforme, c'est plus simple d'avoir accès à cette plateforme.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Enfin des appels d'offres équitables en France ?
Posté par 2PetitsVerres . En réponse à la dépêche Le Parlement européen adopte la préférence pour le logiciel libre pour les institutions de l’UE. Évalué à 4.
Je ne suis pas sûr que Microsoft développe spécifiquement des logiciels pour les institutions de l'union européenne. Et j'ai bien l'impression que Windows, ou Office, par exemple, ne rentrent pas dans la catégorie telle que définie par cette phrase.
Ce n'est clairement pas développé par une institution de l'UE, et ce n'est pas non plus développé pour eux, c'est un "produit informatique standard" (apparemment c'est un mot qui existe pour traduire COTS. C'est plus joli que "sur étagère")
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Pourquoi le pistage ?
Posté par 2PetitsVerres . En réponse au journal Covid 19 - un traçage organisé par le monde du libre ?. Évalué à 1.
Pour information si vous n'êtes pas francophone de naissance « encor » s'écrit en français : encore. De même, « Français » en parlant de la langue, s'écrit avec une minuscule. Et enfin, il faut insérer une espace insécable après un guillemet ouvrant et avant un fermant.
Une autre possibilité est de ne pas s'emmerder à corriger les gens qui ont le droit de s'exprimer comme ils veulent.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# Opposition
Posté par 2PetitsVerres . En réponse au journal Les girouettes. Évalué à 8.
Pour citer un type qui n'est pas de l'opposition, et qui est censé représenter une autorité dans le pays :
Si le président explique à l'ensemble des français que "les scientifiques" expliquent que rien ne s'oppose aux élections, dans quelle mesure, sur quels leviers, l'opposition pourrait-elle demander un report des élections ? Et si le président a décidé de ne pas reporter les élections à cause de la pression de l'opposition, pourquoi ment-il en expliquant aux français que c'est parce que "les scientifiques" lui ont dit que ça ne posait pas de problèmes ?
Si c'est de la faute de l'opposition après le premier tour, mais pas avant le première tour, ce n'est pas très logique.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# ou pas
Posté par 2PetitsVerres . En réponse au journal Rappel : Si vous essayez de modéliser l'épidémie de Covid-19 et que votre modèle est dérivable …. Évalué à 4.
Pas vraiment. Comme pour tout problème dynamique, on a probablement
X_(k+1) = f(X_k, u_k, perturbation_k);
y(k) = g(X_k, u_k, bruit_k);
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# des 20 dernières années
Posté par 2PetitsVerres . En réponse au journal Mon Top 5 des inventions geeks des 20 dernières années. Évalué à 2.
Il y a un problème de date, on est dans les années 20 maintenant.
La clé USB, ça passe (juste, si on considère les choses dispo commercialement)
L'écran LCD, pas vraiment. Les cristaux liquides ont été découverts/utilisé au 19e siècle, mais si on se limite aux écrans style télé/pc, on peut en trouver trace au 20e siècle, largement. Par exemple :
Le GPS, c'est assez vieux. Le premier lancement de satellite date de 1978, je ne suis pas sûr de la date de mise en service de la constellation, mais c'était peu après, probablement. Quand aux récepteurs GPS grand public, je suis presque sûr qu'ils datent d'avant 2000.
La TNT, en France, peut-être, mais d'une façon générale, c'est un poil plus vieux que 20 ans :
La souris optique, la version moderne a 21 ans.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Satoshi
Posté par 2PetitsVerres . En réponse au journal [IDIOTIE] Proposition d'amélioration de bitcoin. Évalué à 3.
Si le bouffon à la base de la fausse tentative de chantage fait ça bien, il y aura une adresse de payement par destinataires, et donc envoyer un message sur cette adresse prouvera au moins que son email est arrivé à un destinataire actif. Je ne suis pas sûr que ça soit un information qu'on ait envie de transmettre à un spammeur.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Au sujet du terme ingénieur...
Posté par 2PetitsVerres . En réponse au journal Partage d’expérience : comment je suis devenu ingénieur diplômé par l’État à 44 ans. Évalué à 4.
C'est ingénieur qui est protégé en Belgique, ou ingénieur civil et ingénieur industriel ? Parce que je ne pense pas qu'il existe de titre/diplôme d'ingénieur "tout court". (cela dit c'est possible qu'il y ait un truc qui dise qu'on ne puisse se dire "ingénieur" que s'il on est l'un ou l'autre)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: lisibilité ... et enseignement
Posté par 2PetitsVerres . En réponse à la dépêche Python pour la rentrée 2019 — partie 1 ― Popularité. Évalué à 0. Dernière modification le 05 septembre 2019 à 20:19.
Là en lisant ça j'essaye de calculer le montant de mon bonus si c'était vrai.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Avantages de l'ASIC
Posté par 2PetitsVerres . En réponse à la dépêche Un ASIC conçu intégralement avec des logiciels libres. Évalué à 9.
Tout à fait. Un FPGA, c'est relativement cher pour chaque unité. Un ASIC, c'est extrêmement cher pour la première unité (il faut créer un masque. Et si on si plante, recommencer, et repayer) mais sur le volume, ça peut devenir plus rentable. Autrement dit, le coût marginal d'un ASIC (un chip) est plus faible que celui d'un FPGA.
Il y a aussi d'autre avantages (si je ne me trompe pas), c'est qu'un ASIC peut être plus performant ( en consommation d'énergie par calcul par exemple) qu'un FPGA qui ferait les mêmes calculs.
Note : ce n'est pas mon domaine, mais ce que j'ai compris. N'hésitez pas à corriger si j'ai tort.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Faudrait quand même se renseigner....
Posté par 2PetitsVerres . En réponse au journal 33 listes, est ce raisonnable ?. Évalué à 3.
Ce n'est pas lui qui mélange, c'est l'auteur de ce journal, qui a dit :
Les votes des députés ne sont pas des élections, donc ça ne peut pas être de ça dont l'auteur parlait.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Une analyse intéressante...
Posté par 2PetitsVerres . En réponse au journal 33 listes, est ce raisonnable ?. Évalué à 2.
Non seulement le parlement européen a un pouvoir de censure sur la commission, mais il doit également approuver le choix du président et la composition de cette commission. (le conseil propose un président, le parlement approuve ce choix ou non, ensuite le président compose la commission, et une fois que c'est fait, le parlement doit approuver la composition)
Du coup comme tu le dis, les gens qui disent "le parlement n'a pas de vrai pouvoir, c'est plutôt la commission et le conseil", c'est étrange, vu que la commission dépend entièrement de l'approbation du parlement.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# Le test
Posté par 2PetitsVerres . En réponse au sondage De quelle pratique de développement avez‐vous honte ?. Évalué à 7.
Les tests ne servent qu'aux gens qui font des erreurs. Pour tous les autres, les tests ne servent à rien.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Indenter avec des espaces
Posté par 2PetitsVerres . En réponse au sondage De quelle pratique de développement avez‐vous honte ?. Évalué à 7.
Les gens qui utilisent des espaces sont mieux payés, en tout cas.
Du coup ils devraient avoir honte d'être vénaux, effectivement.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# Je me demande
Posté par 2PetitsVerres . En réponse au journal 6 avril 2019 : C'est le 2e GPS Week Number Rollover. Évalué à 8.
Dans une autre vie (wow quand j'y pense, je deviens vieux :-D ) j'ai bossé sur des satellites qui utilisaient un récepteur GPS pour déterminer leur orbite. Et aussi pour recaler l'heure de bord. Je me rappelais que l'epoch démarrait au 6 janvier 80, pour avoir du calculer des temps basés là dessus, mais pas qu'il y avait eu un rollover (pourtant c'était bien après 1999 quand même) (je dialoguais avec un récepteur GPS intelligent, c'est peut-être lui qui corrigeait déjà ça)
Du coup je me demande à quel point ça va lancer des alarmes en avril dans les centres de contrôle. (pour avoir bossé un peu dans le domaine, j'imagine que ça va faire plein de problèmes, mais surtout des faux positifs sur des équipement sols). C'était amusant de voir le passage au 31 décembre des années bissextiles (compteur de jour dans l'année qui arrive à 366) ou lors des secondes intercalaires (la seconde 60, en dehors de l'interval [0,59])
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Déjà publié
Posté par 2PetitsVerres . En réponse au journal Un développeur qui dénonce. Évalué à 10.
ça se discute.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# Principal, ou personnel principal ?
Posté par 2PetitsVerres . En réponse au sondage Mon ordinateur principal a coûté.... Évalué à 4. Dernière modification le 20 août 2018 à 10:00.
Mon ordinateur principal (celui que j'utilise le plus, si c'est la définition) est mon laptop du travail, donc il ne m'a rien coûté. L'ordinateur qui m'appartient et que j'utilise le plus m'a coûté entre 1000 et 2000€ (écran et périphériques inclus, sinon ça serait juste en dessous de 1000€), mais c'était en 2010, je pense qu'il doit valoir un peu moins à la revente maintenant :-D
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: tester c'est douter, mais testez !
Posté par 2PetitsVerres . En réponse au journal Faites des tests !. Évalué à 6.
J'ai envie de dire oui. Ca dépend de ce que l'on attend, évidemment, mais par rapport à ce qu'ils sont censé tester, oui, ils font ce que l'on attend d'eux. Il ne faut pas s'attendre à ce qu'ils disent "ton algorithme est faux parce que tu fait C = a*b alors que la spec demande C = a+b", parce que ce n'est pas leur rôle. Par contre leur rôle c'est de trouver/prouver* des défauts/bugs dans l'utilisation du langage. Par exemple, en C, un analyseur doit (devrait) trouver l'utilisation d'un pointeur ou d'une variable non initialisée, un accès hors limite de tableau, une division par 0, …
En général, vu que c'est "gratuit" à implémenter, il y a souvent en plus la possibilité de vérifier des bonnes pratiques de codages (par exemple les règles MISRA), mais ça ça peut déjà souvent être fait (en partie au moins) par un linteur (enfin, techniquement, un linteur c'est déjà un outil d'analyse statique)
Ceux qui sont vendu par ma boite c'est Polyspace Code Prover et Bug Finder.
Disons qu'on ne vise pas le marché des particuliers ;-) . C'est plutôt à destination des gens qui ont a certifier un produit, souvent dans un processus encadré par des normes (DO-178C, IEC61508, ISO26262, …) mais pas uniquement. (une autre façon de dire ça serait de dire que parmi les différents trucs qu'on vend, il me semble que ça fait partie des quelque exceptions pour lesquels on n'a pas directement un prix affiché sur le site, mais un lien "contacter un commercial")
Après le prix, dans l'absolu, c'est pas le plus important, la question est "est-ce que ça rapporte plus que ça ne coûte ?" (oh mon dieu, je pense que je traîne trop avec des commerciaux)
* trouver et prouver sont deux termes qui ne veulent pas dire la même chose et qui recouvrent deux types d'outils d'analyse statiques différents. Les outils qui prouvent (par calcul formel, "sound static analyzer" vs "unsound" pour les termes anglais) sont "mieux" (pas de faux positifs, pas de faux négatifs, uniquement des preuves d'absence ou de présence de bug. Ah, et aussi parfois des "je ne sais pas", mais c'est "limité" en nombre). Mais ils sont plus limités par la taille du programme analysé et le type de bugs à identifier. (le temps et la mémoire utilisée pour l'analyse augmente rapidement avec la taille du programme analysé)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Faire des tests, c'est bien, mais...
Posté par 2PetitsVerres . En réponse au journal Faites des tests !. Évalué à 6.
Juste par curiosité, est-ce qu'une partie de ton code est publique/libre ? Ce serait pour faire des tests dessus…
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: tester c'est douter, mais testez !
Posté par 2PetitsVerres . En réponse au journal Faites des tests !. Évalué à 3.
J'ajouterais à ton ajout qu'on peut également détecter les (des) problèmes d'UB avec des analyseurs statiques de code, en plus d'utiliser les sanitizers dynamiques de clang. Ca peut montrer beaucoup de choses (ainsi que de rappeler un paquet de règles du C/C++ qui peuvent être oubliées, en lisant les résultats)
(Divulgation complète : l'entreprise pour laquelle je travaille vend un analyseur statique, mais ce n'est pas vraiment la partie sur laquelle je bosse)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# Rotor + sable
Posté par 2PetitsVerres . En réponse au journal Nettoyage de dunes avec un drone. Évalué à 7.
Si par drone tu entends un engin multi-rotor, il est probable que l'utilisation de caméras pour identifier/attraper des objets soit un petit peu compromise lorsque tu t'approches du sol à cause du sable remué par les turbulences. D'ailleurs j'imagine que ça peut ne pas être idéal pour les moteurs d'ingérer du sable, mais c'est à vérifier. Et aussi le fait de remuer le sable pourrait être à l'encontre du but initial qui était de limiter l'érosion des dunes, mais je n'en ai aucune idée, il faudrait faire une étude d'impact.
Sinon d'un point de vue technique, je pense que tout cela est possible. Pas nécessairement simple, puis suivant la taille (et poids) des déchets il faudra un drone plutôt puissant (sans compter un algo de contrôle pas trop mauvais pour arriver à voler avec des poids asymétriques chargés à bord, en vol…) mais d'autres ont fait des choses plus compliquées avec un drone et un déploiement d'engin par dessous, par exemple un drone avec des tuyères plutôt que des rotors, et un rover par dessous, plutôt lourd, au bout d'un filin. Ah, et puis ils l'ont fait automatiquement. Et sur une autre planète. Skycrane
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# ça va encore faire débat.
Posté par 2PetitsVerres . En réponse au journal «Votre avis nous intéresse !» − Cette fois, je crame mon banquier…. Évalué à 6.
Il y en a qui ont essayé récemment, et ils ont eu beaucoup de critiques.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# X va-t-il détruire la planète ?
Posté par 2PetitsVerres . En réponse au journal Le Bitcoin va-t-il détruire la planète ? Contre‐point. Évalué à 3.
La réponse à n'importe quelle question du type "X va-t-il détruire la planètes" est non, sauf si X possède une quantité d'énergie astronomique, au sens littéral du terme. La planète devrait pouvoir résister à environ 100% des conneries que l'homme peut faire actuellement.
L'écosystème actuel ou passé, par contre, c'est moins sûr.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: d'être une femme...
Posté par 2PetitsVerres . En réponse au journal Misogynie et discrimination à l'embauche. Évalué à 0.
Tu remarqueras qu'ils n'auraient pas eu à faire cette remarque si la posteuse originale n'avait pas utilisé cet argument d'autorité "je suis une femme et je ne suis pas d'accord".
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: deux
Posté par 2PetitsVerres . En réponse à la dépêche La fin des IPv4 est très proche ! Les ennuis aussi…. Évalué à 7.
Du coup, on consulte qui ? Et je vais mettre une restriction, "on consulte qui chez l'opérateur en question ?" pour éviter que la réponse soit "google", et qu'après tout c'est bien eux qui vendent un service, et qui devraient pouvoir répondre aux questions à propos de ce service.
Parce qu'il me semble que tu nous as juste dit qui ne pas appeler, mais que tu n'as pas proposé d'alternative.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.