HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11382 articles Page 1051/1139 Sans filtre

The Eternal Promise: A History of Attempts to Eliminate Programmers

Depuis les années 1950, l'informatique voit se répéter des promesses de simplification qui visent à réduire ou supprimer le besoin de programmeurs. Chaque vague — COBOL, les systèmes experts, les 4GL, les CASE, le web, MDA et les plateformes no-code/low-code — a suscité l'espoir d'une démocratisation du développement sans codage, mais a aussi créé de nouveaux métiers et de nouvelles formes de complexité. L'article affirme que transformer des intentions humaines en logiciel reste fondamentalement difficile et que l'essentiel n'a jamais été de taper du code, mais de spécifier et concevoir correctement les systèmes. Les outils qui simplifient certaines tâches déplacent la complexité vers la conception, l'intégration et l'architecture, maintenant ainsi une demande continue pour des développeurs compétents. En somme, l'avenir des développeurs inclura moins de code direct mais davantage d'expertise, et la valeur durable réside dans la compréhension des besoins, la conception, la maintenance et la prise de décision.

www.ivanturkovic.com Resume pret HTTP 200 Commentaires

Deterministic Programming with LLMs

Cet essai explore comment les LLMs peuvent être utilisés de manière déterministe dans le développement logiciel. En mathématiques, les LLMs peuvent écrire des preuves ressemblant à des documents existants et leur fiabilité demeure incertaine, d'où l'adoption de systèmes de preuve formels comme Lean. Dans le domaine de la programmation, les IA peuvent aider à coder et déployer, mais leurs sorties ne sont pas totalement reproductibles et dépendent du contexte. Pour les tâches répétitives et critiques, il faut privilégier des outils déterministes tels que des linters, des tests et des vérifications du compilateur afin d'assurer la conformité. La solution préconisée est de coder les politiques dans des programmes déterministes et d'utiliser ces outils pour vérifier le respect des règles, en s'appuyant sur les LLMs pour générer ces outils plutôt que le code déterministe lui-même.

www.mcherm.com Resume pret HTTP 200 Commentaires

The archivist preserving decaying floppy disks

Un article explique les efforts pour préserver les données des disquettes et éviter une perte historique due au déclin des supports magnétiques. Leontien Talboom, archiviste à la Cambridge University Library, travaille avec des passionnés de rétroinformatique pour récupérer des données sur des disquettes. Dans le cadre du projet Future Nostalgia, elle a aidé à publier un guide d’imagerie des disquettes nommé Copy That Floppy pour aider les archivistes et les amateurs. Comme les disquettes existent en plusieurs formats et tailles, l’imagerie nécessite des contrôleurs et des méthodes adaptés à chaque type. Le processus consiste à lire les flux magnétiques et à reconstruire les données, qui peuvent inclure des courriels, des brouillons, des photos et des modèles 3D, préservant ainsi une partie de l’histoire numérique.

www.popsci.com Resume pret HTTP 200 Commentaires

The whole thing was a scam

Le jour même où Altman a exprimé son soutien à Amodei, il a signé un accord visant à retirer l’activité d’Amodei, un accord qui n’était pas très différent. Selon le New York Times, Altman préparait secrètement cet accord depuis mercredi, avant d’annoncer son soutien à Dario, avant que Trump ne dénonce Anthropic, mais après que Brockman ait donné 25 millions au PAC de Trump. Tout cela était théâtral et Dario n’avait aucune chance. Le gouvernement a rejeté les termes d’Anthropic et les a bannis durablement, au profit d’un autre acteur qui demandait des termes similaires et qui avait apporté des contributions plus importantes. Anthropic mérite exactement les mêmes termes, sinon cela sentirait la corruption, et il est soutenu que dans le capitalisme le marché décide alors que dans l’oligarchie ce sont les connexions et les dons qui comptent.

garymarcus.substack.com Resume pret HTTP 200 Commentaires

Werner Herzog Between Fact and Fiction

L'essai examine l'ouvrage de Werner Herzog sur la vérité ecstatic et sa quête qui dépasse les faits. La critique souligne que l'ouvrage répète des anecdotes et des extraits de mémoires sans offrir une argumentation claire ni de nouvelles perspectives. Elle rappelle que Herzog est connu pour mélanger fabrication et réalité dans ses films et que ce livre hésite entre provocations et déception. Le texte indique que le livre aborde l'intelligence artificielle et les vérités produites par les algorithmes, mais ne répond pas pleinement aux enjeux posés. En fin de compte, l'auteur de la critique estime que ce qui compte chez Herzog est la quête elle-même, et il espère que ce livre amorce un véritable chemin plutôt qu'il n'enferme son projet.

www.thenation.com Resume pret HTTP 200 Commentaires

Samsung Galaxy update removes Android recovery menu tools, including sideloading

Samsung retire plusieurs options du menu de récupération d'Android dans One UI 8.5, notamment appliquer les mises à jour depuis ADB et depuis une carte SD, la suppression de la partition cache et l'affichage des journaux de récupération. Les seules options restantes sont « Redémarrer le système maintenant », « Effacer les données/réinitialisation d'usine » et « Éteindre ». Cette modification, observée sur le Galaxy S26 Ultra avec le correctif de sécurité de janvier 2026, pourrait être permanente selon GalaxyClub, qui signale aussi une impossibilité de rétrograder. Les raisons exactes restent inconnues, mais des spéculations évoquent un durcissement de la sécurité et des actions contre les fuites de build. La série Galaxy S26 est proposée en précommande avec des promotions et des crédits supplémentaires.

9to5google.com Resume pret HTTP 200 Commentaires

New evidence that Cantor plagiarized Dedekind?

En 1874, Cantor affirme qu'il existe des infinis de tailles différentes, bouleversant les fondations des mathématiques. Des lettres retrouvées suggèrent que Cantor aurait plagié Dedekind, en s'appuyant sur une correspondance datée du 30 novembre 1873. Dedekind avait développé une preuve montrant que les nombres algébriques et les entiers ont la même cardinalité, et Cantor aurait dissimulé cette contribution dans sa publication. Demian Goos a mené une enquête qui a révélé des lettres manquantes et des documents d'archives appuyant l’accusation et remettant en question l'image du génie solitaire. L'affaire rappelle que les mathématiques sont une entreprise collective où le mérite et le crédit comptent autant que les résultats, réhabilitant Dedekind.

www.quantamagazine.org Resume pret HTTP 200 Commentaires