HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 552/1208 Sans filtre

A peek into Reddit's anti-spam internals

En 2021, une anomalie d'affichage dans l'application Relay a exposé pendant quelques heures les motifs internes de suppression de contenu de Reddit. L'auteur détaille les différents mécanismes observés — suppressions par domaine, spammit, bannissements classiques et shadowbans — et met en lumière un système nommé spamurai qui applique des règles et sous-systèmes comme echelon. Les bannières de suppression contenaient des métadonnées techniques (score Perspective SPAM, âge du compte, karma, organisation, user agent, empreintes TLS/RHS, etc.) permettant d'identifier les critères ayant déclenché des filtrages automatiques. L'article explique des techniques de détection supplémentaires comme l'inspection de redirections, l'application de regex après translittération via unidecode et l'utilisation d'outils externes et internes (Perspective API, Minsky, Hive, Google Vision, REV1/REV2/Snooron). L'auteur conclut que ces révélations, désormais moins dangereuses en raison d'évolutions technologiques et de changements d'outils, documentent surtout la façon dont Reddit a construit et fait évoluer ses dispositifs anti-spam.

Zluda 6 release (run unmodified CUDA applications on non-Nvidia GPUs)

La mise à jour Q1&Q2 2026 annonce la version majeure 6, identique à l’aperçu 6-preview.79, dans le cadre d’un modèle de développement continu. Le projet ajoute un support pré-alpha de PhysX 32 bits permettant, dans certains jeux, d’activer des effets physiques et d’améliorer les performances sur GPU AMD, tout en restant incomplet et parfois instable. Un support basique des textures a été implémenté, suffisant pour faire fonctionner Blender et couvrir les cas d’usage requis par PhysX. Le support Windows a été nettement amélioré avec une détection explicite des bibliothèques manquantes, des instructions d’installation et un chargeur zluda.exe plus robuste qui gère automatiquement les bibliothèques de performance. Le développement est redevenu un projet personnel sans financement commercial, entraînant une réorientation des priorités, la promotion de Violet au statut de Developer Emeritus et la perspective de mises à jour moins fréquentes.

Waveloop: What Fable left me

L'auteur explique qu'il a utilisé Fable 5 pour créer Waveloop, un visualiseur musical visant à révéler de manière viscérale la structure harmonique et mélodique des morceaux. Waveloop encode la structure cyclique des classes de hauteur sur un cercle chromatique (30° par demi-ton) et affiche chaque instant comme une spirale histogramme empilée avec des couches colorées par octave en oklch. Le visualiseur rend les intervalles lisibles comme des angles et permet d'identifier la qualité d'un accord par sa forme, l'auteur fournissant des tableaux d'intervalles et d'exemples de qualités d'accords. Il publie aussi la fonction de détection d'accords en JavaScript, qui normalise le chroma, applique une AGC et évalue des qualités d'accords pour retourner le nom, la fondamentale et les classes de hauteur si le score est suffisant. Enfin, il commente le style de code dense et technique produit par Fable, décrit l'itération d'une vidéo explicative avec TTS et diagrammes, et précise que les SVG des diagrammes ont été générés par Claude tandis que le texte reste de sa main.

I built a 10 inch mini rack from aluminium extrusions

L'auteur a construit un rack mini 10 pouces en profilés d'aluminium pour organiser six mini-PCs 1L utilisés dans un projet de virtualisation. Il a employé des profilés extrudés de 20 mm, des plateaux en tôle d'aluminium découpés sur mesure et des équerres pour fixer les étagères plutôt que d'utiliser des pièces imprimées en 3D. Des difficultés sont apparues avec la gestion des grosses alimentations externes, l'impossibilité de monter certains PDU à l'horizontale, un léger fléchissement des plateaux de 1 mm et un câblage encombrant. Le rack intègre un switch 1 Gbit et un switch 2,5 Gbit avec adaptateurs USB vers 2,5Gbe pour atteindre la vitesse ligne, des ventilateurs alimentés via convertisseurs USB vers 12 V, et les machines tournent sous Debian en hôtes KVM avec démarrage via Wake-on-LAN piloté par Zigbee. Le coût total déclaré est d'environ 313 € hors ventilateurs supplémentaires, la consommation au repos est autour de 90 W, et l'auteur se dit globalement satisfait tout en notant que l'accès aux ports et la gestion des câbles pourraient être améliorés.

Hengefinder

Résumé indisponible pour cet article.

1.38 Millimeter Microcontroller

Ce microcontrôleur embarque un cœur Arm Cortex-M0+ cadencé à 24 MHz avec jusqu'à 16 KB de flash et 1 KB de SRAM. Il intègre un convertisseur analogique-numérique 12 bits pouvant atteindre 1,5 Msps (ou 1,7 Msps en 10 bits) avec référence VDD, capteur de température et surveillant d'alimentation. La plage d'alimentation va de 1,62 V à 3,6 V et la plage de température de fonctionnement s'étend de −40 °C à 125 °C, avec un oscillateur interne 24 MHz précis évitant un quartz externe. Les périphériques comprennent UART (supportant LIN, IrDA, DALI, smartcard), I2C FM+ jusqu'à 1 Mbps, SPI à 12 Mbps, un canal DMA dédié à l'ADC, plusieurs timers 16 bits, watchdog fenêtré et jusqu'à 18 GPIOs dont des E/S tolérantes 5 V. La plate-forme propose plusieurs boîtiers, modes basse consommation optimisés, outils et kits de développement (LaunchPad, SDK, IDE et outils tiers) ainsi que exemples et références pour faciliter la conception.

Structural Correctness

De nombreux outils de vérification modernes décrivent un domaine comme un graphe typé — les systèmes de types, les systèmes de build (comme Bazel), les langages d'interface et les bases de données représentent entités et relations par des nœuds et des arêtes. Les meilleurs de ces graphes sont définitoires : leur structure déclare à la fois ce qui est valide et comment produire les sorties, ce qui rend des invariants (par exemple l'interdiction d'importer sans dépendance) vérifiables par conception. Chaque domaine a son propre vocabulaire de types de nœuds et d'arêtes et des choix élégants dans cette ontologie (par exemple deps, srcs, data dans Bazel) permettent d'exprimer des capacités distinctes et de dériver les pipelines build/test/deploy à partir d'une même description structurelle. Les bases de données définissent le schéma et des contraintes mais pas toujours les transitions d'état, tandis que les réseaux de Petri colorés ajoutent des transitions et des binding explicites qui font de propriétés comme la conservation des proxies des faits topologiques du graphe. L'exemple du scraper web illustre qu'avec un CPN la location atomique d'un proxy, l'incrément du compteur de domaine et la création de session peuvent être une seule transition, unifiant état et coordination, supprimant la nécessité de verrous complexes et déplaçant la vérification des invariants vers la topologie du modèle, au prix de nouveaux compromis opérationnels à étudier.

Claude Fable 5 available globally tomorrow

Après des discussions productives avec le gouvernement américain, Anthropic redéploie le modèle avec un nouveau jeu de classificateurs visant à bloquer davantage de tâches liées à la cybersécurité. À court terme, certaines tâches courantes comme le codage et le débogage seront prises en charge par Opus 4.8 en solution de repli. La société indique qu'elle affinera ces classificateurs au cours des semaines à venir pour réduire les faux positifs et mieux distinguer les usages malveillants des requêtes légitimes. Elle élabore également, avec Amazon, Microsoft, Google et d'autres partenaires, un cadre consensuel pour évaluer la gravité des contournements d'IA et préciser les réponses appropriées des développeurs. La collaboration avec le gouvernement américain est renforcée pour inclure l'accès pré-lancement aux modèles et aux mesures de sécurité, le partage d'informations sur les jailbreaks et des ressources dédiées à la recherche conjointe.

Memoirs of Extraordinary Popular Delusions and the Madness of Crowds (1852)

Publié en 1841, cet ouvrage constitue une étude précoce de la psychologie des foules. L'auteur explore, sur trois volumes, la propension des sociétés aux manies collectives en abordant les bulles financières, les croisades religieuses, les procès de sorcellerie, l'alchimie et d'autres folies. Il démystifie ces illusions populaires à l'aide d'anecdotes colorées et d'un style journalistique spectaculaire, évoquant notamment la tulipomanie et l'influence politique sur les modes de barbe. Son analyse des bulles économiques demeure influente et est souvent citée par des financiers pour mieux prévoir les krachs et comprendre la spéculation moderne. Le résumé fourni dans le texte est généré automatiquement.