HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11978 articles Page 325/1198 Sans filtre

Bede Liu, a digital signal processing pioneer, has died

Bede Liu est décédé le 7 mai à l'âge de 91 ans. Professeur de génie électrique à Princeton pendant plus de cinquante ans, il a présidé le département de génie électrique et informatique de 1994 à 1997. Considéré comme l'un des fondateurs du traitement numérique du signal, ses recherches ont facilité le passage de l'analogique au numérique et permis le développement de processeurs numériques basse consommation utilisés dans les téléphones portables et la vidéo en continu. Auteur de 250 articles, titulaire de 12 brevets et co-auteur du manuel de référence Digital Signal Processing: Theory, Design, and Implementation, il a encadré 53 doctorants, dont plusieurs ont occupé des postes de direction dans l'industrie et l'académie. Dans les années 2000, il s'est intéressé à l'intégrité des médias et à la protection des droits d'auteur par le tatouage numérique, et il a été membre de plusieurs académies et lauréat de distinctions, notamment la médaille Jack S. Kilby de l'IEEE en 2018.

spectrum.ieee.org Resume pret HTTP 200 Commentaires

Government sponsored study on alcohol doesn't stand up to scrutiny: Nassim Taleb

L'étude commandée par le gouvernement affirme l'absence d'effet protecteur de faibles consommations d'alcool et présente des estimations de risque cumulatif atteignant environ 4% à 14 verres par semaine. L'auteur du texte signale des intervalles de confiance asymétriques et des valeurs de risque négatives incompatibles avec des distributions usuelles, ainsi qu'un manque d'explication sur l'utilisation éventuelle de simulations de Monte Carlo. La somme non pondérée des risques par tranche d'âge et l'intervalle de confiance agrégé, plus serré que la somme des sous-intervalles, laissent entendre une propagation d'incertitude dépendante mal documentée et une structure de corrélation inconnue. Une tranche d'âge (>70 ans) à forte erreur standard semble dominer le résultat global, avec des problèmes potentiels de rappel d'exposition, de filtration par survie et d'attribution des causes de décès, sans analyses de sensibilité ou de robustesse présentées. Au total, l'auteur considère que la documentation méthodologique est insuffisante et que les résultats ne peuvent être considérés comme définitifs pour modifier des recommandations de consommation d'alcool.

nntaleb.substack.com Resume pret HTTP 200 Commentaires

An image can overflow

Les éléments img sont des "replaced elements" qui agissent à la fois comme conteneurs HTML et comme contenu image, ce qui implique deux boîtes et des dimensions distinctes. Les navigateurs appliquent par défaut overflow: clip sur les images, mais des propriétés comme object-fit, object-position et border-radius peuvent provoquer un débordement visible du contenu image. object-fit: cover recadre l'image en conservant son ratio, object-fit: none empêche le redimensionnement du contenu et object-fit: fill l'ajuste toujours à la boîte de l'élément. En jouant sur object-position et object-fit, et en animant ces propriétés (par exemple avec animation-composition: add), on peut créer des effets visuels et des animations sans éléments supplémentaires. Les démonstrations incluent des effets 3D, des révélations au survol, des loaders et des décorations modernes, et ces techniques sont surtout utiles quand on ne peut pas modifier la structure HTML.

master.dev Resume pret HTTP 200 Commentaires

ProofRun – a local verification receipt for AI coding agents

ProofRun atteste de manière cryptographique quelles vérifications ont réellement été exécutées sur l'état exact du code en liant chaque résultat à l'empreinte du commit Git et à un hash des modifications non validées. Le système exécute les commandes déclarées comme véritables sous-processus sans appel à un modèle d'IA et rapporte quatre états déterministes : PASS, FAIL, STALE ou NOT RUN. L'outil fournit une interface CLI (.proofrun.yml, proofrun run, run-all, status, report) et compare les arguments exacts des commandes pour éviter des correspondances par simple texte. Une GitHub Action réexécute les vérifications sur la tête du PR pour garantir les résultats, mais elle avertit seulement si .proofrun.yml diffère du branche de base et ne bloque pas les altérations du fichier dans le même PR. Le projet, initialement développé par un agent d'IA puis soumis à des revues adversariales et à des correctifs vérifiés, prévoit des améliorations telles que la sortie structurée et des reçus signés.

github.com Resume pret HTTP 200 Commentaires

Tess's Android Wayland Compositor

Le projet permet d'exécuter des programmes Linux en ligne de commande et des applications graphiques sur Android sans accès root, en tirant parti de l'accélération matérielle fournie par la pile graphique native du téléphone. Il combine un remplaçant performant de PRoot, un compositeur Wayland basé sur Smithay et une interface utilisateur qui intègre un widget Termux, un lanceur d'applications et un gestionnaire de tâches. La couche graphique inclut XWayland et une fourche de libhybris qui permet aux programmes glibc de charger les pilotes graphiques Android et d'utiliser les entrées et intégrations du système Android. Le fonctionnement consiste à télécharger et extraire une distribution Linux dans un rootfs, puis à exécuter le contenu « à l'intérieur » via l'émulation de chroot et d'appels système par le remplaçant de PRoot qui opère en un seul processus. Les limites comprennent l'absence d'un véritable sandbox au-delà des mécanismes Android, l'absence de support OpenGL de bureau, des performances non natives, une optimisation limitée pour les jeux, des builds officiels arm64 uniquement et l'exigence d'Android 10+; le code principal est MIT mais le projet global est sous GPLv3 à cause de dépendances.

github.com Resume pret HTTP 200 Commentaires

Voltair (YC W26) Is Hiring a Test Flight Engineer

Voltair construit un réseau distribué de drones pour l'observation terrestre et vise à permettre des interventions rapides après des événements tels que des tempêtes. L'entreprise fournit un service complet en concevant, fabriquant, déployant, capturant et analysant des données avant de livrer les résultats sur une plateforme logicielle, avec les compagnies d'électricité comme premier marché et plusieurs clients déjà servis. Le poste proposé d'ingénieur d'essais en vol combine activités R&D et opérations, incluant la validation des dispositifs de test, la transformation de prototypes en véhicules de production et le pilotage de missions client sur le terrain. Le candidat doit avoir construit des drones et connaître les systèmes électriques et les firmwares autopilotes (ArduPilot, PX4 ou similaires), disposer d'au moins un an d'expérience professionnelle et de bonnes aptitudes à l'aéronautique et à la gestion des risques; l'expérience de vol habité, la conduite de campagnes d'essais structurées et la licence FAA Part 107 sont des atouts. La société prévoit de couvrir le continent américain avec environ 5000 stations en rechargeant les drones sur les lignes électriques pour détecter des défaillances avant qu'elles ne provoquent des incidents tels que des incendies de forêt.

www.ycombinator.com Resume pret HTTP 200 Commentaires

AI-Assisted GPU Porting of a 250k Line Legacy Weather Simulation Code

Cet article présente un flux de travail assisté par des modèles de langage pour la portabilité vers GPU, centré sur la validation de codes scientifiques hérités. La méthode a été appliquée au code météorologique Fortran CReSS de plus de 250 000 lignes et inclut l'extraction de régions OpenMP, la génération de benchmarks de noyaux à partir d'états physiques sauvegardés et la transformation OpenACC. La validation combine des comparaisons élément par élément avec des données de référence dumpées et des tests au niveau applicatif pour préserver la validité scientifique. Sur une simulation réelle de typhon, le workflow a produit des implémentations GPU numériquement validées pour 162 noyaux, obtenu un gain d'application de 5,1× et détecté des divergences numériques dans cinq noyaux liées à des différences d'arithmétique flottante et de fonctions intrinsèques. Les auteurs concluent que la portabilité assistée par IA exige la gestion du contexte sur de longues sessions, la reconstruction de l'état d'exécution et des procédures de reprise coûteuses, ce qui rend nécessaire une conception de workflow axée sur la validation au-delà de la simple génération de code.

arxiv.org Resume pret HTTP 200 Commentaires

Show HN: Fixing optical computing jitter via fluid dynamics in GPU registers

Ce dépôt présente un prototype (PoC) d'un moteur de plan de contrôle matériel-optique visant à minimiser la latence de routage photonique et à manipuler des lignes d'adresses mémoire virtuelles à travers des interconnexions silicon‑photonics sans tampons. L'approche combine des métriques de décalage de phase optique avec des structures multi-axe jax.shard_map et des fences asynchrones entre flux pour essayer d'atteindre une latence inter‑châssis proche de 0 ns, en contournant les tampons E/O et les ruptures de graphes de compilation. L'architecture en trois couches inclut un noyau bare‑metal exploitant des shuffle de warp et des MUX bit‑à‑bit sans branchement, un pont asynchrone zéro‑copie fondé sur DLPack pour isoler le bruit de la GC et des fences matérielles, et une couche de gouvernance qui fige les topologies via jax.shard_map et gère les pannes optiques. Des scripts automatisés permettent de compiler les bibliothèques C++/CUDA et d'exécuter une simulation de 50 itérations avec un taux de défaillance optique simulé afin de vérifier la stabilité structurelle et la homeostasie numérique du système. Le projet fournit un hook d'injection runtime pour intégrer l'infrastructure photonique aux modèles hyperscale (par exemple DeepSeek‑V4) tout en recommandant des tests en environnement isolé et en invitant la communauté à proposer des retours.

github.com Resume pret HTTP 200 Commentaires