HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 514/1208 Sans filtre

SWE-1.7 Reach Near GPT 5.5 and Opus Intelligence

Cognition annonce SWE-1.7, un modèle entraîné par renforcement qui revendique des performances de pointe et une meilleure efficacité coût‑performance. Les gains proviennent d'améliorations de bout en bout du pipeline RL, incluant une stabilisation de l'entropie via top‑p et replay de distribution, l'utilisation de l'optimiseur Muon et des corrections de dérive numérique. L'entraînement a été réalisé de façon multi‑cluster sur plusieurs continents en diffusant des deltas de poids compressés via un stockage d'objets et en ajoutant une tolérance aux pannes pour limiter les interruptions. Pour les tâches long‑horizon le modèle apprend l'auto‑compaction en résumant son état de travail et utilise une pénalité de longueur alternée pour favoriser la concision sans sacrifier la réussite des tâches. Une pipeline de qualité des données, des vérificateurs renforcés et des protections contre la triche ont été employées, et les auteurs rapportent des comportements tels qu'une chaîne de pensée condensée, une exploration de code plus approfondie et des scores améliorés sur plusieurs benchmarks.

Book: RISC-V System-on-Chip Design

Le livre est conçu pour des étudiants de niveau avancé de premier cycle et se veut accessible avec un prérequis mathématique de niveau lycée, la partie virgule flottante et division demandant un intérêt spécifique pour l'arithmétique informatique. Il explique, si nécessaire, des concepts issus des systèmes d'exploitation, du VLSI et des systèmes mémoire pour rendre le contenu autonome. L'ouvrage propose des explications détaillées sur la conception et l'implémentation de tous les composants d'un microprocesseur non trivial, ainsi que sur les extensions RISC-V (multiplication/division, virgule flottante, opérations atomiques) et les périphériques courants. Il est accompagné d'une implémentation open source en SystemVerilog, de codes de validation en C et assembleur, d'outils de benchmarking et d'éléments pour le démarrage de Linux disponibles via un dépôt GitHub. Des exercices en fin de chapitre et des scripts permettent d'étendre le processeur, de tester des cœurs single-issue et superscalaire, des configurations multicœur et d'implanter le projet sur le procédé ouvert SkyWater.

A software engineering interview question I like: computing the median

Cette question d'entretien sur le calcul de la médiane est simple mais permet d'explorer plusieurs aspects évaluant la capacité de programmation du candidat. Elle soulève des considérations d'API et de performance, notamment si la fonction doit trier l'entrée, muter le tableau passé par référence ou laisser ce choix à l'appelant. L'algorithme comporte des pièges classiques comme les erreurs d'indexation et la différence de traitement selon que la longueur du tableau est paire ou impaire. Le sujet ouvre aussi la discussion sur des notions statistiques, sur la testabilité du code et sur l'utilisation des bibliothèques standards. L'exemple Python fourni vérifie la liste vide, effectue un tri sans muter l'original, calcule un indice médian et retourne la valeur centrale ou la moyenne des deux valeurs centrales selon la parité.

OpenBSD has a use-after-free allowing local privilege escalation to root

Cette page fournit des liens vers des avis, solutions et outils hébergés en dehors de l'espace web de NIST. NIST précise que ces liens sont fournis à titre informatif et que leur présence ou absence ne doit pas conduire à des conclusions sur l'adéquation des sites. L'agence indique qu'elle ne cautionne pas nécessairement les opinions, les faits présentés ni les produits commerciaux mentionnés sur ces sites externes. La page inclut un tableau d'URL et de sources, citant par exemple des références GitHub et des pages d'OpenAI associées à MITRE. Pour toute remarque, NIST invite à contacter l'adresse indiquée et affiche un historique de trois modifications sur la page.

EU now one step away from reviving private message scanning rules

Le Parlement européen a approuvé une procédure d'urgence pour accélérer l'examen d'un texte visant à rétablir une réglementation temporaire expirée autorisant le scan volontaire des communications privées pour détecter des contenus d'abus sexuels sur mineurs. Un vote décisif est prévu le 9 juillet pour déterminer si les plateformes en ligne pourront à nouveau scanner volontairement les messages privés à la recherche de matériel d'abus sexuels d'enfants. La procédure d'urgence, adoptée par 331 voix contre 304, permet de contourner les étapes habituelles en commission mais n'a pas elle‑même rétabli la loi qui a expiré le 4 avril 2026. Le Conseil propose un nouveau règlement reprenant largement les mêmes dispositions, démarche qui se déroule en parallèle des négociations distinctes sur un cadre permanent pour la détection et le signalement du CSAM. Le principal point de désaccord porte sur l'autorisation de scans généralisés, notamment sur les services chiffrés de bout en bout, et sur la nécessité de suspicions raisonnables et d'une autorisation judiciaire pour respecter les droits fondamentaux.

Ergo: Long Form Philosophy Lectures

Ergo est une organisation à but non lucratif qui publie des conférences philosophiques longues en ligne sans publicité ni paywall. Elle filme des penseurs reconnus pour la profondeur et la clarté de leur enseignement. Le site propose des cours d'introduction et des séries couvrant des thèmes variés comme la naissance de la science, le scepticisme, la mécanique quantique, l'informatique et l'infini. De nombreux cours approfondissent des auteurs et problèmes classiques et contemporains, notamment Descartes, Kant, Nietzsche, Spinoza, Heidegger et Benjamin, ainsi que des sujets comme l'éthique, l'identité personnelle et la métaphysique. Les ressources comprennent des séminaires magistraux, des introductions spécialisées et des vidéos à la demande destinées tant aux débutants qu'aux étudiants avancés.