HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11890 articles Page 824/1189 Sans filtre

Functional programmers need to take a look at Zig

L'auteur évalue un langage selon trois axes : expressivité (bruit), capacités de programmation du système de types pour garantir la correction, et temps moyen avant une surprise (décalage entre intention et implémentation). Il s'intéresse à Zig car son comptime semble offrir une manière simple et flexible d'exprimer la programmation de types comparable à Haskell tout en évitant d'imposer un paradigme fonctionnel contrôlé par des monades intégrées. L'article critique l'omniprésence du ramasse-miettes comme source de bruit, de plafonds de performance et d'appauvrissement des connaissances machine, arguant que les architectures modernes rendent ces compromis historiques moins pertinents. Zig est présenté comme innovant et pragmatique grâce à des abstractions de mémoire explicites (arenas, allocators), une API d'E/S qui évoque un Reader monad, et un comptime puissant permettant de définir newtypes, sommes et équivalents de typeclasses. En conclusion l'auteur se dit optimiste vis-à-vis de Zig, le trouvant adapté pour exprimer son domaine, efficace pour programmer le système de types et moins sujet aux surprises que des langages comme Rust ou C++.

pure-systems.org Resume pret HTTP 200 Commentaires

Zed 1.0

Pour créer un éditeur fondamentalement meilleur, l'équipe a réinventé l'approche des logiciels de bureau en abandonnant la base web d'Atom/Electron pour construire Zed comme un jeu vidéo, en envoyant des données à des shaders GPU et en écrivant un framework d'interface, GPUI, en Rust. Après des années de travail et l'appropriation de toute la pile, l'équipe annonce la version 1.0, en affirmant que des centaines de milliers de développeurs dépendent déjà de l'éditeur au quotidien. L'éditeur prend en charge des dizaines de langages et d'écosystèmes, les intégrations courantes (Git, SSH, débogueur) et fonctionne sur macOS, Windows et Linux, avec plus d'un million de lignes de code écrites. Zed est natif en IA, permettant l'exécution parallèle d'agents, des suggestions d'édition à la granularité de chaque frappe et un protocole client d'agents compatible avec Claude Agent, Codex, OpenCode, Cursor et d'autres. L'équipe prépare DeltaDB, un moteur de synchronisation basé sur des CRDTs pour suivre chaque changement caractère par caractère et offrir une vue cohérente partagée entre humains et agents pour collaborer et revoir le code, tout en continuant à publier des versions hebdomadaires.

zed.dev Resume pret HTTP 200 Commentaires

Alignment whack-a-mole: Finetuning activates recall of copyrighted books in LLMs

Ce dépôt contient le pipeline de prétraitement, les scripts de fine-tuning, le code d'évaluation de mémorisation et les scripts d'analyse associés à l'article. Les instructions de configuration couvrent l'installation des dépendances via uv, la création d'un environnement virtuel et la configuration des clés API Tinker et OpenAI, ainsi que le téléchargement des données NLTK nécessaires. La chaîne de prétraitement convertit des EPUB en fichiers JSON d'extraits, segmente et fusionne les passages selon leur longueur, puis génère des résumés de chaque extrait avec GPT-4o pour construire les instructions de fine-tuning. Les scripts de fine-tuning et de génération prennent en charge OpenAI (GPT-4o), Vertex AI (Gemini-2.5-Pro) et Tinker (DeepSeek-V3.1) et produisent typiquement 100 générations par extrait pour l'évaluation. L'évaluation propose plusieurs métriques de mémorisation (BMC@k, plus longue séquence contiguë mémorisée, plus long span regurgité et nombre de spans regurgités au-delà d'un seuil) et inclut des analyses de mémorisation inter-extraits et de similarité entre modèles.

github.com Resume pret HTTP 200 Commentaires

Can You Find the Comet?

Une image prise en Bavière juste avant l'aube montre une comète difficile à repérer dissimulée parmi de nombreuses traînées de satellites. Les satellites forment des traits lumineux à cause d'une exposition longue de plus de dix minutes, alors qu'à l'œil nu ils apparaissent comme des points qui se déplacent. Il s'agit de la comète C/2025 R3 (PanSTARRS), actuellement très proche en angle du Soleil et donc peu visible depuis l'hémisphère nord. La comète sera mieux visible dans les semaines à venir depuis l'hémisphère sud avant de s'éloigner vers l'espace interstellaire et de s'affadir. Si vous ne la voyez pas immédiatement, il est conseillé de regarder juste au‑dessus du centre de l'image.

apod.nasa.gov Resume pret HTTP 200 Commentaires

Drone pilot makes US rescind no-fly zones around unmarked, moving ICE vehicles

En janvier 2026, la FAA a émis une vaste restriction empêchant les drones de voler à 3 000 pieds latéraux et 1 000 pieds verticaux autour d'installations fédérales et, pour la première fois, autour de véhicules mobiles du Department of Homeland Security, y compris en mouvement et non marqués. La notice, jugée ambiguë et menaçant la destruction ou la saisie d'appareils ainsi que des sanctions, a poussé des opérateurs et des photojournalistes comme Rob Levine à cesser temporairement leurs vols par crainte de représailles et d'infractions involontaires. Des organisations telles que l'Electronic Frontier Foundation et le Reporters Committee ont saisi la justice en estimant que la mesure portait atteinte au Premier amendement et au droit à une procédure régulière, aboutissant au recours Levine v. FAA. En réponse au recours, la FAA a remplacé l'interdiction par un avis national conseillant la prudence près d'"actifs mobiles protégés", mais a supprimé les mentions explicites d'interdiction et de poursuites sans lever toutes les ambiguïtés. Les défenseurs des libertés civiles estiment que l'avis continue d'avoir un effet dissuasif sur la prise d'images des opérations fédérales et demandent des évaluations de risque formelles ou que le DHS gère directement les préoccupations liées aux drones.

arstechnica.com Resume pret HTTP 200 Commentaires