SANA-WM, a 2.6B open-source world model for 1-minute 720p video
Resume indisponible pour cet article.
17 May 2026
06:01
Edition quotidienne
Lire vite. Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
17 May 2026
06:01
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
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
OpenAI and Government of Malta partner to roll out ChatGPT Plus to all citizens
Resume indisponible pour cet article.
17 May 2026
06:00
Why did Clovis toolmakers choose difficult quartz crystal?
Resume indisponible pour cet article.
17 May 2026
06:00
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
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
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.
17 May 2026
06:00
Hosting a website on an 8-bit microcontroller
L'auteur a utilisé un microcontrôleur AVR64DD32 bon marché pour héberger une page web et a présenté le projet comme une expérimentation. Comme l'Ethernet matériel est trop rapide et compliqué pour ce MCU, il a connecté l'appareil à Internet via SLIP sur un adaptateur série USB. Il a implémenté la pile IP de façon minimale en inversant les adresses source et destination et a développé une implémentation TCP maison, qui fonctionne mais contient encore quelques bugs. Le serveur HTTP renvoie une réponse codée en dur sur une seule URL et l'appareil est alimenté par le rail 5 V du dongle série avec une diode de protection et des voyants. Pour rendre la page accessible depuis le web malgré le NAT, il a utilisé un VPS et WireGuard pour établir un tunnel puis un proxy qui redirige les requêtes vers le microcontrôleur sous le chemin /mcu, et il critique la faible adoption d'IPv6.
17 May 2026
06:00
Zerostack – A Unix-inspired coding agent written in pure Rust
Resume indisponible pour cet article.