HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

Les meilleurs longs formats de Hacker News, relus plus calmement.

11978 articles Page 338/1198 Sans filtre

Hax – a minimalist, terminal-native coding agent written in C

Le programme est un seul binaire natif en C avec peu de dépendances, démarre instantanément et ne consomme que quelques mégaoctets de mémoire. Les modèles locaux sont pris en charge en priorité avec découverte automatique des modèles et des environnements d'exécution, sans bloc de configuration fournisseur personnalisé pour l'installation par défaut. L'outil respecte le terminal en affichant du Markdown en streaming et les sorties d'outils en direct avec reflow et redessin minimal, tout en préservant le scrollback natif. Il fournit des fonctions d'inspection détaillées (transcription des échanges et trace du protocole) et prend en charge de nombreux fournisseurs et backends, notamment OpenAI, Anthropic, OpenRouter et llama.cpp. Conçu pour les développeurs en terminal, il suit les conventions Unix (chemins XDG, fichiers en texte brut) et s'installe via Homebrew, téléchargement des binaires ou compilation depuis la source, avec des commandes pour l'usage interactif, le mode one-shot et la reprise de sessions.

usehax.dev Resume pret HTTP 200 Commentaires

Program images and portable Scheme back ends for Jolt

L'article décrit deux nouveautés de Jolt : la capacité de sérialiser des images de programme à la manière du Common Lisp et Smalltalk, et une couche Scheme portable découplée du runtime Chez. La fonctionnalité d'image permet de dumper l'état entier du programme (dump-world! ou image/dump!) pour l'examiner ensuite localement dans un REPL, ce qui donne accès aux structures, aux métadonnées et aux fonctions réelles afin de déboguer sans dépendre de journaux prédéfinis. Les ressources non sérialisables sont écrites par défaut comme des stubs réenregistrables via des résolveurs (image/register-stub-resolver!), la lecture vérifie la compatibilité de l'image et certaines closures liées à des constantes compilées ne peuvent pas être restaurées. Le refactoring a séparé le compilateur en trois couches (un noyau Scheme portable, un contrat d'adaptateur exposant des points sa-* avec des niveaux de capacité, et des fichiers propres à chaque cible), ce qui a permis un port vers Gambit pour obtenir une version JavaScript exécutable dans le navigateur. Ces changements ouvrent des usages pratiques — collaboration et partage d'états reproductibles, sessions durables pour applications desktop, et déploiement sur divers hôtes — en garantissant que le même langage Clojure peut tourner sur plusieurs runtimes aux capacités déclarées.

yogthos.net Resume pret HTTP 200 Commentaires

Glaciers on the Climate Dashboard

Les glaciers stockent de l'eau et leur fonte saisonnière alimente les besoins humains, de sorte que leur disparition réduit la disponibilité en eau pendant les périodes sèches. Depuis au moins les trente dernières années de mesures détaillées, le bilan de masse des glaciers est globalement négatif, avec une perte cumulative d'environ 20 mètres d'équivalent‑eau depuis 1976 et un recul entamé au XIXe siècle. Le bilan de masse est mesuré par des techniques de terrain comme les piquets, les sondages et l'analyse des couches de neige, complétées par des observations spatiales et gravimétriques telles que le radar, l'imagerie optique et les missions GRACE. Les variations de masse résultent de facteurs climatiques et locaux — température, précipitations, ensoleillement et albédo, conditions océaniques et modifications de la lubrification basale — qui diffèrent selon chaque glacier. Les évaluations scientifiques, notamment le GIEC AR5, concluent avec une grande confiance qu'une part substantielle de la perte de masse des glaciers est probablement liée à l'activité humaine, entraînant une élévation du niveau de la mer et des impacts pour les communautés côtières.

climate.metoffice.cloud Resume pret HTTP 200 Commentaires

Waits: Arthur Samuel's Checkers

Arthur Samuel, ingénieur et chercheur, a commencé sa carrière sur les tubes à vide puis devint professeur à l'université de l'Illinois en 1946. Il conçut un projet pour construire un ordinateur destiné à exécuter un programme de dames mais partit pour IBM en 1949 avant d'achever le matériel et le logiciel. Chez IBM il développa un programme de dames écrit d'abord en code machine pour les ordinateurs IBM 70x, puis adapté à l'IBM 704 en 1954, où il introduisit un mécanisme d'apprentissage. Démontré à la télévision en 1956, son programme utilisa des techniques comme minimax, élagage alpha-bêta et apprentissage par mémorisation, et put parfois rivaliser avec des joueurs experts, contribuant aux débuts de l'IA. Après sa retraite d'IBM en 1966 il rejoignit le SAIL, porta le programme sur PDP-10, disputa des parties contre un programme de Duke en 1976 et adapta une version limitée pour la console VideoBrain en 1977.

timereshared.com Resume pret HTTP 200 Commentaires