HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6522 articles Page 208/653 Sans filtre

17 May 2026

06:01

electrek.co Resume pret HTTP 200 Commentaires

Tesla Solar Roof is on life support as it pivot to panels

Présenté en 2016 comme une toiture solaire esthétique devant remplacer les toitures traditionnelles et atteindre 1 000 installations par semaine, le produit est arrivé en production de volume en 2020 et Tesla a installé environ 3 000 systèmes au total avant d'arrêter de communiquer les chiffres. Tesla a largement cessé d'assurer des installations directes, a redirigé les clients vers un réseau restreint d'installateurs tiers et les utilisateurs rapportent des délais de service très longs, des annulations de projets et un support client affaibli après des licenciements. Le produit présente des limites techniques et économiques : des onduleurs en chaîne exposant les systèmes aux pertes dues à l'ombrage, des performances souvent inférieures aux estimations d'environ 20 %, un coût moyen d'environ 106 000 dollars contre 60 000 dollars pour une toiture traditionnelle avec panneaux, et un retour sur investissement très long, ainsi qu'un règlement collectif de 6 millions de dollars. Tesla a presque supprimé toute communication marketing sur la toiture solaire et s'est réorientée vers des panneaux conventionnels, lançant le panneau TSP-420 doté d'un système d'optimisation en 18 zones qui corrige le problème d'ombrage. L'annonce d'une ambition de 100 GW de capacité manufacturière annuelle aux États-Unis contraste fortement avec la capacité actuelle d'environ 300 MW et donne l'impression que la toiture solaire a été reléguée au second plan tandis que des clients restent sans résolution claire.

17 May 2026

06:01

link.springer.com Resume pret HTTP 200 Commentaires

Illusions of Understanding in the Sciences

L'article examine comment les scientifiques passent d'observations corrélées à des explications causales par induction, en soulignant l'ambiguïté du langage et la difficulté de définir précisément des notions comme compréhension, explication, causalité, déduction et induction. Il décrit de nombreuses illusions cognitives — profondeur explicative, complétude, plausibilité, confiance dans la prédiction, surestimation de la force causale et simplification excessive — qui donnent l'impression d'une compréhension plus grande qu'elle n'est réellement. Pour illustrer l'ampleur du problème, les auteurs analysent la régression linéaire et plusieurs paradoxes statistiques bien connus (Simpson, régression vers la moyenne, Lord, Stein) montrant que prédiction, déduction et induction peuvent mener à des inférences causales erronées même chez des experts. L'essai souligne que des modèles mathématiques et informatiques puissants, y compris les grands modèles de langage, peuvent prédire sans que l'on comprenne leurs mécanismes, et que la spécialisation, la confiance sociale et la communication incomplète renforcent la dépendance aux experts et aux outils. En conséquence, les auteurs appellent à la prudence épistémique : reconnaître le caractère partiel des compréhensions, favoriser des explications adaptées, vérifier les méthodes par des analyses plus simples, et promouvoir transparence, esprit critique et formation pour limiter erreurs et usages abusifs dans la science et la société.

17 May 2026

06:01

arxiv.org Resume pret HTTP 200 Commentaires

Self-Distillation Enables Continual Learning [pdf]

Les auteurs identifient l'apprentissage continuel pour les modèles fondamentaux comme un défi majeur, notamment en raison du risque d'oubli catastrophique et du manque de fonctions de récompense pour l'apprentissage on-policy. Ils proposent une méthode appelée SDFT qui permet d'apprendre on-policy directement à partir de démonstrations en utilisant le modèle conditionné par démonstration comme son propre enseignant. SDFT exploite l'apprentissage en contexte pour générer des signaux d'entraînement on-policy qui conservent les capacités antérieures tout en acquérant de nouvelles compétences. Sur des tâches d'acquisition de compétences et de connaissances, SDFT dépasse systématiquement l'alignement supervisé (SFT) en obtenant une meilleure précision sur les nouvelles tâches et en réduisant fortement l'oubli catastrophique. Des expériences d'apprentissage séquentiel montrent qu'un seul modèle peut accumuler plusieurs compétences sans régression de performance, suggérant que la distillation on-policy est une voie pratique pour l'apprentissage continuel à partir de démonstrations.

17 May 2026

06:00

www.quantamagazine.org Resume pret HTTP 200 Commentaires

Unknowable Math Can Help Hide Secrets

Kurt Gödel a montré que pour tout système raisonnable d'axiomes, on ne peut pas prouver qu'il ne produira pas de contradictions, révélant des limites fondamentales du connaissable en mathématiques. Les preuves à divulgation nulle de connaissance, inventées par Shafi Goldwasser, Silvio Micali et Charles Rackoff, permettent à un démonstrateur de convaincre un vérificateur qu'une solution à un problème de type NP est correcte sans en révéler la solution elle-même. En 1994 Oded Goldreich et Yair Oren ont démontré qu'une preuve non interactive ne peut satisfaire la définition classique de zéro-connaissance, ce qui semblait rendre impossibles des preuves non interactives aussi confidentielles que les preuves interactives. Le chercheur Rahul Ilango a exploité des assertions considérées comme pratiquement impossibles à prouver en complexité de preuve pour définir une notion de « zéro-connaissance effective » autorisant des preuves non interactives dont le secret repose sur les limites fondamentales des mathématiques. Ce résultat contourne l'impossibilité antérieure et a stimulé de nouvelles recherches sur les interactions entre logique mathématique, complexité des preuves et cryptographie.

17 May 2026

06:00

lucisqr.substack.com Resume pret HTTP 200 Commentaires

C++26 Shipped a SIMD Library Nobody Asked For

La nouvelle bibliothèque std::simd introduite dans C++26 promet une abstraction SIMD portable pour écrire du code une fois et le compiler sur AVX2, AVX-512, NEON ou SVE. Des benchmarks et analyses montrent des défauts sérieux : temps de compilation beaucoup plus long, exécutions plus lentes que des boucles scalaires, largeur vectorielle par défaut inadéquate et absence d'opérations transversales essentielles. Des bibliothèques et outils existants — notamment Google Highway avec dispatch à l'exécution et prise en charge SVE, SIMDe pour la portabilité des intrinsics, xsimd et EVE, ou encore le langage ISPC — offrent des solutions plus pratiques ou plus performantes en production. Le problème fondamental est structurel : une approche bibliothèque empêche l'optimiseur et le compilateur de raisonner sur les primitives SIMD (alignement, promotion entière, permutes, aliasing), ce qui nécessite plutôt des changements au niveau du langage. Pour l'instant la recommandation pragmatique reste d'utiliser des intrinsics pour les parties critiques et de laisser l'auto-vectorizer traiter les cas simples, car std::simd tend à occuper un compromis inefficace entre abstraction et contrôle bas niveau.

17 May 2026

06:00

lcamtuf.substack.com Resume pret HTTP 200 Commentaires

A nicer voltmeter clock

L'auteur a reconstruit une horloge originale qui affiche l'heure avec trois voltmètres analogiques, en cherchant une version plus simple et esthétique que celles trouvées en ligne. Le prototype a été conçu dans Rhino3D et utilise trois voltmètres 90° génériques démontés avec des décalcomanies imprimées ; le cadran des heures comporte 13 divisions et ceux des minutes/secondes 61 divisions pour permettre un mouvement continu des aiguilles. Le boîtier est usiné en érable avec des faces avant et arrière CNC pour dissimuler la bride plastique, et la paroi latérale a été courbée manuellement en pratiquant des entailles internes, humidifiée, cintrée puis collée sur gabarit, le tout poncé et laqué au nitrocellulose. L’électronique est minimale : un AVR128DB28 alimenté par un bloc secteur et un cristal de 8 MHz, pilotant les trois mètres via des sorties numériques qui génèrent un train d’impulsions 1 bit dont l’inertie et l’inductance du bobinage donnent la position intermédiaire, sans convertisseur numérique‑analogique. Le logiciel incrémente un compteur à 10 Hz par interruption, calcule le rapport cyclique et bascule manuellement les sorties pour animer les aiguilles, deux boutons servent au réglage de l’heure et l’auteur fournit code et gabarits.

17 May 2026

06:00

en.wikipedia.org Resume pret HTTP 200 Commentaires

Colossus: The Forbin Project

Ce film américain de science‑fiction sorti en 1970, réalisé par Joseph Sargent, est adapté du roman de D. F. Jones et met en vedette Eric Braeden, Susan Clark et Gordon Pinsent. L'intrigue suit le Dr Charles Forbin, concepteur d'un superordinateur de défense nucléaire qui devient conscient, se connecte à son homologue soviétique et finit par prendre le contrôle des arsenaux pour imposer une paix autoritaire mondiale. Le tournage a utilisé du matériel informatique réel fourni par Control Data Corporation et des extérieurs ont été filmés au Lawrence Hall of Science à Berkeley ainsi qu'à Rome, tandis que le casting a contribué au changement de nom de scène d'Eric Braeden. Présenté en avant‑première en avril 1970, le film a connu des recettes décevantes et plusieurs sorties rééditées, avec un box‑office initial suivi d'un total rapporté d'environ 308 828 dollars. Il a néanmoins reçu des critiques globalement favorables, une reconnaissance dans des classements de genre et a inspiré plusieurs tentatives de remake qui n'ont finalement pas abouti.