{ "feeds": [ { "name": "wolfram", "url": "https://writings.stephenwolfram.com/feed/", "folder": "" }, { "name": "xkcd", "url": "https://xkcd.com/rss.xml ", "folder": "" }, { "name": "korben.info", "url": "https://www.korben.info/feed", "folder": "" } ], "updateTime": 0, "filtered": [ { "name": "Favorites", "read": true, "unread": true, "filterTags": [], "filterFolders": [], "filterFeeds": [], "ignoreTags": [], "ignoreFeeds": [], "ignoreFolders": [], "favorites": true, "sortOrder": "ALPHABET_NORMAL" }, { "name": "read", "sortOrder": "DATE_NEWEST", "filterFeeds": [], "filterFolders": [], "filterTags": [], "ignoreFolders": [], "ignoreFeeds": [], "ignoreTags": [], "read": true }, { "name": "unread", "sortOrder": "DATE_NEWEST", "filterFeeds": [], "filterFolders": [], "filterTags": [], "ignoreFolders": [], "ignoreFeeds": [], "ignoreTags": [], "unread": true } ], "saveLocation": "default", "displayStyle": "cards", "saveLocationFolder": "", "items": [ { "title": "xkcd.com", "subtitle": "", "link": "https://xkcd.com/", "image": null, "description": "xkcd.com: A webcomic of romance and math humor.", "items": [ { "title": "Comment automatiser un tweet intelligent à partir d’un flux RSS grâce à ChatGPT ?", "description": "Vous êtes-vous déjà demandé comment rendre votre compte Twitter qui poste vos news de blog, un peu plus « intelligent », ou du moins, un peu moins monotone ? Et bien, aujourd’hui, je vais vous montrer comment faire exactement cela. Dans cette vidéo, on va décortiquer ensemble un script Python qui permet … Suite", "content": "
Vous êtes-vous déjà demandé comment rendre votre compte Twitter qui poste vos news de blog, un peu plus « intelligent », ou du moins, un peu moins monotone ?
\n\n\n\nEt bien, aujourd’hui, je vais vous montrer comment faire exactement cela.
\n\n\n\nDans cette vidéo, on va décortiquer ensemble un script Python qui permet de récupérer la dernière news d’un flux RSS, d’en faire un tweet unique grâce à ChatGPT et de poster tout ça sur Twitter. Oui, oui, vous avez bien lu : on va mixer l’automatisation de récupération de news et la magie de l’IA pour pondre des tweets qui ont du sens et de la saveur.
\n\n\n\nJe tenais à remercier du fond du cœur tous mes Patreons qui soutiennent ce genre de projets et permettent de continuer à explorer, à tester et à partager ces connaissances avec vous. Vous êtes les meilleurs ! ❤️
\n\n\n\nPour ceux qui sont abonnés Patreon, vous pouvez d’ores et déjà récupérer le code source. Pour les autres, n’hésitez pas à jeter un œil à ma vidéo pour une démo en direct !
\n\n\n\nEt en bonus « Rien à voir », un petit morceau de musique :
\n\n\n\n\n", "category": "Développement", "link": "https://korben.info/comment-automatiser-un-tweet-intelligent-a-partir-dun-flux-rss-grace-a-chatgpt.html", "creator": "Korben", "pubDate": "Wed, 25 Oct 2023 09:15:25 +0000", "enclosure": "", "enclosureType": "", "image": "", "id": "", "language": "fr", "folder": "", "feed": "korben.info", "read": false, "favorite": false, "created": false, "tags": [], "hash": "c475bea07c7caa78ed769f438d14c49b", "highlights": [] }, { "title": "Explorez et optimisez vos images Docker avec Dive", "description": "Dive est un outil permettant d'analyser et d'optimiser la taille des images Docker. Il facilite la gestion des images pour les développeurs et administrateurs système. Dive prend en charge plusieurs sources d'image, moteurs de conteneurs et est compatible avec diverses plateformes. L'outil peut être intégré au processus d'intégration continue et personnalisé grâce à des raccourcis clavier et fichiers de configuration.", "content": "Quand on commence à s’intéresser un peu à Docker, tout semble simple et léger, du moins en apparence. D’ailleurs, si vous débutez avec Docker, j’ai fait une vidéo d’initiation pour débutants pour mes Patreons que je vous offre à la fin de cet article.
\n\n\n\nMais pour qu’une image Docker soit OK, il faut qu’elle ait été un minimum optimisé. Et ce n’est pas forcement instinctif, surtout quand on débute.
\n\n\n\nC’est pourquoi , je vous présente un outil aussi magique qu’un Fabien Olicard sous Caprisun, qui va non seulement vous permettre de comprendre la structure de vos images Docker de fond en comble, mais également d’optimiser leur taille et de libérer cet espace disque précieux dont on manque tous sur nos ordis. Cet outil c’est Dive.
\n\n\n\nImaginez que vous êtes développeur ou administrateur système, et que vous devez régulièrement manipuler et gérer des images Docker. Vous savez qu’il est crucial d’optimiser ces images pour réduire leur taille et ainsi améliorer leur efficacité, mais vous ne savez pas par où commencer. Dive est là pour vous aider ! Avec cet outil, vous pourrez analyser facilement vos images Docker, découvrir les modifications effectuées à l’intérieur chaque couche et optimiser leur taille de manière efficace.
\n\n\nTout d’abord, il suffit de remplacer la commande « docker build » par « dive build » pour analyser l’efficacité et l’espace gaspillé de votre image Docker.
\n\n\n\ndive <tag/id/digest de votre image>
\n\n\n\nDive prend en charge plusieurs sources d’image et moteurs de conteneurs (à l’heure actuelle, Docker et Podman). Pour l’installation, Dive est disponible pour Ubuntu/Debian, RHEL/Centos, Arch Linux, Mac et Windows.
\n\n\n\nPour l’installer sous macOS :
\n\n\n\nbrew install dive
\n\n\n\nPour l’installer sous Linux (Ubuntu / Debian) :
\n\n\n\nexport DIVE_VERSION=$(curl -sL \"https://api.github.com/repos/wagoodman/dive/releases/latest\" | grep '\"tag_name\":' | sed -E 's/.*\"v([^\"]+)\".*/\\1/')\n\ncurl -OL https://github.com/wagoodman/dive/releases/download/v${DIVE_VERSION}/dive_${DIVE_VERSION}_linux_amd64.deb\n\nsudo apt install ./dive_${DIVE_VERSION}_linux_amd64.deb
\n\n\n\nIntégrer Dive dans votre processus de CI (intégration continue) est également possible en utilisant la variable d’environnement CI=true
. Vous pouvez même configurer des règles dans un fichier .dive-ci
pour automatiser certaines vérifications et optimisations de vos images Docker.
Naviguer dans Dive est un jeu d’enfant grâce aux raccourcis clavier. Vous pourrez explorer les couches de vos images Docker, filtrer les fichiers, gérer les paramètres spécifiques à chaque couche et personnaliser l’interface utilisateur en créant un fichier de configuration.
\n\n\n\nPour en savoir plus sur Dive et ses fonctionnalités, je vous invite à consulter le dépôt GitHub officiel ici. Vous y trouverez toutes les informations nécessaires pour maîtriser cet outil fantastique, ainsi que des exemples et des astuces pour optimiser vos images Docker comme un pro.
\n\n\n\nBonne optimisation à tous !
\n\n\n\nSi vous êtes comme moi, vous appréciez peut-être les jeux qui stimulent l’esprit sans trop se compliquer la tâche. Le genre de petits casse-têtes qui font travailler les méninges tout en offrant un moment de détente par exemple le fameux jeu « Gagne Ton Papa » , avec lequel je m’amuse beaucoup, surtout quand je joue avec des enfants.
\n\n\n\nC’est donc avec bonheur que je suis tombé sur Blocks, un nouveau jeu en ligne qui a su me rendra accro pendant un petit moment. Sa conception épurée rend l’expérience de jeu encore plus sympa.
\n\n\nLe principe du jeu est fondamentalement simple : on vous présente diverses figures géométriques, et votre défi est de les agencer correctement pour former un carré parfait. Cela peut sembler facile au début, mais ne vous y trompez pas ! Les 60 niveaux proposés augmentent progressivement en difficulté, ajoutant des couches de complexité à mesure que vous progressez.
\n\n\n\nL’interface minimaliste permet aux joueurs de se concentrer entièrement sur le puzzle, éliminant toute distraction inutile et vous avez même de la musique sympa pour vous accompagner.
\n\n\nBref, la beauté de Blocks réside dans sa capacité à offrir un équilibre parfait entre la détente et le défi cérébral. Que vous ayez quelques minutes à perdre en attendant un rendez-vous, ou que vous cherchiez un moyen d’échapper à la monotonie du travail, Blocks est l’outil idéal pour vous vider l’esprit tout en vous amusant.
\n", "category": "Jeu vidéo", "link": "https://korben.info/blocks-la-puzzle-addictif-a-essayer-de-toute-urgence.html", "creator": "Korben", "pubDate": "Wed, 25 Oct 2023 06:13:50 +0000", "enclosure": "", "enclosureType": "", "image": "", "id": "", "language": "fr", "folder": "", "feed": "korben.info", "read": false, "favorite": false, "created": false, "tags": [], "hash": "ff679bfa2b58ad400d1d5e432828fd27", "highlights": [] }, { "title": "Légende de Super Mario – Un hack Zelda pour sauver le Royaume Champignon", "description": "Ah, mes amis, découvrez un hack de The Legend of Zelda dans l'univers de Super Mario, nommé \"Légende de Super Mario - Sauvez le Royaume Champignon\". Incarnez Mario pour trouver les Starmen et sauver le Royaume Champignon de la tyrannie de Bowser. Mêlant exploration de Zelda et fun de Super Mario, redécouvrez ces deux franchises légendaires dans une expérience de jeu unique.", "content": "J’ai déniché pour vous une pépite qui ravira les fans de retrogaming et les nostalgiques de la grande époque des consoles 8-bits : un hack de The Legend of Zelda qui vous replonge dans l’univers de… Super Mario !
\n\n\n\nVous vous souvenez de ces soirées passées à essayer de sauver la princesse Peach des griffes de ce stupide Bowser ?
\n\n\n\nEt bien, préparez-vous à revivre de palpitants moments avec cette ROM NES custom intitulée « The Legend of Super Mario – Save Mushroom Kingdom (La Légende de Super Mario – Sauvez le Royaume Champignon) » !
\n\n\nDans ce hack audacieux, Bowser a encore une fois capturé la Princesse Peach et plongé le Royaume Champignon dans la tyrannie. Évidemment, vous incarnez notre cher Mario, le plombier héroïque, qui doit trouver les Super Stars pour sauver le Royaume. Mais attention, ce ne sera pas une promenade de santé : des affrontements contre des Goombas, des Koopas et d’autres créatures que vous connaissez bien, vous attendront dans votre quête des huit Super Stars.
\n\n\nComme vous pouvez l’imaginer, cela donne un mélange explosif entre l’aventure épique de Zelda et le fun déjanté de Super Mario. Vous devrez vous frayer un chemin à travers des donjons remplis d’ennemis et résoudre des énigmes pour avancer dans votre mission de sauvetage. Chaque Super Star trouvée vous rapprochera de la victoire finale et de la libération du Royaume Champignon.
\n\n\n\nTrop coooool, non ?
\n\n\nImaginez toutes les possibilités de gameplay avec cette rom : vous balader dans les niveaux de Super Mario comme on explore une map Zelda, résoudre des énigmes à la manière d’un héros légendaire qui porterait une bonne grosse moustache, et enfin vaincre Bowser pour sauver la princesse et le Royaume Champignon.
\n\n\n\nPour ceux qui voudraient essayer ce hack, rendez-vous sur le site : Légende de Super Mario – Sauvez le Royaume Champignon. Vous y trouverez toutes les infos pour vous lancer dans cette aventure épique. Attention cependant, vous aurez besoin d’une copie ROM originale (ah ah !) du jeu NES The Legend of Zelda pour appliquer le hack et ainsi profiter de cette expérience unique.
\n\n\n\nPour appliquer le patch, vous pouvez le faire en mode soft-patching directement via l’un de ces émulateurs : RetroArch, Snes9x, VBA où vous devrez ouvrir le jeu + le patch, ou en appliquant directement le patch sur la ROM avec Multipatch pour macOS ou LunarIPS pour Windows.
\n\n\n\nEnfilez vos bottes de plombier et préparez-vous à explorer le Royaume Champignon comme jamais auparavant !
\n", "category": "Jeu vidéo", "link": "https://korben.info/legend-super-mario-sauvez-royaume-champignon-hack-zelda-retrogaming.html", "creator": "Korben", "pubDate": "Tue, 24 Oct 2023 07:00:00 +0000", "enclosure": "", "enclosureType": "", "image": "", "id": "", "language": "fr", "folder": "", "feed": "korben.info", "read": false, "favorite": false, "created": false, "tags": [], "hash": "6cad7a904cdd7ca06872f96d6cc0fb83", "highlights": [] }, { "title": "Revivez l’âge d’or LucasArts avec l’émulateur DREAMM !", "description": "DREAMM est un émulateur de jeux LucasArts des années 90 pour Windows, MacOS et Linux 64 bits, conçu par Aaron Giles. Il prend en charge plusieurs éditions, langues et versions des jeux SCUMM, GrimE, Star Wars, Indiana Jones et autres. Il nécessite l'installation de libsdl2 et des fichiers ROM MT-32. Pour l'utiliser, ajoutez des jeux via Game Manager, puis configurez et exécutez-les. L'émulateur gère également les contrôles de joystick et permet la mise à niveau de certains jeux.", "content": "Les amis, laissez-moi vous présenter un logiciel fantastique qui va vous replonger dans les années 90 et raviver vos vieux souvenirs de jeux vidéo.
\n\n\n\nVous souvenez-vous des aventures de Guybrush Threepwood dans Monkey Island ou des courses folles avec les TIE Fighters de Star Wars ?
\n\n\n\nEt bien, préparez-vous à revivre ces moments avec DREAMM, un émulateur exclusif aux jeux LucasArts qui vous permettra de rejouer à de nombreux jeux DOS, Windows et FM-Towns identiques aux originaux.
\n\n\n\nAlors, enfilez votre chapeau d’Indiana Jones et allons voir tout ça !
\n\n\n\nCréé par Aaron Giles, DREAMM fonctionne sous Windows, macOS et Linux 64 bits avec un support natif pour les processeurs Intel et ARM. Il prend en charge diverses éditions, langues et versions des jeux SCUMM, GrimE, Star Wars, Indiana Jones et autres jeux LucasArts.
\n\n\n\nVous pouvez télécharger la dernière version de DREAMM en allant sur ce site.
\n\n\n\nLorsque vous lancez DREAMM, vous accédez au Game Manager pour ajouter, configurer et exécuter les jeux. L’interface principale montre les icônes des jeux installés, et vous pouvez ajouter de nouveaux jeux à tout moment, sauf pendant une opération d’ajout en cours. Pour configurer et exécuter un jeu, cliquez simplement sur son icône ou naviguez avec les touches fléchées.
\n\n\nSélectionnez un jeu et accédez à l’écran de configuration et de lancement, où des informations sur la compatibilité sont disponibles dans la zone d’état. Vous pouvez gérer l’installation en cliquant sur l’onglet MANAGE, où vous pourrez vérifier les fichiers, désinstaller le jeu et accéder aux données pertinentes du jeu.
\n\n\n\nAvec DREAMM, vous pouvez facilement explorer et configurer les dossiers de jeux, ainsi que les options audio et vidéo. Vous pouvez également contrôler la taille de l’écran du gestionnaire de jeux, basculer entre le mode fenêtré et plein écran et ajuster la taille avec des raccourcis clavier.
\n\n\n\nDREAMM nécessite les fichiers d’origine pour exécuter un jeu. Il prend en charge les images disque de disquettes (IMG, IMA, VFD) et de CD-ROM (ISO, CUE/BIN, MDS/MDF, CCD/IMG). Pour installer à partir d’images disque, sélectionnez toutes les images et faites-les glisser sur la fenêtre de DREAMM. Si vous possédez les disquettes ou CD-ROM d’origine, vous pouvez également les installer à partir de ces supports. Et si vous n’avez pas les jeux d’origine, sachez qu’il y a des démos sur Archive.org au moins pour tester.
\n\n\nLors de l’installation d’un jeu via DREAMM, choisissez le lecteur C: comme cible et laissez l’installateur faire son travail. DREAMM détecte et transfère les jeux installés.
\n\n\n\nDREAMM émule vraiment les jeux au niveau du CPU et nécessite les fichiers exécutables originaux. Son concurrent ScummVM n’émule pas mais est une réécriture complète issu d’un reverse engineering. Donc le rendu n’est pas fidèle aux jeux d’origine, alors qu’avec DREAMM c’est 100% identique à l’expérience que vous avez pu avoir étant jeune. Mais les 2 outils fonctionnent très bien, on est sur du chipotage à ce niveau, il faut bien le reconnaitre.
\n\n\n\nDREAMM gère également les contrôles de joystick. Utilisez Alt+U⌘U ou F12 pour récupérer le contrôle de la souris si nécessaire.
\n\n\n\nVoilà, j’espère que ça vous aura donné envie de vous refaire un Indiana Jones ou de replonger dans un bon vieux Sam & Max.
\n", "category": "Jeu vidéo", "link": "https://korben.info/dreamm-emulateur-lucasarts-jeux-retro-windows-macos-linux.html", "creator": "Korben", "pubDate": "Mon, 23 Oct 2023 07:00:00 +0000", "enclosure": "", "enclosureType": "", "image": "", "id": "", "language": "fr", "folder": "", "feed": "korben.info", "read": false, "favorite": false, "created": false, "tags": [], "hash": "320887c72777b270125ceef849243c2a", "highlights": [] }, { "title": "Sauvez votre PC avec ESET SysRescue Live, l’anti-malware ultime", "description": "ESET SysRescue Live est un outil anti-malware sur support amovible, indépendant du système d'exploitation. Il permet d'éliminer les menaces persistantes en accédant directement au disque dur et fichiers système. Utilisé en complément de l'antivirus habituel, il est idéal pour éradiquer les malwares tenaces qui résistent aux méthodes traditionnelles.", "content": "Ah, la guerre éternelle contre les malwares… Parfois, l’ordinateur fait tellement n’importe quoi, qu’on se demande si on n’a pas chopé un bon vieux virus. Oui, oui, vous vous reconnaissez, ceux qui ne font jamais leurs mises à jour Windows et qui disent en frimant : « Oh moi, j’ai pas besoin d’antivirus, car je sais ce que je fais.«
\n\n\n\nLOL !
\n\n\n\nEt bien, aujourd’hui, je vais vous parler d’un super-héros qui pourrait bien vous sauver la vie, enfin, celle de votre ordinateur : ESET SysRescue Live.
\n\n\n\nImaginez que vous êtes en train de travailler sur un projet important et, soudain, votre ordinateur commence à agir bizarrement. Les performances ralentissent et vos fichiers deviennent inaccessibles. Vous réalisez que votre ordinateur a été infecté par le dernier malware. Vous essayez tous les logiciels antivirus possibles, mais rien ne semble fonctionner.
\n\n\n\nAlors, que faire à part m’envoyer un message sur Facebook si vous êtes ma mère ? C’est là qu’ESET SysRescue Live entre en jeu.
\n\n\n\nESET SysRescue Live est un outil anti-malware qui fonctionne via un support amovible (CD, DVD ou clé USB) et qui peut être utilisé indépendamment du système d’exploitation installé sur votre ordinateur. Ce petit génie peut ainsi éliminer les menaces persistantes en accédant directement au disque dur et aux fichiers système. Compatible avec plusieurs versions de Windows, il est conçu pour analyser et éliminer les menaces à la demande.
\n\n\nPour utiliser ESET SysRescue Live, vous devez d’abord télécharger l’image ISO / IMG et la graver sur un CD/DVD ou créer une clé USB bootable. Une fois cela fait, insérez le support amovible et redémarrez votre ordinateur. Assurez-vous que votre ordinateur est configuré pour démarrer depuis le support amovible (vous devrez peut-être accéder aux paramètres du BIOS pour cela).
\n\n\n\nUne fois ESET SysRescue Live lancé, vous serez accueilli par une interface utilisateur simple et conviviale. L’outil vous proposera de mettre à jour sa base de données de signatures de virus. Il est fortement recommandé de le faire pour assurer une détection optimale des menaces.
\n\n\nAprès la mise à jour, vous pouvez lancer une analyse de votre ordinateur. ESET SysRescue Live offre plusieurs options d’analyse, notamment une analyse rapide, une analyse intelligente et une analyse personnalisée. Les deux premières options analysent les zones les plus couramment infectées, tandis que l’option personnalisée vous permet de choisir les disques et dossiers spécifiques à analyser. Une fois l’analyse terminée, les menaces détectées seront affichées et vous pourrez les supprimer en toute sécurité.
\n\n\n\nIl est important de noter qu’ESET SysRescue Live n’est pas conçu pour remplacer votre logiciel antivirus habituel. Il est plutôt destiné à être utilisé en complément, en particulier dans les situations où un malware persistant empêche le bon fonctionnement de votre système. Cet outil est idéal pour les situations où vous devez éradiquer un malware tenace qui résiste aux méthodes de suppression traditionnelles.
\n\n\n\nVous y trouverez également des utilitaires pratiques comme memtest, Midnight Commander ou Gparted pour ceux qui veulent partitionner leur disque ou augmenter la taille de leurs partitions existantes.
\n\n\nEn résumé, ESET SysRescue Live est un outil pratique et puissant pour nettoyer votre ordinateur des menaces persistantes qui refusent de partir ou pour effectuer des petites opérations de maintenance sur l’ordi.
\n", "category": "Sécurité", "link": "https://korben.info/eradiquer-malwares-persistants-eset-sysrescue-live.html", "creator": "Korben", "pubDate": "Sun, 22 Oct 2023 07:00:00 +0000", "enclosure": "", "enclosureType": "", "image": "", "id": "", "language": "fr", "folder": "", "feed": "korben.info", "read": false, "favorite": false, "created": false, "tags": [], "hash": "c41b775ca689ab0b3ace8cb81157e2b5", "highlights": [] }, { "title": "Découvrez Godspeed et révolutionnez votre gestion du temps et tâches", "description": "\"Salut les amis! Aujourd'hui, je vais vous parler de Godspeed, une application géniale pour gérer votre temps et vos tâches. Elle combine simplicité, efficacité et personnalisation avec des fonctionnalités avancées pour organiser et suivre les projets. Vous pouvez personnaliser l'interface avec différents thèmes et couleurs. Inscrivez-vous sur leur site et prenez votre vie en main!\"", "content": "Salut les gens pressés et très occupés !
\n\n\n\nAujourd’hui, je vais vous parler d’une application qui va vous soulager mentalement si vous galérer à faire tout ce que vous avez à faire dans la journée voire dans l’année.
\n\n\n\nIl s’agit de Godspeed ! Pas de panique, je ne vous parle pas de l’expression anglaise qui veut dire « Bon vent » ou « Bonne chance ». Non, ici, je vous parle d’une application géniale qui porte le même nom et qui va révolutionner la façon dont vous gérez votre temps et vos tâches !
\n\n\n\nVous pouvez la trouver tout de suite sur le site, Godspeedapp.com.
\n\n\n\nQui n’a jamais été submergé par des tâches à réaliser, des rendez-vous à ne pas rater, des projets à gérer et des objectifs à atteindre ? Alors si vous êtes comme moi, vous avez déjà surement essayé plusieurs méthodes de gestion du temps (coucou Pomodoro) et différentes applications, mais aucune n’a vraiment répondu à vos attentes sans vous entrainer dans le burnout.
\n\n\n\nEh bien, mes amis, je vous annonce que votre quête est enfin terminée ! J’ai testé Godspeed et je peux vous dire qu’elle tient toutes ses promesses.
\n\n\n\nAlors, pourquoi cette application est-elle si géniale, me direz-vous ?
\n\n\nTout simplement parce qu’elle allie simplicité, efficacité et personnalisation. Oui, vous avez bien lu. Godspeed vous permet de gérer vos tâches et votre emploi du temps de manière ultra-simple et intuitive. Pas de fonctionnalités inutiles ou compliquées, tout est pensé pour vous faciliter la vie et tout peut se faire au clavier avec des raccourcis bien pensés. Rassurez-vous, y’a un bon petit didacticiel qui vous permettra d’apprendre les raccourcis de base pour vous lancer.
\n\n\n\nMais ce n’est pas tout ! Godspeed va encore plus loin en vous proposant des fonctionnalités avancées pour ceux qui souhaitent aller au-delà de la simple gestion de tâches. Par exemple, vous pouvez créer des tâches principales et leur attribuer des sous-tâches pour une organisation encore plus poussée. Vous pouvez également définir des priorités et des échéances pour chaque tâche, histoire de ne plus jamais rater un deadline. Et vous pouvez aussi paramétrer vos tâches pour qu’elles vous soit proposées de manière récurrentes (toutes les semaines par exemple).
\n\n\n\nIl est également possible d’associer des notes pour chaque tâche et d’y joindre des URLs (de la documentation par exemple) pour ouvrir ensuite ça d’un petit coup de raccourci clavier.
\n\n\n\nGodspeed est utilisable via son API si vous souhaitez intégrer tout ça dans vos outils comme IFTTT / Zapier, vous pouvez exporter les data au format JSON et vous avez la possibilité de l’utiliser en mode clair ou sombre pour ne pas vous flinguer les yeux.
\n\n\n\nEt pour les puristes, il existe même au sein de Godspeed, un mode « hardcore » pour désactiver la souris et tout faire au clavier tel un pianiste sous amphétamine.
\n\n\nEn conclusion, je ne peux que vous recommander de tester Godspeed si vous êtes à la recherche d’une solution simple et efficace pour gérer votre temps et vos tâches. Que vous soyez un simple utilisateur ou un véritable « power user », vous trouverez forcément votre bonheur avec cette application. Alors, qu’attendez-vous ? Allez, prenez votre vie en main et foncez sur godspeedapp.com ! Vous ne le regretterez pas. Et n’oubliez pas, comme disent nos amis anglophones : « Godspeed » !
\n", "category": "MacOS", "link": "https://korben.info/godspeed-application-gestion-temps-taches-revolutionnaire.html", "creator": "Korben", "pubDate": "Sat, 21 Oct 2023 07:00:00 +0000", "enclosure": "", "enclosureType": "", "image": "", "id": "", "language": "fr", "folder": "", "feed": "korben.info", "read": false, "favorite": false, "created": false, "tags": [], "hash": "922899c9608a057c1732c0e3519c420a", "highlights": [] }, { "title": "BitLocker réduirait jusqu’à 45% vitesse SSD ? – Que faire ?", "description": "Chers lecteurs, BitLocker, intégré à Windows 11 Pro, pourrait ralentir les SSD jusqu'à 45%. Des alternatives comme VeraCrypt sont disponibles, mais peuvent également impacter les performances. Il est important de vérifier le chiffrement utilisé et d'expérimenter pour trouver la meilleure solution pour vos besoins et performances.", "content": "Voici une mauvaise surprise : L’utilisation de BitLocker, le fameux outil de chiffrement intégré à Windows 11 Pro, pourrait ralentir nos disques SSD jusqu’à 45% (selon la marque et le modèle de SSD que vous utilisez) ?
\n\n\n\nOui, vous avez bi-en lu, c’est pas des blagues. Tom’s Hardware a publié un rapport édifiant à ce sujet et il semblerait que nos chers SSD en pâtissent.
\n\n\n\nCommençons par le début : BitLocker, disponible uniquement sur les appareils équipés de Windows 11 Pro, est activé automatiquement pour protéger nos données chéries en les chiffrant. Mais en y regardant de plus près, les tests effectués ont montré une diminution significative des performances des disques chiffrés par ce logiciel. C’est pas ouf.
\n\n\n\nAlors que faire ?
\n\n\n\nEt bien si vous êtes un utilisateur de Windows 11 Pro, la première chose à faire est de vérifier si BitLocker est activé, et s’il utilise un chiffrement logiciel (XTS-AES). Pour ce faire, ouvrez le menu Démarrer et entrez « cmd« .
\n\n\n\nEnsuite, choisissez l’option « Exécuter en tant qu’administrateur » pour ouvrir une fenêtre d’invite de commandes avec les droits admin qui vont bien. Une fois dans l’invite de commandes, copiez et collez la commande suivante :
\n\n\n\nmanage-bde -status
\n\n\n\nPuis faites « Entrée ». Cette commande affichera alors le statut de tous vos volumes connectés. Enfin, pour savoir si le chiffrement BitLocker est activé ou non, recherchez la mention « Protection Status« .
\n\n\n\nSi le chiffrement est activé, vérifiez alors la méthode de chiffrement utilisée. Si vous trouvez la mention « XTS-AES« , cela signifie que le chiffrement logiciel est utilisé et que par conséquent, Bitlocker a un impact négatif sur votre SSD.
\n\n\nMaintenant, plusieurs choix s’offrent à vous. Vous pouvez vous amuser à reformater votre PC et réinstaller Windows 11 Pro en tenant compte de bien activer le chiffrement hardware si votre ordinateur et votre SSD le supportent. C’est vraiment la meilleure des options même si cela implique d’effacer tout et de tout refaire au propre.
\n\n\n\nVous pouvez également désactiver BitLocker et ne plus rien chiffrer. C’est pas ouf niveau sécurité mais c’est un choix qui ne regarde que vous. Pour désactiver Bitlocker, ouvrez une nouvelle fois un terminal en mode admin et entrez la commande suivante en indiquant l’emplacement de votre disque (ici c’est « c: »)
\n\n\n\nmanage-bde off C:
\n\n\nEt si vous voulez quand même chiffrer sérieusement un disque dur, sans pour autant passer par Bitlocker, il y a toujours Veracrypt qui peut vous aider notamment grâce à sa fonctionnalité de chiffrement du système Windows. Attention quand même, ce genre d’outils peut également impacter les performances de certains SSD, donc renseignez-vous bien avant de le mettre en place, car pas sûr que ça arrange la situation. Même chose pour les bons disques durs (HDD), qui peuvent aussi être impactés dans une moindre mesure.
\n\n\n\nBon courage 🙂
\n\n\n\n\n", "category": "Windows", "link": "https://korben.info/bitlocker-ralentit-ssd-windows-11-pro-veracrypt-alternative.html", "creator": "Korben", "pubDate": "Fri, 20 Oct 2023 09:24:07 +0000", "enclosure": "", "enclosureType": "", "image": "", "id": "", "language": "fr", "folder": "", "feed": "korben.info", "read": false, "favorite": false, "created": false, "tags": [], "hash": "6f857b29e12635f662184af45b14f73e", "highlights": [] }, { "title": "Gardez un œil sur vos sites favoris avec web.Monitor", "description": "Ah, Internet ! Un océan de connaissances et de ressources, mais comment suivre les mises à jour des sites préférés ? La solution : web.Monitor, un outil pour suivre les modifications des sites Web en temps réel. Rapide, convivial et avec notifications sur Telegram, Slack et Discord. Facile à utiliser, à installer et à configurer, web.Monitor permet de rester informé sans effort.", "content": "Il est facile de se perdre dans les profondeurs de cet océan qu’est Internet, et peut-être que vous vous demandez comment garder un œil sur tous ces sites qui vous intéressent tant, sans avoir à les visiter frénétiquement chaque jour pour vérifier si quelque chose a changé. Alors bien sûr il y a les flux RSS mais quand on parle d’un site vitrine ou institutionnel, à part y passer de temps en temps, y’a pas grand chose à faire.
\n\n\n\nMais que vous soyez passionné de tech, développeur web, ou simplement quelqu’un qui veut se tenir à jour avec les mises à jour de vos sites préférés, j’ai une solution pour vous : web.Monitor.
\n\n\n\nweb.Monitor est un outil génial qui vous permet de suivre les modifications apportées aux sites Web en temps réel. Plus besoin de vérifier manuellement les sites pour les mises à jour ! Imaginez être averti dès que votre site préféré publie un nouvel article, ou dès qu’une nouvelle version de votre logiciel favori est disponible. Grâce à web.Monitor, vous pouvez désormais le faire facilement.
\n\n\n\nCe petit logiciel libre et en ligne de commande est rapide et facile à utiliser, offrant une surveillance continue, une configuration flexible, un stockage persistant, une journalisation détaillée, des notifications, la visualisation des modifications, le filtrage des domaines, l’automatisation et la personnalisation. Cerise sur le gâteau, il prend en charge les notifications ce qui vous permettra ensuite d’envoyer des updates vers vos Telegram, Slack et Discord pour ne jamais manquer une alerte !
\n\n\n\nPour configurer web.Monitor, commencez par définir le chemin des binaires dans le fichier web-monitor.ini
.
Pour ajouter une URL à la base de données, vous pouvez utiliser les commandes suivantes pour suivre une liste de sites ou un site seulement :
\n\n\n\npython3 web.monitor.py --add-urls urls.txt
\npython3 web.monitor.py --add korben.info
\n\n\n\nLes notifications seront alors envoyées après le premier scan.
\n\n\n\nPour scanner toutes les URL d’un domaine racine, vous pouvez également utiliser :
\n\n\n\npython3 web.monitor.py -df roots.txt --check -H 1
\npython3 web.monitor.py -D korben.info --check -H 1
\n\n\nLe paramètre -df est utilisé pour analyser toutes les URL d’un domaine racine. Par exemple, si les URL admin.site.com et admin.site2.com se trouvent dans la base de données et que le fichier roots.txt contient uniquement *.site.com, l’analyse portera sur *.site.com.
\n\n\n\nL’indicateur -D , quand à lui, analyse uniquement les URL du site indiqué dans la commande. Le paramètre -H est utilisé pour spécifier que le domaine sera scanné toutes les 1 heures, et bien sûr, vous pouvez personnaliser cela. La recommandation c’est de scanner toutes les 12 ou 24 heures afin de ne pas vous faire blacklister ou Ddos les sites.
\n\n\n\nEt si vous voulez afficher les changements d’un domaine spécifique, voici la commande qu’il vous faut :
\n\n\n\npython3 web.monitor.py -D korben.info --show-changes
Voilà ! Grâce à web.Monitor, vous pouvez maintenant suivre les modifications de vos sites préférés sans effort. Fini les vérifications manuelles et les actualisations frénétiques. Il est temps de vous détendre et de laisser ce script python faire le travail pour vous !
\n", "category": "Script", "link": "https://korben.info/suivre-mises-a-jour-sites-web-automatiquement-avec-web-monitor.html", "creator": "Korben", "pubDate": "Fri, 20 Oct 2023 07:00:00 +0000", "enclosure": "", "enclosureType": "", "image": "", "id": "", "language": "fr", "folder": "", "feed": "korben.info", "read": false, "favorite": false, "created": false, "tags": [], "hash": "25176e0f5b8b3cdb9412159034af69fc", "highlights": [] }, { "title": "Seal – L’outil ultime pour télécharger vidéos et audios sur Android", "description": "Salut à tous ! Aujourd'hui, je vous présente Seal, un téléchargeur vidéo/audio tout-en-un pour Android. Il permet de télécharger du contenu de différentes plateformes, d'organiser vos fichiers avec des métadonnées, et d'ajouter des sous-titres. Il est également possible de télécharger des listes de lecture entières. Seal est gratuit, open-source et disponible sur GitHub et F-Droid.", "content": "En cette belle matinée ensoleillée (en vrai l’article est programmé et je n’ai aucune idée de la météo du jour, mais bon, on va partir du principe qu’il fait beau), j’aimerai vous présente un trésor pour les amateurs de vidéos et de musique (tout le monde donc…). Cela s’appelle Seal.
\n\n\n\nQue ce soit pour emporter votre playlist préférée en vacances loin de tout accès à Internet ou pour savourer un podcast lors de vos trajets quotidiens, Seal vous facilite la vie sous Android en vous offrant une solution tout-en-un.
\n\n\n\nLaissez-moi vous donner quelques détails sur les fonctionnalités de ce merveilleux logiciel libre et gratuit.
\n\n\n\nTout d’abord, il permet de télécharger des vidéos et de l’audio à partir de toutes les plateformes les plus connues. Que vous vouliez enregistrer cette vidéo virale de chatons sur votre téléphone pour la montrer à vos amis plus tard, ou que vous ayez besoin de cette conférence masterclass pour votre prochain projet, Seal vous aidera à récupérer tout ça.
\n\n\nEnsuite, Seal organise vos fichiers téléchargés, en intégrant des métadonnées pour vous aider à garder tout en ordre. Fini les fichiers audio avec des titres étranges et imprononçables, ou les vidéos sans vignette qui rendent la navigation dans votre galerie si pénible.
\n\n\n\nEt s’il y a une playlist complète que vous souhaitez télécharger pour votre prochain road trip, pani problème ! Seal vous permet de la télécharger d’un seul coup, vous faisant gagner un temps précieux.
\n\n\nEt pour tous ceux qui aiment regarder des films ou des vidéos en langues étrangères, Seal vous permet d’ajouter des sous-titres à vos vidéos téléchargées, pour que vous puissiez profiter de votre contenu sans souci de compréhension.
\n\n\n\nL’outil dispose également d’une interface utilisateur conviviale qui rendra votre expérience de téléchargement fluide et agréable.
\n\n\n\nVous pouvez télécharger Seal sur GitHub et F-Droid.
\n", "category": "Android", "link": "https://korben.info/seal-telechargeur-video-audio-android-fonctionnalites-solution-hors-ligne.html", "creator": "Korben", "pubDate": "Thu, 19 Oct 2023 07:00:00 +0000", "enclosure": "", "enclosureType": "", "image": "", "id": "", "language": "fr", "folder": "", "feed": "korben.info", "read": false, "favorite": false, "created": false, "tags": [], "hash": "f2769171bd6df1d0ddeb5a8fd2f89b58", "highlights": [] }, { "title": "Remembering Doug Lenat (1950–2023) and His Quest to Capture the World with Logic", "description": "In many ways the great quest of Doug Lenat’s life was an attempt to follow on directly from the work of Aristotle and Leibniz. For what Doug was fundamentally trying to do over the forty years he spent developing his CYC system was to use the framework of logic—in more or less the same form that Aristotle and Leibniz had it—to capture what happens in the world. It was a noble effort and an impressive example of long-term intellectual tenacity. And while I never managed to actually use CYC myself, I consider it a magnificent experiment—that if nothing else ultimately served to demonstrate the importance of building frameworks beyond logic alone in usefully representing and reasoning about the world.
\nDoug Lenat started working on artificial intelligence at a time when nobody really knew what might be possible—or even easy—to do. Was AI (whatever that might mean) just a clever algorithm—or a new type of computer—away? Or was it all just an “engineering problem” that simply required pulling together a bigger and better “expert system”? There was all sorts of mystery—and quite a lot of hocus pocus—around AI. Did the demo one was seeing actually prove something, or was it really just a trivial (if perhaps unwitting) cheat?
\nI first met Doug Lenat at the beginning of the 1980s. I had just developed my SMP (“Symbolic Manipulation Program”) system, that was the forerunner of Mathematica and the modern Wolfram Language. And I had been quite exposed to commercial efforts to “do AI” (and indeed our VCs had even pushed my first company to take on the dubious name “Inference Corporation”, complete with a “=>” logo). And I have to say that when I first met Doug I was quite dismissive. He told me he had a program (that he called “AM” for “Automated Mathematician”, and that had been the subject of his Stanford CS PhD thesis) that could discover—and in fact had discovered—nontrivial mathematical theorems.
\n“What theorems?” I asked. “What did you put in? What did you get out?” I suppose to many people the concept of searching for theorems would have seemed like something remarkable, and immediately exciting. But not only had I myself just built a system for systematically representing mathematics in computational form, I had also been enumerating large collections of simple programs like cellular automata. I poked at what Doug said he’d done, and came away unconvinced. Right around the same time I happened to be visiting a leading university AI group, who told me they had a system for translating stories from Spanish into English. “Can I try it?” I asked, suspending for a moment my feeling that this sounded like science fiction. “I don’t really know Spanish”, I said, “Can I start with just a few words?” “No”, they said, “the system works only with stories.” “How long does a story have to be?” I asked. “Actually it has to be a particular kind of story”, they said. “What kind?” I asked. There were a few more iterations, but eventually it came out: the “system” translated one particular story from Spanish into English! I’m not sure if my response included an expletive, but I wondered what kind of science, technology, or anything else this was supposed to be. And when Doug told me about his “Automated Mathematician”, this was the kind of thing I was afraid I was going to find.
\nYears later, I might say, I think there’s something AM could have been trying to do that’s valid, and interesting, if not obviously possible. Given a particular axiom system it’s easy to mechanically generate infinite collections of “true theorems”—that in effect fill metamathematical space. But now the question is: which of these theorems will human mathematicians find “interesting”? It’s not clear how much of the answer has to do with the “social history of mathematics”, and how much is more about “abstract principles”. I’ve been studying this quite a bit in recent years (not least because I think it could be useful in practice)—and have some rather deep conclusions about its relation to the nature of mathematics. But I now do wonder to what extent Doug’s work from all those years ago might (or might not) contain heuristics that would be worth trying to pursue even now.
\nI ran into Doug quite a few times in the early to mid-1980s, both around a company called Thinking Machines (to which I was a consultant) and at various events that somehow touched on AI. There was a fairly small and somewhat fragmented AI community in those days, with the academic part in the US concentrated around MIT, Stanford and CMU. I had the impression that Doug was never quite at the center of that community, but was somehow nevertheless a “notable member”, who—particularly with his work being connected to math—was seen as “doing upscale things” around AI.
\nIn 1984 I wrote an article for a special issue of Scientific American on “computer software” (yes, software was trendy then). My article was entitled “Computer Software in Science and Mathematics”, and the very next article was by Doug, entitled “Computer Software for Intelligent Systems”. The summary at the top of my article read: “Computation offers a new means of describing and investigating scientific and mathematical systems. Simulation by computer may be the only way to predict how certain complicated systems evolve.” And the summary for Doug’s article read: “The key to intelligent problem solving lies in reducing the random search for solutions. To do so intelligent computer programs must tap the same underlying ‘sources of power’ as human beings”. And I suppose in many ways both of us spent most of our next four decades essentially trying to fill out the promise of these summaries.
\nA key point in Doug’s article—with which I wholeheartedly agree—is that to create something one can usefully identify as “AI”, it’s essential to somehow have lots of knowledge of the world built in. But how should that be done? How should the knowledge be encoded? And how should it be used?
\nDoug’s article in Scientific American illustrated his basic idea:
\n\nEncode knowledge about the world in the form of statements of logic. Then find ways to piece together these statements to derive conclusions. It was, in a sense, a very classic approach to formalizing the world—and one that would at least in concept be familiar to Aristotle and Leibniz. Of course it was now using computers—both as a way to store the logical statements, and as a way to find inferences from them.
\nAt first, I think Doug felt the main problem was how to “search for correct inferences”. Given a whole collection of logical statements, he was asking how these could be knitted together to answer some particular question. In essence it was just like mathematical theorem proving: how could one knit together axioms to make a proof of a particular theorem? And especially with the computers and algorithms of the time, this seemed like a daunting problem in almost any realistic case.
\nBut then how did humans ever manage to do it? What Doug imagined was that the critical element was heuristics: strategies for guessing how one might “jump ahead” and not have to do the kind of painstaking searches that systematic methods seemed to imply would be needed. Doug developed a system he called EURISKO that implemented a range of heuristics—that Doug expected could be used not only for math, but basically for anything, or at least anything where human-like thinking was effective. And, yes, EURISKO included not only heuristics, but also at least some kinds of heuristics for making new heuristics, etc.
\nBut OK, so Doug imagined that EURISKO could be used to “reason about” anything. So if it had the kind of knowledge humans do, then—Doug believed—it should be able to reason just like humans. In other words, it should be able to deliver some kind of “genuine artificial intelligence” capable of matching human thinking.
\nThere were all sorts of specific domains of knowledge to consider. But Doug particularly wanted to push in what seemed like the most broadly impactful direction—and tackle the problem of commonsense knowledge and commonsense reasoning. And so it was that Doug began what would become a lifelong project to encode as much knowledge as possible in the form of statements of logic.
\nIn 1984 Doug’s project—now named CYC—became a flagship part of MCC (Microelectronics and Computer Technology Corporation) in Austin, TX—an industry-government consortium that had just been created to counter the perceived threat from the Japanese “Fifth Generation Computer Project”, that had shocked the US research establishment by putting immense resources into “solving AI” (and was actually emphasizing many of the same underlying rule-based techniques as Doug). And at MCC Doug had the resources to hire scores of people to embark on what was expected to be a few thousand person-years of effort.
\nI didn’t hear much about CYC for quite a while, though shortly after Mathematica was released in 1988 Marvin Minsky mused to me about how it seemed like we were doing for math-like knowledge what CYC was hoping to do for commonsense knowledge. I think Marvin wasn’t convinced that Doug had the technical parts of CYC right (and, yes, they weren’t using Marvin’s theories as much as they might). But in those years Marvin seemed to feel that CYC was one of the few AI projects going on that actually made any sense. And indeed in my archives I find a rather charming email from Marvin in 1992, attaching a draft of a science fiction novel (entitled The Turing Option) that he was writing with Harry Harrison, which contained mention of CYC:
\n\n\nJune 19, 2024
\n\nWhen Brian and Ben reached the lab, the computer was running
\nbut the tree-robot was folded and motionless. “Robin,
\nactivate.”
\n\n…
\n\n“Robin will have to use different concepts of progress for
\ndifferent kinds of problems. And different kinds of subgoals
\nfor reducing those different kinds of differences.”
\n\n“Won’t that require enormous amounts of knowledge?”
\n\n“It will indeed—and that’s one reason human education takes
\nso long. But Robin should already contain a massive amount of
\njust that kind of information—as part of his CYC-9 knowledge-
\nbase.”
\n\n…
\n\n“There now exists a procedural model for the behavior of a
\nhuman individual, based on the prototype human described in
\nsection 6.001 of the CYC-9 knowledge base. Now customizing
\nparameters on the basis of the example person Brian Delaney
\ndescribed in the employment, health, and security records of
\nMegalobe Corporation.”
\n\nA brief silence ensued. Then the voice continued.
\n\n“The Delaney model is judged as incomplete as compared to those
\nof other persons such as President Abraham Lincoln, who has
\n3596.6 megabytes of descriptive text, or Commander James
\nBond, who has 16.9 megabytes.”
Later, one of the novel’s characters observes: “Even if we started with nothing but the
\nold Lenat–Haase representation-languages, we’d still be far ahead of what any animal ever evolved.” (Ken Haase was a student of Marvin’s who critiqued and extended Doug’s work on heuristics.)
I was exposed to CYC again in 1996 in connection with a book called HAL’s Legacy—to which both Doug and I contributed—published in honor of the fictional birthday of the AI in the movie 2001. But mostly AI as a whole was in the doldrums, and almost nobody seemed to be taking it seriously. Sometimes I would hear murmurs about CYC, mostly from government and military contacts. Among academics, Doug would occasionally come up, but rather cruelly he was most notable for his name being used for a unit of “bogosity”—the lenat—of which it was said that “Like the farad it is considered far too large a unit for practical use, so bogosity is usually expressed in microlenats”.
\nMany years passed. I certainly hadn’t forgotten Doug, or CYC. And a few times people suggested connecting CYC in some way to our technology. But nothing ever happened. Then in the spring of 2009 we were nearing the first release of Wolfram|Alpha, and it seemed like I finally had something that I might meaningfully be able to talk to Doug about.
\nI sent a rather tentative email:
\n
I just made a small blog post about it:
\nhttp://blog.wolfram.com/2009/03/05/wolframalpha-is-coming/\n
\nI’d be pleased to give you a webconference demo if you’re interested.
\nI hope you’ve been well all these years.
\n— Stephen