HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 525/1208 Sans filtre

M/PC – A Concatenative OS

Il s'agit d'un système d'exploitation concaténatif pour Varvara inspiré d'Openfirmware qui utilise la notation postfixée pour exécuter des commandes. Les fichiers peuvent contenir des séquences réutilisables de commandes incluses via un préfixe tilde et servent à manipuler le système de fichiers sans navigateur. L'interface repose sur une invite unique en haut de l'écran et des contrôles permettant une navigation sans clavier (gauche/droite pour la pile, haut/bas pour le défilement, A pour évaluer et B pour revenir). Le système peut démarrer comme une ROM BIOS en mode kiosque et tente de charger au démarrage un fichier icn nommé selon la largeur et la hauteur de l'écran exprimées en hexadécimal. Une bibliothèque de primitives gère les opérations sur les fichiers, la pile, les calculs et les comparaisons, l'affichage d'icônes et de textes, ainsi que des commandes utilitaires pour redimensionner l'écran, écrire sur la console et quitter.

wiki.xxiivv.com Resume pret HTTP 200 Commentaires

Rotman Lens

Résumé indisponible pour cet article.

en.wikipedia.org Echec HTTP HTTP 403 Commentaires

Learning to code is still worthwhile

L'auteur, fondateur de Val Town, soutient que tout le monde devrait apprendre à programmer, non plus comme un chemin garanti vers un salaire élevé mais pour des raisons éducatives analogues aux arts libéraux. Il raconte comment un atelier de programmation et la pédagogie de Seymour Papert (le langage LOGO et le concept de « Mathland ») l'ont réconcilié avec les mathématiques et favorisé l'apprentissage par exploration. Selon lui, la programmation enseigne des méta-compétences importantes — débogage, composition, logique et la conviction que tout peut s'apprendre — qui contribuent à l'assurance des informaticiens. Il présente le code comme une forme d'expression créative comparable à la littérature ou à la musique, alliant précision, boucles de rétroaction immédiates et capacité à concrétiser des idées abstraites. Malgré l'avènement des grands modèles de langage, il défend le rêve d'une littératie universelle en code, jugeant la programmation à la fois puissante, pertinente et source de plaisir, et invite les lecteurs intéressés à le contacter.

stevekrouse.com Resume pret HTTP 200 Commentaires

Aluminum foil (2021)

Le papier d'aluminium de cuisine est un matériau très fin (environ 10 μm), avec un grand rapport d'aspect, hautement réfléchissant et conducteur, imperméable à l'oxygène, à l'eau et à la lumière à partir d'environ 25 μm, résistant à la corrosion et très bon marché (~0,50 $/m²). Les alliages courants (1100, 1200, etc.) présentent des limites d'élasticité et de traction typiques (30–170 MPa, 70–200 MPa), un module d'environ 70 GPa, s'écrouissent fortement sous pliage et restent ductiles aux températures cryogéniques, tandis que l'oxydation peut produire une couche isolante et abrasive. L'auteur décrit des techniques pratiques comme le laminage avec du papier tissue, le pliage en couches pour former des pointes et cônes durcis par écrouissage capables de percer ou d'imprimer d'autres feuilles, ainsi que le marquage par estampage et la formation de nervures répétitives. Il rapporte aussi des expérimentations variées (dents, tôles déployées, une grue en origami de 700 mg, essais d'annealing et mesures d'épaisseur), et calcule qu'un rouleau permettrait de fabriquer des milliards de « parties » microscopiques, avec un bootstrap séquentiel théorique d'environ 12 jours pour 100 000 éléments. L'étude souligne toutefois des limites pratiques pour construire des dispositifs complets uniquement en aluminium (isolement électrique, actionneurs), et recommande d'explorer des procédés complémentaires comme l'anodisation, l'usinage électrolytique, le EDM ou des revêtements pour étendre les capacités.

dernocua.github.io Resume pret HTTP 200 Commentaires

Full Writeup of the Windows GDID

L'auteur a analysé et reproduit sur Windows 11 la valeur citée dans la plainte judiciaire de juillet 2026 et confirme que le GDID existe et apparaît comme g:<nombre décimal> correspondant à un entier 64 bits. Le GDID est en réalité un Device PUID attribué par le service Microsoft Account (wlidsvc) lors de la provision du dispositif par login.live.com, et non un identifiant 128 bits ni dérivé des numéros de série matériels. CDP (cdp.dll / CDPSvc) reçoit ce PUID en clair depuis la pile d'identité, l'enregistre puis le publie dans le Device Directory Service (DDS), et Delivery Optimization le rapporte ensuite comme GlobalDeviceId. La valeur est persistée dans le registre utilisateur (HKCU\SOFTWARE\Microsoft\IdentityCRL\ExtendedProperties LID ou Token\...\DeviceId), et une réinstallation de Windows entraîne la création d'un nouveau PUID. Pour réduire l'exposition, l'étude propose d'arrêter les services Connected Devices Platform et de désactiver l'historique d'activité, en précisant que la simple suppression de l'état local ne suffit pas parce que la réinscription se produit à partir du magasin d'identité.

github.com Resume pret HTTP 200 Commentaires

Poly/ML – A Standard ML Implementation

Cette implémentation de Standard ML, initialement écrite dans un langage expérimental, est conforme au standard ML97 depuis la version 4.0. Elle adopte une approche conservative du langage en limitant les extensions incompatibles tout en ajoutant des bibliothèques utiles comme la gestion des threads. Le compilateur est rapide et l'implémentation est privilégiée pour de grands projets tels qu'Isabelle et HOL, avec une interface pour fonctions externes et un débogueur symbolique. La bibliothèque de base est documentée et la plateforme prend en charge nativement i386 (32 et 64 bits) et ARM64, avec un interprète pour d'autres architectures. Un forum d'entraide est disponible via une liste de diffusion pour les questions et le support.

github.com Resume pret HTTP 200 Commentaires

NSA and IETF: Fairness

L'auteur rappelle que des documents secrets et des actions passées montrent que des agences de renseignement et leurs partenaires ont historiquement cherché à influencer et à promouvoir des algorithmes faibles (DES, RC4, RSA-512) et des normes de génération de nombres aléatoires. Le texte signale un vote en cours au sein du groupe de travail TLS de l'IETF sur la publication d'un RFC pour l'utilisation de ML-KEM en mode solo, ce qui serait interprété comme une approbation formelle par l'IETF. Des partisans bien placés (membres d'agences de renseignement et de grandes entreprises) soutiennent le RFC tandis que de nombreux cryptographes et responsables publics ont formulé des objections de sécurité. L'article critique le processus de l'IETF, en particulier l'usage répétitif de "last call", la notion de "rough consensus" et le rôle de l'IESG, en estimant que ces procédures peuvent favoriser l'adoption d'un document malgré des objections persistantes. L'argument présenté est que repousser la publication permettrait davantage de discussion et comporte un risque moindre que d'approuver le document, puisque l'approbation pourrait faciliter une adoption à grande échelle entraînant des risques de sécurité importants.

blog.cr.yp.to Resume pret HTTP 200 Commentaires

Tiny-C Reference Manual Excerpt

Le manuel présente un langage de programmation influencé par BASIC, LOGO et C, conçu pour offrir un environnement unique et facile à apprendre favorisant l'enseignement du style structuré. Il combine un langage, une bibliothèque standard et un système de préparation de programmes permettant d'éditer, exécuter et stocker des programmes indépendamment du système d'exploitation. Le langage propose des structures de contrôle (if-then-else, while), des fonctions, des variables locales et globales, des types entier et caractère, ainsi que pointeurs et tableaux, illustrés par un exemple de jeu de devinette utilisant des fonctions de bibliothèque et une routine de génération aléatoire. La conception met l'accent sur la clarté du programme par la modularité, un flux d'exécution prévisible, l'utilisation de statements composés et de noms significatifs, tout en recommandant des règles d'indentation cohérentes pour la lisibilité. Le manuel vise débutants et utilisateurs avancés en fournissant tutoriels, références, description de l'interpréteur et guides d'installation sur microprocesseurs tels que l'8080 et le PDP-11, l'environnement de commande étant lui-même implémenté dans le langage.

permacomputer.solarpunk.au Resume pret HTTP 200 Commentaires

OfficeCLI: Office suite for AI agents to read and edit Microsoft Office files

OfficeCLI est une suite open source distribuée en un seul binaire qui permet la création, la lecture et la modification de fichiers Word, Excel et PowerPoint sans installation d'Office. Elle embarque un moteur de rendu HTML/PNG haute fidélité pour fournir aux agents IA une sortie visuelle exploitable et fermer la boucle rendre→voir→corriger, même en environnement headless ou en CI. La plateforme propose un moteur de formules et de pivots Excel intégré, des opérations DOM et XML, des modes résident et batch, ainsi que des fonctions de fusion de modèles et d'export de plans réutilisables. Toutes les commandes retournent des schémas JSON déterministes, un serveur MCP et des fichiers de compétence facilitent l'intégration avec des agents (Claude, Copilot, Cursor, etc.), et l'installation peut se faire en une seule ligne. Elle est multi‑plateforme, accepte de nombreux formats d'unités et couleurs, offre une aide intégrée et un large éventail de commandes pour l'automatisation et les pipelines CI/CD.

github.com Resume pret HTTP 200 Commentaires