Ah, encore une façon de restreindre le choix du garage à ceux qui payent leur redevance annuelle, ça manquait.
Toutes les voitures avec un support Bluetooth Smartphone sont indirectement connectées de nos jours
Les constructeurs auto ne sont pas nécessairement très bon en sécurité, mais si tu leur proposes de connecter un système comme l'autoradio (qui est probablement QM) à un système qui est d'un niveau plus élevé (je ne sais pas comment marche le système de verrouillage et tout ça, mais une voiture aux portes verrouillés peut être un problème pour évacuer les gens en cas d'accident, du coup c'est certainement un ASIL x) il vont faire la gueule, parce que ça veut dire plus de boulot pour s'assurer de l'intégrité des données, etc.
En plus pouvoir briquer les voitures à distance en passant par un smartphone, il y a des gens qui vont aimer essayer (et pas que des gens légitimes)
Toutes les Tesla (ou Allemande haut de gamme) sont directement connectées pour leur système de géolocalisation.
Oui. Et toutes les autres ? (celles dont je parles en disant "non connectées")
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Impossible de vérifier que c’est verrouillé puisque la distance pour ne pas activer le déverrouillage de proximité est plus grande que la longueur de mes deux bras
Lance la clé en l'air, vérifie la porte, rattrape la clé.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Il suffit de retirer la serrure de la porte, et la porte s'ouvrira assez facilement. (bon, il y a des effets de bords minimes, tels que le fait qu'elle s'ouvrira pour n'importe qui)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
La révocation des clés est un problème résolu dans l'informatique depuis 20 ans. Le fait que ça ne soit pas le cas dans le domaine automobile en dit déjà long sur les pratiques logiciels de certains constructeurs
Comme fais-tu pour révoquer une clé dans une voiture non connectée ?
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Je pense que les points me correspondent plutôt bien. J'ai bossé une dizaine d'années dans le développement et la validation de logiciels embarqués sur des satellites (avec des petits détours par les opérations et un peu de lois de contrôle), mais au bout de 10 ans, j'ai eu envie de changer parce que
J'avais l'impression d'avoir fait le tour du sujet (plus beaucoup de gain en maitrise)
Les satellites sur lesquels je bossais, c'était principalement de la telecom (en gros, ça faisait passer des données qui viennent de la terre, principalement de la télé, au final), rarement sur des trucs qui font avancer la science (mais ça existe aussi, ce n'était juste pas mes projets) Ca n'avait pas forcément beaucoup de sens, ça ne fait pas progresser grand monde
Du coup vu ces deux points qui étaient devenus négatifs, j'ai changé. Je bosse maintenant pour un éditeur de logiciel (proprio), mais je ne développe plus. Je donne des formations, un truc que je n'avais jamais fait avant, et c'est sympa d'apprendre à faire ça (maitrise) En plus en salle de formation, j'ai un plan de formation, des contenu qui existe et que je suis sensé donnée, mais en fonction des gens que j'ai en face de moi, je peux m'adapter, je suis plutôt libre de faire ce que je veux, tant qu'à la fin les gens maitrisent ce qu'ils sont venus chercher (donc pas mal d'autonomie) (J'ai l'objectif caché d'ouvrir au moins un bug report sur chacun des 100+ produits qu'on vend, mais sans compter les trucs genre imprécisions ou fautes de frappe dans la documentation, sinon c'est trop simple)
En terme de maitrise, je pense que je ne pourrais jamais maitriser l'ensemble des produits qu'on développe et vend. Ca va de la finance à la bio informatique, en passant par la simulation et modélisation de système de toute sortes, la génération de code C/C++/HDL/Cuda à partir de ces modèles pour l'embarquer dans des trucs genre satellites ou voiture ou autre, et si je sais que je n'aurai pas la possibilité de les maitriser tous, j'ai pas vraiment de personnes qui me disent de ne pas essayer (tant que je remplis les vrais objectifs du boulot)
En terme de sens, je pense que ça en a aussi, comme on peut avoir des clients dans plein de secteurs différents, dont certains positifs (recherche médicale, énergies renouvelables, …) et d'autres négatifs (Par exemple énergie fossile ou missiliers, …) Mais je vais garder les positifs :p
Et puis pour les relations avec des gens, c'est pas mal non plus, que ça soit dans l'entreprise ou chez les clients, il y a plein de gens intéressants. Du coup mon boulot est plutôt motivant. Par contre c'est assez différent maintenant que tout ce fait à distance plutôt que physiquement (pour les gens du bureau, ça nous à un peu éloigné, par contre ça m'a donnée plus de contacts avec des gens ailleurs dans le monde, finalement)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
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.
[^] # Re: C'était mieux à vent
Posté par 2PetitsVerres . En réponse au journal Sécurité ouverture/démarrage des nouvelles voitures. Évalué à 10.
Ah, encore une façon de restreindre le choix du garage à ceux qui payent leur redevance annuelle, ça manquait.
Les constructeurs auto ne sont pas nécessairement très bon en sécurité, mais si tu leur proposes de connecter un système comme l'autoradio (qui est probablement QM) à un système qui est d'un niveau plus élevé (je ne sais pas comment marche le système de verrouillage et tout ça, mais une voiture aux portes verrouillés peut être un problème pour évacuer les gens en cas d'accident, du coup c'est certainement un ASIL x) il vont faire la gueule, parce que ça veut dire plus de boulot pour s'assurer de l'intégrité des données, etc.
En plus pouvoir briquer les voitures à distance en passant par un smartphone, il y a des gens qui vont aimer essayer (et pas que des gens légitimes)
Oui. Et toutes les autres ? (celles dont je parles en disant "non connectées")
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Une question me taraude
Posté par 2PetitsVerres . En réponse au journal Sécurité ouverture/démarrage des nouvelles voitures. Évalué à 10.
Lance la clé en l'air, vérifie la porte, rattrape la clé.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Une question me taraude
Posté par 2PetitsVerres . En réponse au journal Sécurité ouverture/démarrage des nouvelles voitures. Évalué à 3.
Il suffit de retirer la serrure de la porte, et la porte s'ouvrira assez facilement. (bon, il y a des effets de bords minimes, tels que le fait qu'elle s'ouvrira pour n'importe qui)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: C'était mieux à vent
Posté par 2PetitsVerres . En réponse au journal Sécurité ouverture/démarrage des nouvelles voitures. Évalué à 8.
Comme fais-tu pour révoquer une clé dans une voiture non connectée ?
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: C'était mieux à vent
Posté par 2PetitsVerres . En réponse au journal Sécurité ouverture/démarrage des nouvelles voitures. Évalué à 10.
Il y a une autre solution à ça, c'est le café gratuit.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# Pareil
Posté par 2PetitsVerres . En réponse au journal Quelles sont vos motivations au travail ?. Évalué à 8.
Je pense que les points me correspondent plutôt bien. J'ai bossé une dizaine d'années dans le développement et la validation de logiciels embarqués sur des satellites (avec des petits détours par les opérations et un peu de lois de contrôle), mais au bout de 10 ans, j'ai eu envie de changer parce que
Du coup vu ces deux points qui étaient devenus négatifs, j'ai changé. Je bosse maintenant pour un éditeur de logiciel (proprio), mais je ne développe plus. Je donne des formations, un truc que je n'avais jamais fait avant, et c'est sympa d'apprendre à faire ça (maitrise) En plus en salle de formation, j'ai un plan de formation, des contenu qui existe et que je suis sensé donnée, mais en fonction des gens que j'ai en face de moi, je peux m'adapter, je suis plutôt libre de faire ce que je veux, tant qu'à la fin les gens maitrisent ce qu'ils sont venus chercher (donc pas mal d'autonomie) (J'ai l'objectif caché d'ouvrir au moins un bug report sur chacun des 100+ produits qu'on vend, mais sans compter les trucs genre imprécisions ou fautes de frappe dans la documentation, sinon c'est trop simple)
En terme de maitrise, je pense que je ne pourrais jamais maitriser l'ensemble des produits qu'on développe et vend. Ca va de la finance à la bio informatique, en passant par la simulation et modélisation de système de toute sortes, la génération de code C/C++/HDL/Cuda à partir de ces modèles pour l'embarquer dans des trucs genre satellites ou voiture ou autre, et si je sais que je n'aurai pas la possibilité de les maitriser tous, j'ai pas vraiment de personnes qui me disent de ne pas essayer (tant que je remplis les vrais objectifs du boulot)
En terme de sens, je pense que ça en a aussi, comme on peut avoir des clients dans plein de secteurs différents, dont certains positifs (recherche médicale, énergies renouvelables, …) et d'autres négatifs (Par exemple énergie fossile ou missiliers, …) Mais je vais garder les positifs :p
Et puis pour les relations avec des gens, c'est pas mal non plus, que ça soit dans l'entreprise ou chez les clients, il y a plein de gens intéressants. Du coup mon boulot est plutôt motivant. Par contre c'est assez différent maintenant que tout ce fait à distance plutôt que physiquement (pour les gens du bureau, ça nous à un peu éloigné, par contre ça m'a donnée plus de contacts avec des gens ailleurs dans le monde, finalement)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Le masque ne sert à rien
Posté par 2PetitsVerres . En réponse au journal Le masque obligatoire une fausse bonne idée ?. Évalué à -2.
Une épidémie n'est pas l'autre. Par exemple, pour se protéger du SIDA, un masque n'est pas efficace.
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.