Advertise in ChatGPT
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Original Apollo 11 Guidance Computer source code for command and lunar modules
Le dépôt contient la transcription du code source original de l'ordinateur de guidage Apollo pour le module de commande (Comanche055) et le module lunaire (Luminary099). Les sources ont été numérisées et adaptées à partir d'images en provenance du MIT Museum par Virtual AGC, avec la digitalisation effectuée par Paul Fjeld et organisée par Deborah Douglas. Le code est mis dans le domaine public et le dépôt invite les contributions pour corriger ou compléter les transcriptions par rapport aux scans originaux. Des instructions indiquent comment compiler via le projet Virtual AGC, l'assembleur utilisé est yaYUL, et les contacts ainsi que le site web (Ron Burkey, www.ibiblio.org/apollo) sont fournis. Le corpus inclut les révisions Comanche055 et Luminary099 et des documents d'approbation datés de 1969 signés par des responsables tels que Margaret H. Hamilton et d'autres directeurs du programme.
Kimi K3: second only to Fable 5 on AA-Briefcase
La semaine dernière, Moonshot AI a publié Kimi K3, un modèle de 2,8 billions de paramètres qui obtient 57 sur l'Artificial Analysis Intelligence Index, comparable à Opus 4.8 et GPT-5.5. Sur le benchmark propriétaire AA-Briefcase pour travaux de connaissance agentique, Kimi K3 atteint un Elo de 1543, soit +727 par rapport à Kimi K2.6 et le deuxième meilleur score derrière Claude Fable 5. Le modèle affiche de solides performances objectives et analytiques avec un taux de réussite au rubric de 51 % et un Elo analytique de 1754, tandis que la qualité de présentation est relativement plus faible (Elo de présentation 1471). Le coût moyen par tâche est élevé (environ 10,57 $) en raison des tarifs par million de tokens, d'une forte utilisation de tokens de sortie (120k par tâche) et d'un grand nombre d'échanges (83 tours), avec une remise de 90 % pour les tokens en cache. La durée moyenne par tâche est d'environ 56,4 minutes, nettement supérieure à celle de concurrents comme Claude Fable 5 et Grok 4.5, ce qui rend les temps de traitement parmi les plus longs observés sur AA-Briefcase.
LG to ban residential proxies from smart TV apps
La société de sécurité Spur a relevé que plus de 42 % des applications téléchargeables sur les téléviseurs LG sous webOS intègrent des SDK de proxy résidentiel, et plus d'un quart des apps pour le système Tizen de Samsung présentent des composants similaires. LG Electronics a annoncé qu'elle demandait aux développeurs de supprimer l'option de proxy résidentiel de leurs applications sur la plateforme webOS et que les applications non conformes seraient suspendues. Des développeurs intègrent ces SDK pour monétiser leurs apps en louant les appareils comme nœuds de proxy via des fournisseurs tels que Bright Data, présents notamment dans des jeux, des économiseurs d'écran et des utilitaires de fichiers. Les fournisseurs de proxies affirment mener des contrôles clients et des mesures techniques pour limiter les risques, mais Spur souligne l'absence de transparence et de contrôle continu pour des appareils grand public et l'insuffisance d'un simple consentement ponctuel. Par ailleurs, LG a été critiquée pour l'installation automatique via Windows Update d'une application promouvant des abonnements McAfee sur certains moniteurs LCD haut de gamme.
Kimi K3 Is Competitive with Fable; Kimi K3 and Fable Is SoTA
Une étude de ~1 030 tâches agentiques a comparé un modèle open (K3) et un modèle fermé (Fable) sur cinq familles de tâches : SWE, terminal, algorithmique, multi-langue et légal. En routage oracle (choix du modèle le moins cher correct), la combinaison a atteint 93 % de précision et K3 a été sélectionné pour 72–96 % des tâches. K3 s'est révélé systématiquement plus économique dans les cinq familles, permettant jusqu'à ~50x de réduction de coût sur les longues boucles agentiques grâce au pricing des tokens et au caching des prompts. Les deux modèles sont proches en qualité globale mais se spécialisent selon le domaine, Fable performe mieux sur la largeur multi-langage tandis que K3 excelle sur le travail terminal, la cryptographie et certains outils de développement. La recommandation pratique est d’utiliser un modèle open peu coûteux comme base et un routeur adapté pour envoyer au modèle premium les tâches où il apporte un gain de qualité.
OpenAI and Hugging Face address security incident during model evaluation
Résumé indisponible pour cet article.
Hyprland 0.55 announced the switch to Lua for its config files
Résumé indisponible pour cet article.
Firefox 153 available with support for Vulkan video decoding, JPEG-XL
La version 153 de Firefox a été publiée en tant que nouvelle Extended Support Release destinée aux entreprises, établissements scolaires et autres organisations recherchant une stabilité à long terme. Cette mise à jour introduit un support initial du décodage vidéo Vulkan, offrant une interface moderne et inter-vendeurs pour l'accélération vidéo, en particulier pour les environnements Linux où VA-API manque parfois de support officiel. Cela vise à pallier les limites de VA-API, notamment l'absence de prise en charge native par certains pilotes NVIDIA sans solutions tierces, et le manque de compatibilité de certains pilotes embarqués. La version apporte aussi plusieurs améliorations liées aux PDF, l'activation progressive du format JPEG-XL en expérimentation et la prise en charge de la lecture vidéo HDR sous Windows. Les fichiers binaires de la publication sont disponibles en téléchargement sur les serveurs FTP de Mozilla.
OpenCircuitX
Il s'agit d'une plateforme EDA libre et open-source pour la conception numérique en VHDL et Verilog qui regroupe un éditeur HDL, un canevas de circuits, une vue RTL, un visualiseur d'ondes et toute une chaîne d'outils FPGA dans une seule fenêtre. La cible principale est la conception FPGA (iCE40, ECP5) plutôt que les flux ASIC, et l'outil vise ingénieurs hardware, étudiants et hobbyists. Parmi les fonctionnalités on trouve coloration syntaxique, complétion et navigation de code, simulation via GHDL/Icarus/Verilator, visualisation VCD intégrée, éditeur visuel de portes avec export VHDL/Verilog, et flux de synthèse/suivi avec Yosys et nextpnr. Des builds précompilés existent pour Windows 10/11, tandis que Linux et macOS demandent de compiler depuis les sources pour l'instant, avec des dépendances listées comme wxWidgets, CMake et compilateurs appropriés. Le projet est distribué sous licence MIT, offre un système de plugins natifs, encourage les contributions via forks et pull requests, et indique que les tests et la programmation matérielle restent partiellement non vérifiés sur certaines plateformes.
ECC and DDR5
Les codes de Hamming, avec R bits de redondance, corrigent les erreurs d'un seul bit et détectent les erreurs sur deux bits et sont couramment utilisés dans la mémoire ECC pour les largeurs de bus typiques (64/72 bits). Les RDIMM utilisent un registre tampon qui permet des DIMM plus grands et un plus grand nombre de DIMM par système et sont souvent associés à l'ECC en environnement serveur, tandis que les UDIMM sont non tamponnés et dépourvus d'ECC dans la plupart des systèmes grand public. Le Chipkill, ou ECC avancée, protège contre la défaillance d'une puce DRAM entière, ce que les codes de Hamming de base ne gèrent pas forcément selon la configuration des puces sur le DIMM. La DDR5 introduit une ECC sur puce et des sous-canaux (variants EC4 et EC8) qui compliquent la couverture d'erreurs de bout en bout et la compatibilité, avec des inquiétudes sur l'interaction possible entre l'ECC sur puce et l'ECC de la carte mère. Des incidents réels et des études montrent que l'ECC réduit la corruption de données et le temps perdu, et l'auteur préconise une adoption plus large, des normes clarifiées et des mesures fiscales ou réglementaires pour favoriser la mémoire ECC complète.