HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11333 articles Page 49/1134 Sans filtre

Coltrane's Tone Circle

John Coltrane a dessiné un cercle tonal fondé sur le cercle des quintes, complété par des gammes chromatiques et des lignes qui mettent au jour les relations harmoniques derrière Giant Steps. Le diagramme met en évidence des formes symétriques — hexagone de gamme entière, carré de diminué, triangle d'augmenté et ligne de triton — correspondant respectivement à la gamme whole‑tone, l'accord de 7e diminué, la triade augmentée et la paire tritonique. Ces figures expliquent des techniques jazzistiques : les accords diminués servent de dominantes sans fondamentale, les relations de tierce majeure structurent les Coltrane changes, la gamme entière fournit des altérations sur les dominantes, et l'harmonie par quartes est centrale au son moderne du jazz. Sur le plan pratique, le cercle visualise la progression 2⁻‑5‑1 et le mouvement des guide‑tones, permet la substitution par le triton et illustre le cycle de tierces majeures qui organise les changements de tonalité rapides. Il sert aussi à clarifier les relations modales et la proximité des tonalités, offrant un repère compact pour la transposition, le choix modal et les pivots harmoniques avancés.

jtomschroeder.com Resume pret HTTP 200 Commentaires

Burning Man death rates – A short lesson in statistics

L'édition 2026 de Burning Man a enregistré trois décès confirmés. En appliquant le taux brut de mortalité national américain, on attendrait environ 12,2 décès pour 70 000 personnes observées pendant une semaine. Après standardisation par âge en tenant compte de la distribution des participants, l'estimation attendue tombe à 4,9 décès en moyenne. Selon une modélisation de Poisson, la probabilité d'observer trois décès ou moins avec ce taux moyen est d'environ 27 %, ce qui n'est pas statistiquement anormal, mais l'incertitude est élevée en raison du faible nombre d'événements. La différence persistante entre l'estimation et le taux historiquement proche de zéro à Burning Man s'explique vraisemblablement par un biais de sélection vers des participants plus sains et d'autres facteurs démographiques difficiles à standardiser.

ihavenapkinthoughts.substack.com Resume pret HTTP 200 Commentaires

The last time my family was replaced by technology

L'auteur raconte que son arrière-arrière-grand-père, forgeron de chevaux, est devenu mécanicien après l'apparition de l'automobile. La famille a conservé le même objectif pratique d'aider les gens à se déplacer en changeant seulement la technologie et les outils. L'auteur compare l'angoisse qu'ont ressentie les artisans face aux changements technologiques du passé à celle que ressentent aujourd'hui de nombreux développeurs face à l'intelligence artificielle. Il suggère que beaucoup de professionnels sont motivés davantage par le plaisir de créer et de résoudre des problèmes que par l'acte technique lui-même. Le message final invite à laisser tomber le « comment » pour préserver le « pourquoi » qui sous-tend le travail.

manuel.darcemont.fr Resume pret HTTP 200 Commentaires

What TLA+ can and can't check

Le texte décrit l'engouement récent pour la vérification formelle et présente TLA+ comme un outil puissant pour concevoir et vérifier des systèmes concurrents complexes. Il explique le modèle de TLA+ qui représente les systèmes comme des comportements (suites d'états) et utilise des opérateurs temporels ([] P, P', <>P) pour exprimer invariants, actions et propriétés de vivacité. Il identifie des limites pratiques, notamment l'incapacité à formaliser des propriétés mal définies, à raisonner nativement sur plusieurs pas, sur le temps réel ou sur les opérations en virgule flottante. Il souligne une restriction fondamentale selon laquelle les propriétés sont quantifiées sur chaque comportement individuel, rendant impossible l'expression directe d'atteignabilité, d'hyperpropriétés (relations entre comportements) et de certaines propriétés d'ensemble de l'espace d'états. Enfin, il note que des contournements (variables auxiliaires, auto-composition, outils comme TLC ou logiques différentes) existent mais sont des astuces imparfaites, et que TLA+ reste très utile pour de nombreuses propriétés tout en ne couvrant pas tous les besoins.

buttondown.com Resume pret HTTP 200 Commentaires

I could've accessed 17T Microsoft records

Un chercheur en sécurité a découvert un service interne Microsoft nommé Titan dont l'API exposait une route acceptant des requêtes SQL sans vérification de la signature des jetons JWT. En envoyant un JWT non signé avec la revendication upn définie sur "admin", il a pu obtenir une identité administrateur locale et exécuter des requêtes SQL sans authentification réelle. L'accès a permis de consulter des métadonnées de plateforme, environ 25 000 enregistrements de comptes et des échantillons limités d'analyses Bing, sans que le chercheur n'identifie ni n'extraie des données personnelles. L'inventaire des routages et des bases a révélé 17 bases analytiques connectées, 9 863 noms de tables uniques et une estimation d'environ 17,3 × 10^12 lignes techniquement accessibles via ce contournement. La vulnérabilité a été signalée de manière coordonnée au Microsoft Security Response Center, qui a corrigé l'exposition et attribué une récompense au chercheur.

blog.faav.net Resume pret HTTP 200 Commentaires

CHOMPI portable sampler instrument is now open-source (hardware and software)

L'équipe a publié une version open source en tant que dépôt permanent contenant les fichiers et la documentation de l'appareil, destinée à être clonée et modifiée par la communauté. Ce pack vise les développeurs familiers avec Daisy et le développement en C++, et il n'est pas recommandé aux débutants qui veulent simplement jouer. La distribution inclut le firmware TAPE 2.0, TEMPO, une version bêta de WAVE (synthé wavetable 8 voix), le bootloader, les profils de carte microSD et tous les fichiers matériels tels que schémas, BOM et fichiers d'usinage. Les éléments graphiques et logos ont été retirés pour des raisons de droit, les fichiers originaux sont fournis sans l'artwork et l'utilisation commerciale sous la marque n'est pas prise en charge. Le support client formel n'est pas fourni pour les projets open source ou pour les unités tierces, mais une chaîne Discord dédiée permet la discussion communautaire tandis que le service et les réparations habituels restent disponibles pour les propriétaires.

www.chompiclub.com Resume pret HTTP 200 Commentaires

Show HN: Yantra – an LALR(1) parser generator for C++

Yantra est un générateur de parseurs LALR(1) et un "compiler compiler" écrit en C++ offrant un lexer intégré, prise en charge UNICODE/UTF8, ainsi qu'un constructeur et un parcours d'AST intégrés. Il utilise un analyseur bottom-up (LALR) pour construire d'abord un AST complet, puis effectue un parcours top-down pour exécuter les actions sémantiques, permettant aux actions des règles parentes de s'exécuter avant celles des enfants. Le lexer multi-mode et piloté par le flux lit caractère par caractère et alimente le parseur au fur et à mesure, facilitant le traitement d'entrées en continu et la gestion de constructions imbriquées. L'outil est autonome sans dépendances externes au-delà de la bibliothèque standard C++, se construit avec CMake, peut générer un fichier amalgamé .cpp avec main ou des fichiers .hpp/.cpp séparés, et fournit l'exécutable ycc pour produire des parseurs. Le projet se distingue de Bison/Yacc, ANTLR et tree-sitter par son parcours top-down après construction de l'AST, sa cible C++ native et son lexer intégré, et il est distribué sous licence MIT par Renji Panicker.

github.com Resume pret HTTP 200 Commentaires