Ksass`Peuk
est avec nous depuis le 29 mai 2013 ❤️
Oups.
On dirait que quelqu'un ici aime garder ses petits secrets, comme si de par hasard il y avait quelque chose à cacher...
Désolé, ô lectrice de passage, cher lecteur égaré, pas de révélation sensationnelle pour le moment sur ce profil.
Repassez plus tard ?
197 commentaires
Amazon veut faire d’Alexa « un compagnon omniprésent qui façonne et orchestre » votre vie
Le 12/11/2019Le 12/11/2019 à 09h 43
Merci Amazon ! C’est vrai que c’est super fatiguant le libre arbitre, devoir façonner sa vie soi-même, tout ça.
Le CNRS fait le point sur la robotique et l’intelligence artificielle
Le 16/09/2019Le 16/09/2019 à 10h 00
<Insérer un commentaire sur l’usage d’outils formels en info ici>
Une faille critique identifiée dans le noyau de macOS par le Project Zero
Le 04/03/2019Le 04/03/2019 à 12h 23
Sept nouvelles variantes de Meltdown et Spectre
Le 15/11/2018Le 16/11/2018 à 10h 16
J’ai déjà suffisamment à faire avec Murphy pour ne pas m’intéresser à Machiavelli " />
Le 15/11/2018 à 12h 02
Un supercalculateur BullSequana au CEA, avec des processeurs Marvell ThunderX2 (Arm)
Le 15/11/2018Le 15/11/2018 à 12h 05
Une nouvelle bande-annonce pour Alita : Battle Angel (Gunnm), qui sortira le 13 février
Le 14/11/2018Le 14/11/2018 à 12h 06
Je dois dire que même si je ne suis toujours pas enthousiaste, ce nouveau trailer m’inquiète moins. Les plans sur la décharge laissent transparaître un peu plus ce qu’on trouvait dans le manga (bon c’est pas fou hein). Et même si ça ne suit manifestement pas l’histoire directement, ça semble pas trop absurde dans le choix des personnages.
L’humeur qui ressort d’Alita ressemble par certains aspects à ce qui a été fait dans le prolongement avec LastOrder (“vous faites l’erreur de me sous-estimer”, en gros).
Mais par contre pour l’aspect philosophique à mon avis, on va pouvoir se le mettre au c…
QuCube : des Français obtiennent 14 millions d’euros pour construire un CPU quantique de 100 qubits
Le 24/10/2018Le 24/10/2018 à 18h 41
Une députée veut faire de 2020, « une année dédiée au numérique et au digital »
Le 25/09/2018Le 25/09/2018 à 11h 46
cOALition S : 11 organismes de financement veulent des publications scientifiques en accès libre d’ici 2020
Le 07/09/2018Le 09/09/2018 à 16h 52
Le 07/09/2018 à 21h 53
Ouais enfin, il faut pas oublier que le concept de HAL jusqu’à maintenant, est de mettre les versions finales “auteur” de l’article (donc pas la version finale “publisher”) sur la plateforme afin que ce soit HAL qui gère les embrouilles de droit si besoin.
Donc un système qui permet d’éviter ce bordel serait pas plus mal.
Mark Zuckerberg veut étudier les crypto-monnaies pour améliorer son réseau social
Le 08/01/2018Le 08/01/2018 à 13h 47
Non puis niveau centralisation Facebook c’est quand même un cas d’école. Il y a des gens chez qui on pourrait renommer le navigateur Facebook, voir carrément mettre un bouton facebook plutôt que Power sur la machine.
#LeBrief : ProtonVPN, Gaming box de Gigabyte, la NSA et GitHub, Skype est dans les choux
Le 20/06/2017Le 20/06/2017 à 12h 18
Si LDLC pouvait arrêter de bouffer tout ce qui bouge et revenir à la qualité de service qu’elle avait il y a quelques années, ce serait probablement plus utile. Notamment en ce qui concerne ses choix de service de livraison …
#LeBrief : VivaTech fait son show, Ubuntu se déploie chez Dell, le GIF fête ses 30 ans
Le 15/06/2017Le 15/06/2017 à 12h 15
> Vous avez 3 min et l’envie d’entendre parler de science ? – Depuis quelques années déjà, le CNRS et la CPU (Conférence des présidents d’université) organisent Ma Thèse en 180 secondes.
Ouais enfin, c’est plus sur un format commerce/publicité que de la science, vu que c’est même tout le concept de l’exercice.
Software Heritage nous détaille la convention entre Inria et l’UNESCO, une étape importante
Le 07/04/2017Le 07/04/2017 à 16h 20
Le but principal n’est pas d’avoir du code utilisable, le but est d’avoir du code qui puisse être lu et exploré. Ensuite, si les moyens suivent, si, on pourra continuer à avoir du code qu’on peut exécuter, car justement l’idée est d’embarquer les dépendances, les versions d’environnement, etc …
Quant au troll, il n’est pas très imaginatif.
e-administration : un sénateur veut dispenser les personnes nées avant 1950
Le 27/03/2017Le 27/03/2017 à 09h 51
Il va plus y avoir beaucoup de permis.
Star Citizen devrait laisser tomber DirectX pour passer au tout Vulkan
Le 20/03/2017Le 20/03/2017 à 10h 34
Caméras miniaturisées, flash infrarouge : nouveaux détails sur les voitures-radars privatisées
Le 04/03/2017Le 04/03/2017 à 16h 36
C’est pas beau de se moquer d’un correcteur de frappe.
Le 04/03/2017 à 14h 53
Le 04/03/2017 à 14h 39
Fais toi faire des lunettes à verts jaunes. Ça réduit très fortement l’éblouissement et augmente les contrastes, c’est genre parfait pour la conduite de nuit. (Mais des VRAIES : catégorie 1 et fournies par un opticien, pas les trucs 5 balles sur le marché).
Cloudbleed : importante fuite de données chez Cloudflare, changez vos mots de passe
Le 24/02/2017Le 24/02/2017 à 14h 52
Il ne sont pas dans la liste montrée sur la page Github. Ce qu’il faut regarder c’est le contenu du fichier, qui est LARGEMENT plus conséquent.
Le 24/02/2017 à 14h 48
Quand je parle de vérification formelle de composants de sécurité, je pense plutôt à des trucs comme ça :
Bref, quelque chose de très amont, qui donne des garanties très fortes en terme de sûreté et de sécurité, mais qui demande une débauche de temps et de moyens assez conséquente.
Le 24/02/2017 à 14h 31
Je ne sais pas si on parle de la même chose quand j’écris “formellement vérifié”. Cela ne court définitivement pas les rues les systèmes de ce genre (malheureusement).
Le 24/02/2017 à 14h 14
Ce serait bien qu’un jour les composants de sécurité écrits en C soit vérifiés formellement. Ou plus écris en C. UN jour, peut être, s’il y a de l’argent.
Processeurs AMD Ryzen à 8 cœurs en France : de 369,90 à 559,90 euros
Le 22/02/2017Le 23/02/2017 à 08h 31
Personnellement, j’attends surtout les 6 coeurs pour avoir de quoi choisir entre i5 et R5. Mon Phenom commence à saturer dans certain jeux et je crois que ma CM est à bout de souffle.
Google renforce à nouveau le compilateur de Go avec la version 1.8
Le 20/02/2017Le 20/02/2017 à 14h 32
En même temps ces classements sont plutôt imprécis et le TIOBE, ‘fin bon quoi. A la limite, le IEEE Spectrum est un peu moins naze que les autres. D’ailleurs on y trouve le D pas si mal placé dans l’embarqué.
Windows 10 Mobile donne accès aux photos de l’utilisateur depuis l’écran verrouillé
Le 14/02/2017Le 14/02/2017 à 13h 49
Pas réussi à reproduire le bug sur un 950.
Bon cela dit, mon écran verrouillé n’a pas de sécu, donc ça n’a pas grande importance.
Steam veut faciliter la publication de jeux en abandonnant Greenlight
Le 13/02/2017Le 13/02/2017 à 10h 31
Il faut que j’aiguise un peu plus mon second degré à l’écrit je crois.
Le 13/02/2017 à 09h 46
LibreOffice Online est là, alors que la version 5.3 personnalise l’interface
Le 02/02/2017Le 02/02/2017 à 19h 28
Je ne savais même pas qu’on pouvait utiliser autre chose que LaTeX pour une thèse.
Il y a des doctorants bizarres quand même.
Le CESE voudrait une « étiquette énergétique » pour les messages publiés sur les réseaux sociaux
Le 17/01/2017Le 17/01/2017 à 10h 52
En truc démentiel au niveau utilisation d’énergie inutile (je parle au niveau utilisateurs lambdas hein), il y a l’usage des vidéos youtube pour écouter de la musique.
Tesla détaille le prix de ses Superchargeurs : 0,20 euro par kWh en France
Le 13/01/2017Le 13/01/2017 à 09h 16
Sans péage alors " />
Avec Monimalz, La Poste veut aider les enfants à apprendre à gérer leur argent
Le 06/01/2017Le 06/01/2017 à 15h 58
Le 06/01/2017 à 15h 12
Le 06/01/2017 à 13h 41
Sur un plan strictement personnel je m’en fous un peu. C’est juste que je trouve amusant cette sorte de volonté admise à dire que si des parents ont bien élevé et permis d’avoir une bonne situation à un gamin, il doit leur être reconnaissant. “Bon t’as pas eu le choix, mais maintenant tu dis merci”.
Le 06/01/2017 à 12h 23
Le 06/01/2017 à 12h 13
En même temps, il y a aussi une part malsaine là dedans. “Aide nous parce qu’on fait plein de trucs pour toi qui est notre enfant”. Réponse : “vous ne m’avez pas demandé mon avis avant de me concevoir, si j’étais pas là tu devrais bien te démerder”.
TGV, Intercités : indemnisations en ligne pour tous les retards dès 30 min, utilisables sur Internet
Le 30/11/2016Le 30/11/2016 à 13h 46
> « Madame, Monsieur, votre attention, s’il vous plait. Suite à un
incident, notre TGV aura un retard d’une heure lors de son arrivée en
gare ». Qui prend plus ou moins régulièrement le train s’est très
certainement un jour ou l’autre retrouvé à entendre un message du genre
Je sais pas comment je me démerde, mais je suis à plus de 80% dans ce cas là sur mes voyages (et sans biais, c’est du réel là).
Kaspersky OS : un système « inviolable » pour les objets connectés et équipements réseau
Le 22/11/2016Le 23/11/2016 à 11h 12
Merci ! " />
Le 23/11/2016 à 10h 41
Le 22/11/2016 à 20h 57
Prouvé ne signifie pas complexe. C’est même plutôt l’inverse en fait. Donc sur le plan micronoyau, avec du budget, si, c’est de l’ordre du faisable en 14 années de faire un micronoyau prouvé (10k LOC). Sur le plan perf seL4 n’est pas mal du tout. Son problème c’est de n’être exécutable que sur un thread worker pour l’OS. Et si tu es prêt à laisser un tout petit peu de perf de côté, le cloisonnement obtenu est notable.
Actuellement, les plus gros problème qu’il y a pour les preuves de micronoyau sur multi-coeur, outre la difficulté de la concurrence elle-même (déjà présente à un autre niveau sur mono-coeur), c’est surtout les modèles mémoire de processeur/langage. C’est pour ça que d’une part, il y a des travaux pour la vérification de programmes sous les modèles mémoires faibles côté langage (variantes de logiques pour ces modèles) mais également pour la création de compilateur prouvé et prenant en compte ces modèles dans leur preuve de correction (CompCert-TSO par exemple).
Le 22/11/2016 à 16h 26
On est pas encore vendredi " />
Le 22/11/2016 à 14h 32
Quel L4 ? ;) . L4 c’est une génération de micronoyau, mais il y en a une multitude sur ce modèle.
Le 22/11/2016 à 13h 55
Actuellement, le seul micro-noyau qui soit intégralement vérifié c’est seL4 et il reste “limité” à une preuve formelle pour une exécution mono-coeur du micronoyau. Je serai assez étonné que Kaspersky ait réussi le tour de force de faire la même chose les doigts dans le nez sans le hurler à toute la communauté scientifique.
Donc ça pue la grosse com avec peut être quelque chose de conséquent derrière mais probablement pas inviolable, en tout cas sans preuve d’inviolabilité.
PWNFEST : Safari, Edge et le Pixel sont tous tombés en moins d’une minute
Le 15/11/2016Le 15/11/2016 à 10h 23
Apple : Phil Schiller défend les choix faits sur le nouveau MacBook Pro
Le 04/11/2016Le 04/11/2016 à 08h 27
[MàJ] ExoMars : la sonde TGO réussit sa manœuvre, l’état de santé de Schiaparelli inquiète
Le 19/10/2016Le 19/10/2016 à 11h 35
Ben si au lancement tu crâmes le truc que t’étais sensé envoyer, tu l’as un peu dans l’os concrètement, et tous les sous investis pour les phases suivantes sont aussi crâmés. Et c’est le point marrant que pointe ce passage d’un sketch de François Pérusse, où ils ont juste paumé le satellite, et pas crâmé, certes.
Le 19/10/2016 à 11h 14
Quand je lis un truc comme ça dans les news sur les lancements spatiaux :
> En effet, juste après avoir envoyé le module TGO (Trace Gas Orbiter) vers la planète Mars, le dernier étage de la fusée Proton-M a explosé.
A chaque fois je pense à :
NSA : un sous-traitant arrêté par le FBI pour vol de données sensibles
Le 06/10/2016Le 06/10/2016 à 10h 29
Les illuminatis reptiliens recrutés comme agents doubles par Sylvanus.
Le noyau Linux 4.8 disponible, nouveaux pilotes et sécurité au programme
Le 03/10/2016Le 03/10/2016 à 10h 19
Récent … Façon de dire. La GTX960M est dispo depuis mars 2015 et la machine en elle-même est sortie en février. Pour le coup je suis content que la bêta de Ubuntu Gnome soit ouverte aux utilisateurs.
Quant au choix machine/OS, c’est réfléchis. Si j’ai cette machine c’est parce que j’ai besoin de cette puissance et de cette mobilité (et je suis pas rothschild non plus). Et si je suis sous Nux quand je bosse c’est aussi parce que j’en ai besoin.