HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6954 articles Page 366/696 Sans filtre

22 Apr 2026

06:07

sawyer.dev Resume pret HTTP 200 Commentaires

My practitioner view of program analysis

Il y a dix ans l'auteur a commencé à étudier comment faciliter l'écriture de logiciels corrects en explorant les méthodes formelles et les systèmes de types. Il distingue entre le programme réel et le "Programme" mental partagé par les personnes impliquées, ce qui rend l'accord sur la correction difficile. Il introduit la notion de fossé sémantique pour décrire la perte d'information quand on formalise des idées en code. L'exécutable a un fort argument pour être source de vérité, mais la lecture du code seule ne suffit pas toujours à communiquer l'intention à tous. L'analyse statique est présentée comme un moyen d'interroger un programme sans l'exécuter et l'auteur insiste sur la nécessité d'une inspection collective pour garantir la correction.

22 Apr 2026

06:06

www.ycombinator.com Resume pret HTTP 200 Commentaires

Trellis AI (YC W24) Is hiring engineers to build self-improving agents

Trellis est une start-up issue du Stanford AI Lab qui développe des agents d'IA pour automatiser la saisie de documents, les autorisations préalables et les appels afin d'accélérer l'accès aux traitements médicaux. L'entreprise indique traiter des milliards de dollars de thérapies et servir des patients dans les cinquante États tout en convertissant des données cliniques non structurées en données structurées dans les dossiers électroniques. Le poste proposé est un rôle d'ingénierie produit full-stack à San Francisco avec une fourchette salariale annoncée de 100 000 à 225 000 USD et une participation en actions comprise entre 0,10 % et 1,50 %. Les responsabilités couvrent la conception de cadres d'agents pour la prise de décision en santé, le déploiement d'agents opérationnels 24/7 et le développement de systèmes d'IA prêts pour la production assortis d'une suite d'évaluation. Les compétences requises incluent le développement full-stack, la maîtrise de Python et Go, des bibliothèques ML/NLP comme PyTorch ou TensorFlow, la gestion de bases de données (notamment Postgres), l'infrastructure ML et les plateformes cloud, avec un plus pour les contributions open source.

22 Apr 2026

06:06

neugierig.org Resume pret HTTP 200 Commentaires

Theseus, a Static Windows Emulator

Après avoir ralenti le travail sur son projet précédent, l'auteur présente un nouvel émulateur Windows/x86 qui traduit statiquement les exécutables au lieu d'interpréter ou d'utiliser un JIT. Au lieu d'écrire un JIT, l'outil génère du code source qui modélise l'état du CPU (par exemple une structure regs) puis laisse un compilateur optimisant produire du code natif. Cette approche de traduction binaire statique et d'évaluation partielle réduit le coût d'exécution, facilite le débogage natif, et simplifie l'appel aux implémentations natives des API Windows. Les limites incluent les programmes qui génèrent du code à l'exécution, les flux de contrôle dynamiques difficiles à analyser, et des obstacles culturels ou juridiques pour distribuer des binaires traduits, mais l'auteur considère que l'assistance manuelle pour cibles précises peut suffire. L'auteur évoque aussi l'extension possible vers WebAssembly, des stratégies pour aligner les espaces mémoire entre couches, et la capacité à remplacer manuellement des portions de code pour corriger des bugs ou améliorer les performances.

22 Apr 2026

06:05

www.storybytes.com Resume pret HTTP 200 Commentaires

Clarus, Moofo, and Lackey

Susan Kare a créé de petites icônes et des caractères bitmap pour le Macintosh, dont un petit dessin de chien dans la fonte Cairo. Ce chien de Cairo fut agrandi et redessiné pour la boîte de dialogue Page Setup du LaserWriter, donnant naissance à une créature ambiguë maintenant appelée dogcow. Une plaisanterie interne et des débats sur son identité menèrent Mark Harlan et d'autres à populariser le terme dogcow et à diffuser des mémos faisant figurer son cri, un mélange de «Moo» et «Woof». La Tech Note de référence a officialisé des détails comme le nom Clarus, d'autres appellations secondaires et des consignes de dessin, tandis que badges, autocollants et conférences propulsèrent sa diffusion. La dogcow devint un symbole ludique chez Apple pour des logiciels expérimentaux ou innovants, incarnant une certaine attitude de créativité et de hacking.

22 Apr 2026

06:05

vidstudio.app Resume pret HTTP 200 Commentaires

Show HN: VidStudio, a browser based video editor that doesn't upload your files

La plateforme propose des outils de redimensionnement et de recadrage vidéo adaptés aux formats de réseaux sociaux comme YouTube, TikTok et Instagram. Elle permet également de couper et d'extraire des segments précis, de convertir en lot des fichiers en MP4 avec des paramètres d'encodage professionnels et de compresser les vidéos pour atteindre des tailles ciblées. Les fonctions audio incluent l'extraction, la conversion, le mixage et l'application d'effets pour traiter les pistes sonores séparément. On trouve des outils pour générer des miniatures, extraire des images, créer des storyboards et des aperçus animés, ainsi que pour ajouter des filigranes image ou texte avec positionnement, transparence et mouvement. Un éditeur vidéo multipiste avec recherche image par image, décodage WebCodecs et options pour ajouter, incruster ou animer du texte et des sous-titres complète l'offre.

22 Apr 2026

06:05

github.com Resume pret HTTP 200 Commentaires

Kuri – Zig based agent-browser alternative

Kuri est un outil écrit en Zig, distribué comme un unique binaire léger sans runtime Node.js, conçu pour l'automatisation de navigateurs et le crawling optimisés pour des boucles d'agents IA. Il propose quatre modes principaux : un serveur CDP pour Chrome (kuri), un fetcher autonome avec QuickJS (kuri-fetch), un navigateur terminal interactif (kuri-browse) et une CLI agentique pour scripts et tests de sécurité (kuri-agent). L'API HTTP expose plus de 40 endpoints pour navigation, snapshots d'accessibilité filtrés et token-optimisés, enregistrement et replay HAR, extraction de contenu, gestion de sessions et actions par références @eN. La conception privilégie l'économie de tokens et la fiabilité du rendu, avec un binaire de 464 KB, un démarrage froid d'environ 3 ms et une réduction d'environ 16 % des tokens par cycle sur l'exemple Google Flights par rapport à agent-browser. Kuri inclut des contremesures anti-détection automatisées, support proxy, fonctionnalités d'audit de sécurité et s'installe ou se compile facilement via script d'installation, gestionnaire bun/npm ou compilation Zig.

22 Apr 2026

06:04

farlow.dev Resume pret HTTP 200 Commentaires

Running a Minecraft Server and more on a 1960s UNIVAC Computer

L'auteur a porté un toolchain moderne pour exécuter des programmes complexes (émulateur NES, OCaml, serveur Minecraft, BASIC, jeux) sur un UNIVAC 1219B des années 1960 fonctionnant à 250 kHz avec seulement 90 KB de mémoire. Il décrit les contraintes matérielles singulières de la machine, notamment des mots de 18 bits, une arithmétique en complément à un avec zéros signés particuliers, peu de registres, mémoire bankée et une interface IO originale. Au lieu d'écrire un backend LLVM pour l'UNIVAC, il compile le code en RISC‑V et implémente un émulateur RISC‑V en assembleur UNIVAC, avec un émulateur Rust, un assembleur et un réencodage des instructions pour économiser l'espace. Pour garantir la correction et accélérer l'exécution, il a développé un important outillage (fuzzing différentiel, traceur pas-à-pas, macros OCaml, minimisation de tests), a appliqué des micro‑optimisations et des réencodages précomputationnels obtenant environ ×30 de vitesse. Après plusieurs visites au musée pour déboguer le matériel et la chaîne de chargement, l'équipe a réussi à faire tourner des démonstrations réelles (serveur web, rendu NES, art TTY par overstrike et une preuve de concept de connexion Minecraft) en remerciant les restaurateurs.

22 Apr 2026

06:04

arstechnica.com Resume pret HTTP 200 Commentaires

Global growth in solar "the largest ever observed for any source"

En 2025, la production solaire photovoltaïque a connu la plus forte augmentation absolue jamais observée hors années de rebond post‑choc économique, couvrant un quart de la hausse de la demande énergétique globale et plus de deux tiers de l'augmentation de la demande électrique. Le solaire a généré plus de 2 700 térawattheures l'an dernier — plus du double de sa production trois ans plus tôt — représentant désormais plus de 8 % de la production électrique mondiale, trente pays ayant installé au moins un gigawatt et le solaire devenant la première source par capacité de réseau. La croissance du solaire, avec l'hydroélectricité, le nucléaire, l'éolien et autres renouvelables, a permis aux sources sans carbone de croître plus vite que la demande en 2025 et de couvrir près de 60 % de la hausse globale de la demande énergétique. Les batteries ont été la technologie énergétique la plus dynamique, avec des ajouts de capacité en hausse de 40 % pour atteindre 110 GW en 2025 et une capacité installée totale multipliée par dix en cinq ans, facilitant l'intégration du solaire et réduisant le besoin de secours fossiles. Les combustibles fossiles ont peu évolué : le gaz naturel a augmenté d'environ 1 % surtout pour le chauffage, le charbon est resté quasi stable (+0,4 %), l'Union européenne est tombée sous les 10 % de charbon pour l'électricité, et la Chine, malgré des mises en service antérieures de centrales à charbon, a vu sa consommation charbonnière baisser grâce à d'importants investissements dans les renouvelables, la Chine ayant représenté 60 % de la croissance renouvelable mondiale.

22 Apr 2026

06:04

fortune.com Resume pret HTTP 200 Commentaires

FBI looks into dead or missing scientists tied to NASA, Blue Origin, SpaceX

Depuis 2022, au moins onze scientifiques et chercheurs américains liés à la défense nucléaire et spatiale et à des institutions comme la NASA, SpaceX, Blue Origin et plusieurs laboratoires fédéraux sont décédés ou ont disparu. Le comité de surveillance de la Chambre a adressé des lettres au FBI, au département de l'Énergie, au département de la Défense et à la direction de la NASA pour obtenir des informations et des briefings avant le 27 avril, invoquant des risques potentiels pour la sécurité nationale. La Maison Blanche a dit suivre le dossier et l'administration a déclaré qu'elle travaille avec les agences compétentes tandis que le FBI a confirmé qu'il enquête pour détecter d'éventuelles connexions, y compris l'ingérence d'acteurs étrangers. Les auteurs du rapport soulignent le contexte de privatisation des capacités de défense spatiale et des contrats importants accordés à SpaceX et Blue Origin, ainsi que des liens professionnels entre plusieurs victimes, ce qui alimente l'inquiétude. Les cas cités incluent des disparitions inexpliquées et des morts de scientifiques affiliés au JPL, à Los Alamos, au Caltech et à d'autres institutions, et des responsables et anciens enquêteurs estiment que la concentration de ces incidents mérite une analyse approfondie.