HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 506/1208 Sans filtre

A love letter to flashcards

L'auteur explique qu'il était initialement sceptique quant à l'efficacité des flashcards pour l'apprentissage profond, les associant au bachotage mécanique. Après avoir suivi le cours "Learning how to learn", il a adopté la répétition espacée, notamment via Anki, comme outil général pour préserver les acquis. Avec une faible mémoire personnelle, surtout en mathématiques, il souligne que les connaissances mathématiques sont cumulatives et que la mémorisation des bases est nécessaire pour atteindre des niveaux d'abstraction supérieurs. Sa pratique consiste à créer principalement ses propres cartes dans Anki, en privilégiant les intuitions, les moments "A-ha", les illustrations et les liens vers ses notes plutôt que des définitions copiées d'autres jeux. Il considère la répétition espacée comme une tâche récurrente gérable — y compris pour programmer des exercices corrigés et supprimer régulièrement les cartes inutiles — et rapporte un bénéfice pratique de reprise d'apprentissage après de longues pauses, tout en admettant que les preuves empiriques spécifiques à Anki restent limitées.

lesleylai.info Resume pret HTTP 200 Commentaires

GhostLock, a stack-UAF that has existed in ALL Linux distributions for 15 years

Une vulnérabilité du noyau Linux (CVE-2026-43499), présente depuis 2.6.39 et corrigée en 7.1, affecte les distributions non corrigées sans besoin de privilèges particuliers si CONFIG_FUTEX_PI est activé. La cause racine est une mauvaise utilisation de la fonction remove_waiter qui efface current->pi_blocked_on au lieu de waiter->task->pi_blocked_on sur le chemin proxy, créant un pointeur pendu vers une trame de pile noyau libérée. Les chercheurs ont transformé ce stack-UAF en une escalade de privilèges et évasion de conteneur fiable en réutilisant la pile via PR_SET_MM_MAP, en forgeant un faux rt_mutex_waiter et en exploitant une écriture contrainte issue d’une suppression dans un arbre rb pour corrompre une table de fonctions comme inet6_protos. L’exploitation combine des fuites de KASLR par préfetch, l’usage du CPU Entry Area pour placer données et gadgets, puis une courte chaîne ROP et une écriture finale (DirtyMode) qui rend core_pattern world-writable, permettant d’obtenir l’exécution en tant que root depuis l’espace utilisateur. Un correctif a été appliqué en avril 2026 pour verrouiller et nettoyer la tâche correcte, des atténuations comme RANDOMIZE_KSTACK_OFFSET et STATIC_USERMODE_HELPER réduisent l’impact, et Google a récompensé les découvreurs par 92 337 USD dans le cadre de kernelCTF.

nebusec.ai Resume pret HTTP 200 Commentaires

Moss (YC F25) Is Hiring

Moss propose une couche de recherche sémantique en temps réel pour l'IA conversationnelle visant des latences sub-10ms et une intégration sur navigateur, edge, appareil et cloud. Le poste recherche un ingénieur senior ou staff SDK pour piloter la livraison des SDKs sur JavaScript/TypeScript, Python, Swift, Android, C et le noyau Rust. Les responsabilités incluent l'architecture des SDK, la maintenance des liaisons FFI, l'optimisation des performances, la réduction de la taille binaire et l'amélioration de l'expérience développeur. Le candidat doit avoir une solide expérience en ingénierie systèmes, en Rust, en interfaçage multi-langage, en distribution de paquets et en développement multiplateforme. Les objectifs initiaux portent sur la prise en main du cœur Rust, l'amélioration rapide des SDK en production, l'établissement de standards de test et la définition d'une feuille de route cross-platform.

www.ycombinator.com Resume pret HTTP 200 Commentaires

Alternate clock designs and time systems

L'article rappelle qu'une journée compte 24 heures (1 440 minutes ou 86 400 secondes) et questionne la cohérence de ce système face à la logique métrique. Il compare des cadrans alternatifs en notant que le cadran traditionnel reste esthétique et que l'affichage sur 24 heures évite AM/PM en ne faisant tourner l'aiguille des heures qu'une seule fois par jour. Une horloge décimale divisant le jour en 10 heures de 100 minutes et 100 secondes est présentée comme plus simple à lire et à calculer, bien que ses « secondes » durent 86,4 % d'une seconde classique. Sont aussi explorées une horloge binaire peu pratique qui n'actualise que par tranches de trois heures, une version hexadécimale à 16 « heures » avec 128 « minutes » et « secondes » valant le tiers d'une seconde classique, et une variante à 36 « heures » où minutes et secondes durent les deux tiers d'une unité normale. L'auteur conclut en invitant les lecteurs à proposer d'autres systèmes ou à modifier le code pour afficher des formats temporels personnalisés.

serialc.github.io Resume pret HTTP 200 Commentaires

After 7 years in production, Scarf has reluctantly moved away from Haskell

L'auteur, défenseur de Haskell depuis seize ans et membre du conseil de la Haskell Foundation et du comité Haskell.org, explique que Scarf a longtemps exploité Haskell en production avec succès. Malgré la fiabilité et la détection d'erreurs offertes par le typage, des coûts opérationnels comme les temps de compilation et la friction de l'écosystème se sont avérés lourds à supporter. L'arrivée des grands modèles de langage a modifié les arbitrages en rendant la génération de code rapide mais en exposant les limites des builds froids et des environnements parallèles pour les agents. Pour gagner en vélocité, Scarf a commencé à développer ses nouvelles API en Python, en s'appuyant sur les LLM pour porter le code, renforcer les tests et accélérer les cycles de livraison. L'auteur avertit que Haskell risque de perdre du terrain si la communauté ne se mobilise pas pour optimiser compilations, onboarding, documentation, exemples et outils pensés pour l'ère de l'IA.

avi.press Resume pret HTTP 200 Commentaires

The Lindy Effect in Software

L'effet Lindy stipule que plus une chose a existé longtemps, plus elle a de chances de continuer d'exister encore longtemps. Transposé au logiciel, cela signifie que les technologies éprouvées sont souvent des choix plus robustes et moins risqués que les nouveautés à la mode. Les avantages des technologies mûres incluent une plus grande stabilité et fiabilité, un écosystème et une documentation développés, des performances prévisibles, une acceptation industrielle et un risque réduit. Des exemples typiques sont le langage C (créé en 1972) et le SQL (présent depuis 1989), tandis que certaines bibliothèques JavaScript fluctuent et que des entreprises préfèrent Java pour sa sécurité historique même si des alternatives comme Go gagnent en popularité. En pratique, il convient d'adopter prudemment les nouveautés, de fonder l'architecture sur des technologies éprouvées, de concevoir pour la longévité et de privilégier des évolutions incrémentales plutôt que des révolutions fréquentes.

www.clemsau.com Resume pret HTTP 200 Commentaires

Snails' teeth beats spider silk as nature's strongest material (2015)

Les patelles, des gastéropodes marins appelés limpets, s'agrippent aux rochers et utilisent une langue garnie de dents, la radula, pour ronger la roche pendant qu'elles se nourrissent. Des ingénieurs britanniques et des chercheurs ont découvert que ces dents sont constituées de nanofibres de goethite enchâssées dans une matrice protéique, formant un matériau naturel d'une résistance exceptionnelle. Les tests indiquent que ce matériau dépasse en moyenne la soie d'araignée d'environ cinq fois et qu'il surpasse des matériaux comme le Kevlar tout en se situant au niveau des meilleures fibres de carbone. Les auteurs précisent que certains matériaux naturels rares, comme la nitrure de bore en structure wurtzite et la lonsdaléite, peuvent présenter des résistances supérieures au diamant selon la propriété mesurée. Les chercheurs estiment que ces dents robustes mais flexibles peuvent inspirer de nouveaux matériaux et soulignent que l'étude se concentre sur la résistance à la traction, distincte de la dureté ou de la résistance en compression.

www.smithsonianmag.com Resume pret HTTP 200 Commentaires

Computation as a universal and fundamental concept

Le texte revient à 1936 et explique comment Alan Turing a montré l'existence de problèmes indécidables, notamment le problème de l'arrêt. Il s'intéresse ensuite aux problèmes résolubles efficacement, présentant des raccourcis algorithmiques comme l'algorithme de Dijkstra pour les itinéraires et la multiplication de Karatsuba. La résistance de l'énigme du voyageur de commerce a conduit à la théorie de la NP-complétude, qui révèle que des milliers de problèmes apparemment différents partagent la même difficulté fondamentale. La question P contre NP, présentée comme l'une des grandes énigmes des mathématiques, a des conséquences potentielles pour la cryptographie, l'intelligence artificielle et l'informatique quantique. Le cours est accessible sans prérequis et est accompagné d'informations sur la carrière et les ouvrages de l'enseignant, spécialiste des algorithmes et de leurs limites.

ergo.org Resume pret HTTP 200 Commentaires

New York City to ban deceptive subscription practices

New York met en place une règle, applicable à partir du 1er octobre, interdisant les abonnements trompeurs qui piègent les consommateurs et exigeant un moyen simple d'annulation. Les entreprises qui n'offrent pas de procédure d'annulation claire risquent des sanctions allant jusqu'à 525 $ par abonnement utilisateur, le remboursement des frais et d'autres amendes. La ville vise également les « junk fees » en imposant que le prix total, incluant tous les frais obligatoires, soit affiché dès l'annonce, ce qui toucherait particulièrement le marché locatif où des frais additionnels gonflent le coût réel des loyers. Ces mesures font partie d'une campagne menée par l'administration Mamdani et le commissaire Samuel A. A. Levine pour lutter contre les pratiques commerciales prédatrices, dans un contexte de règles fédérales et de batailles judiciaires similaires. La municipalité ouvrira une période de commentaires publics puis une audition avant adoption finale, en espérant finaliser la règle sur les frais additionnels d'ici la fin de l'année et en annonçant une application vigoureuse pour protéger résidents et visiteurs.

www.theguardian.com Resume pret HTTP 200 Commentaires

Silent speech with ultrasound

Des chercheurs ont entraîné un modèle pour prédire du texte à partir de vidéos d'échographie submentale de la langue pendant que la personne reste silencieuse. Le système, entraîné sur environ 50 heures de données vocalisées utilisées pour contrôler la qualité, atteint un taux d'erreur de mots de 15,6 % sur une validation inter-locuteur à vocabulaire ouvert. L'approche associe un encodeur vidéo ResNet-18 2+1d à un décodeur Whisper en alignant les embeddings vidéo sur les embeddings audio de Whisper pour générer du texte. Le modèle se généralise à de nouveaux locuteurs principalement pour les accents américains mais est moins performant sur d'autres accents, et les erreurs indiquent qu'il apprend des structures phonétiques au-delà des simples priorités linguistiques. Les défis matériels restants incluent la réduction de la taille et du poids de la sonde et le remplacement du gel d'échographie par un matériau de couplage pratique pour rendre l'appareil portable.

alephneuro.com Resume pret HTTP 200 Commentaires