Mayday Mysteries
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Why isn't mutable a subtype of immutable, or vice versa?
L'article explique pourquoi des variantes immuables et muables d'une même structure de données ne peuvent pas être correctement liées par une relation de sous-typage. Le principe de substitution de Liskov exige qu'une valeur d'un sous-type puisse être utilisée partout où le supertype est attendu, sans exception, et les systèmes de types statiques doivent le prouver. Avec l'exemple d'une paire, l'auteur montre que la mutabilité brise le contrat implicite de stabilité des résultats (par exemple pour le calcul de hachage), ce qui empêche de considérer un objet muable comme un objet immuable. Des mécanismes d'ad hoc polymorphisme comme les classes de types, interfaces ou traits permettent de définir les mêmes opérations sur des types distincts sans violer la sécurité du typage, en rendant explicite le contrat attendu. Dans les langages dynamiques, le duck typing et les vérifications à l'exécution offrent une flexibilité similaire mais rendent le raisonnement sur les flux de types plus difficile et favorisent les erreurs, surtout parce qu'on vérifie rarement l'absence de mutateurs.
New evidence for hidden chambers beyond Tutankhamun's tomb
Des chercheurs annoncent de nouvelles preuves géophysiques suggérant l'existence d'un complexe de corridors et de pièces derrière la tombe de Toutankhamon qui pourrait abriter la sépulture présumée de Néfertiti. Ils ont combiné des sondages radar effectués depuis l'intérieur de la tombe, une première utilisation de techniques microgravimétriques pour cartographier les variations de densité du sol, et des données antérieures d'imagerie électrique ainsi que des études structurelles et picturales. L'équipe, dirigée par Mamdouh Eldamaty avec l'analyse géophysique de George Ballard, identifie notamment un couloir de deux mètres rempli de décombres et une « anomalie 7 » constituant une zone de faible densité contenant un noyau plus dense pouvant correspondre à une chambre contenant des objets. Les cavités proposées semblent parallèles au mur nord de la chambre funéraire et ne paraissent pas reliées à d'autres entrées, mais la décision d'explorer physiquement ces espaces appartient au Conseil suprême des antiquités d'Égypte, qui devra autoriser des forages prudents et l'emploi de microcaméras. Des spécialistes trouvent les résultats intrigants mais insuffisants pour tirer des conclusions définitives, en demandant la publication complète des données, tandis que l'étude a été mise en ligne le 17 septembre dans les Occasional Papers de l'Amarna Royal Tombs Project.
Suzanne Ciani's Buchla Cookbook
Ce texte présente le rapport de Suzanne Ciani de 1976 qui décrit, avec schémas et exemples sonores, des patchs de performance pour le système Buchla Series 200 centrés sur le module Model 248 (M.A.R.F.). Le M.A.R.F. est exposé comme un générateur à 16 étapes à la fois séquenceur et mémoire adresseable, avec une fonction « external » permettant de remplacer les faders par plusieurs sources de tension et d’offrir quantification, transposition d’octave et commutation séquentielle en performance. Plusieurs techniques de jeu y sont détaillées, notamment les “Melodic‑Rhythmic Reliefs”, le “Vertical Sequencer”, le “String Patch”, les “Keyboard Rotations” et des méthodes d’improvisation rythmique et de spatialisation quadraphonique jouées en direct. Le document est présenté ici en édition numérique enrichie d’illustrations, d’exemples audio et d’adaptations logicielles, et il a continué d’être un manuel vivant pour Ciani et pour la renaissance modulaire, encouragée par des clones matériels et des rééditions contemporaines comme l’adaptation Eurorack de 2026. Situé dans la tradition « West Coast » du contrôle par tension et de la performance gestuelle, ce rapport est montré comme une référence pratique influente pour les pratiques actuelles de musique électronique générée en direct.
Polymarket's Rush to Grow Left a Door Wide Open for Fraudsters
Résumé indisponible pour cet article.
Compiler-style optimization for drawing via Skia
Les bibliothèques de rastérisation ont des sémantiques complexes et des modèles d'exécution opaques qui entraînent des séquences d'opérations inefficaces même dans des navigateurs très optimisés. Les auteurs introduisent μSkia, une sémantique formelle de la bibliothèque Skia mécanisée dans Lean, couvrant l'état du canvas, la pile de calques, le blending et les filtres de couleur, et organisée en trois couches pour faciliter l'extension. Ils identifient quatre motifs de code sous-optimal produits par Google Chrome et conçoivent des remplacements vérifiés, en découvrant de nombreuses conditions secondaires délicates. Un optimiseur Skia performant applique ces transformations et obtient un gain moyen de 18,7 % sur 99 programmes Skia issus des 100 sites les plus visités, en prenant au plus 32 μs par optimisation. Les améliorations se maintiennent sur divers backends et GPU et les traces d'optimisation sont rechargées dans la sémantique μSkia pour valider la traduction de bout en bout dans Lean.
UFO Series Home Page: "UFO" TV Series from 1970
Ce site est consacré à la série télévisée britannique de science-fiction de 1970 créée par Gerry et Sylvia Anderson et mettant en vedette Ed Bishop. Il propose une navigation vers des sections d'informations générales comme une introduction, une foire aux questions, un guide des épisodes et un guide de la série. Des rubriques multimédias incluent des photos publicitaires, des clips sonores (dialogues, musique et effets), des extraits vidéo et des images 3D View-Master. La page couvre également la production et le marketing, des scripts, des publications, des produits dérivés et des collections d'objets liés à la série. Des ressources pour les fans comprennent des œuvres d'art, des animations, des forums et des liens vers des clubs, des conventions ainsi qu'une tentative de relance en 1996, et le site est maintenu par Marc Martin.
Supabase (YC S20) Is Hiring for OrioleDB
Résumé indisponible pour cet article.
If math is more than proof, we need to better celebrate the rest of it
Résumé indisponible pour cet article.
ZK-JPEG: Zero-Knowledge Image Editing and Compression
Résumé indisponible pour cet article.