HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11707 articles Page 206/1171 Sans filtre

GPT-6 Astra in code review: Gains, privacy, and cost

L'évaluation montre qu'Astra a détecté environ 4 % de bogues en plus que GPT‑5.6 Sol et 22 % de plus qu'Opus 5 en termes de couverture de bogues actionnables. Les gains d'Astra sont particulièrement marqués sur les revues trans‑fichiers complexes, avec une amélioration d'environ 20 % par rapport à Sol et 33 % par rapport à Opus 5, ce qui suggère une meilleure connexion des informations dispersées dans le code. Astra dispose d'une grande fenêtre de contexte qui facilite l'identification et la mise en relation des éléments pertinents, mais les résultats restent préliminaires et n'établissent pas que le contexte seul est la cause ni qu'ils se produiront pour chaque revue. Sur le plan économique, Astra a des tarifs publics élevés (10 $/M tokens en entrée et 50 $/M en sortie) et peut coûter plusieurs fois plus par tâche que des modèles moins puissants, de sorte que le coût total par résultat utile doit être mesuré sur des cas réels. Des applications transférables sont proposées (synthèse de recherche, enquêtes opérationnelles, analyse de spécifications, vérification de documents et tableurs) et la protection des données est soulignée, OpenAI offrant la non‑rétention pour certains clients tandis qu'Anthropic conserve par défaut 30 jours sauf options d'entreprise.

www.coderabbit.ai Resume pret HTTP 200 Commentaires

Show HN: TERMy – A fast terminal assistant that does not use LLMs

L'auteur, connu pour le protocole PJON récemment mis en silicium par l'ETH Zurich, a exploré la création d'un assistant terminal local pour automatiser des tâches simples. Il a d'abord tenté d'entraîner des modèles Transformer sur un PC modeste, mais les modèles de 100–200M paramètres produisaient des réponses incohérentes, répétitives et demandaient un entraînement long et coûteux. Il a ensuite adopté une approche déterministe sans embeddings ni apprentissage automatique, définissant le format de données NDF 0.0 avec templates, tags, variables et un système de permissions pour encadrer les actions. Il a implémenté FlintParser et FlintNPC en Python et JavaScript (environ 1000 lignes) avec une pipeline allant du filtrage de bruit au matching probabiliste, permettant un assistant léger et exécutable même sur du matériel contraint. Il propose également un framework serveur et une interface CLI pour créer et partager ces agents locaux exécutables sur CPU faible, capables de s'intégrer à des services comme Copilot, tout en signalant que le projet est en version préliminaire et nécessite des améliorations de sécurité.

github.com Resume pret HTTP 200 Commentaires

Decompiler Explorer

Il s'agit d'une interface permettant de téléverser un fichier avec une limite de 2 Mo. Le texte précise que les fichiers binaires téléversés sont conservés. Une section nommée "Samples" propose plusieurs exemples pour illustrer l'utilisation de l'outil. Les exemples mentionnent divers outils d'ingénierie inverse comme angr, BinaryNinja, Ghidra, Hex-Rays, RetDec et Snowman. L'organisation suggère que chaque exemple est présenté séparément, vraisemblablement pour sélection ou consultation.

dogbolt.org Resume pret HTTP 200 Commentaires

IBM Bob

Bob est un assistant IA intégré au code qui travaille aux côtés des développeurs pour accélérer la création de logiciels de qualité. Avec la fonctionnalité « Literate Coding », il transforme des instructions en langage naturel en implémentations directement dans le contexte du code sans changer d'outil. La plateforme suit et mesure l'impact des contributions de Bob sur le cycle de livraison logiciel grâce à des analyses appelées Bobalytics. Bob permet de se connecter depuis l'IDE à l'écosystème IBM et à des outils comme Red Hat et Instana pour réduire les changements de contexte et apporter architecture, sécurité et supervision. Des retours de développeurs sont mentionnés pour illustrer l'expérience utilisateur et l'adoption de l'outil.

bob.ibm.com Resume pret HTTP 200 Commentaires

An open DNS recursive service for free security and high privacy

Quad9 remplace le serveur DNS par défaut et filtre les résolutions de noms pour bloquer l'accès aux domaines associés à des logiciels malveillants, au phishing, au spyware et aux botnets. Le service s'appuie sur des sources de renseignement sur les menaces et un réseau mondial de résolveurs pour prendre des décisions en temps réel. Quad9 affirme ne jamais enregistrer les adresses IP des utilisateurs, propose des connexions chiffrées lorsque possible et déclare être conçu pour respecter le RGPD. L'utilisation est gratuite, sans inscription ni collecte de données personnelles, et la configuration peut se faire sur un appareil individuel ou au niveau d'un routeur pour protéger les appareils IoT. L'organisation fonctionne comme une fondation à but non lucratif soutenue par des subventions et des partenariats, et elle sollicite des dons pour financer ses opérations.

quad9.net Resume pret HTTP 200 Commentaires

Fermat's Last Theorem in Lean 4

Ce dépôt contient une preuve complète et vérifiée par machine de Fermat pour n ≥ 3 formalisée en Lean 4 et construite sur Mathlib. La preuve est exprimée avec les naturels intégrés de Lean et ne dépend que des trois axiomes standard de Lean (propext, Classical.choice, Quot.sound), sans sorry ni axiomes ajoutés. La vérification a combiné une construction complète via lake et Mathlib, un contrôle par comparator confirmant l’identité avec l’énoncé de référence, et une relecture indépendante par un second noyau (nanoda). Un dossier html fournit des pages statiques navigables hors ligne expliquant la route de la preuve, avec PROOF-PATH.md reliant chaque étape au théorème Lean correspondant. Les sources ont été produites par agents IA sur du code open source, la compilation et les vérifications exigent des ressources matérielles importantes, et le projet est publié sous licence Apache‑2.0 avec indications d’attribution.

github.com Resume pret HTTP 200 Commentaires

The Highest Point in the Netherlands

Après vingt-cinq ans chez Cisco, il a été licencié lors d'une procédure optimisée et standardisée qui lui est apparue déshumanisante. Il rapporte avoir été progressivement marginalisé et que la perte du poste a réveillé des blessures d'enfance liées à sa valeur personnelle et à son identité professionnelle. Il qualifie la pratique récurrente des suppressions de postes de « dépopulation sans discrimination », soulignant la vigilance permanente et l'exclusion sociale qui en résultaient. Après des tentatives classiques d'accompagnement et l'écriture d'un billet, il a suivi un séjour expérientiel aux truffes aux Pays-Bas qui l'a aidé à cultiver bienveillance et acceptation envers lui-même. Il a trouvé une nouvelle activité professionnelle dispersée dans l'industrie, conserve une certaine amertume mais travaille à prendre de la distance et réclame mieux de la régulation et de la bienveillance sociale.

ipv6.hanazo.no Resume pret HTTP 200 Commentaires