HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 398/1208 Sans filtre

How the words we teach English language learners changed

La comparaison entre la General Service List de 1953 (2 284 mots) et la New General Service List de 2023 (2 809 mots) montre que 628 mots ont été retirés, 1 153 ajoutés et 1 656 maintenus, révélant un déplacement notable dans la nature du vocabulaire enseigné. Beaucoup de termes concrets liés aux objets, à la nourriture et aux métiers manuels (par exemple télégraphe, farine, fourchette, savon) ont disparu ou perdu d’importance tandis que des mots abstraits et institutionnels (hypothèque, législation, analyse) ainsi que de nombreux adverbes ont été ajoutés. L’étude a classé les mots avec le système sémantique UCREL (USAS), évalué leur concrétude avec les notations de Brysbaert et étiqueté les parties du discours avec NLTK, en rappelant que ces listes ont été conçues comme outils pédagogiques fondés sur des corpus et couvrent environ 84 % (1953) et 90 % (2023) de l’anglais courant. Ce changement importe cognitivement parce que les mots concrets activent à la fois des représentations verbales et sensorielles (double codage) et sont donc plus faciles à rappeler, alors que les mots abstraits reposent sur un canal verbal et exigent souvent des adverbes pour préciser leur portée. Pris comme reflet indirect de la vie quotidienne, ces déplacements lexicaux correspondent à des transformations sociales et économiques (moins de travail manuel, plus d’interactions avec des institutions nationales et globales) et traduisent un besoin croissant d’un langage expansif, abstrait et précis.

pudding.cool Resume pret HTTP 200 Commentaires

The Computational Theory of Mind (2015)

La révolution informatique a conduit à la théorie computationnelle de l'esprit (CTM), selon laquelle des processus mentaux comme le raisonnement, la perception et le langage sont des calculs, et les computationnalistes doivent préciser ce que signifie « calculer », montrer que l'esprit calcule ainsi, et articuler la relation entre descriptions computationnelles, neurophysiologiques et intentionnelles. Le formalisme de Turing formalise les algorithmes via des machines abstraites à mémoire et états finis, introduit la machine universelle et a fondé l'informatique, tandis que les progrès en IA (p. ex. Deep Blue, AlphaGo, réseaux profonds, GPT) ont relancé la question de la possibilité d'émuler des processus cognitifs. La version classique de la CTM, défendue par le fonctionnalisme et par la théorie représentationale de l'esprit, postule des calculs sur des représentations composées (un « langage de la pensée ») pour expliquer productivité et systématicité, mais doit préciser l'implémentation neurale et répondre à objections comme la productivité et la systématicité des états mentaux. Le connexionnisme et la neuroscience computationnelle proposent des modèles en réseaux de neurones, des architectures profondes aux modèles biologiquement plausibles, qui modélisent l'apprentissage et le traitement parallèle et complètent ou concurrencent les modèles turingiens, tout en soulevant des débats sur la symbolisation, la mémoire adressable et la plausibilité biologique. La discussion philosophique porte aussi sur la nature de la computation (formelle, impliquant du contenu, structurelle, mécaniste ou plurielle), sur la relation entre calcul et représentation (internalisme vs externalisme), et sur des objections majeures à la CTM — trivialité, interprétations de Gödel, difficultés de modélisation temporelle et revendications d'une cognition incarnée — sans qu'un consensus définitif n'ait émergé.

plato.stanford.edu Resume pret HTTP 200 Commentaires

The myth of Snow Leopard

La version de Mac OS X sortie en 2010 a été présentée par Apple comme n'apportant « 0 nouvelles fonctionnalités », avec un accent mis sur le raffinement, l'efficacité et la correction de bugs. Au départ, de nombreux utilisateurs ont salué cette approche après des mises à jour antérieures perçues comme introduisant autant de problèmes qu'elles n'en résolvaient. En pratique, la mise à jour a causé des problèmes de stabilité pour certains utilisateurs, qui ont parfois dû rétrograder ou attendre des correctifs. Le terme a depuis dépassé l'écosystème Apple et sert à décrire toute mise à jour privilégiant la stabilité et l'amélioration de la qualité de vie plutôt que de nouvelles fonctionnalités. La communication d'Apple autour de cette version a créé un mythe durable sur la recherche de stabilité, toujours invoqué par des utilisateurs insatisfaits de la qualité actuelle des logiciels.

www.rubenerd.au Resume pret HTTP 200 Commentaires

RFC 9851: TLS 1.2 is in Feature Freeze

Le document spécifie qu'aucune modification ne sera approuvée pour TLS 1.2 sauf correctifs de sécurité urgents, nouvelles étiquettes Exporter TLS et nouveaux identifiants ALPN. Cette contrainte s'applique uniquement à TLS et ne concerne aucune version de DTLS. Les efforts pour l'adoption de la cryptographie post-quantique dans l'IETF se concentrent exclusivement sur TLS 1.3 ou versions ultérieures, et TLS 1.2 ne recevra pas de spécifications PQC. Le texte demande aux registres IANA d'indiquer que toute entrée ajoutée après sa publication est destinée à TLS 1.3 ou ultérieur et liste plusieurs registres concernés. L'objectif principal est d'encourager la migration vers TLS 1.3 en raison d'améliorations de sécurité et de preuves formelles.

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

Developers are attached to tools because tools encode trust

Les éditeurs historiques comme Vim et Emacs illustrent comment la maîtrise et la personnalisation d'un outil créent une confiance fondée sur la prévisibilité et la compétence tacite. Les agents de programmation permettent de produire du code beaucoup plus vite mais sont opaques et probabilistes, ce qui a fait baisser la confiance des développeurs et déplacé les goulots d'étranglement vers la revue et la validation du code. Les nouveaux outils mettent en évidence des processus défaillants dans le cycle de vie du logiciel et ne les résolvent pas d'eux‑mêmes : la technologie doit être accompagnée d'évolutions de culture et de pratiques. Il est donc essentiel d'instaurer la responsabilité humaine, des traces de contribution et des spécifications explicites pour les prompts et le contexte, ainsi que des mécanismes d'audit et de revue adaptés aux productions d'IA. Les équipes efficaces construiront des boucles de rétroaction, des référentiels de connaissances fiables, des mécanismes de réutilisation du code et prendront des décisions conscientes sur quand ne pas utiliser l'IA pour restaurer la confiance et la robustesse du développement.

stackoverflow.blog Resume pret HTTP 200 Commentaires

Note-Taking and Personal Knowledge Management

L'auteur a lu l'essai de Brennan Kenneth Brown sur les PKM et a rédigé une réponse critique détaillée. Il conteste la question centrale qui cherche à mesurer la contribution publique d'une application comme Obsidian, en soulignant que les outils permettent des contributions plutôt que de les produire. Le texte reproche à Brennan des changements de portée, des citations mal étayées et une interprétation erronée des positions d'Obsidian, de Luhmann et d'autres références. L'auteur défend que des méthodes comme PARA ou Zettelkasten peuvent soutenir des processus créatifs tels que l'incubation et critique l'usage d'exemples anecdotiques pour évaluer l'efficacité des PKM. Il conclut que l'article de Brennan souffre d'un travail de recherche superficiel lié à un rythme d'écriture rapide, tout en partageant la mise en garde contre le recours excessif à l'IA.

unattributed.cc Resume pret HTTP 200 Commentaires

Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM

Ce projet fournit une couche de traduction en espace utilisateur permettant d'exécuter des binaires macOS ARM64 (Mach-O) sur Linux aarch64 sans JIT, en mappant une libSystem autonome et en traduisant les appels BSD. L'outil CLI kh s'installe via cargo et propose des commandes pour assurer la bottle et installer/exécuter des applications Darwin réelles comme 7-Zip et curl dans des environnements Docker/Colima/UTM. L'architecture se compose de plusieurs crates (kh, kh-loader, kh-runtime, kh-libsystem) et inclut la dylib libSystem.B.dylib empaquetée dans kh-runtime pour fournir un runtime freestanding. L'exécution est native sur le CPU mais paie le coût des frontières d'appel système, avec un surcoût mesuré autour de ×5 pour un cas multi‑fichiers lourd, ce qui reste rentable pour des runners CI Linux arm64 moins chers que des macOS hébergés. Le projet cible les outils CLI et le CI, nécessite Rust 1.88+ et Linux aarch64 pour l'exécution, propose une suite de tests et scripts, évite les blobs Apple propriétaires et est distribué sous licence Apache 2.0.

github.com Resume pret HTTP 200 Commentaires

Why we write our own C and C++ inference engines

LocalAI préfère généralement envelopper des moteurs tiers, mais dix-huit de ses backends sont des ports C/C++ écrits de zéro pour éviter des dépendances Python volumineuses, des stacks CUDA non portables ou l'absence d'implémentation C++. Ces ports offrent un seul fichier déployable et une empreinte mémoire prédictible, illustrée par vllm.cpp qui produit un binaire de 66 MiB comparable en débit et en sortie à vLLM tout en utilisant moins de mémoire hôte. Dans nombre de cas le port est aussi plus rapide en pratique parce qu'il élimine des surcoûts côté hôte (caches et calculs redondants) plutôt que de réécrire les gros GEMM, comme montré par depth-anything.cpp qui dépasse PyTorch en inférence CPU grâce au caching. La priorité est la parité fonctionnelle (détections, landmarks, embeddings et décodages identiques) pour permettre des remplacements « drop-in », la méthodologie suivie étant : conversion des poids, validation composant par composant, optimisation après parité et exposition d'une ABI C plate. Le coût principal est la maintenance de dépôts, de suites de benchmarks et de convertisseurs, des limites des kernels GPU face à cuDNN, et la décision de porter seulement les modèles où le gain justifie l'effort.

localai.io Resume pret HTTP 200 Commentaires