Webtagr - Résumé de news de technologie

Tags populaires：

Virtualisation sécurité DNS vérification formelle analyse d'atteignabilité erreurs du compilateur conflit de macro extension web framework de développement Graphiques bitmap incohérences d'API Tous les tags

CubeCL : Extension de langage de calcul haute performance multiplateforme pour Rust

2025-04-24

CubeCL : Extension de langage de calcul haute performance multiplateforme pour Rust

CubeCL est une extension de langage Rust révolutionnaire qui permet aux développeurs d'écrire des noyaux de calcul GPU en Rust, en tirant parti d'abstractions sans coût pour des noyaux de calcul maintenables, flexibles et efficaces. Prenant en charge les runtimes WGPU, CUDA et ROCm/HIP (avec prise en charge du CPU prévue), CubeCL dispose d'une vectorisation automatique, d'un calcul au moment de la compilation et d'un auto-tuning, simplifiant ainsi le développement de noyaux hautes performances et la portabilité multiplateforme. Son processus unique en deux étapes (analyse et expansion) permet des optimisations au moment de la compilation et une intégration transparente avec Rust. Actuellement en alpha, CubeCL présente un potentiel immense pour devenir une pierre angulaire du calcul haute performance en Rust.

(github.com)

Développement

Index : L'agent de navigateur open source SOTA pour les tâches web autonomes

2025-04-23

Index : L'agent de navigateur open source SOTA pour les tâches web autonomes

Index est un agent de navigateur open source de pointe capable d'exécuter de manière autonome des tâches web complexes. Il utilise de puissants modèles de langage de grande taille (LLM) tels que Claude d'Anthropic et les modèles d'OpenAI, permettant aux utilisateurs de soumettre des invites telles que "aller sur ycombinator.com, résumer les 3 premières entreprises du lot W25 et créer une nouvelle feuille de calcul dans Google Sheets". Index propose une API sans serveur pour une utilisation en production, une CLI interactive pour le développement local, la persistance de l'état du navigateur et bien plus encore. Sa facilité d'utilisation et ses fonctionnalités puissantes en font l'outil idéal pour automatiser l'extraction de données web et les interactions web complexes.

(github.com)

Développement Agent de Navigateur

Exemples autonomes d'Apache Lucene : guide pour débutants en recherche de texte intégral

2025-04-23

Exemples autonomes d'Apache Lucene : guide pour débutants en recherche de texte intégral

Ce référentiel GitHub fournit une collection d'exemples Apache Lucene avec des commentaires détaillés en Markdown. Chaque exemple est autonome et exécutable, permettant aux apprenants d'explorer Lucene en lisant le code, en déboguant ou en utilisant la documentation web interactive (https://msfroh.github.io/lucene-university/docs/SimpleSearch.html). Le référentiel utilise Lucene 10 et nécessite JDK 21 ou supérieur. Les contributions sont les bienvenues !

(github.com)

Développement Recherche de texte intégral Exemples de code

Explorer un nouveau protocole pour l'interaction en ligne : Spring83

2025-04-23

Explorer un nouveau protocole pour l'interaction en ligne : Spring83

Ce document présente Spring83, un protocole expérimental conçu pour explorer de nouvelles façons d'interagir en ligne. Il n'est pas destiné aux utilisateurs, mais plutôt comme une invitation à des co-investigateurs à l'explorer et à le développer. Plusieurs implémentations dans divers langages de programmation existent déjà, et l'auteur encourage d'autres contributions à ce projet ouvert.

(github.com)

Développement interaction en ligne protocole expérimental

c/ua : Un framework léger pour les agents IA contrôlant des systèmes d'exploitation complets

2025-04-23

c/ua : Un framework léger pour les agents IA contrôlant des systèmes d'exploitation complets

c/ua (prononcé « koo-ah ») est un framework léger permettant aux agents IA de contrôler des systèmes d'exploitation complets au sein de conteneurs virtuels légers et performants. Atteignant jusqu'à 97 % de la vitesse native sur Apple Silicon, il fonctionne avec tous les modèles de langage visuel. Il intègre une virtualisation hautes performances (création et exécution de machines virtuelles macOS/Linux sur Apple Silicon avec des performances quasi natives à l'aide de Lume CLI et de Virtualization.Framework d'Apple) et une interface et un agent d'utilisation de l'ordinateur, permettant aux systèmes IA d'observer et de contrôler des environnements virtuels, de naviguer sur le Web, d'écrire du code et d'exécuter des workflows complexes. Il assure la sécurité, l'isolation, les hautes performances, la flexibilité et la reproductibilité, avec la prise en charge de divers fournisseurs de LLM.

(github.com)

IA

Advanced Alchemy : Une bibliothèque compagnon haute performance pour SQLAlchemy

2025-04-23

Advanced Alchemy : Une bibliothèque compagnon haute performance pour SQLAlchemy

Advanced Alchemy est une bibliothèque compagnon pour SQLAlchemy, soigneusement conçue, entièrement testée et optimisée. Elle offre des référentiels synchrones et asynchrones avec des opérations CRUD courantes et des opérations en masse hautement optimisées. Elle s'intègre aux principaux frameworks web, notamment Litestar, Starlette, FastAPI et Sanic, et dispose d'une configuration et d'une CLI Alembic personnalisées. Les fonctionnalités intégrées incluent un type de données d'objet fichier prenant en charge divers backends de stockage (fsspec et obstore), des types JSON optimisés, la prise en charge de UUID6 et UUID7, et des classes de base préconfigurées. Advanced Alchemy simplifie les opérations CRUD sur les modèles SQLAlchemy et fournit des fonctionnalités telles que la pagination, le tri et le filtrage.

(github.com)

Développement

Restrictions d'application des suggestions de code GitHub

2025-04-23

Restrictions d'application des suggestions de code GitHub

Plusieurs limitations empêchent l'application des suggestions de code dans les revues de code GitHub. Celles-ci incluent : aucune modification de code apportée, la demande de tirage fermée, l'affichage d'un sous-ensemble de modifications, une seule suggestion par ligne autorisée, l'application à des lignes supprimées, les suggestions déjà appliquées ou marquées comme résolues, les suggestions provenant de revues en attente, les commentaires multilignes, la demande de tirage en file d'attente pour la fusion ou des limitations du système.

(github.com)

Développement révision de code

Builds locaux d'Expo Android : l'image Docker eas-like-local-builder

2025-04-22

Builds locaux d'Expo Android : l'image Docker eas-like-local-builder

Fatigué des builds cloud coûteux d'EAS ? L'image Docker eas-like-local-builder offre une solution pour construire des applications Expo Android localement. Elle reproduit l'environnement de build d'EAS, incluant Ubuntu 22.04, JDK 17, NDK r26b et d'autres composants nécessaires, permettant aux développeurs de construire dans leurs environnements locaux ou CI/CD. L'image prend en charge les profils de build personnalisés (par exemple, production) et permet d'ignorer les vérifications de contrôle de version via des variables d'environnement. Les développeurs n'ont qu'à exécuter des commandes Docker simples et monter leur répertoire de projet pour construire, simplifiant grandement le processus de build local.

(github.com)

Développement

AutoKitteh : Plateforme d'automatisation des workflows basée sur Python

2025-04-22

AutoKitteh : Plateforme d'automatisation des workflows basée sur Python

AutoKitteh est une plateforme d'automatisation et d'orchestration des workflows conviviale pour les développeurs, construite sur Python, offrant une alternative basée sur le code aux plateformes sans code/low-code. Elle offre une flexibilité illimitée et s'appuie sur Temporal pour une exécution durable, en abstraisant les complexités d'infrastructure et de codage. AutoKitteh prend en charge l'auto-hébergement et le déploiement dans le cloud, convient à DevOps, FinOps, MLOps, SOAR et plus encore, et dispose d'intégrations intégrées et d'une architecture "sans serveur" évolutive.

(github.com)

Développement automatisation des workflows

WinFile : Le gestionnaire de fichiers Windows est de retour !

2025-04-22

WinFile : Le gestionnaire de fichiers Windows est de retour !

Microsoft a annoncé l'archivage du projet WinFile le 1er mars 2025, mais la bonne nouvelle est que ce gestionnaire de fichiers Windows classique a ressuscité sous la forme d'une application de bureau native x86, x64 et arm64, compatible avec toutes les versions actuelles de Windows, y compris Windows 11. Le mainteneur accepte les corrections de bugs et les suggestions d'améliorations, mais ne développera pas de nouvelles branches. Le code source du projet WinFile comprend deux versions principales : la branche `original_plus`, maintenue au plus près de l'original, et la branche `master` en développement actif. Les utilisateurs peuvent télécharger des versions précompilées depuis le Microsoft Store ou la page du projet.

(github.com)

Développement Gestionnaire de fichiers

Saphir : Un gestionnaire de paquets nouvelle génération en Rust

2025-04-22

Saphir : Un gestionnaire de paquets nouvelle génération en Rust

Saphir est un gestionnaire de paquets expérimental, basé sur Rust et inspiré par Homebrew. Il est conçu pour installer et gérer des outils en ligne de commande, des bibliothèques, des langages, des applications de bureau, etc. Il propose des téléchargements parallèles, une résolution automatique des dépendances et la compilation à partir de la source. Actuellement uniquement pour ARM, avec un support potentiel pour x86 à l'avenir. Il s'agit d'un logiciel alpha ; utilisez-le à vos propres risques.

(github.com)

Développement

Parcom : une bibliothèque concise de combinateurs d’analyseurs pour Common Lisp

2025-04-22

Parcom : une bibliothèque concise de combinateurs d’analyseurs pour Common Lisp

Parcom est une bibliothèque concise de combinateurs d’analyseurs pour Common Lisp, similaire à Parsec pour Haskell et Nom pour Rust. Elle fonctionne directement sur les chaînes de caractères sans dépendances, bénéficie d’un large support des implémentations Common Lisp et offre un ensemble riche d’analyseurs et de combinateurs pour construire des analyseurs personnalisés. Parcom inclut également un analyseur JSON optionnel prenant en charge Unicode. Sa force réside dans sa capacité à combiner des analyseurs existants pour créer une logique d’analyse complexe, offrant des fonctionnalités puissantes via une API propre.

(github.com)

Développement Combinateurs d’analyseurs

Intégration facile d'une API de chat IA avec la bibliothèque Rowboat de Python

2025-04-22

Intégration facile d'une API de chat IA avec la bibliothèque Rowboat de Python

Ce code Python montre comment interagir avec une API de chat IA en utilisant la bibliothèque Rowboat. Il initialise un client, se connectant à un service API hébergé localement. Le code présente deux façons d'interagir : en utilisant la classe `StatefulChat` pour les conversations avec état, et en utilisant la méthode `client.chat` de bas niveau pour envoyer des tableaux de messages directement. Les deux méthodes récupèrent et impriment avec succès les réponses de l'IA, montrant la facilité d'utilisation de Rowboat pour intégrer rapidement la fonctionnalité de chat IA dans les projets Python.

(github.com)

Développement

MemoTTL : Un utilitaire de mémoïsation thread-safe pour Ruby avec TTL et LRU

2025-04-22

MemoTTL : Un utilitaire de mémoïsation thread-safe pour Ruby avec TTL et LRU

MemoTTL est un utilitaire de mémoïsation thread-safe pour Ruby qui prend en charge l'évacuation TTL (Time-To-Live) et LRU (Least Recently Used). Il est conçu pour les scénarios où les valeurs mémorisées doivent expirer après une période et l'utilisation de la mémoire doit être limitée. L'intégration est facile via `include MemoTTL` et `memoize`, avec des méthodes pour effacer le cache. Des exemples montrent son utilisation dans un contrôleur Rails, améliorant considérablement les performances en évitant les appels répétés à des méthodes coûteuses.

(github.com)

Développement

Morphik : Un moteur de recherche de documents multimodaux révolutionnaire au-delà du RAG traditionnel

2025-04-22

Morphik : Un moteur de recherche de documents multimodaux révolutionnaire au-delà du RAG traditionnel

Morphik est un moteur de recherche de documents révolutionnaire qui dépasse les techniques traditionnelles de génération augmentée par la recherche (RAG) pour les documents hautement techniques et visuels. Il offre une recherche multimodale (images, PDF, vidéos, etc.), la création de graphes de connaissances, une extraction rapide des métadonnées et des intégrations avec des outils tels que Google Suite, Slack et Confluence. Bénéficiant d'un niveau gratuit et d'une version open source, Morphik simplifie l'ingestion et la requête des documents grâce à un SDK Python et une API REST. Les développeurs peuvent démarrer rapidement avec du code simple et une console web conviviale. Bien que la version open source présente des limitations, Morphik s'engage à améliorer la vitesse, à intégrer davantage d'outils et à accueillir les contributions de la communauté.

(github.com)

Développement recherche multimodale graphes de connaissances

ElatoAI : Voix IA en temps réel pour ESP32

2025-04-22

ElatoAI : Voix IA en temps réel pour ESP32

ElatoAI est un projet open source permettant des conversations globales ininterrompues de plus de 10 minutes grâce à l’API en temps réel d’OpenAI, à l’ESP32, à des WebSockets sécurisés et à des fonctions Deno Edge. Composé d’un frontend Next.js, d’un serveur edge Deno et d’un client ESP32, ElatoAI permet de créer des agents IA personnalisés, de choisir des voix et de personnaliser l’expérience. Il intègre le codec Opus pour une qualité audio élevée, une faible latence, une communication sécurisée via WebSockets et Supabase pour l’authentification des utilisateurs et le stockage des données. Le projet est en développement actif et accepte les contributions.

(github.com)

Développement Conversation en temps réel

Démarrage rapide : RAG, Milvus et Docling avec Feast

2025-04-22

Démarrage rapide : RAG, Milvus et Docling avec Feast

Ce projet montre comment utiliser Feast pour alimenter une application de génération augmentée par la recherche (RAG). Il étend la démo RAG de base pour illustrer comment transformer des fichiers PDF en données textuelles utilisables par les modèles linguistiques de grande taille (LLM) avec Docling, comment utiliser Milvus comme base de données vectorielle pour stocker et récupérer les plongements pour RAG, et comment transformer les fichiers PDF avec Docling lors de l'ingestion. Il montre également la récupération en ligne des caractéristiques, les définitions déclaratives des vues de caractéristiques, la recherche vectorielle, le contexte structuré et non structuré, ainsi que le versionnement et la réutilisabilité. Le projet inclut des données de démonstration, un fichier Python définissant les vues de caractéristiques et les configurations d'entités pour Feast, un fichier YAML configurant les magasins hors ligne et en ligne, et deux notebooks principaux : l'un montrant comment utiliser Docling pour extraire le texte des fichiers PDF et le stocker dans un fichier Parquet, et l'autre montrant comment utiliser Feast pour ingérer les données textuelles et les stocker et les récupérer à partir du magasin en ligne.

(github.com)

Développement

Libro : outil de suivi de lecture en ligne de commande

2025-04-22

Libro : outil de suivi de lecture en ligne de commande

Libro est un outil simple en ligne de commande pour suivre votre historique de lecture, en stockant les données localement dans une base de données SQLite. Ajoutez de nouveaux livres, consultez l'historique de lecture par année ou par auteur, générez des rapports annuels et importez des données depuis un fichier CSV d'exportation Goodreads. Facile à utiliser et puissant, Libro est parfait pour les amoureux des livres.

(github.com)

Développement suivi de lecture base de données SQLite

Verus : un analyseur statique pour vérifier l'exactitude du code Rust

2025-04-22

Verus : un analyseur statique pour vérifier l'exactitude du code Rust

Verus est un outil d'analyse statique pour vérifier l'exactitude du code écrit en Rust. Les développeurs écrivent des spécifications de ce que leur code doit faire, et Verus vérifie statiquement que le code Rust exécutable satisfera toujours les spécifications pour toutes les exécutions possibles du code. Au lieu de vérifications au moment de l'exécution, Verus s'appuie sur des solveurs puissants pour prouver que le code est correct. Verus prend actuellement en charge un sous-ensemble de Rust (que nous nous efforçons d'étendre), et dans certains cas, il permet aux développeurs d'aller au-delà du système de types Rust standard et de vérifier statiquement l'exactitude du code qui, par exemple, manipule des pointeurs bruts. Verus est en développement actif ; des fonctionnalités peuvent être rompues et/ou manquantes, et la documentation est encore incomplète.

(github.com)

Développement Analyse Statique Vérification de Code

Un Souffle du Passé : Un Catalogue de Jeux BASIC des Années 80

2025-04-22

Un Souffle du Passé : Un Catalogue de Jeux BASIC des Années 80

Cet article présente une liste fascinante de jeux BASIC des années 1980, couvrant divers systèmes informatiques tels que BASIC-PLUS, EduSystem, DECsystem 10 et HP. Des jeux simples de devinettes de nombres (Acey-Ducey, Bagles) aux jeux de stratégie complexes (Gomoko, Guerre Civile) en passant par les simulations (HMRABI, KING), la variété témoigne de la créativité et de l'ingéniosité de la programmation de cette époque. Ces jeux, simples mais captivants, ne manqueront pas d'évoquer la nostalgie chez beaucoup.

(github.com)

Jeux programmation BASIC jeux des années 80

Evertop : Un PC solaire ultra basse consommation et ultra longue autonomie

2025-04-21

Evertop : Un PC solaire ultra basse consommation et ultra longue autonomie

Evertop est un PC portable qui émule un IBM XT avec un processeur 80186 et 1 Mo de RAM, exécutant DOS, Minix et Windows 3.0. Son microcontrôleur basse consommation, son écran à encre électronique, ses deux batteries de 10 000 mAh et ses fonctions d'économie d'énergie permettent des centaines, voire des milliers d'heures d'utilisation sur une seule charge. Un panneau solaire intégré garantit un fonctionnement indéfini hors réseau. Il possède une gamme complète de périphériques, notamment un clavier, des ports PS/2, un support graphique et audio varié, des ports série, Ethernet, Wi-Fi et une radio LoRa. La charge est polyvalente, avec des options pour l'énergie solaire, l'entrée DC et micro-USB, permettant une charge simultanée à partir de plusieurs sources. Une version minimisée, Evertop Min, est également disponible.

(github.com)

Matériel

Open Codex : Assistant IA en ligne de commande, open source et local

2025-04-21

Open Codex : Assistant IA en ligne de commande, open source et local

Open Codex est un assistant IA en ligne de commande entièrement open source, inspiré d'OpenAI Codex, fonctionnant localement sans clé API. Il utilise des modèles linguistiques locaux comme phi-4-mini pour traduire le langage naturel en commandes shell. Les fonctionnalités incluent des modes one-shot et interactifs (à venir), la confirmation des commandes, la prise en charge du presse-papiers, une sortie de terminal colorée et une compatibilité multiplateforme (macOS, Linux, Windows).

(github.com)

Développement modèle local

GTK-LLM-Chat : Une interface graphique GTK pour discuter avec les LLMs

2025-04-21

GTK-LLM-Chat : Une interface graphique GTK pour discuter avec les LLMs

gtk-llm-chat est une interface graphique simple et facile à utiliser, construite avec GTK, pour interagir avec les grands modèles de langage (LLMs). Elle prend en charge plusieurs conversations simultanées dans des fenêtres indépendantes, intègre la bibliothèque python-llm pour discuter avec différents modèles LLM et possède une interface moderne, des réponses en streaming en temps réel, le rendu Markdown, la gestion des conversations, des raccourcis clavier, la prise en charge des fragments et un mode applet. L'installation est simple : utilisez pipx pour installer llm et exécutez `llm install gtk-chat`.

(github.com)

Développement

Dia : Un modèle texte-parole de 1,6 milliard de paramètres de Nari Labs

2025-04-21

Dia : Un modèle texte-parole de 1,6 milliard de paramètres de Nari Labs

Nari Labs présente Dia, un modèle texte-parole de 1,6 milliard de paramètres capable de générer des dialogues très réalistes directement à partir de transcriptions. Les utilisateurs peuvent contrôler les émotions et le ton en conditionnant la sortie à l'audio, et le modèle produit même des indices non verbaux comme des rires et de la toux. Pour accélérer la recherche, des checkpoints de modèles pré-entraînés et du code d'inférence sont disponibles sur Hugging Face. Une page de démonstration compare Dia à ElevenLabs Studio et Sesame CSM-1B. Bien qu'il nécessite actuellement environ 10 Go de VRAM et un support GPU (support CPU prochainement), Dia génère environ 40 jetons par seconde sur une GPU A4000. Une version quantifiée est prévue pour améliorer l'efficacité de la mémoire. Le modèle est sous licence Apache 2.0 et interdit strictement toute utilisation abusive, comme l'usurpation d'identité, la génération de contenu trompeur ou les activités illégales.

(github.com)

IA

Fonctions de Chaînes de Caractères en C : Aperçu Rapide

2025-04-21

Fonctions de Chaînes de Caractères en C : Aperçu Rapide

Cet article fournit un aperçu rapide de plusieurs fonctions de manipulation de chaînes de caractères en C couramment utilisées : `strlen()` obtient la longueur d'une chaîne ; `strcpy()` copie des chaînes ; `strcat()` concatène des chaînes ; `strncat()` concatène en toute sécurité un nombre spécifié de caractères ; `strcmp()` compare des chaînes ; `strcspn()` trouve le premier caractère qui n'est pas dans un ensemble spécifié ; `strerror()` obtient le message d'erreur pour un code d'erreur ; `memchr()` trouve une valeur dans un bloc de mémoire ; et `strrev()` (non standard) inverse une chaîne. La maîtrise de ces fonctions est cruciale pour une programmation C efficace.

(github.com)

Développement fonctions de chaînes

Nerdlog : un visualiseur de journaux distant rapide et sans serveur

2025-04-21

Nerdlog : un visualiseur de journaux distant rapide et sans serveur

Nerdlog est un visualiseur de journaux TUI (interface utilisateur en texte) rapide, privilégiant l'accès distant, multi-hôte, avec histogramme temporel et sans serveur central. Inspiré par Graylog/Kibana, mais sans les lourdeurs, il nécessite une configuration minimale. Il interroge efficacement les journaux de plusieurs machines distantes simultanément, en filtrant par plage de temps et par motifs, et en affichant un histogramme temporel pour une analyse visuelle rapide. Principalement conçu pour lire les journaux système (/var/log/messages ou /var/log/syslog) d'un ou plusieurs hôtes distants, il est très efficace même avec des fichiers journaux volumineux (1 Go ou plus). Bien qu'il prenne en charge d'autres formats de journaux, sa fonctionnalité principale découle de la nécessité de surveiller efficacement les journaux de nombreuses instances de back-end de services web. Nerdlog se connecte via SSH, en maintenant les connexions inactives en arrière-plan. L'analyse des journaux se fait à distance, en ne téléchargeant que des données minimales par requête, et en utilisant la compression gzip pour l'efficacité de la bande passante. Il possède une interface en ligne de commande de type Vim et des raccourcis clavier pour une navigation et un contrôle intuitifs.

(github.com)

Développement journalisation distante

Ingénierie inverse de la machine virtuelle de TikTok : Décryptage de webmssdk.js

2025-04-21

Ingénierie inverse de la machine virtuelle de TikTok : Décryptage de webmssdk.js

Ce projet détaille l'ingénierie inverse de la machine virtuelle (VM) personnalisée de TikTok trouvée dans webmssdk.js. La VM est une partie essentielle de l'obfuscation et de la sécurité de TikTok. Le projet inclut des outils pour désobfusquer webmssdk.js, décompiler les instructions de la VM en code lisible, injecter un script pour remplacer webmssdk.js par la version désobfusquée et générer des URL signées pour les requêtes authentifiées (comme la publication de commentaires). L'auteur a surmonté des techniques d'obfuscation significatives, notamment la notation entre crochets et les appels de fonctions déguisés, pour désobfusquer et décompiler avec succès la VM, permettant finalement la génération de signatures pour les requêtes authentifiées.

(github.com)

Développement

Entraînement PyTorch instantané : échange à chaud des LLMs sans déchargement de la VRAM

2025-04-21

Entraînement PyTorch instantané : échange à chaud des LLMs sans déchargement de la VRAM

Les temps de chargement des grands modèles linguistiques peuvent ralentir considérablement le développement. Ce projet présente une solution d’échange à chaud pour le code d’entraînement PyTorch. En maintenant le modèle résident dans la VRAM via un processus d’arrière-plan, il permet un démarrage quasi instantané. Même après la sortie du script, le modèle reste chargé, prêt pour une utilisation immédiate lors de la prochaine exécution. Le débogage à distance et l’intégration de l’interface utilisateur Dear ImGui sont pris en charge, ce qui augmente l’efficacité du développeur. Il suffit de remplacer vos appels `from_pretrained` pour découvrir une exécution instantanée et un débogage facile.

(github.com)

Développement Échange à chaud

Invitations Récursives : Implémenter la Récursivité avec les LLMs

2025-04-20

Invitations Récursives : Implémenter la Récursivité avec les LLMs

Cet article explore une nouvelle approche pour implémenter la récursivité à l’aide de grands modèles de langage (LLMs). En créant une invitation récursive qui met à jour itérativement son propre état interne, l’auteur montre comment un LLM peut générer une séquence d’invitations convergeant vers une solution, reflétant le comportement des fonctions récursives dans le code. L’article utilise la suite de Fibonacci comme exemple, montrant comment une invitation récursive peut effectuer des calculs. Il discute également des défis tels que la gestion des imprécisions dans la sortie du LLM et l’exploitation de la base de connaissances existante du LLM, en établissant des parallèles avec la façon dont les humains effectuent le calcul mental en utilisant des règles algébriques et atomiques mémorisées. Le travail est lié à des recherches connexes telles que ReAct et ACT-R, et aborde des stratégies pour atténuer les erreurs dans les résultats générés par le LLM.

(github.com)

IA Récursivité Ingénierie des invitations

Tini : Un init minuscule mais valide pour les conteneurs

2025-04-20

Tini : Un init minuscule mais valide pour les conteneurs

Tini est l'init le plus simple que vous puissiez imaginer. Il ne fait que générer un seul processus enfant (Tini est conçu pour être exécuté dans un conteneur), attend sa sortie, récupère les processus zombies et effectue le transfert de signaux. L'utilisation de Tini présente plusieurs avantages : il vous protège des logiciels qui créent accidentellement des processus zombies ; il garantit que les gestionnaires de signaux par défaut fonctionnent ; et il est complètement transparent. Intégré à Docker 1.13 et versions ultérieures, il doit être installé manuellement pour les versions antérieures.

(github.com)

Développement conteneur processus zombies

← Previous 1 2 … 22 23 24 25 26 27 28 29 30 … 50 51 Next →