HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11567 articles Page 969/1157 Sans filtre

Five Years of Running a Systems Reading Group at Microsoft

J'ai lancé un groupe de lecture en 2021, quelques mois après mon arrivée chez Microsoft dans l'équipe Azure Databases, pour explorer les internes des bases de données et leurs liens avec d'autres domaines. Le format était simple et informel: chacun lit l'article par ses propres moyens, puis on se réunit pendant environ une heure pour en discuter. Au fil du temps, le groupe a élargi ses lectures au-delà des bases de données vers les systèmes de stockage, les hiérarchies mémoire et les protocoles de consensus. En 2024, nous avons introduit des séries guidées, étudié des sections du Red Book et accueilli des intervenants, ce qui a renforcé la continuité des discussions et conduit, en 2025, à son renommage en Microsoft Systems Reading Group. Pour 2026, le thème est les fondations des centres de données et les employés de Microsoft sont invités à nous rejoindre via aka.ms/msrg.

armaansood.com Resume pret HTTP 200 Commentaires

Intuitions for Tranformer Circuits

Cet article revisite le transformeur de style GPT et explore l’interprétation mécaniste pour comprendre pourquoi le modèle fonctionne, en s’appuyant sur Framework et ARENA afin d’éclairer les notions de mémoire résiduelle, d’attention, de circuits et de têtes d’induction. La mémoire résiduelle est présentée comme un espace vectoriel de haute dimension servant de mémoire partagée, où les composants lisent et écrivent en parallèle tout en s’organisant pour éviter d’écraser ce qui a été produit précédemment, et des analyses PCA montrent que près de 80% de la variation d’encodage réside dans environ 350 dimensions sur 768, tandis que l’encodage positionnel est expliqué par environ 5 directions. L’attention lit les indices de source en décomposant l’adresse en une partie token et une partie sous-espace, les sous-espaces étant sélectionnés par des scores de sous-espace appris et par les circuits QK et OV via les matrices W_Q, W_K, W_V et W_O, ce qui rend l’attention dépendante de l’entrée. Les circuits clés sont le circuit QK, bilinéaire, et le circuit OV, linéaire, qui décrivent le flux d’information et expliquent comment les têtes lisent et écrivent dans le résiduel selon les sous-espaces, avec des exemples issus des têtes de couche zéro et des têtes d’induction. Enfin, le texte souligne des limites et des questions ouvertes, comme l’absence d’orthogonalité parfaite des sous-espaces et les implications de la gestion mémoire et de possibles isolations de privilèges, tout en proposant que ce cadre mental serve d’entrée utile pour progresser en interprétation mécaniste.

www.connorjdavis.com Resume pret HTTP 200 Commentaires

MAUI Is Coming to Linux

Nous annonçons la première préversion du backend Avalonia pour .NET MAUI, qui permet de déployer des applications MAUI sur Linux et WebAssembly et marque une avancée par rapport à l’an passé. Cette initiative vise une cohérence multiplateforme en garantissant que les interfaces dessinées aient le même aspect sur toutes les plateformes, tout en offrant des options entre UI native et UI dessinée. Pour démarrer, créez une application .NET MAUI, ajoutez le paquet Avalonia.Controls.Maui.Desktop, ciblez net11.0 et intégrez UseAvaloniaApp dans le MauiBuilder. Avalonia 12 apporte de nouvelles API et contrôles de navigation qui comblent l’écart avec MAUI et permettent une personnalisation via les primitives Avalonia; les handlers s’exécutent sur toutes les plateformes de manière homogène puisqu’ils reposent sur l’architecture Avalonia. Des tests et projets comme Maui control gallery, AlohaAI et MyConference illustrent le déploiement multiplateforme, et des perspectives futures incluent Maui.Essentials sur Avalonia et l’interopérabilité avec WinUI en vue d’une arrivée générale de .NET 11.

avaloniaui.net Resume pret HTTP 200 Commentaires

Windows native app development is a mess

Je suis un passionné de Windows depuis mes débuts, quand Visual C++ 6 accompagnait les premiers livres et .NET prenait son envol. Pour nourrir ce penchant, j’ai développé Display Blackout afin de masquer mes écrans latéraux sur une configuration à trois moniteurs. Ce texte retrace l’évolution des frameworks Windows, du Win32 API à WinUI 3, en passant par MFC, WinForms, WPF, WinRT et UWP. Le choix de l’architecture avec Windows App SDK est complexe, entre C++ lean et interop lourd, ou C#/XAML avec des déployéments problématiques et des dépendances .NET. En conclusion, le développement natif est jugé en déclin et l’auteur privilégie le web, avec Electron ou Tauri, tout en reconnaissant Avalonia et Uno Platform comme alternatives mieux entretenues.

domenic.me Resume pret HTTP 200 Commentaires

GoGoGrandparent (YC S16) is hiring Back end Engineers

GoGoGrandparent est une startup rentable et en forte croissance, soutenue par Y Combinator, qui propose une plateforme numérique de soins pour aider les personnes âgées et handicapées à rester indépendantes et en sécurité à domicile. Le service adapte des APIs à la demande (Uber, Lyft, DoorDash, Instacart, etc.) en une expérience de conciergerie conçue pour les personnes ayant des défis cognitifs, moteurs ou visuels. L’équipe d’ingénierie est entièrement à distance, soudée et rapide, et elle travaille à livrer des fonctionnalités significatives chaque semaine avec une vraie ownership de l’architecture, de la fiabilité et de la direction produit. L’entreprise est entièrement à distance, avec une disponibilité de overlap de 4 heures ou plus avec le fuseau horaire américain, et propose une fourchette salariale de 80k à 160k dollars, en s’appuyant sur une stack back-end Node.js/TypeScript/MySQL et REST/GraphQL, et front-end Vue.js. Le texte souligne l’évolution démographique vers un nombre croissant de seniors et l’objectif d’offrir autonomie et impact positif à une base d’utilisateurs en expansion.

www.ycombinator.com Resume pret HTTP 200 Commentaires

A Copy-Paste Bug That Broke PSpice AES-256 Encryption

PSpice chiffre les modèles SPICE pour protéger l’IP des vendeurs, mais le schéma reste propriétaire et non documenté. Beaucoup de fournisseurs distribuent des modèles SPICE chiffrés PSpice, les verrouillant à un seul simulateur et bloquant l’usage dans NGSpice, Xyce ou PySpice. SpiceCrypt est une bibliothèque Python et un outil en ligne de commande qui déchiffre ces fichiers pour rétablir l’interopérabilité des modèles obtenus légalement. Le mode 4 dérive les clés à partir de bases internes et d’un fichier CSV, et une erreur place le g_desKey dans AES, réduisant l’espace clé effectif à 2^32; les clés imprimables du CSV abaissent encore le nombre de candidats. L’attaque exploite le préfixe connu dans le premier bloc chiffré pour tester les candidats et, une fois la clé utilisateur retrouvée, tous les fichiers chiffrés avec cette clé deviennent déchiffrables.

jtsylve.blog Resume pret HTTP 200 Commentaires

The way CTRL-C in Postgres CLI cancels queries is incredibly hack-y

Il existe plusieurs raisons de mettre en pause ou d’annuler une requête PostgreSQL, notamment si elle prend trop longtemps, si l’index nécessaire manque ou si les résultats ne sont plus utiles. Pour annuler une requête, le client ouvre une nouvelle connexion et envoie un CancelRequest, une instruction qui cible la connexion plutôt que la requête précise et qui s’appuie sur le couple PID et clé secrète fournis lors de l’établissement de la connexion. Le CancelRequest est envoyé en clair sur le réseau, même lorsque la requête initiale est protégée par TLS, et ce n’est rendu possible par libpq qu’à partir de Postgres 17. Depuis Postgres 17, libpq peut envoyer des CancelRequest chiffrés et certains drivers basés sur libpq les utilisent, mais psql n’envoie toujours pas ces messages chiffrés. Des mesures de sécurité sont recommandées, comme utiliser Postgres 18 avec min_protocol_version=3.2, employer un VPN et vérifier que les clients chiffrent leurs CancelRequests, avec des outils comme Elephantshark pour observer le trafic et faciliter les diagnostics.

neon.com Resume pret HTTP 200 Commentaires

Flash-MoE: Running a 397B Parameter Model on a Laptop

L’étude présente un moteur d’inférence en C/Metal capable d’exécuter un MoE de 397 milliards de paramètres sur un MacBook Pro avec 48 Go de RAM, produisant des sorties et des appels d’outils à plus de 4,4 tokens par seconde. Les poids de 209 Go sont lus en streaming depuis le SSD via une pipeline Metal, et seuls les K=4 experts actifs par couche sont chargés, sans cache personnalisé et en s’appuyant sur la gestion du système d’exploitation. L’architecture compte 60 couches, dont 45 GatedDeltaNet et 15 couches d’attention complètes, chaque couche disposant de 512 experts et activant quatre d’entre eux par jeton, avec une dimension cachée de 4096. Les techniques clés comprennent le streaming des experts, un noyau FMA optimisé pour la déquantisation en 4 bits, des kernels Metal pour les opérations mat-vec et l’attention fusionnée, ainsi que le pipeline GPU-CPU en CMD3. Les résultats montrent des configurations 4 bits et 2 bits avec des performances allant approximativement de 3,9 à 7,1 tok/s, et précisent que 4 bits est la configuration de production tandis que 2 bits peut rompre l’appel d’outils.

github.com Resume pret HTTP 200 Commentaires