Le problème que tu oublies est que le nombre de personnes ayant les compétences pour vérifier réellement la démonstration du théorème de Fermat est d'une dizaine de personne dans le monde. Une preuve formelle permet justement de ne pas avoir besoin de ça.
Ensuite, si tu veux faire référence à un résultat qui existe déjà, c'est facile d'imaginer des libraries pour ça. Quand tu rentres dans les détails, c'est toujours plus simple de lire du code, que de décoder ce que voulait dire l'auteur d'un texte.
Question vérification, dans le domaine du hardware (vhdl), il existe des tas d'outils "d'equivalence checking".
En gros, ses outils vérifient formellement que 2 descriptions hardware sont équivalentes, bien que complètement différentes (VHDL haut niveau vs description de porte).
Est-ce qu'il existe des langages ou des outils qui font cela sur des langages répandus ?
Il faut aussi que les chefs "respectent" le sprint de 3 semaines (imposé par eux, car 2 semaines, c'est "trop court"). En général, il y a toujours un autre projet qui a besoin de modif maintenant tout de suite. Et tant pis, si cela fout en l'air le sprint en cours, la sortie d'une version de test, le boulot de l'équipe de teste pour les 2 semaines suivantes et la réunion avec le client pour l’acceptation.
Pour moi, l'agile, c'est la différence entre se caler sur une horloge, et demander à tout le monde si il est pret pour la suite. Plus il y a de monde et plus c'est le bordel pour savoir qui est prêt quand. Avec une horloge globale, c'est bien plus facile de se synchroniser et de prévoir certaine réunions.
Euh, d'accord, mais j'ai du mal à voir de quoi tu parles en particulier. Peux-tu préciser un peu ?
Sur les sites "modernes", il y a en général, un grand texte mono-colonne au milieu et plus grand chose sur les cotés("mobile first"). Sur un écran large, c'est horrible, cela fait perdre plein de place. L'ancienne CSS me laisse des grands vides sur les cotés.
Pour la nouvelle CSS, la mono-colonne est très large, cela fait moins de place gâchée, mais la lecture est rendue plus complexe. Je proposais de tenter de transformer les blocs de textes d'une "certaine largeur" en 2 colonnes, pour toujours gagner de la place tout en facilitant la lecture.
Est-ce qu'il existe des liseuses pour BD ? J'imagine que cela ressemble plus à une tablette pour avoir la couleur de bonne qualité et un éclairage fin.
Parce que le volume des BD est encore plus important que celui des livres.
Merci pour ce boulot, je commençais à me lasser sérieusement de l'ancienne CSS. Cela manque toujours un peu d'image mais bon.
Une remarque tout de même, je regarde beaucoup linuxfr sur mon desktop (vous savez le machin qui a écran de 24") et les colonnes sont trop large pour être lisible. Limite cela serait top de faire 2 colonnes pour éviter les grands espaces vide de l'ancienne CSS.
La "monocritique" bof-bof les scores "presse" d'allociné montre bien que pour n'importe quel film, il y a toujours un critique pour lui coller 1 étoiles, et un autre pour en coller 3 ou 4. Par contre, qu'importe le film, avec une moyenne de 3 étoiles, c'est forcément un bon film.
Joli vidéo, vous n'avez pas placer la phrase "Le logiciel libre est gratuit une fois qu'il a été payé" mais sinon c'est assez clair.
Il faudrait parler d’où sorte les moyens de financement des principaux logiciels (linux, android, vlc, firefox, apache, php,…). Pour beaucoup, si c'est gratuit, c'est un logiciel piraté ou bien "c'est vous le produit".
Une enquête est sous contrôle d'un juge (judiciaire ou administratif),
Non, justement, cela n'est pas vrai pour les enquêtes administratives, qui ne sont pas justement sous le contrôle d'un juge.
Sans compter que techniquement, avec la vidéosurveillance généralisée, l'utilisation de balises radio, etc., il est tout à fait possible de diminuer drastiquement le coût de la surveillance.
Non justement. C'est le bien le problème de la DCRI pour le suivi des jihadistes. Pour certain, il ne faisait que de la surveillance électronique et ont raté le principal.
Non, ça n'a aucune valeur légale, c'est une information basée sur des probabilités et il est inimaginable que les services de l'état puissent avoir accès d'une manière ou d'une autre à une telle information, et surtout pas de manière générale.
Qu'est-ce qui n'a pas valeurs légal ? L'Etat peut réclamer n'importe quoi ou presque pour faire avancer une enquête.
Les données sont forcément effacées/résumées/archivées après quelques semaines ou quelques mois (il suffit de faire un simple calcul du coût de stockage).
C'est 2 ans de rétention pour les FAI il me semble.
On peut fantasmer autant qu'on veut sur le budget de la NSA, mais il est par exemple physiquement impossible de stocker la trace GPS récupérée par des applications pour smartphone sur des centaines de millions de personnes sur plusieurs mois/années, et il est encore moins possible de les analyser.
Quand je recherche un cinéma avec des homonymes (strada), la liste propose bien des solutions,mais si on choisit avec les flèches du clavier, le nom de la ville n'apparait pas, et on ne sait pas quel cinéma est sélectionné.
Le bouton de recherche de séance est lent, mais la recherche ensuite est ultra rapide : super.
Par contre, je ne vois pas d'indication sur la 3D. Par exemple, si je ne veux pas voir star wars 8 en 3D, je fais comment ? (image moins belle et plus sombre)
Le bouton "nouvelle recherche" revoit sur le whoops.
Il manque une forme de notation aussi. Pour moi, malgré tout ses énormes défaut, c'est l'avantage de allociné. Peut être qu'un résumé des critiques cinéma, pourrait être plus facilement intégré que les critiques de spectateur ? (ou alors, il faudrait reprendre des critiques de totten tomato ou metacritic ou autre)
Si elle va voir ton employeur, tes voisins, ton épicier, il n'y a pas non plus de raison que tu saches qu'elle enquête sur toi, sauf si quelqu'un te le dit.
Vous plaisantez ? Il est improbable selon vous que un voisin ou votre famille vous informe d'une enquète ?! C'est infiniment moins discret que d'aller voir Google. J'ai l'impression que vous n'avez jamais entendu parler des "gag order" au USA. Ce genre de procédure pourrait très bien arrivé en France.
Aucune raison de focaliser sur les données, le fait même qu'il soit légal pour n'importe qui (y compris un détective privé) de te suivre dans la rue, de noter tous tes faits et gestes dès que tu sors de chez toi, pour une période de temps indéterminée, devrait déja te faire sauter au plafond (personnellement, ça me gêne beaucoup plus que l'accès à mon historique Google par les autorités).
Vous plaisantez ? Avez-vous une idée du cout de suivre une personne h24 ? Combien couterait à l'état de suivre 10000 personnes ? N'avez-vous pas entendu parler du fait que la DCRI avait du mal à surveiller 1000 jihadistes suspectés ? (6 personnes à plein temps par surveillé).
Un terme a même été inventé pour justement faire la différence avec une enquête : la surveillance de masse.
Si tu ne t'identifies pas? Je ne pense pas,
Bien sûr qu'il identifie chaque personne. Les personnes authentifiées couplées avec leur service qui sont présent partout (font, pub, trackers). Les empreintes de chaque navigateur est quasiment unique.
Ça ne résoud pas le problème pour les activistes politiques et les personnalités de premier plan, mais j'imagine mal que la DGSI reçoive en temps réel tes recherches Google parce que tu as un jour dit du mal du président…
Pourquoi rajouter la contrainte du temps réel ? Je n'ai jamais parler de ça, et c'est en rien nécessaire pour être dangereux. Snowden avait dénoncé ce genre de connexions comme celle avec le video chat de yahoo. Cela pourrait revenir. C'est tellement probable, que les ingénieurs qui définissent les normes d'internet, sont en train de passer à des précautions, comme fournir le minime d'informations nécessaires, et la généralisation de la cryptographie.
Tu es a coté du truc. Si la police va voir Google, tu ne sais pas qu'elle enquête sur toi.
Comme tu le dis si tu prends tes précautions, il n'y a rien dans ton historique perso. Par contre, le FAI a tous les sites que tu visites, Et google toutes tes requêtes passées.
Si tu es un opposant politique, la DCRI peut savoir beaucoup de choses sur toi de cette façon.
oui mais en fait non. il suffit souvent d'ajouter un ou 2 mots clefs, c'est tout.
Que Google soit le premier au courant que tu as une maladie ou que tu viens de te faire virer (en cherchant des infos légal), c'est un peu dingue.
Et tu le sens venir le jour ou la police (ou les services secrets à la limite de légalité) va faire des requêtes à Google sur l'historique des recherche, au lieu de demander au FAI ?
Tu peux expliquer à quoi sert le produit ? J'en entend parler tout le temps d'une façon, où il est évident que tout le monde en censé savoir ce qu'il fait.
Avec google, tu dois pouvoir retrouver un site avec un mot, car il se souvient que tu as cliqué dessus la dernier fois. Avec qwant, il faut se souvenir de tous les mots clefs utilisés.
Tu sembles oublié que google t'identifie et connais toutes tes requêtes passés. La différence avec Google concerne les mots ambigües, google sait que tu es informaticiens, et va deviner le sens réel du mot que tu as mis.
J'avoue avoir du mal avec google qui ne tient plus compte des mots clef après le 4ième ou 5 ième, il faut parfois changer l'ordre des mots pour trouver ce que l'on veut.
A l'inverse Qwant creuse moins les site web, et parfois, je dois retourner sur google pour les trucs hyper précis.
La connerie de base, si j'ai bien compris, c'est que la prédiction de branchement déclenche le remplissage du cache, même si la lecture est interdite aux adresses de ses pages. Ensuite, une autre lecture mesurant un timing, permet de vérifier la présence en cache ou non de la donnée, ce qui donne une information sur sa valeur.
Pour que cela ne marche pas, il faut que les load spéculatifs fait sur des adresses interdites n'aient aucune différences de timing avec une page non lue dans l’exécution suivante. L'idéal serait de faire la vérification d’autorisation pendant l’exécution spéculative, dans l'ordre et non tout à la fin.
En gros, il ne faut pas qu'une exécution spéculative de code ou de data en provenance de zone interdite, puisse avoir un effet mesurable sur un code (comme le temps d'accès d'un load grâce au cache)
Ainsi les outils développés sont plutôt de nature à aller attaquer des cluster de calculs plutôt que de faire des simulations multi-physique sur ton PC.
Avec l’avènement du cloud computing, cela va être de moins en moins vrai. Il ne parait pas déconnant d'avoir plusieurs simulateur open source qui tournent sur 30 machines chez OVH.
"Malheureusement simplifier l'accès est nécessaire mais ne change rien au fait qu'avoir les connaissances pour évaluer une simulation dans différentes physique nécessite la compréhension de ces physiques. Tout les calculs sont basés sur des approximations et modèles et qui doivent être compris ainsi que leur limites intégrées par leurs utilisateurs. "
Je comprends bien. C'est la façon de voir une simulation aujourd'hui. Mais avec le multiphysique, c'est juste impossible. On ne peut pas être spécialistes de tout.
De plus, ses outils sont en général possible uniquement pour les grosses boites avec de grosses équipes qui peuvent se payer les outils ansys. Pourtant ce genre de prototypage numérique a un avantage énorme en terme de vitesse de dev et de précision, et cela intéresse forcément les PME.
Après pour les simus dans blender en vu de rendu réaliste, le talents des gens qui font les moteurs de rendu est d'intégrer des équations aux dérivées partielles et ordinaires adaptées au rendu, d'avoir des modèles de collision "réaliste" et le tout dans une temps compatible avec la génération d'une séquence temporelle extrêmement longue, autant dire que le travail de développeur de moteur de rendu n'est pas prêt d'être remplacé par celui des scientifiques des edp.
ok, je pensais qu'avec la mode des ROM (reduced order model) qui permettent justement la simulation en temps-réel, cela serait possible.
[^] # Re: Math
Posté par Nicolas Boulay (site web personnel) . En réponse au journal La recherche en langages de programmation au quotidien. Évalué à 4.
Oui, mais ce n'est pas avec "l'idée" que tu as assez d'information pour savoir si c'est bidon ou nécessaire et suffisant.
"La première sécurité est la liberté"
[^] # Re: Math
Posté par Nicolas Boulay (site web personnel) . En réponse au journal La recherche en langages de programmation au quotidien. Évalué à 6.
Le problème que tu oublies est que le nombre de personnes ayant les compétences pour vérifier réellement la démonstration du théorème de Fermat est d'une dizaine de personne dans le monde. Une preuve formelle permet justement de ne pas avoir besoin de ça.
Ensuite, si tu veux faire référence à un résultat qui existe déjà, c'est facile d'imaginer des libraries pour ça. Quand tu rentres dans les détails, c'est toujours plus simple de lire du code, que de décoder ce que voulait dire l'auteur d'un texte.
"La première sécurité est la liberté"
[^] # Re: Perl6
Posté par Nicolas Boulay (site web personnel) . En réponse au journal La recherche en langages de programmation au quotidien. Évalué à 4.
Question vérification, dans le domaine du hardware (vhdl), il existe des tas d'outils "d'equivalence checking".
En gros, ses outils vérifient formellement que 2 descriptions hardware sont équivalentes, bien que complètement différentes (VHDL haut niveau vs description de porte).
Est-ce qu'il existe des langages ou des outils qui font cela sur des langages répandus ?
"La première sécurité est la liberté"
[^] # Re: Cargo culte agile
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Culte du Cargo et développement informatique. Évalué à 3.
Il faut aussi que les chefs "respectent" le sprint de 3 semaines (imposé par eux, car 2 semaines, c'est "trop court"). En général, il y a toujours un autre projet qui a besoin de modif maintenant tout de suite. Et tant pis, si cela fout en l'air le sprint en cours, la sortie d'une version de test, le boulot de l'équipe de teste pour les 2 semaines suivantes et la réunion avec le client pour l’acceptation.
Pour moi, l'agile, c'est la différence entre se caler sur une horloge, et demander à tout le monde si il est pret pour la suite. Plus il y a de monde et plus c'est le bordel pour savoir qui est prêt quand. Avec une horloge globale, c'est bien plus facile de se synchroniser et de prévoir certaine réunions.
"La première sécurité est la liberté"
[^] # Re: Accéder aux caméras IP
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche La fin des IPv4 est très proche ! Les ennuis aussi…. Évalué à 4.
Il était question de rendre obligatoire l'IPV6 en France à la sortie de tous nouveau appareil connecté, je ne sais pas si c'est finalement passé.
"La première sécurité est la liberté"
[^] # Re: largeur
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Une CSS « froide » pour l'hiver : Steelblue. Évalué à 3.
Ce n'est pas possible de faire chaque commentaire sur 2 colonnes ? Faire les colonnes dans une boite et non des boites sur 2 colonnes ?
"La première sécurité est la liberté"
[^] # Re: Quelle liseuse conseillez-vous ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Galère lors de l'achat d'un livre numérique. Évalué à 3.
Il existe des sites de vente de BD numérique sans DRM ?
"La première sécurité est la liberté"
[^] # Re: largeur
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Une CSS « froide » pour l'hiver : Steelblue. Évalué à 4.
J'utilise firefox sous linux.
Sur les sites "modernes", il y a en général, un grand texte mono-colonne au milieu et plus grand chose sur les cotés("mobile first"). Sur un écran large, c'est horrible, cela fait perdre plein de place. L'ancienne CSS me laisse des grands vides sur les cotés.
Pour la nouvelle CSS, la mono-colonne est très large, cela fait moins de place gâchée, mais la lecture est rendue plus complexe. Je proposais de tenter de transformer les blocs de textes d'une "certaine largeur" en 2 colonnes, pour toujours gagner de la place tout en facilitant la lecture.
"La première sécurité est la liberté"
[^] # Re: Quelle liseuse conseillez-vous ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Galère lors de l'achat d'un livre numérique. Évalué à 5.
Est-ce qu'il existe des liseuses pour BD ? J'imagine que cela ressemble plus à une tablette pour avoir la couleur de bonne qualité et un éclairage fin.
Parce que le volume des BD est encore plus important que celui des livres.
"La première sécurité est la liberté"
[^] # Re: Linked Data (RDF)?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Scrutari, moteur de recherche pour sites gentils. Évalué à 5.
2004 à priori : https://www.w3.org/TR/rdf-primer/
"La première sécurité est la liberté"
# largeur
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Une CSS « froide » pour l'hiver : Steelblue. Évalué à 5.
Merci pour ce boulot, je commençais à me lasser sérieusement de l'ancienne CSS. Cela manque toujours un peu d'image mais bon.
Une remarque tout de même, je regarde beaucoup linuxfr sur mon desktop (vous savez le machin qui a écran de 24") et les colonnes sont trop large pour être lisible. Limite cela serait top de faire 2 colonnes pour éviter les grands espaces vide de l'ancienne CSS.
"La première sécurité est la liberté"
[^] # Re: Yet another movie database?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Optimisez votre code !. Évalué à 3.
La "monocritique" bof-bof les scores "presse" d'allociné montre bien que pour n'importe quel film, il y a toujours un critique pour lui coller 1 étoiles, et un autre pour en coller 3 ou 4. Par contre, qu'importe le film, avec une moyenne de 3 étoiles, c'est forcément un bon film.
"La première sécurité est la liberté"
# pas mal
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche La vidéo pour expliquer le logiciel libre à votre voisin. Évalué à 3.
Joli vidéo, vous n'avez pas placer la phrase "Le logiciel libre est gratuit une fois qu'il a été payé" mais sinon c'est assez clair.
Il faudrait parler d’où sorte les moyens de financement des principaux logiciels (linux, android, vlc, firefox, apache, php,…). Pour beaucoup, si c'est gratuit, c'est un logiciel piraté ou bien "c'est vous le produit".
"La première sécurité est la liberté"
[^] # Re: qwant ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal De la difficulté de trouver un moteur de recherche pertinent pour un site institutionnel du libre. Évalué à 3.
Non, justement, cela n'est pas vrai pour les enquêtes administratives, qui ne sont pas justement sous le contrôle d'un juge.
Non justement. C'est le bien le problème de la DCRI pour le suivi des jihadistes. Pour certain, il ne faisait que de la surveillance électronique et ont raté le principal.
Qu'est-ce qui n'a pas valeurs légal ? L'Etat peut réclamer n'importe quoi ou presque pour faire avancer une enquête.
C'est 2 ans de rétention pour les FAI il me semble.
C'est pourtant ce que fait très précisément une petite boite de pub à Paris.
https://www.numerama.com/politique/282934-enquete-comment-les-apps-figaro-lequipe-ou-closer-participent-au-pistage-de-10-millions-de-francais.html
"La première sécurité est la liberté"
[^] # Re: Problème
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Optimisez votre code !. Évalué à 4.
Quand je recherche un cinéma avec des homonymes (strada), la liste propose bien des solutions,mais si on choisit avec les flèches du clavier, le nom de la ville n'apparait pas, et on ne sait pas quel cinéma est sélectionné.
Le bouton de recherche de séance est lent, mais la recherche ensuite est ultra rapide : super.
Par contre, je ne vois pas d'indication sur la 3D. Par exemple, si je ne veux pas voir star wars 8 en 3D, je fais comment ? (image moins belle et plus sombre)
Le bouton "nouvelle recherche" revoit sur le whoops.
Il manque une forme de notation aussi. Pour moi, malgré tout ses énormes défaut, c'est l'avantage de allociné. Peut être qu'un résumé des critiques cinéma, pourrait être plus facilement intégré que les critiques de spectateur ? (ou alors, il faudrait reprendre des critiques de totten tomato ou metacritic ou autre)
"La première sécurité est la liberté"
[^] # Re: qwant ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal De la difficulté de trouver un moteur de recherche pertinent pour un site institutionnel du libre. Évalué à 4. Dernière modification le 17 janvier 2018 à 09:52.
Vous plaisantez ? Il est improbable selon vous que un voisin ou votre famille vous informe d'une enquète ?! C'est infiniment moins discret que d'aller voir Google. J'ai l'impression que vous n'avez jamais entendu parler des "gag order" au USA. Ce genre de procédure pourrait très bien arrivé en France.
Vous plaisantez ? Avez-vous une idée du cout de suivre une personne h24 ? Combien couterait à l'état de suivre 10000 personnes ? N'avez-vous pas entendu parler du fait que la DCRI avait du mal à surveiller 1000 jihadistes suspectés ? (6 personnes à plein temps par surveillé).
Un terme a même été inventé pour justement faire la différence avec une enquête : la surveillance de masse.
Bien sûr qu'il identifie chaque personne. Les personnes authentifiées couplées avec leur service qui sont présent partout (font, pub, trackers). Les empreintes de chaque navigateur est quasiment unique.
Pourquoi rajouter la contrainte du temps réel ? Je n'ai jamais parler de ça, et c'est en rien nécessaire pour être dangereux. Snowden avait dénoncé ce genre de connexions comme celle avec le video chat de yahoo. Cela pourrait revenir. C'est tellement probable, que les ingénieurs qui définissent les normes d'internet, sont en train de passer à des précautions, comme fournir le minime d'informations nécessaires, et la généralisation de la cryptographie.
"La première sécurité est la liberté"
[^] # Re: qwant ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal De la difficulté de trouver un moteur de recherche pertinent pour un site institutionnel du libre. Évalué à 3. Dernière modification le 16 janvier 2018 à 11:54.
Tu es a coté du truc. Si la police va voir Google, tu ne sais pas qu'elle enquête sur toi.
Comme tu le dis si tu prends tes précautions, il n'y a rien dans ton historique perso. Par contre, le FAI a tous les sites que tu visites, Et google toutes tes requêtes passées.
Si tu es un opposant politique, la DCRI peut savoir beaucoup de choses sur toi de cette façon.
"La première sécurité est la liberté"
[^] # Re: qwant ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal De la difficulté de trouver un moteur de recherche pertinent pour un site institutionnel du libre. Évalué à 9. Dernière modification le 12 janvier 2018 à 18:17.
oui mais en fait non. il suffit souvent d'ajouter un ou 2 mots clefs, c'est tout.
Que Google soit le premier au courant que tu as une maladie ou que tu viens de te faire virer (en cherchant des infos légal), c'est un peu dingue.
Et tu le sens venir le jour ou la police (ou les services secrets à la limite de légalité) va faire des requêtes à Google sur l'historique des recherche, au lieu de demander au FAI ?
"La première sécurité est la liberté"
[^] # Re: qwant ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal De la difficulté de trouver un moteur de recherche pertinent pour un site institutionnel du libre. Évalué à 5.
Tu peux expliquer à quoi sert le produit ? J'en entend parler tout le temps d'une façon, où il est évident que tout le monde en censé savoir ce qu'il fait.
"La première sécurité est la liberté"
[^] # Re: qwant ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal De la difficulté de trouver un moteur de recherche pertinent pour un site institutionnel du libre. Évalué à 5.
Avec google, tu dois pouvoir retrouver un site avec un mot, car il se souvient que tu as cliqué dessus la dernier fois. Avec qwant, il faut se souvenir de tous les mots clefs utilisés.
"La première sécurité est la liberté"
[^] # Re: qwant ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal De la difficulté de trouver un moteur de recherche pertinent pour un site institutionnel du libre. Évalué à 5.
Tu sembles oublié que google t'identifie et connais toutes tes requêtes passés. La différence avec Google concerne les mots ambigües, google sait que tu es informaticiens, et va deviner le sens réel du mot que tu as mis.
J'avoue avoir du mal avec google qui ne tient plus compte des mots clef après le 4ième ou 5 ième, il faut parfois changer l'ordre des mots pour trouver ce que l'on veut.
A l'inverse Qwant creuse moins les site web, et parfois, je dois retourner sur google pour les trucs hyper précis.
"La première sécurité est la liberté"
# qwant ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal De la difficulté de trouver un moteur de recherche pertinent pour un site institutionnel du libre. Évalué à 7.
Je ne crois pas que qwant soit une façade. Il a ses propres moteurs aujourd'hui, il me semble.
"La première sécurité est la liberté"
[^] # Re: Le rapport avec meltdown et spectre?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Un peu de NERF et de microcode Intel (merci Meltdown/Spectre). Évalué à 4.
La connerie de base, si j'ai bien compris, c'est que la prédiction de branchement déclenche le remplissage du cache, même si la lecture est interdite aux adresses de ses pages. Ensuite, une autre lecture mesurant un timing, permet de vérifier la présence en cache ou non de la donnée, ce qui donne une information sur sa valeur.
Pour que cela ne marche pas, il faut que les load spéculatifs fait sur des adresses interdites n'aient aucune différences de timing avec une page non lue dans l’exécution suivante. L'idéal serait de faire la vérification d’autorisation pendant l’exécution spéculative, dans l'ordre et non tout à la fin.
En gros, il ne faut pas qu'une exécution spéculative de code ou de data en provenance de zone interdite, puisse avoir un effet mesurable sur un code (comme le temps d'accès d'un load grâce au cache)
"La première sécurité est la liberté"
[^] # Re: Euh…
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Un peu de NERF et de microcode Intel (merci Meltdown/Spectre). Évalué à 4.
Si le microcode est chargé dans une ram au démarrage, cela aurait pu être possible d'invalider la ligne de cache préchargé, par exemple.
"La première sécurité est la liberté"
[^] # Re: Super article
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Tutoriel Code_Aster. Évalué à 4.
Avec l’avènement du cloud computing, cela va être de moins en moins vrai. Il ne parait pas déconnant d'avoir plusieurs simulateur open source qui tournent sur 30 machines chez OVH.
Je comprends bien. C'est la façon de voir une simulation aujourd'hui. Mais avec le multiphysique, c'est juste impossible. On ne peut pas être spécialistes de tout.
De plus, ses outils sont en général possible uniquement pour les grosses boites avec de grosses équipes qui peuvent se payer les outils ansys. Pourtant ce genre de prototypage numérique a un avantage énorme en terme de vitesse de dev et de précision, et cela intéresse forcément les PME.
ok, je pensais qu'avec la mode des ROM (reduced order model) qui permettent justement la simulation en temps-réel, cela serait possible.
"La première sécurité est la liberté"