HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11427 articles Page 1012/1143 Sans filtre

Yann LeCun raises $1B to build AI that understands the physical world

AMI, startup parisienne cofondée par Yann LeCun, a levé plus d’un milliard de dollars pour développer des modèles mondiaux d’IA, valorisée à environ 3,5 milliards de dollars. LeCun estime que le raisonnement humain s’appuie surtout sur le monde physique et que ces modèles mondiaux sont nécessaires pour atteindre une intelligence équivalente à celle des humains, plutôt que d’améliorer uniquement les LLMs. Le financement a été co-dirigé par Cathay Innovation, Greycroft, Hiro Capital, HV Capital et Bezos Expeditions, avec des investisseurs notables tels que Mark Cuban, Eric Schmidt et Xavier Niel. AMI prévoit d’être opérationnel dès le départ à l’échelle mondiale, avec des bureaux à Paris, Montréal, Singapour et New York, où LeCun continuera d’enseigner à l’Université de New York (NYU) et dirigera la startup. LeCun précise que les modèles mondiaux viseront surtout des applications en entreprise et dans des secteurs comme la fabrication et la robotique, soutenus par une équipe comprenant d’anciens cadres de Meta et des chercheurs d’autres acteurs majeurs de l’IA.

www.wired.com Resume pret HTTP 200 Commentaires

Agents that run while I sleep

Les agents qui écrivent du code pendant la nuit rendent difficile la certitude que tout ce qui est produit est correct sans une relecture exhaustive. Lorsque Claude génère des tests pour du code qu'il vient d'écrire, ces tests vérifient ce que l'IA pensait plutôt que ce que l'utilisateur voulait. Utiliser la même IA pour écrire et vérifier ne constitue pas une vraie seconde paire d'yeux, car elles partagent les mêmes biais et les mêmes omissions. L'idée centrale est d'appliquer une approche proche du TDD en écrivant des critères d'acceptation avant le code et en laissant les vérifications confirmer ces critères. Le cadre proposé organise le travail en quatre étapes avec planification, vérifications automatisées par des agents dédiés à chaque critère et un juge qui rend un verdict, afin de ne passer en revue que les échecs.

www.claudecodecamp.com Resume pret HTTP 200 Commentaires

Tony Hoare has died

Tony Hoare, lauréat du Turing et ancien professeur à Oxford, est décédé à l'âge de 92 ans le 5 mars 2026. Il est célèbre pour ses contributions majeures à l'informatique, notamment l'algorithme de tri rapide, ALGOL et la logique de Hoare. L'article présente les réflexions personnelles de Jim Miles sur sa personnalité et relate des anecdotes de rencontres à Cambridge. Parmi ces récits figure l'histoire du pari sur la rapidité de quicksort, qui a été payé et illustre son professionnalisme et son humilité. Le texte évoque aussi son parcours varié, son sens de l'humour et l'impact durable de son œuvre et de sa façon d'aborder les questions technologiques.

blog.computationalcomplexity.org Resume pret HTTP 200 Commentaires

Cloudflare crawl endpoint

Une API permet de crawler un site entier à l'aide d'un seul appel via le point d'accès /crawl, disponible en bêta ouverte. Il suffit de soumettre une URL de départ et les pages sont découvertes automatiquement, rendues dans un navigateur sans tête et renvoyées dans plusieurs formats tels que HTML, Markdown et JSON structuré. Les crawls s'exécutent de manière asynchrone et l'utilisateur reçoit un identifiant de travail pour suivre les résultats au fur et à mesure. Les sorties peuvent être générées dans plusieurs formats et le système offre des contrôles de portée, comme la profondeur, les limites de pages et les motifs pour inclure ou exclure certains chemins. Des options existent pour le mode statique, le respect des directives robots.txt et les crawls incrémentiels avec modifiedSince et maxAge, avec disponibilité sur les plans gratuits et payants de Workers.

developers.cloudflare.com Resume pret HTTP 200 Commentaires

Julia Snail – An Emacs Development Environment for Julia Like Clojure's Cider

Cet ensemble d’outils offre un environnement de développement et une interaction REPL pour Julia, dans l’esprit de SLIME et CIDER. Il exploite des terminaux performants comme libvterm ou Eat pour afficher le REPL et fonctionne sur les systèmes Unix-like, avec Windows via WSL. Des sessions REPL distantes via SSH et Tramp, ainsi que des REPLs dans des conteneurs Docker, permettent un travail à distance transparent. Il offre l’autocomplétion contextuelle, la navigation cross-références, le chargement de fichiers et le support multimédia pour afficher des graphiques et des plots. L’installation requiert un Emacs récent et l’installation des dépendances Julia et du terminal choisi (vterm ou Eat), avec des extensions optionnelles telles que REPL history, Formatter, Ob-Julia et Debug.

github.com Resume pret HTTP 200 Commentaires

U+237C ⍼ Is Azimuth

Selon Wikipédia, le 28 février 2025, l’utilisateur Moyogo a mis à jour la page Angzarr en citant le catalogue de symboles Berthold de 1950, qui présente ⍼ comme Azimut, Richtungswinkel ou « azimuth ». Cette attribution est présentée comme la résolution d’une énigme concernant la signification du glyphe. Fonts in Use répertorie des catalogues Berthold et indique que l’exemplaire scanné provient du Zeichenprobe (1950), page 7. Des copies de la Schriftprobe (1949), 1951 et 1952 montrent à la page 104 le même glyphe et les mêmes tailles, mais sans le nom descriptif. Le glyphe ⍼ n’apparaît pas dans le Registerprobe (1946) ni dans les catalogues antérieurs de 1909 et 1900, et des scans complets indiquent où il apparaît et où il manque, tandis qu’un ami sur Mastodon a fait remarquer que ⍼ rappelle la trajectoire d’un rayon lumineux traversant un sextant pour mesurer un azimut.

ionathan.ch Resume pret HTTP 200 Commentaires

Zig – Type Resolution Redesign and Language Changes

Une refonte de la résolution de types a été fusionnée, rendant l’analyse des champs plus paresseuse lorsque les types ne sont pas initialisés et améliorant les messages en cas de boucle de dépendances. La compilation incrémentale a été grandement améliorée, corrigeant des problèmes d’over-analysis et accélérant les mises à jour lors des modifications locales. Les implémentations std.Io basées sur io_uring et Grand Central Dispatch ont été ajoutées et marquées expérimentales, offrant de nouvelles options tout en nécessitant davantage de tests. Deux évolutions majeures du workflow de gestion des dépendances incluent un répertoire zig-pkg local pour stocker les paquets et une option --fork pour remplacer des paquets par des forks dans l’arbre de dépendances. Le zig libc progresse en remplaçant le code C vendored par des wrappers Zig et en partageant le même ZCU pour améliorer l’indépendance et les performances.

ziglang.org Resume pret HTTP 200 Commentaires

Create value for others and don’t worry about the returns

L’auteur appelle à ramener la rhétorique et à réduire l’angoisse autour de l’intelligence artificielle. Il affirme que l’IA n’est pas un bouleversement magique mais la continuité d’un progrès exponentiel, avec des gains et des pertes selon les cas. Le texte critique l’idée que certains emplois consistent à créer de la complexité pour autrui et explique que les grandes entreprises centralisent le rent seeking, provoquant des licenciements. Le message central est de ne pas jouer à des jeux à somme nulle et de créer plus de valeur que l’on consomme, afin d’être accepté dans des communautés bien gérées. Enfin, il soutient que cette approche peut constituer une voie d’avenir face à la surenchère catastrophiste et aux tendances actuelles.

geohot.github.io Resume pret HTTP 200 Commentaires

FontCrafter: Turn your handwriting into a real font

FontCrafter transforme votre écriture en une police installable, entièrement dans votre navigateur, sans compte et sans envoi sur des serveurs. Tout se passe localement dans votre navigateur, votre écriture ne quitte jamais votre appareil. Il est 100 % gratuit et propose des exports OTF, TTF, WOFF2 et Base64, ainsi que des ligatures et des variantes contextuelles. Le processus consiste à scanner son échantillon d'écriture, puis d'importer l'image et de personnaliser la police (nom, disposition des lignes, ligatures, kerning et éventuelle couleur). Il convient à toute personne souhaitant créer une police personnalisée pour des projets personnels ou commerciaux.

arcade.pirillo.com Resume pret HTTP 200 Commentaires