HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 555/1208 Sans filtre

How does a pull-back car work? Illustrated teardown

Les engrenages se trouvent partout, par exemple dans les horloges, les voitures, les vélos et les imprimantes. Dans cette analyse, l'accent est mis sur deux propriétés des engrenages : la multiplication du couple et la modification des vitesses. Le couple est important car enrouler le ressort d'un jouet nécessite une force de rotation importante. Pour un jouet destiné aux enfants, il faut réduire l'effort requis pour le rendre plus facile à utiliser. Les engrenages fournissent un avantage mécanique qui permet aux enfants d'exercer une force modeste pour enrouler un ressort rigide.

mechanical-pencil.com Resume pret HTTP 200 Commentaires

Leanstral 1.5

Il s'agit d'un modèle de proof engineering axé sur Lean 4, optimisé pour le théorème automatique et l'autoformalisation. Le modèle comporte 119 milliards de paramètres au total avec 6,5 milliards actifs. Il offre un contexte très long de 256 000 tokens et est annoncé sans coût d'utilisation. Les modalités supportées et les capacités incluent le traitement multi-modal, les complétions de chat, l'appel de fonctions, les agents et outils intégrés ainsi que les sorties structurées. Des fonctionnalités additionnelles listées comprennent l'OCR, l'extraction de boîtes englobantes, les annotations structurées, le question‑réponse documentaire, les embeddings, la modération, la transcription, la synthèse vocale, l'horodatage et le batching.

docs.mistral.ai Resume pret HTTP 200 Commentaires

Nano Banana 2 Lite

Nano Banana 2 Lite permet de générer et d'éditer des images avec une latence très faible et des coûts réduits à grande échelle. Le modèle maintient un contrôle visuel et une cohérence des personnages tout en accélérant les itérations créatives. Des applications comme Space Lift, Gridscape, Peek-A-Word et Anywhere illustrent des usages variés allant du design d'intérieur à l'apprentissage interactif et au tourisme virtuel. Des témoignages d'entreprises soulignent l'utilité de la rapidité pour des workflows en temps réel et l'équilibre entre qualité et coût. Des limites subsistent sur les petits détails, l'orthographe, la fiabilité factuelle, la traduction et les montages complexes, ce qui nécessite des prompts détaillés et une vérification des résultats via les APIs disponibles.

deepmind.google Resume pret HTTP 200 Commentaires

Pystd, similar-ish functionality with a fraction of the compile time

L'auteur voit ses propositions de conférence rejetées et publie ce billet pour présenter Pystd, une bibliothèque standard C++ réécrite from-scratch avec un design personnalisé plutôt que l'implémentation de la spécification ISO. Il pointe que la lenteur de la compilation C++ vient surtout de la mise en œuvre lourde de la bibliothèque standard, où des headers comme vector, memory, print et filesystem se transforment en dizaines de milliers de lignes après prétraitement, ralentissant fortement les builds. Pystd a été conçue autour de trois priorités — temps de compilation, simplicité d'implémentation et performance — et vise des builds très rapides (environ 4 secondes sur un cœur, 9 s avec optimisations, 1,9 s sur 16 cœurs). La bibliothèque compte environ 6 500 lignes d'en-têtes et 5 600 lignes de source et fournit un ensemble utile de fonctionnalités (vector, string, vues, maps, algorithmes, optional/variant/unique_ptr et quelques modules de type Python) en se concentrant sur le sous-ensemble le plus couramment utilisé. Les essais montrent une réduction d'environ 80 % des temps de compilation, des binaires plus petits et un gain d'exécution d'environ 25 %, et le projet impose une contrainte de 0,15 seconde par inclusion de header pour maintenir la rapidité; le code est disponible et fonctionne sur Linux et macOS, mais pas sur MSVC.

nibblestew.blogspot.com Resume pret HTTP 200 Commentaires

Claude Science

Cette application fournit un environnement de recherche unifié qui exécute des analyses, gère le calcul (ordinateur portable, serveurs Linux, HPC, GPU) et trace chaque étape depuis le traitement des données jusqu'à la publication. Tous les résultats — figures, tableaux et notebooks — incluent le code exact, l'environnement et la conversation ayant conduit à leur production, ce qui permet de reproduire, modifier ou défendre les résultats ultérieurement. L'interface permet de visualiser nativement protéines, structures, alignements, pistes génomiques, structures chimiques et PDF sans installation supplémentaire, et intègre un relecteur de fond qui signale citations incorrectes et chiffres introuvables. Des connecteurs et des "skills" donnent accès à plus de 60 bases de données et aux outils internes (API, ELN, pipelines), permettent de conserver variables et modèles en mémoire entre itérations, et rendent les pipelines réutilisables. L'application est proposée en bêta sur macOS et Linux pour certaines offres (Pro, Max, Team, Enterprise), laisse les jeux de données et le calcul sur votre infrastructure et traite le contenu des prompts selon la politique de confidentialité de l'éditeur.

claude.com Resume pret HTTP 200 Commentaires

Matrix Orthogonalization Improves Memory in Recurrent Models

Les Transformers offrent une mémoire associative puissante mais souffrent d'un coût quadratique en attention qui rend les RNN nécessaires pour des tâches à horizon long comme le RL. Les auteurs adaptent l'idée d'orthogonalisation de l'optimiseur Muon en appliquant une orthogonalisation de la matrice mémoire du mLSTM lors des lectures, via normalisation par la norme de Frobenius et cinq itérations de Newton‑Schulz, en laissant circuler les gradients mais sans réécrire la mémoire orthogonalisée. Ils ont entraîné et évalué des mLSTM orthogonalisés et des baselines sur la suite MAD noisy AR (frac_noise=0.8) avec AdamW, 2 000 pas, batch de 64 et recherche de taux d'apprentissage, en générant un lot neuf à chaque étape et en conservant des validations fixes. L'orthogonalisation améliore systématiquement la précision et le taux de réussite, avec des gains particulièrement marqués pour vocabulaire 96 où les runs passent de 4/24 résolus à 14–16/24, au prix d'un surcoût en FLOPs et en temps d'exécution. Les auteurs soulignent toutefois que ces résultats portent sur de petits modèles et des tâches synthétiques, et qu'il faut vérifier si les bénéfices se confirment sur des benchmarks réels et à plus grande échelle.

ayushtambde.com Resume pret HTTP 200 Commentaires

Google copybara: moving code between repositories

Copybara est un outil développé chez Google permettant de transformer et déplacer du code entre dépôts pour, par exemple, synchroniser des dépôts publics et confidentiels. Il impose un dépôt autoritaire unique comme source de vérité tout en autorisant des contributions et la possibilité de couper des releases depuis n'importe quel dépôt. Le fonctionnement est sans état côté outil en enregistrant l'état dans le dépôt de destination via des labels de commit, ce qui rend les exécutions reproductibles pour plusieurs utilisateurs ou services. Le support principal est Git (la lecture de Mercurial est expérimentale) et l'architecture est extensible, avec des modes d'utilisation via binaire pré-construit, compilation Bazel, image Docker et configuration pour IntelliJ. La documentation, des exemples, des snapshots hebdomadaires et une mailing list sont fournis, avec des instructions pour construire, tester et configurer l'outil ainsi que des avertissements sur l'absence de garanties fortes pour les snapshots.

github.com Resume pret HTTP 200 Commentaires

The first early human eggs from stem cells

La création d'ovules viables à partir de cellules souches a déjà été réalisée chez la souris, où des cellules de peau converties en iPSCs ont donné des ovules capables de produire des animaux en bonne santé et fertiles. Conception transforme un échantillon de sang en iPSCs puis guide ces cellules pour former à la fois des cellules germinales primordiales et des cellules de soutien ovarien afin d'assembler des mini-ovaires tridimensionnels qui reproduisent la séquence développementale naturelle. L'équipe produit des milliers de mini-ovaires contenant des millions de futurs ovocytes et évalue systématiquement leur identité et leur progression en les comparant à un atlas moléculaire humain interne étendu, aidé par des modèles d'apprentissage profond. Dans ces organoïdes, les cellules montrent le montage des machineries de la méiose, l'activation des gènes primaires de l'ovocyte et la formation de follicules entièrement dérivés d'iPSCs, une étape que les auteurs présentent comme une première mondiale, tout en notant que la maturation jusqu'au stade antral reste à accomplir. Les travaux à venir se concentreront sur l'achèvement de la maturation folliculaire jusqu'au stade antral, des validations de sécurité approfondies incluant des modèles animaux, et sur l'évaluation réglementaire nécessaire avant toute application clinique, la technologie pouvant éventuellement permettre de produire de nombreux ovules à partir d'un simple prélèvement sanguin et d'élargir les options reproductives.

www.conception.bio Resume pret HTTP 200 Commentaires