Hacker News
-
How the words we teach English language learners changed
L'article compare deux listes de vocabulaire essentiel pour apprendre l'anglais : la General Service List (1953, environ 2 300 mots) et la New General Service List (2013, révisée en 2023, environ 2 800 mots). Entre les deux, environ 600 mots ont été retirés et plus de 1 100 ajoutés. Les changements reflètent l'évolution de la vie quotidienne : 'telegraph' disparaît, 'computer' et 'website' apparaissent, 'tobacco' remplace 'cigarette', 'motherhood' devient 'mom'.
L'analyse sémantique et de tangibilité montre un glissement net : les catégories liées au monde physique immédiat (alimentation, objets, nature) rétrécissent, tandis que les concepts abstraits et institutionnels (hypothèque, évaluation, perspective) augmentent. Les mots concrets, traités par le cerveau via deux canaux (verbal et sensoriel), deviennent moins centraux au profit de mots purement verbaux. Cette évolution accompagne la transition vers une société de cols blancs et une vie plus dématérialisée.
-
Ursula K. Le Guin: A Rant About "Technology" (2005)
Dans ce texte de 2005, Ursula K. Le Guin conteste la distinction entre science-fiction « dure » et « molle » fondée sur la présence de technologie. Elle rappelle que toute société, réelle ou imaginaire, possède une technologie — définie comme « l'interface humaine active avec le monde matériel » — et que la réduire aux seules technologies complexes récentes est un abus de langage. Elle illustre par des exemples simples (allumer un feu, fabriquer un hameçon) le fait que toutes les technologies sont apprises, et que la SF, même non « dure », est toujours technologique.
-
The Seinfeld Chronicles: Digital Edition
L'article relate la découverte tardive de la série Seinfeld par l'auteur, son analyse approfondie des 176 épisodes, et la publication d'une édition numérique de son projet « The Seinfeld Chronicles ».
-
Has the New Cocaine Arrived?
Article sur la 3-MMC, une drogue de synthèse populaire dans les clubs et milieux professionnels. Présentée comme une alternative à la cocaïne, moins chère, plus durable et au « come-down » plus doux, elle est appréciée pour ses effets stimulants et lucides. Malgré des interdictions en UE et aux États-Unis, son usage se répand, y compris comme outil de productivité au travail.
Le texte retrace l'origine de la molécule, attribuée à un chimiste surnommé « Dr Zee », et sa filiation avec d'autres cathinones de synthèse comme la méphédrone. Il évoque les débats autour de son potentiel thérapeutique (PTSD, douleurs menstruelles) et les risques d'addiction.
L'article relève du reportage de société sur les drogues récréatives et leur industrie, sans lien avec les thématiques technologiques habituelles.
-
Twenty Years of RISC OS Open
RISC OS Open (ROOL) fête ses vingt ans et retrace son histoire année par année. Née en 2006 pour ouvrir le système d'exploitation propriétaire RISC OS, l'initiative a publié les sources progressivement, porté le système sur BeagleBoard puis Raspberry Pi, et livré des versions stables comme RISC OS 5.20 et 5.30. En 2018, RISC OS est passé sous licence Apache 2.0, et tout le code a été déposé sur GitLab en 2020.
Le projet a notamment apporté le support EDID, un client Git natif, le stockage NVMe, et a lancé l'initiative Moonshots pour passer à l'ARM 64 bits. L'article remercie la communauté et évoque les prochains objectifs de ROOL pour les vingt années à venir.
-
F*: A general-purpose proof-oriented programming language
F* est un langage de programmation orienté preuve, combinant types dépendants, automation par solveurs SMT et preuve interactive par tactiques. Il compile par défaut vers OCaml, avec des fragments vers F#, C, Wasm ou assembleur, et est développé par Microsoft Research, Inria et la communauté.
Open source sous licence Apache 2.0, F* est utilisé pour des projets de haute assurance comme Project Everest, HACL*, ValeCrypt et EverCrypt (cryptographie vérifiée), ainsi qu'EverParse, un générateur de parseurs utilisé notamment dans Windows Hyper-V pour l'analyse des paquets réseau d'Azure. Le langage fait également l'objet de recherches actives en logique de séparation et vérification formelle.
-
Great Question (YC W21) Is Hiring Senior Demand Gen Manager
Offre d'emploi pour un poste de Senior Demand Gen Manager chez Great Question, plateforme de recherche client reposant sur l'IA. Le rôle consiste à piloter la génération de leads qualifiés (SQL), développer des programmes multi-canaux et intégrer l'IA dans les processus marketing. L'annonce détaille les missions, le profil recherché et la rémunération variable liée aux objectifs.
-
Meshdiff – visually compare two STL versions in the browser, client-side
Meshdiff est un outil de comparaison visuelle de deux versions de fichiers STL, exécuté côté client dans le navigateur.
-
Wikimedia Foundation refuses union recognition, hires union-busting law firm
La Wikimedia Foundation a refusé la reconnaissance volontaire du syndicat Wiki Workers United U.S., malgré une demande restée sans réponse pendant la conférence Wikimania. Elle a publié une déclaration privilégiant une élection à bulletin secret sous l'égide du NLRB, tout en ayant recours au cabinet Littler Mendelson, réputé pour ses pratiques antisyndicales. Le syndicat a annoncé le dépôt d'une demande d'élection et accusé la fondation de manœuvres dilatoires.
Jimmy Wales a défendu le processus de vote secret, estimant que le système de cartes d'adhésion avait pu exercer des pressions sur les employés. La communauté a réagi avec déception, lançant des pétitions de soutien au syndicat réunissant plus de 1 200 signatures chacune.
L'article mentionne également deux autres sujets : la proposition de critères d'éligibilité plus stricts pour le conseil d'administration de la fondation, et des allégations de harcèlement sexuel lors de Wikimania, rapportées par Wikimedia Korea et Wikimedia Malaysia.
-
Show HN: Fuse – statically typed functional programming language
Fuse est un langage de programmation fonctionnel pur, statiquement typé, avec types de haut niveau et polymorphisme ad hoc. Il compile via l'optimiseur GRIN vers du code natif LLVM. L'article présente des exemples de code et les caractéristiques : typage statique, pureté fonctionnelle, inférence de types et syntaxe inspirée de Rust, Python, Scala et Haskell. L'installation se fait via curl.