HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12026 articles Page 613/1203 Sans filtre

Making ast.walk 220x Faster

L'équipe de Reflex génère beaucoup de code Python par IA et a constaté que la compilation corrige les erreurs une par une, ce qui augmente fortement la latence. Ils ont créé un linter personnalisé pour appliquer des règles spécifiques mais ont rapidement rencontré des problèmes de performances en traitant de grandes quantités d'AST. Le diagnostic a montré que ast.walk et les générateurs (yield) étaient les goulots d'étranglement, ce qui a mené à des optimisations progressives comme l'élimination des générateurs et l'inlinage de fonctions. Pour aller plus loin ils ont translittéré le parcours en Rust via PyO3, itérant directement sur __dict__, évitant isinstance coûteux et mettant en place des caches mémoire pour les sous-classes d'AST. Ces changements cumulés ont permis d'accélérer le parcours d'AST d'environ 220x (jusqu'à ~99,5% d'amélioration), et le projet fast-walk contient des optimisations supplémentaires.

reflex.dev Resume pret HTTP 200 Commentaires

I admire Fabrice Bellard. He is almost certainly a better overall programmer

L'auteur admire Fabrice Bellard et le considère très probablement comme un programmeur globalement supérieur à lui. Un ingénieur français vivant à Paris a passé trente ans à écrire des logiciels dont dépend l'ensemble d'internet sans être largement connu. Il a développé des composants logiciels utilisés pour diffuser des vidéos sur des plateformes comme YouTube, Netflix et TikTok. Il a aussi écrit du code qui permet de faire fonctionner des environnements virtuels. Ses contributions sont massivement déployées en coulisses malgré l'absence de notoriété publique.

twitter.com Resume pret HTTP 200 Commentaires

An interview with an Apple emoji designer

L'auteur a obtenu le témoignage par courriel d'Ollie Wagner, l'un des premiers designers d'emoji chez Apple. Ollie raconte qu'il était stagiaire en 2008 et a repris le projet d'emoji initié par Angela Guzman en travaillant à partir d'un tableau fourni par l'opérateur SoftBank. Son processus consistait à rechercher des photos, dessiner chaque glyphe à la main dans Photoshop avec vecteurs et ombrages, puis soumettre les créations à SoftBank et à Steve Jobs pour approbation. Le travail visait à harmoniser des centaines de symboles dans le style Apple pour permettre à l'iPhone de concurrencer sur le marché japonais, sans que l'équipe n'anticipe l'impact culturel ultérieur des emoji. Après son stage il a conçu plus de 300 emoji, a participé au développement de l'iPad chez Apple et est aujourd'hui cofondateur de YAP Studios au Nouveau-Mexique.

shadycharacters.co.uk Resume pret HTTP 200 Commentaires

SubQ 1.1 Small

Les problèmes d'IA en entreprise exigent souvent de raisonner sur des artefacts complets comme des bases de code, des collections de documents, des contrats ou des rapports financiers. SubQ 1.1 Small utilise la Subquadratic Sparse Attention (SSA) pour supprimer la contrainte quadratique de l'attention et permettre le raisonnement direct sur des contextes très longs, avec une récupération quasi-parfaite jusqu'à 12 millions de tokens. Sur les benchmarks, le modèle atteint des scores élevés en recherche de faits enfouis (Needle-In-A-Haystack), 99,12 % sur RULER (128K) et des performances compétitives en connaissances et codage (GPQA Diamond 85,4 %, LiveCodeBench 89,7 % pass@4). SSA remplace l'attention dense O(n²) par une formulation parcimonieuse apprise qui, à 1M de tokens, nécessite 64,5× moins de calcul que l'attention dense et s'exécute 56× plus vite que FlashAttention-2 sur une couche d'attention. Le modèle a été entraîné par extension progressive du contexte et par un préentraînement continu sur environ mille milliards de tokens issus de livres, documents et dépôts de code, et sera d'abord déployé chez des partenaires de conception avant un déploiement plus large pour des cas d'usage tels que l'analyse financière, le droit des contrats et l'ingénierie logicielle.

subq.ai Resume pret HTTP 200 Commentaires

NLnet announces funding for 67 more open-source projects

Soixante-sept nouveaux projets ont reçu des subventions dans le cadre des fonds NGI Zero Commons Fund, NGI TALER et NGI Fediversity, sélectionnés lors d'appels de décembre 2025 et février 2026. Les initiatives soutiennent des travaux couvrant toute la pile technologique — du matériel libre et de la cryptographie quantique à des services hébergés, des navigateurs et systèmes d'exploitation aux protocoles réseau et outils pour la recherche et l'industrie. Parmi les pilotes, NGI TALER finance des intégrations et solutions de paiements préservant la vie privée tandis que NGI Fediversity soutient des plateformes d'hébergement et de portabilité de services comme Nocloud et Magic Nix VFS. Les projets incluent notamment des batteries à flux hybrides, des IP matérielles pour calculs vectoriels, des simulateurs GPU, des compilateurs et machines virtuelles sûrs, des améliorations d'accessibilité LaTeX, des outils pour ActivityPub, et des solutions pour la sécurité des chaînes logicielles et des réseaux. Tous les projets sont libres et open source, visent à renforcer le bien commun et l'autonomie numérique, et sont financés par la Commission européenne avec un soutien additionnel de la Suisse (SERI).

nlnet.nl Resume pret HTTP 200 Commentaires

Apple is about to make Hide My Email useless

Le 15 juin 2026, Apple a annoncé que Sign in with Apple et Hide My Email vont désormais émettre des alias sur le sous-domaine @private.icloud.com. Ce changement facilite le blocage massif des alias sans affecter les boîtes iCloud classiques. La modification réduit la protection offerte par l'anonymat plausible et le soutien d'Apple, ce qui devrait conduire de nombreux services à refuser ces adresses, comme ils le font pour les boîtes temporaires gratuites. L'auteur souhaite que cette information parvienne à des responsables chez Apple afin qu'ils revoient la décision. Les utilisateurs d'iCloud+ peuvent encore créer des alias sur @icloud.com avant la mise en place du changement, le taux de création étant d'au moins 30 alias par heure.

arseniyshestakov.com Resume pret HTTP 200 Commentaires

Frood, an Alpine Initramfs NAS (2024)

L'auteur exécute tout le système Alpine depuis un unique initramfs qui contient l'ensemble du système, ce qui permet de démarrer si le firmware retrouve l'image et de déployer en copiant un seul fichier. La configuration est entièrement déclarative dans un dépôt git et les fichiers sont simplement placés dans root/..., sans DSL propriétaire, ce qui rend la gestion et la lecture des scripts facile. L'image est construite avec alpine-make-rootfs en installant paquets et scripts (setup.sh), puis empaquetée en initramfs et assemblée en UKI pour le démarrage UEFI, ce qui permet aussi des tests en qemu. La persistance minimale (seed RNG et état Tailscale) est montée par UUID sur un périphérique USB, et des services supplémentaires comme un petit serveur Go sont inclus via les fichiers du squelette root et OpenRC. L'approche privilégie l'immuabilité et la simplicité avec peu de composants mobiles, mais pose encore la question de l'injection sécurisée des secrets; le projet est open source et l'auteur évoque YubiKey ou TPM comme pistes.

words.filippo.io Resume pret HTTP 200 Commentaires

Is Meta destroying its engineering organization?

Pendant deux décennies, Meta a construit une culture d'ingénierie axée sur la rapidité et l'impact, qui s'était ensuite stabilisée autour d'une infrastructure fiable, mais elle a récemment basculé vers une priorisation agressive de l'IA. La direction a imposé la collecte systématique des frappes et clics, réaffecté de 30 à 50 % des ingénieurs vers l'étiquetage de données et la RLHF, et annoncé des suppressions d'emplois imminentes tout en intégrant l'usage de tokens dans les évaluations de performance. Ces décisions ont provoqué un fort recul du moral, une course à l'optimisation des métriques (token‑maxxing), une augmentation des recherches d'emploi et des départs potentiels malgré des primes de rétention pour certains employés clés. L'usage intensif de code généré et revu par l'IA, combiné à l'appauvrissement des équipes d'infrastructure et de sécurité, a été lié à des incidents graves, notamment la prise de contrôle de comptes Instagram et la démission de cadres de sécurité. Des dirigeants comme Mark Zuckerberg et Alexandr Wang sont pointés comme instigateurs de la réorganisation, la direction tente désormais d'atténuer les dégâts mais le changement a affaibli la culture d'ingénierie et crée des opportunités d'embauche pour d'autres acteurs.

newsletter.pragmaticengineer.com Resume pret HTTP 200 Commentaires

Formal Methods and the Future of Programming

Pendant 25 ans, Jane Street était sceptique vis‑à‑vis des méthodes formelles car elles paraissaient trop coûteuses par rapport aux bénéfices pour la plupart des logiciels. L'émergence du codage agentique a modifié ce calcul en réduisant certains coûts d'utilisation des méthodes formelles et en élargissant l'accès à ces outils. Les agents produisent souvent du code complexe et rempli de bogues et créent un goulot d'étranglement de vérification que les méthodes formelles pourraient aider à atténuer. Les méthodes formelles offrent un retour universel utile aux agents, complémentaire aux tests et aux systèmes de types qui préservent des propriétés comme l'absence de data races. Jane Street estime être bien placée pour avancer sur ce sujet grâce au contrôle du langage utilisé, à une communauté prête à adopter des innovations et à l'intention de constituer une équipe dédiée.

blog.janestreet.com Resume pret HTTP 200 Commentaires

Mechanical Watch (2022)

Le texte explique le fonctionnement interne d'un mouvement de montre mécanique en détaillant les pièces et leur rôle dans la conversion d'énergie sans électronique. Il décrit la source d'énergie, le ressort moteur logé dans le barillet, ainsi que les dispositifs de remontage et de sécurité qui permettent d'emmagasiner et de libérer cette énergie. Le train d'engrenages multiplie et répartit la vitesse de rotation pour entraîner les aiguilles, tandis que l'échappement et la roue de balancier régulent la cadence par des impulsions régulières. Sont également présentés le keyless works permettant de remonter et de régler heure et date, le mécanisme d'affichage de la date et les protections comme l'antichoc et les pivots sur pierres précieuses lubrifiées. L'article conclut en rappelant la miniaturisation et la complexité des composants, ainsi que l'admiration pour l'ingénierie horlogère malgré une précision moindre que celle des montres électroniques.

ciechanow.ski Resume pret HTTP 200 Commentaires