HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 403/1208 Sans filtre

But can your calculator run Linux?

L'article évoque la préférence de l'auteur pour la HP 16C et sa volonté d'exécuter Linux sur une calculatrice graphique moderne. La calculatrice cible dispose d'un processeur i.MX6, de 256 Mo de RAM et de 512 Mo de stockage interne et fonctionne d'origine sous un RTOS, la rendant matériellement adaptée à Linux. L'auteur a mis à jour un port Linux existant en corrigeant le clavier, en activant la connexion série USB, en augmentant la taille d'image en RAM, en ajoutant un pilote pour le contrôleur tactile Ilitek et en fournissant X11, Doom et un compilateur C. Des images précompilées, des dépôts source et des instructions sont fournis pour démarrer Linux en RAM via uuu après ouverture du boîtier et mise en mode recovery, avec un avertissement sur les risques de flashage de la NAND. Le texte compare également les spécifications d'autres modèles (TI, Numworks, Casio), mentionne un port Linux pour le TI Nspire CX et évoque des tentatives d'exécuter Windows via UEFI sur la plateforme.

raymii.org Resume pret HTTP 200 Commentaires

AI financial advice is surprisingly good, especially if you ask right questions

Beaucoup d'Américains utilisent désormais l'intelligence artificielle pour obtenir des conseils financiers, et une équipe du MIT a évalué la qualité des recommandations fournies par des grands modèles de langage. En simulation, suivre ces recommandations améliorait généralement l'épargne, la participation au marché actions et la diversification, avec des conseils récurrents comme épargner durant la vie active et réduire l'exposition aux actions après 45 ans. Les LLM ont montré des lacunes sur des aspects nuancés de la planification financière, notamment la gestion des chocs (comme le chômage) et le rééquilibrage actif des portefeuilles, mais ils s'amélioraient quand on utilisait des prompts plus structurés et détaillés. La qualité des conseils variait selon le genre, le niveau de littératie financière et l'expérience antérieure avec l'IA, conduisant à des écarts significatifs de richesse projetée à la retraite entre différents groupes. Les chercheurs estiment que l'IA peut offrir un accès peu coûteux à des conseils utiles et compléter les conseillers humains, mais qu'il est nécessaire d'établir des cadres, d'améliorer les prompts et de limiter les biais pour réduire les risques.

mitsloan.mit.edu Resume pret HTTP 200 Commentaires

Postmortem for Kernel Soundness Bug #14576

Fin juillet, un bug de soundness du noyau Lean exploité par une "disproof" assistée par IA du Collatz a été signalé et corrigé rapidement. Le bug provenait de la disparition de paramètres "phantom" lors de l'élimination d'une occurrence imbriquée sous un type inductif, ce qui faisait échapper des arguments mal typés au typage et permettait de construire une preuve de False ; il n'était atteignable qu'en contournant l'élaborateur via la métaprogrammation ou en envoyant la déclaration directement au noyau. L'outil indépendant nanoda avait lui aussi une erreur distincte et n'a donc pas bloqué l'exploit dans cette version précise, ce qui illustre que la vérification croisée reste efficace mais exige des versions à jour des deux implémentations ; lean4lean a été touché pour avoir porté la même gestion des inductifs. Des correctifs et tests de régression ont été publiés rapidement, plusieurs PRs ont renforcé les vérifications et les invariants du noyau, OpenAI a aidé à identifier d'autres erreurs désormais corrigées, et comparator.live exécute maintenant nanoda par défaut pour rester synchronisé. L'équipe a souligné que restreindre la métaprogrammation serait inefficace pour garantir la soundness puisque le noyau doit lui-même rejeter les déclarations mal typées, et elle coordonne le soutien à des experts pour développer de nouveaux noyaux et finaliser les travaux de vérification.

leodemoura.github.io Resume pret HTTP 200 Commentaires

Canadians are leaving the country at record levels. Can anyone solve this?

Le Canada enregistre une hausse notable de l'émigration, avec un solde migratoire net de 65 372 en 2024-25, le niveau le plus élevé des 50 dernières années. Les personnes partantes sont majoritairement jeunes et hautement diplômées : près de 70 % des émigrants ont au moins un diplôme universitaire et 67 % ont entre 20 et 44 ans. Une proportion importante des plus hauts revenus a quitté le pays pour les États-Unis, environ 40 % des personnes situées dans le top 1 % de revenus, et près de 61 % des Canadiens nés à l'étranger résident aux États-Unis. Les motifs cités incluent la recherche de salaires et de capitaux plus élevés, la normalisation du télétravail, des taux marginaux d'imposition élevés et des doutes sur l'efficacité des institutions. Cette fuite des talents et des entrepreneurs, amplifiée par des levées de fonds plus élevées aux États-Unis, risque d'affaiblir la productivité, l'innovation et les recettes fiscales du Canada.

thehub.ca Resume pret HTTP 200 Commentaires

RFC 10015: Deprecating Obsolete Key Exchange Methods in TLS 1.2 and DTLS 1.2

Ce document déprécie dans (D)TLS 1.2 l'utilisation des échanges de clés Diffie‑Hellman sur corps fini et RSA, et il déconseille l'emploi de suites ECDH statiques. Les motifs incluent l'absence de confidentialité persistante pour les modes non éphémères, des attaques pratiques telles que Raccoon, des attaques par courbes invalides et des risques récurrents liés aux oracles Bleichenbacher et aux canaux auxiliaires. Il exige que les clients n'offrent pas et que les serveurs ne sélectionnent pas les suites FFDH (éphémères et non éphémères) ni les suites RSA en (D)TLS 1.2, et recommande d'éviter les suites ECDH non éphémères et les certificats avec paramètres DH fixes. Le texte met à jour de nombreux RFC et enregistrements IANA en marquant les suites et types de certificats affectés comme déconseillés et en listant explicitement les suites concernées. Ces prescriptions ne s'appliquent qu'à (D)TLS 1.2 puisque TLS 1.0/1.1 sont déjà dépréciés et que (D)TLS/TLS 1.3 n'utilise pas les mécanismes problématiques visés.

www.rfc-editor.org Resume pret HTTP 200 Commentaires

Show HN: I'm a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built

L'auteur décrit la conception et l'évolution de trois versions d'un réducteur cycloïdal imprimé en 3D, la V1 étant une version manuelle pour valider le générateur Python, la V2 une tentative compacte au format NEMA 17 qui a échoué, et la V3 la première version fonctionnelle adaptée au NEMA 17. Un script Python basé sur un article SolidWorks génère la géométrie paramétrique du profil cycloïdal à partir d'équations paramétriques et d'un angle ψ calculé par atan2, impliquant une réduction de 1:(N−1) avec inversion de sens du rotor. Le dépôt s'installe via Scripts and Add-Ins de Fusion 360 en ajoutant le dossier cycloidal_generator et en l'exécutant, et les paramètres clés contrôlent le nombre de goupilles N, le rayon de pas R, l'excentricité E, le rayon des rouleaux r et les offsets de tolérance pour l'impression 3D. La version 3 présente un rapport 1:9 (N=10) avec un diamètre extérieur de 90 mm, moteur NEMA 17, construction en PLA, couple mesuré du boîtier de 1,3 N·m, couple moteur de 0,21 N·m et une efficacité d'environ 66 %. Des améliorations proposées incluent le remplacement des goupilles de logement par des roulements MR128 et le remplacement des goupilles de sortie par des vis M2 avec revêtement métallique pour réduire les frottements et augmenter la rigidité et l'efficacité.

github.com Resume pret HTTP 200 Commentaires

When random.bytes() runs but doesn't work

Un développeur de Core-Lightning a analysé l'historique des commits du firmware Coldcard pour expliquer l'origine d'un défaut d'entropie qui a rendu la génération de clés vulnérable. Il a identifié des commits avec des messages ridiculement courts ("runs", "x") qui modifiaient des milliers de lignes sans explication, indiquant un rapport commentaire/modification catastrophique. La suppression du code du générateur matériel RNG via #define MICROPY_HW_ENABLE_RNG (0) a fait disparaître une erreur de compilation liée à une double définition mais a forcé l'utilisation d'un générateur logiciel faible (Yasmarang). Cette modification a provoqué l'utilisation d'un RNG non sécurisé pour la création de nouvelles clés dans le code Python, exposant les fonds des utilisateurs. L'enquête conclut à un manque de compréhension et de revue sérieuse, et recommande aux développeurs de documenter, vérifier et comprendre tous les changements critiques avant publication.

insider.btcpp.dev Resume pret HTTP 200 Commentaires

Unraveling the mysteries of habit formation

Des chercheurs de l'université de Kyoto ont mis au point une méthode d'entraînement rapide chez la souris permettant de suivre, chez le même individu, la transition entre un comportement orienté vers un but et un comportement habituel. Ils ont identifié deux circuits neuronaux distincts jouant des rôles séparés : des projections du cortex cingulaire antérieur vers le cortex rétrosplénial déterminent si un comportement devient habituel, avec un affaiblissement de ces connexions lors de la transition. Le second circuit, du cortex orbitofrontal latéral vers le striatum central, régule l'intensité d'exécution de l'habitude et explique les différences individuelles, les sujets présentant des réponses neuronales fortes maintenant des niveaux d'exécution élevés. En manipulant artificiellement ces voies, les auteurs ont pu promouvoir la formation d'habitudes ou modifier leur niveau d'exécution, confirmant ainsi les rôles distincts de ces circuits. L'étude conclut que la formation d'habitudes est plus complexe qu'une simple répétition fidèle d'un comportement, que des différences individuelles persistent même après formation et que ces résultats pourraient aider à mieux acquérir des habitudes bénéfiques et à traiter des comportements problématiques liés, par exemple, au trouble obsessionnel-compulsif.

www.kyoto-u.ac.jp Resume pret HTTP 200 Commentaires