HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11200 articles Page 2/1120 Sans filtre

3D-printing platform rapidly produces complex electric machines

Un moteur défectueux dans une machine automatisée peut arrêter la production et l'approvisionnement en pièces de rechange entraîne des retards coûteux. Des chercheurs du MIT ont mis au point une plate-forme d'impression 3D multimatière capable d'imprimer des machines électriques en une seule étape. Le système combine quatre extrudeuses adaptées à différentes formes de matériaux fonctionnels, notamment des matériaux conducteurs et magnétiques durs, et utilise des capteurs et un cadre de contrôle pour assurer un alignement précis des couches. Les auteurs ont fabriqué un moteur linéaire entièrement imprimé en environ trois heures avec cinq matériaux, nécessitant une seule étape de post-traitement pour la magnétisation et un coût estimé des matériaux d'environ 0,50 $ par appareil. Le moteur a montré des performances comparables ou supérieures à celles d'appareils fabriqués par des méthodes plus complexes, et les chercheurs prévoient d'intégrer la magnétisation, d'imprimer des moteurs rotatifs et d'ajouter d'autres outils pour produire des composants électroniques plus complexes sur site.

news.mit.edu Resume pret HTTP 200 Commentaires

AI-assisted proof of optimal packing for 11 squares

La preuve d'optimalité complète a été vérifiée en acceptant 7 920 modules locaux Lean et en utilisant des certificats numériques natifs pour certaines vérifications numériques exactes. Le théorème final repose sur la confiance dans le noyau de Lean et le compilateur natif, les déclarations numériques approuvées et leurs hachages étant enregistrés dans verification/native-certificates.json. La longueur latérale optimale est T = (6u+4)/(1+2u-u^2) avec u étant la racine unique dans (9/25,37/100) d'un polynôme de degré huit, ce qui donne environ 3,8770835900228141773. Le dépôt fournit les sources de preuve et une configuration de build épinglée (Lean 4.34.1 et une révision précise de Mathlib), ainsi que des instructions de reproduction par scripts et les exigences d'audit final incluant OPTIMALITY_PROVED_WITH_NATIVE_CERTIFICATES, zéro admissions et trust_model: lean_kernel_and_native_compiler. Les fichiers et répertoires principaux sont listés avec leurs rôles (fondations, tâches géométriques, vérification, interopérabilité et certificats), et les crédits et la provenance des contributions sont documentés dans ACKNOWLEDGEMENTS.md et PROVENANCE.md.

github.com Resume pret HTTP 200 Commentaires

Meta and Microsoft take steps to reduce employee usage of Claude AI

Meta et Microsoft ont réduit de manière significative l'utilisation interne de Claude d'Anthropic en favorisant leurs propres outils de codage tout en restant clients et en concurrençant l'entreprise. Chez Microsoft, la direction a ordonné aux employés de limiter l'usage de Claude, faisant chuter l'estimation des dépenses internes annuelles prévues sur la technologie d'Anthropic de plus d'un tiers et réduisant les plafonds mensuels d'utilisation par employé d'environ 100 000 $ à 10 000 $ tout en maintenant l'accès clientèle via ses offres. Chez Meta, le nombre d'utilisateurs de Claude Code serait passé d'environ 60 000 à 30 000 principalement en raison d'un pivot vers MetaCode et Muse Code, qui comptent respectivement plus de 30 000 et 6 000 utilisateurs internes, et Muse Code a été testé en externe en août. Malgré la diminution des utilisateurs, Meta aurait dépensé plus de 105 millions de dollars pour Claude Code sur une période de 28 jours, et des risques de cybersécurité subsistent concernant l'accès automatisé aux fichiers et clés, des vulnérabilités ayant été identifiées et corrigées tant chez Anthropic que chez Microsoft. Le mouvement illustre surtout un resserrement des budgets et une concurrence accrue plutôt qu'un désengagement total, Anthropic continuant de voir une forte demande avec un rythme de revenus annualisés rapporté à 65 milliards de dollars.

www.rswebsols.com Resume pret HTTP 200 Commentaires

God of War on PSP, recompiled to WebAssembly and running in the browser

Le code machine MIPS des jeux est traduit à l'avance en C++, compilé en WebAssembly et lié à une réimplémentation légère du système d'exploitation et du processeur graphique de la PSP qui dessine avec WebGL2. Les portages montrent God of War: Chains of Olympus et Ghost of Sparta démarrant du boot jusqu'aux menus et combats à environ 55–60 images par seconde, à jusqu'à quatre fois la résolution native, avec musique, voix et effets sonores (les vidéos sont ignorées pour l'instant). Le projet utilise PSPRecomp pour émettre unités de traduction C++, un petit noyau HLE qui répond aux appels système et streame le reste du disque via requêtes HTTP Range afin que seul l'exécutable soit téléchargé au départ. Le rendu décode les display lists du GE sur le CPU puis les envoie en WebGL sur un OffscreenCanvas dans un thread séparé, la partie audio réimplémente la synthèse vocale et décode ATRAC3+, et plusieurs optimisations (synchronisation au VBlank, gestion des buffers d'index, minimisation des copies de stencil) ont permis d'atteindre des performances proches de natives. Pour porter un jeu il faut git, CMake, Ninja, un compilateur C++20 et Python, fournir une image de disque décryptée localement, servir la page avec des en-têtes cross-origin-isolated, et conserver les binaires générés privés car ils appartiennent aux détenteurs des jeux.

github.com Resume pret HTTP 200 Commentaires

Why were Victorian elites so effective?

Les livres modernes sur la réussite valorisent souvent une discipline austère et l'excellence STEM, tandis que l'élite victorienne menait une vie sociale intense et peu axée sur les sciences. L'éducation des élites britanniques reposait sur internats dès l'enfance, un enseignement classique dominant, de nombreuses activités sportives, l'autogouvernance des élèves et une formation universitaire à Oxford et Cambridge centrée sur la formation morale et sociale plutôt que sur la technicité. À l'âge adulte, ces élites commençaient tard la journée, consacraient beaucoup de temps aux dîners, bals et réceptions pendant la Season et considéraient ces occasions comme des lieux d'information, de réseautage et de construction de l'esprit d'équipe. Cet entre-soi produisait une Gemeinschaft élitaire qui favorisait l'unité entre groupes sociaux divers, récompensait le service public par le prestige plutôt que l'argent et pouvait, selon l'auteur, limiter la démagogie et la rupture partisane. L'auteur reconnaît cependant les coûts et les risques d'un tel système et invite à ne pas croire qu'il existe une seule manière optimale de former ou de gouverner les élites contemporaines.

worksinprogress.co Resume pret HTTP 200 Commentaires

Google Playground: Create and play custom games

Playground est une plateforme expérimentale par navigateur qui permet de créer, jouer et partager des jeux personnalisés sans nécessiter de codage. La création s'effectue via une interface conversationnelle où l'on décrit le jeu en quelques prompts, puis on peut ajuster la physique, les règles, les personnages et l'environnement avant de tester. Les jeux sont jouables sur téléphone ou ordinateur, peuvent être partagés par lien privé ou publiés dans une galerie communautaire proposant classements et modes multijoueur sur certains genres. La galerie met en avant les jeux selon les évaluations et l'activité des joueurs, et chaque publication est soumise à des contrôles de sécurité conformes aux consignes communautaires et au système de signalement. Le service démarre aux États-Unis pour les 18+ en tant qu'expérimentation évolutive, avec un déploiement d'accès à la création lié à l'abonnement Google AI et une future intégration Unity Spark pour des capacités 3D et mécaniques avancées.

blog.google Resume pret HTTP 200 Commentaires