Problème résolu grâce

Permet de résoudre des problèmes de logique grâce à un langage par unification inspiré de Prolog.
[...]Contient : - Un éditeur de règles de logique (programme), - Une vue arborescence de la structure du code, - Un champ de saisie des questions à poser - Une vue des résultats - Une trace de la résolution du problème. Dans la version 0.3, il n'y a qu'un type de données : des éléments déterminés par des identificateurs. Attention : La 2ème archive (plus petite) n'inclut pas les sources. [...] Lire la suite

La sage Spectre/Meltdown continue de faire couler beaucoup d'encre. Cette fois-ci, c'est au tour d'Intel de faire une découverte au sujet du patch que l'entreprise est en train de diffuser auprès des utilisateurs. Et le message d'Intel est clair : il ne faut pas télécharger leur patch ! Un problème de compatibilité Mais pourquoi Intel recommande de ne pas installer un patch qu'ils sont eux-mêmes en train de diffuser ? [...] Lire la suite

La mise à jour d'octobre de Windows 10 a entrainé plus de problèmes qu'elle n'a présenté de nouvelles fonctionnalités. En effet, certains utilisateurs,  dont on peut consulter les témoignages sur Twitter ou sur les forums de Microsoft , se sont tout simplement retrouvés sans son. Ils rapportent avoir des absences de son lors de séances de jeux mais aussi des pertes complètes dès que l'ordinateur est allumé. [...] Lire la suite

Mise à jour v2 plusieurs améliorations graphiques Score en ligne est temporairement désactivée (travaille) Problème d'affichage de score résolu....
[...]Cette application a été plutôt bien plébiscitée par les personnes qui l'ont installée et qui lui ont donné une bonne note. Une prouesse qui, on l'espère, n'est pas prête de se stopper!. Hoppy Sheep propose du contenu adapté à tout type de public. [...] Lire la suite

Comme la plupart des réseaux sociaux, Facebook met à disposition des utilisateurs une fonctionnalité de blocage. Bien cachée dans les paramètres du site, elle permet d'empêcher un contact trop enquiquinant d'avoir accès à votre profil ou à ce que vous postez. Pour le contact bloqué, vous n'existez plus sur Facebook et vous n'apparaissez même pas dans leur liste d'amis. Sauf qu'il se pourrait que les contacts bloqués ne le soient pas vraiment... Un bug dans le système de blocage [...] Lire la suite

Si vous suivez nos news régulièrement, vous savez que la dernière mise à jour de Windows 10 appelée April 2018 Update a été déployée. Si ce n'est pas le cas, vous devriez très bientôt recevoir une alerte vous invitant à installer la nouvelle version. Mais attention car il semblerait que tous les ordinateurs ne soient pas prêts à en bénéficier. Quelques SSD incompatibles avec Windows 10 April 2018 Update Sur les forums de Microsoft, les utilisateurs n'hésitent pas à remonter des problèmes liés au système ou même lorsqu'ils installent la mise à jour. [...] Lire la suite

Sale temps du côté de Google et plus précisément chez Google Photos. En effet, le service de stockage de photos et de vidéos de la firme de Mountain View aurait partagé par erreur des vidéos avec des utilisateurs qui n'étaient pas concernées par ces dernières. Et même si le problème est résolu, le mal est déjà fait. Un problème qui a affecté Google Takeout Tout a commencé avec le service Google Takeout : ce dernier permet aux utilisateurs de télécharger les données le concernant sur plusieurs services de l'entreprise dont Google Photos. [...] Lire la suite

Si Apple essaye régulièrement de mettre en avant le respect de la vie privée de ses utilisateurs, le malheureux bug qui affecte FaceTime ne va pas lui faire de la bonne publicité. En effet, la firme de Cupertino a été obligée de désactiver les conversations de groupe avec FaceTime après la découverte d'un bug qui permet aux utilisateurs de voir et d'écouter leur correspondant avant que celui-ci ne décroche. Sur la page d'Apple qui répertorie le statut des ses différents outils, il est bien indiqué qu'un problème affecte FaceTime. Le bug a été découvert ce lundi et il se manifeste lorsqu'un utilisateur appelle un correspondant FaceTime puis qu'il s'ajoute lui-même en tant qu'invité à partir du panneau des options. Du côté du destinataire, le microphone s'active après cette manipulation de l'appelant avant même qu'il n'ait accepté l'appel. [...] Lire la suite

Récupérez les SMS de votre iPhone sur votre nouveau smartphone Android, sans aucun problème, grâce à l'application gratuite SMS Backup
[...]Cette application vous aide en effet à importer vos SMS mais surtout à les restaurer dans leur état d'origine, afin que vous puissiez en profiter d'un appareil mobile à l'autre. Avant d'utiliser l'application gratuite SMS Backup Restore Android, il est nécessaire de convertir les SMS dans un fichier XML. Pour cela l'utilisation de l'application Android iSMS2droid est indispensable. [...] Lire la suite

Depuis ce matin, une panne importante touche une partie de la toile. De nombreux sites internet ne répondent plus car deux centres de données d'OVH à Strasbourg ne sont plus alimentés. Le PDG de l'entreprise, Octave Klaba, a prévenu la Twittosphère que leur salle de routage n'était plus alimentée et qu'ils travaillaient sur une solution. Nous avons un souci d'alimentation de SBG1/SBG4. Les 2 arrivées électriques EDF sont down (!!) et les 2 chaines de groupes électrogènes se sont mis en défaut (!!!). [...] Lire la suite

Si vous êtes un utilisateur de Google Actualités, vous avez peut-être déjà remarqué que vous consommiez plus de données depuis que vous utilisiez l'appli.  En effet, plusieurs consommateurs se sont plaints, sur le forum de Google Actus, de l'application plus gourmande qu'elle n'y parait. En effet, ces derniers expliquent que l'appli utilise une grande quantité de données en arrière-plan, ce qui peut entraîner des frais de dépassement, suivant votre forfait téléphonique.  Google a réagit aux signalements, datant de juin dernier, cependant elle cherche toujours à trouver une solution à ce problème. Un confrère de The Verge, le journaliste Zach Dowdle, a réalisé une petite expérience afin de montrer l'ampleur du problème.  [...] Lire la suite

La sortie de la mise à jour de mai de Windows 10 ne s'est pas passée comme Microsoft l'aurait souhaité. En effet, les utilisateurs ont été nombreux à rencontrer des problèmes divers que nous n'avons pas manqué de relayer. La firme de Redmond a donc préféré freiner le déploiement de la mise à jour pour se concentrer sur les corrections. Après plusieurs mois d'attente, les choses semblent s'être arrangées et Microsoft a déclaré être prête à proposer l'update à davantage d'utilisateurs. Windows 10 version 2004 est disponible pour les utilisateurs d'appareils fonctionnant sous Windows 10 versions 1903 et 1909 qui cherchent manuellement à "vérifier les mises à jour" via Windows Update. [...] Lire la suite

Devenez un acteur incontournable de votre ville à soumettant des idées à votre maire ou encore en lui signalant certains problèmes grâce à l'application TellMyCity iOS.
[...]Cette application gratuite iOS repose sur un concept simple mais original : un service permettant aux habitants d'une ville de suggérer une idée, féliciter une initiative ou au contraire de signaler un problème. Le but étant de créer une cohésion et surtout de se sentir acteur de sa ville. Une fois les requêtes recensées, TellMyCity transmets automatiquement ces dernières au service municipal en charge du sujet. [...] Lire la suite

La semaine dernière, un bug impactant la gestion des extensions a été repéré au sein du célèbre navigateur. En effet, les utilisateurs ont découvert qu'il leur était impossible d'utiliser ou d'installer des modules complémentaires. Mozilla a réagi rapidement en publiant une nouvelle version de Firefox corrigeant ce bug. Un problème de certificat Vendredi dernier, Mozilla a autorisé l'expiration d'un certificat intermédiaire utilisé pour signer et authentifier les extensions Firefox. [...] Lire la suite

La sortie de PES 2019 Mobile ne s'est pas faite sans heurts. Konami a connu plusieurs problèmes qui ont retardé le lancement de la nouvelle version de son jeu mobile. Tous les problèmes n'ont pas été résolus avant la sortie de PES 2019 sur Android et iOS mais les joueurs sont tout de même en mesure de jouer et d'utiliser la grande majorité des fonctionnalités. À la suite de la mise à jour du 10 décembre 2018, de nombreux utilisateurs ont rencontré un problème lors du démarrage de l'application. Ce bug a provoqué l'affichage d'un Owner ID (ID propriétaire) incorrect. [...] Lire la suite

De nombreux réseaux sociaux ont essayé de se frayer un chemin à travers les géants que sont Facebook, Twitter ou Instagram et beaucoup se sont heurtés à un mur. Est-ce que Vero sera celui qui réussira à se faire une place en optant pour une nouvelle approche ? L'histoire de Vero Vero, c'est le petit bébé d'un milliardaire libanais. L'application disponible sur Android et iOS a été créé en 2015 mais cela fait seulement quelques jours que son succès augmente. [...] Lire la suite

O&O Defrag 22 Professional Edition débride les performances de votre PC et résout les problèmes de performance et d’instabilité souvent causés par la fragmentation du disque dur.
[...]Du fait que le disque dur est le composant le plus lent d'un PC, son optimisation est donc particulièrement intéressante. Avec OO Defrag 22, vous pouvez lire et éditer des fichiers bien plus vite. Et vos problèmes de performance peuvent être résolus , vous donnant à nouveau le sentiment que votre matériel est en bon état et fonctionne de manière optimale. [...] Lire la suite

Quel est le PROBLÈME FONDAMENTAL qui doit être VRAIMENT RÉSOLU par une formidable appli de liste de courses ?
[...]D'un point de vue purement technique, cette application fait 6,2M et nécessite Android 4.0.3 ou version ultérieure pour fonctionner correctement. Bien qu'elle n'ait été téléchargée que 5000 fois, Organizy - La liste des achats risque peut-être de vous surprendre et peut-être de passer outre la méfiance que l'on peut ressentir avec un programme aussi peu reconnu. Organizy - La liste des achats va vous permettre de restez totalement serein ! [...] Lire la suite

Avec la sortie de Quantum, Mozilla avait comme challenge de revenir concurrencer Chrome dans un marché toujours plus difficile. Firefox Quantum a été salué à de nombreuses reprises par les utilisateurs mais cela n'a visiblement pas suffit à relancer l'intérêt du navigateur. Pour preuve, les statistiques de StatCounter sont en chute libre et Firefox n'occuperait actuellement que 19.93% des parts de marché en décembre 2017 sur les ordinateurs de bureau. Pour information, en janvier 2017, Firefox comptait pour 24.05%. Mais Mozilla n'a pas dit son dernier mot et la prochaine version de Firefox devrait être encore meilleure. [...] Lire la suite