GPT 6.1 Sol: Near-Astra intelligence for a fifth of the price
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Testing WebGPU data layouts with Facet
L'auteur explique le problème de compatibilité des layouts entre structs Rust et WGSL quand on écrit des données de configuration pour des compute shaders GPU. Un exemple montre que mat3x3f en WGSL prend 48 octets à cause du padding par ligne (alignement sur vec4) alors que [[f32;3];3] en Rust occupe 36 octets, causant des décalages et des plantages GPU. Plutôt que d'ajouter des dépendances externes, l'auteur utilise naga pour parser le WGSL et facet pour la réflexion d'exécution afin d'écrire des tests unitaires qui comparent offsets et tailles entre le shader et la struct Rust. La fonction générique vérifie la taille globale (en traitant les tableaux dynamiques en queue), compare offsets et tailles de chaque champ, et assure que chaque membre WGSL a son équivalent Rust. Ces tests, dérivant facet uniquement en mode test, automatisent la détection des mismatches et permettent de garantir la correction du chargement des données CPU→GPU pour les nouveaux shaders.
How Delhi cut electricity loss from 50 to 5 percent
En 2002, Delhi connaissait des pannes fréquentes et des baisses de tension qui perturbaient la vie quotidienne et l'utilisation des appareils électriques. Les problèmes provenaient d'un réseau de distribution centenaire en mauvais état, de fortes pertes techniques aggravées par la consommation réactive et le vol d'électricité, ainsi que de compteurs défaillants et d'un faible recouvrement des factures. La réforme nationale (Electricity Act de 2003) et la privatisation partielle ont permis à des entreprises comme Tata Power et BSES de restructurer la distribution, former le personnel et instaurer des processus de responsabilité opérationnelle. Les opérateurs ont modernisé le réseau avec SCADA, banques de condensateurs, câbles isolés, transformateurs et compteurs numériques, tout en déployant des mesures commerciales et communautaires pour réduire le vol et améliorer les paiements. En conséquence, les pertes sont passées de plus de 50 % à environ 5–6 % d'ici 2026, la fiabilité a dépassé 99,9 %, la qualité de vie et l'activité économique se sont améliorées, et le modèle de Delhi peut inspirer d'autres régions malgré des défis persistants.
Show HN: Real-time Solar System with 526k asteroids and all tracked satellites
L'interface affiche un message de chargement. La souris permet de faire pivoter la vue en tirant et de zoomer avec la molette, et un clic ouvre la fiche et l'orbite d'un corps. Un double-clic lance un vol vers le corps sélectionné. Les touches WASD permettent de se déplacer, R et F gèrent la montée et la descente, Q et E ainsi que les flèches assurent la rotation, et la touche Shift augmente la vitesse. Cliquer sur le nom d'un groupe le met en surbrillance et l'icône en forme d'œil affiche les orbites.
America.gov
Résumé indisponible pour cet article.
NASA asked several former SR-71A staffers to help secret restart
NASA a retiré le SR-71A numéro de queue 844 de son piédestal à Edwards et l'a roulé dans le hangar de l'ancien navette pour inspection, selon des images et des témoignages. L'agence a approché plusieurs anciens ingénieurs et testeurs, dont Mike Relja et Tim Conners, pour participer à un projet clandestin visant à remettre l'appareil en vol, sans confirmation officielle. Les anciens techniciens soulignent des obstacles majeurs, notamment la corrosion et la contamination internes, des moteurs et pièces d'appoint qui n'ont pas été entretenus depuis des décennies, et la destruction en 2007 d'un stock de pièces de rechange. D'autres défis incluent l'absence d'équipements au sol spécialisés, l'approvisionnement en carburant et produits d'allumage spécifiques et le manque d'équipages et de maintenance formés, bien que des manuels opérationnels et des avions de musée offrent des pistes de solutions. Les responsables de la NASA évoquent une relance de la flotte X-plane pour des percées aérodynamiques, et les anciens estiment que la remise en vol est théoriquement possible si des ressources financières et logistiques substantielles sont allouées.
Vermont replacing power plants with home batteries
Un programme de Green Mountain Power installe des batteries domestiques en location pour protéger les foyers contre les coupures et offrir une alternative moins chère aux générateurs individuels. En agrégeant plus de 5 500 batteries domestiques, des panneaux solaires et d'autres dispositifs, GMP a constitué une centrale virtuelle devenue la plus grande source d'énergie du Vermont. Cette centrale virtuelle n'émet pas d'électricité elle-même mais orchestre la gestion de la demande, remplace en grande partie des centrales d'appoint fossiles et renforce la résilience du réseau. Le dispositif a permis des économies pour les clients et l'opérateur, mais se heurte encore à des incitations financières et des obstacles réglementaires au niveau national. GMP vise à étendre le stockage à tous ses clients et à intégrer les batteries de véhicules pour accroître significativement la capacité de sa centrale virtuelle d'ici 2034.
U.S. postal inspectors shut down website selling counterfeit postage labels
Les autorités fédérales ont saisi le domaine LabelsBank.com et fermé le site qui vendait des étiquettes d'affranchissement contrefaites. Les documents judiciaires accusent Faheem Akram, 33 ans, du Pakistan, d'avoir exploité ce site non autorisé vendant des étiquettes USPS contrefaites à prix fixe. Les enquêteurs estiment que plus de 5 000 clients ont acheté plus de 5,1 millions d'étiquettes contrefaites, entraînant plus de 126 millions de dollars de pertes pour l'USPS. Akram est poursuivi pour conspiration en vue de frauder les États-Unis, fabrication et vente de timbres contrefaits et fraude électronique. Les autorités ont précisé que ces accusations sont des allégations et que toute personne est présumée innocente jusqu'à preuve du contraire.
Responsible Release of AI-Generated Mathematics
Résumé indisponible pour cet article.
PSSA: A non-transformer language model written from scratch in Rust
Le modèle présenté est un petit modèle de langage récurrent écrit en Rust qui lit les tokens un par un, conserve une banque de souvenirs épisodiques et réécrit une partie de ses propres poids pendant l'exécution. Contrairement au transformeur qui recalcule les scores pour chaque paire de tokens et a un coût quadratique en longueur, ce modèle transporte un état de taille fixe en une passe gauche‑à‑droite et interroge une mémoire bornée, ce qui fait croître le coût linéairement. La couche combine une récurrence sélective de type state‑space (avec pas par canal), une lecture hyperbolique bornée aux quatre meilleurs emplacements conditionnée sur l'état, un gate par canal, un adaptateur faible rang et un MLP SiLU. Les écritures sont plastiques : un emplacement est inséré pour la nouveauté, un compteur réfractaire limite les réécritures contradictoires, et des mises à jour rapides sont consolidées dans la matrice de transition par une régression ridge en forme fermée. Aux échelles testées (≈1,5M paramètres sur 12,7M tokens) le prototype généralise mieux et apprend plus vite que le transformeur de référence, génère environ 12× plus rapidement sur le même CPU, et ses auteurs indiquent que des tests à plus grande échelle et davantage de compute sont nécessaires et bienvenus.