HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11200 articles Page 3/1120 Sans filtre

Anti-patterns in software blogging

L'article recense les erreurs fréquentes des blogueurs logiciels débutants, en insistant que l'introduction trop longue empêche souvent de convaincre le lecteur de rester. Il recommande de cibler clairement le lecteur et le bénéfice dès le titre et les trois premières phrases, d'éviter d'assumer des connaissances spécifiques et de ne pas renvoyer le lecteur vers des liens qui deviennent des prérequis. L'auteur déconseille aussi les articles présentés comme des suites sans résumé, critique le ton excessivement formel et prône une écriture naturelle et personnelle. Sur le plan technique, il rappelle des bases pratiques : vérifier le rendu HTML, éviter les images et extraits de code qui provoquent un débordement horizontal sur mobile et choisir des polices et contrastes lisibles. En synthèse, un bon billet doit être autonome, offrir une valeur immédiatement perceptible, proposer des liens comme compléments et être testé pour le mobile et l'accessibilité avant publication.

refactoringenglish.com Resume pret HTTP 200 Commentaires

Wood Tape (2004)

Le narrateur reçoit un appel de sa femme lui demandant d'emmener leur fils de quatre ans, Guy, au magasin de bricolage pour acheter du "wood tape". Au magasin, Guy prend l'initiative, interroge les employés et choisit finalement du ruban, deux pots de peinture et du bois pour son projet. De retour à la maison, le père construit une table simple selon le dessin de Guy et prépare les surfaces en vue de la peinture. Ils découvrent alors que Guy voulait créer un damier peint sur la table pour jouer aux dames dans sa cabane dans l'arbre, révélant que l'enfant avait tout planifié. Ému et fier, le père numérise les dessins et conserve les souvenirs de la journée, reconnaissant d'avoir laissé son fils mener le projet.

gamesbyemail.com Resume pret HTTP 200 Commentaires

If somebody tries to hot-patch an already-hot-patched function

Le mécanisme de hot-patching de Windows est conçu pour n'autoriser qu'un seul hot-patcheur, principalement Windows Update sur certains systèmes. Lorsqu'une mise à jour est marquée comme sûre pour le hot-patching, Windows Update peut remplacer des fonctions à la volée en utilisant l'espace réservé. Si une fonction a été patchée par du code non autorisé, le système déclare le fichier non hot-patchable et impose généralement un redémarrage. Une condition de concurrence peut conduire à ce qu'une préscan valide soit suivie d'une modification concurrente, laissant un binaire partiellement patché en mémoire dans un état indéterminé. Les modifications qui altèrent la mise en page ou les invariants des structures de données ne sont pas sûres pour le hot-patching, et les applications utilisant cet espace s'exposent à des conflits.

devblogs.microsoft.com Resume pret HTTP 200 Commentaires

House with 15m underground tunnels for sale for 300k

Tony Deane, ingénieur civil, a creusé à la main pendant plus de vingt ans un réseau souterrain de pièces et de galeries sous sa propriété de Tilehurst. Le complexe s'étend sur plus de 1 300 pieds carrés sur quatre niveaux et descend à plus de 15 mètres, et comprend des salles de stockage, un chemin de fer artisanal et une entrée secrète dissimulée dans une fusée près de la piscine. Les galeries ont été excavées manuellement par la famille avec des seaux et des brouettes et incluent un monte-charge d'une tonne ainsi qu'une porte secrète coulissante en béton de 1,5 tonne. Le site comprend un atelier de 2 500 pieds carrés sur trois niveaux, une allée sécurisée, un grand bassin et des vestiaires, et bénéficie d'autorisations d'urbanisme récentes pour la construction ou la conversion de logements. La propriété est mise aux enchères avec un prix indicatif de 300 000 à 325 000 livres et sera proposée lors d'une vente aux enchères en ligne les 28 et 29 octobre.

www.readingchronicle.co.uk Resume pret HTTP 200 Commentaires

How machines learned precision

Au début de la révolution industrielle, les ateliers peinaient à produire des cylindres, rails et filetages suffisamment droits et réguliers pour éviter fuites, jeux et blocages, ce qui limitait l'efficacité des machines à vapeur. John Wilkinson améliora la précision des cylindres en concevant une machine d'alésage qui soutenait la barre porte-outil aux deux extrémités, permettant d'usiner des alésages beaucoup plus droits. Henry Maudslay rigidifia le tournage avec un chariot porte-outil sur glissières, introduisit la vis mère et des roues d'entraînement interchangeables pour couper des filetages réguliers et répétés. Les ajusteurs obtinrent des surfaces vraiment planes par grattage en utilisant la méthode des trois plaques et accélérèrent la mise en forme par des machines à dégrossir comme la plane, réduisant temps et coûts. Joseph Whitworth mit au point des appareils de mesure à vis très fins et des calibres étalons capables de détecter le millionième de pouce, établissant des normes qui rendirent possible la fabrication de pièces interchangeables.

glinscott.github.io Resume pret HTTP 200 Commentaires

A new write and space optimized storage engine for MySQL is here

TidesDB est désormais disponible comme moteur de stockage externe pour MySQL via un plugin (TideSQL), installé aujourd'hui avec un script install.sh, permettant à des tables TidesDB de coexister avec InnoDB dans le même serveur. La bibliothèque TidesDB est un moteur hybride LSM optimisé pour l’écriture et l’espace, offrant compression (LZ4 par défaut), séparation de valeurs via un value log et options par table définies en JSON via ENGINE_ATTRIBUTE avec variables session par défaut. L’engine propose réglages fins du LSM (level_size_ratio, min_levels, l1_file_count_trigger, etc.), modes de durabilité (tidesdb_memtable_sync_mode), expiration et cryptage par ligne, ainsi que fonctionnalités avancées comme index FULLTEXT, clés étrangères, index spatiaux, colonnes JSON, colonnes vecteur (sans recherche de similarité) et sauvegarde en ligne. La concurrence est gérée par MVCC optimiste sans verrous pessimistes, les conflits apparaissent au commit (ER_ERROR_DURING_COMMIT) et les transactions REPEATABLE READ ou supérieures doivent prévoir des retries en cas de conflit. Des benchmarks sysbench et des tests sur valeurs de 4 Ko montrent des gains importants en débit et une réduction massive des écritures disque par rapport à InnoDB, principalement parce que TidesDB ajoute des écritures append-only et reporte les réécritures à la compaction.

tidesdb.com Resume pret HTTP 200 Commentaires

Navier–Stokes Lost in Translation

L'autoformalisation consiste à traduire des textes mathématiques du langage naturel en langages formels comme Lean afin de permettre une vérification mécanique. Les auteurs soutiennent que ce processus peut n'apporter aucune garantie sur la fidélité sémantique du texte original en raison des difficultés de désambiguïsation du langage mathématique naturel. Ils démontrent que la résolution de ces ambiguïtés se situe au niveau infini de l'indice de complexité de résolubilité (SCI = ∞), donc au‑delà de problèmes calculables comme le problème de l'arrêt. Pour illustrer l'impact pratique, l'article fournit plusieurs exemples où des IA ont mal traduit des énoncés et des preuves en Lean, générant des discordances entre le texte naturel et la vérification formelle. Ils examinent en particulier l'exemple annoncé d'OpenAI concernant le blow-up des solutions des équations de Navier–Stokes et concluent que la preuve formelle en Lean ne correspond pas à la preuve en langage naturel.

arxiv.org Resume pret HTTP 200 Commentaires

Animated ASCII Art for Web Pages

Le texte est constitué principalement de caractères ASCII variés organisés en un motif visuel abstrait. On y note la répétition et la superposition de symboles tels que %, @, #, *, +, =, :, ~, -, , et . créant des textures et des lignes. Le contenu n'offre pas d'informations sémantiques ou narratives compréhensibles et ressemble à une image ou à un art ASCII plutôt qu'à un article informatif. Aucune structure éditoriale, auteur, date ou contexte explicite n'est fournie dans le texte à résumer. Ce texte peut être interprété comme un motif décoratif, un test de rendu ou un fichier corrompu, mais sa nature exacte ne peut être déterminée à partir du seul contenu.

ascii.rest Resume pret HTTP 200 Commentaires