HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 505/1208 Sans filtre

Show HN: Phobos – A tiny scale-free kernel language with tile-DAG support

L'auteur a développé Phobos, un petit langage noyau inspiré de Triton qui compile via MLIR/LLVM/NVPTX en PTX et s'exécute sur GPU NVIDIA. Phobos est centré sur des types de tenseurs et de tuiles de première classe et expose des constructions pour le tiling, l'autotuning et l'abstraction des threads via des intrinsics comme program_id. Sur une RTX 2080 SUPER, Phobos atteint environ 76 % du débit GFLOP/s de cuBLAS pour un SGEMM en FP32 (soit ~74 % du pic théorique), avec des variantes utilisant des Tensor Cores en FP16/FP32 présentées comme des comparaisons non strictement équitables. Le compilateur génère du MLIR abaissé en LLVM IR puis en PTX, l'implémentation en Rust s'appuie sur melior et inkwell, et un prototype de planificateur de grappes produit un DAG de tuiles pour orchestrer ALLOC, FETCH, COMPUTE et FREE. Le prototype de cluster a été validé localement sur une seule machine avec nœuds simulés et l'auteur présente ce travail comme un projet de recherche personnel axé sur la compréhension des concepts GPU bas niveau plutôt que comme une solution prête pour le déploiement à grande échelle.

www.joa-ebert.com Resume pret HTTP 200 Commentaires

Show HN: Reviving my 2001 college band with AI

Le projet relance en 2026 des chansons originales du groupe universitaire Fading Maize issues d'une archive de chambre d'étudiant de 2001 grâce à une production assistée par l'IA. Le processus combine les versions d'archive et des éditions "Reimagined" accessibles côte à côte, avec un lecteur permettant de basculer entre les enregistrements en cours de lecture, et il repose sur cinq principes publics : consentement, paternité, provenance, conservation et non-déplacement. La chronologie retrace la genèse vers 2000, l'arrivée du batteur Jacob Graf en 2001, des enregistrements et concerts en 2002, la remise en ligne du site original en 2025 et la parution des éditions 2026. Les crédits maintiennent la primauté des contributions humaines : Charlie (Chuck) Saponara est l'auteur et la voix principale, Jacob Graf pilote la relance et l'architecture technique, et Brad Mott est crédité pour son rôle historique sans participation active imposée. La feuille de route prévoit d'ajouter d'autres paires avant/après, de restaurer des vidéos et photos d'époque et d'offrir des contenus et produits directs aux fans via Bandcamp et autres canaux.

www.fadingmaize.com Resume pret HTTP 200 Commentaires

Punk, or why I don't stream anymore

L'auteur soutient que la culture hacker authentique a été détruite par le spectacle, qui transforme la pratique en consommation et en affichage plutôt qu'en participation. Les profils de rencontres et les flux en direct sont décrits comme du marketing homogène qui efface les aspérités individuelles et produit une identité difforme et non dirigeante. Selon le texte, l'intelligence artificielle aggrave ce phénomène en fournissant du contenu pré mâché et une illusion de contrôle, tandis que l'Internet uniformisé rend l'isolement pratiquement impossible. Les cultures marginales sont récupérées et vendues en versions dégradées par des machines compétitives, transformant les pratiques sociales et les signes distinctifs en biens absorbables. L'auteur exprime une inquiétude pragmatique quant à la portée de cette transformation informationnelle et considère que la lutte porte sur la réalité intérieure, avec des révolutions et des reconstructions qui risquent d'être problématiques.

geohot.github.io Resume pret HTTP 200 Commentaires

The mathematical secrets of Barcelona's Sagrada Familia

2026 marque le centenaire de la mort d'Antoni Gaudí et l'article examine les motifs numériques qui structurent la basilique de la Sagrada Família à Barcelone. Le mathématicien Claudi Alsina a identifié un module de 7,5 mètres et l'utilisation des diviseurs de 12 comme base du système proportionnel de l'édifice. Les dimensions principales et les hauteurs des vaisseaux et des tours (par exemple 90 m de long, voûte d'abside à 75 m, tour du Christ à 172,5 m) sont des multiples de 7,5, et de nombreuses structures sont couronnées de polyèdres tels que dodécaèdres, octaèdres tronqués, cubes tronqués et icosaèdres. Les éléments structurels comprennent des arcs caténaires, des colonnes à double hélice qui se ramifient comme des arbres et des skydomes hyperboloïdes faits de droites pour optimiser la transmission des charges et la lumière. Des motifs symboliques fondés sur des nombres (la référence au 12 biblique, un heptagone au-dessus de l'autel symbolisant les sept dons de l'Esprit et un carré magique dont la somme des lignes, colonnes et diagonales est 33) relient la géométrie à la signification religieuse et esthétique.

mappingignorance.org Resume pret HTTP 200 Commentaires

Successful Companies Go Blind

Le poisson-caverne mexicain existe sous deux formes presque identiques génétiquement : une population de surface voyante et une population cavernicole aveugle dont les embryons subissent l'apoptose du cristallin, redirigeant l'énergie vers des traits utiles en grotte. L'article compare ce phénomène aux entreprises qui développent une cécité de compétence : un environnement qui ne récompense plus l'ingénierie rigoureuse étouffe l'expression de cette compétence malgré sa conservation potentielle. Une croissance rapide et des recrutements internes finissent par produire des équipes familières au désordre interne, aboutissant à des systèmes fragiles et à une façade de succès qui masque des fondations dégradées. Les centres d'excellence et l'imposition de normes peuvent faire atrophier la motivation intrinsèque, tandis que des marchés peu contestés permettent aux incumbents d'accumuler bureaucratie et gaspillage sans recréer les "yeux" nécessaires. Comme le poisson-caverne qui peut retrouver la vue en revenant en eau de surface, les ingénieurs qui changent d'environnement peuvent réexprimer leurs compétences, alors que rester conduit à une adaptation progressive et inconsciente comparable à l'apoptose.

ianreppel.org Resume pret HTTP 200 Commentaires

Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine

C'est un moteur d'algèbre symbolique écrit en TypeScript, sans dépendances ni DOM, destiné aux interfaces manipulatives où l'on transforme les équations par gestes. Son invariant central est que seules les opérations légales sont possibles et que toute transformation est effectuée par des règles de réécriture garantissant des états sonores par construction. La validité est conditionnelle : les conditions (assomptions) comme b ≠ 0 ou les obligations créées par certaines opérations sont explicites, tractées et consignées avec l'équation. Le projet fournit un AST immuable à identifiants stables, arithmétique exacte en rationnels sur bigint, énumération des mouvements, environ 25 règles intégrées, et un historique de dérivation append-only avec bifurcations. L'écosystème inclut la mise en page géométrique id-keyed, des outils d'auteur de règles, des tests de propriété, des commandes pnpm pour construire et tester, et le code est publié sous licence MIT.

github.com Resume pret HTTP 200 Commentaires

Preemption is GC for memory reordering (2019)

L'auteur propose de considérer la préemption comme un coût irrécupérable et d'exploiter les interruptions (en particulier le retour d'IRQ, IRET) comme barrières implicites pour garantir l'ordre des accès mémoire en espace utilisateur. Il détaille l'implémentation d'event counts intégrés aux futexes, avec un drapeau "sleepers" pour n'appeler le noyau que si nécessaire, et une spécialisation single-producer qui évite les RMW atomiques en s'appuyant sur les interruptions et des délais conservateurs pour garantir la visibilité des écritures. Pour la protection mémoire (hazard pointers, epoch reclamation) il montre que les membarrier sont soit lents soit peu évolutifs et propose barrierd, un démon utilisant eBPF et perf pour suivre les horodatages d'interruption par CPU et offrir des barrières asymétriques en espace utilisateur sans envoyer d'IPI. Les mesures montrent que barrierd offre souvent des barrières plus rapides et à moindre coût système que membarrier non accéléré, surtout sur systèmes chargés, mais présente des limites quand des cœurs sont isolés ou inactifs et peut nécessiter des repliements (membarrier, ticks) pour garantir des bornes strictes. En conclusion, l'exploitation des interruptions comme source de barrières asymétriques permet de déplacer le coût vers les chemins lents, d'obtenir des optimisations proches d'un compteur non atomique pour cas single-writer et d'offrir une alternative pragmatique aux barrières explicites tout en reconnaissant les compromis en latence et en robustesse.

pvk.ca Resume pret HTTP 200 Commentaires