Dungeon Proof Crawler: learn how to write proofs with RPG
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Cursed circuits #5: capacitance multiplier
L'article rappelle qu'un amplificateur opérationnel idéal calcule la différence de tension entre ses deux entrées, la multiplie par un gain très élevé et qu'en configuration suiveuse la sortie suit l'entrée avec une grande précision. Le multiplicateur de capacité présenté associe un suiveur et un condensateur chargé via une résistance, de sorte que R1 et R2 relient l'entrée au point Vcap et l'amplificateur impose Vcap sur sa sortie. En appliquant la loi d'Ohm on montre que le courant total est la somme des courants via R1 et R2, d'où un facteur n = 1 + R1/R2 qui fait que le condensateur se charge n fois plus lentement, équivalent à une capacité effective n·C. Cette astuce permet d'obtenir l'effet temporel d'une capacité plus grande pour des filtrages ou des temporisations sans augmenter l'énergie stockée, mais elle ne fournit pas de capacité d'alimentation. L'auteur précise que la méthode est moins indispensable aujourd'hui à cause de l'amélioration des condensateurs et des solutions numériques, et propose une variante où C et R1 sont échangés qui ralentit fortement la charge du condensateur et change la manière dont la tension se couple sur l'entrée.
DNSGlobe – Rust TUI to watch DNS propagate around the world
dnsglobe est un outil TUI écrit en Rust qui interroge 34 résolveurs DNS publics dans le monde en parallèle pour comparer leurs réponses et visualiser la propagation d’un enregistrement. L’application propose un mode de surveillance qui relance les requêtes toutes les 30 secondes jusqu’à ce que la propagation atteigne 100 %, ainsi qu’un mode --once pour l’utilisation en scripts. Chaque résolveur est interrogé directement (prise en charge EDNS0 et bascule TCP pour réponses tronquées) afin d’afficher la vue actuelle de chaque serveur, y compris des réseaux anycast et des résolveurs régionaux. Les réponses identiques sont regroupées pour traiter le round-robin comme une seule réponse cohérente, la jauge indique la part du groupe majoritaire et les outliers sont signalés, tandis qu’une carte du monde montre l’état par résolveur sur les terminaux larges. Le logiciel s’installe via Homebrew, cargo ou un binaire précompilé, la liste des résolveurs est modifiable dans src/resolvers.rs, et certains résolveurs nationaux ne peuvent pas être inclus parce qu’ils refusent les requêtes externes.
The Sneakerweb
Le sneakerweb est un protocole pair-à-pair de publication web qui fonctionne sans autorisation centralisée ni services comme DNS, registres de noms ou hébergeurs. Les sites sont stockés directement sur les appareils des utilisateurs et transférés entre eux via des supports physiques, permettant une consultation hors ligne dans un navigateur standard. Les collections de sites peuvent être exportées et partagées sous forme de fichiers .snk et importées dans d'autres collections. Une interface en ligne de commande permet de parcourir et gérer une collection locale, de créer et publier des sites, de réclamer des domaines, d'exporter/importer des .snk, de bloquer des domaines et de lancer un serveur local. Le protocole complet, dont le client CLI n'est qu'une implémentation, s'appuie sur Willow pour empêcher la falsification des sites, fusionner les mises à jour et produire des fichiers .snk compacts et efficaces.
Connections in Math: the two kinds of random
L'auteur compare deux fichiers d'un million de chiffres, l'un produit par un tirage aléatoire et l'autre constitué des premiers chiffres de π, qui ont les mêmes fréquences de chiffres mais diffèrent quant à leur possibilité de compression. Il distingue deux types de compression sans perte: la compression statistique fondée sur les fréquences et mesurée par l'entropie de Shannon, et la compression algorithmique fondée sur un processus de génération court et mesurée par la complexité de Kolmogorov. L'entropie mesure en moyenne le degré de surprise d'une source et fixe la borne inférieure du nombre moyen de bits nécessaires par symbole, de sorte qu'une distribution uniforme (comme dans les deux fichiers) atteint l'entropie maximale et semble incompressible statistiquement. La complexité de Kolmogorov est la longueur du plus court programme qui produit une chaîne donnée, ce qui rend π très compressible par un petit programme tandis qu'une chaîne aléatoire typique a une complexité proche de sa longueur, et un comptage simple montre que la plupart des chaînes ne sont pas compressibles. Cependant la complexité de Kolmogorov est non calculable et asymétrique: on peut découvrir des descriptions courtes (bornes supérieures) mais on ne peut jamais prouver de manière automatique qu'aucune description plus courte n'existe, si bien qu'on peut toujours certifier une compression quand on la trouve mais jamais démontrer définitivement son absence pour une chaîne donnée.
Platonic Hydrocarbons
Résumé indisponible pour cet article.
The Private Capture of Public Genius
En 1956, AT&T et Bell Labs dominaient la recherche technologique américaine, mais un décret de consentement força l'ouverture de milliers de brevets et limita les activités de Bell, ce qui libéra une vague d'innovations en dehors du secteur télécom. Le modèle de monopole réglementé créa un environnement de financement stable comparable à une rizière fertile, qui permit l'expérimentation patiente et la création soutenue, même si ce système entraînait des inefficacités et des incitations à l'accaparement. Aujourd'hui, les grands modèles sont entraînés sur un vaste corpus public issu d'Internet, ce qui a conduit à une forme de privatisation du génie collectif et à des batailles juridiques dans lesquelles la notion de «fair use» reste ambiguë malgré des décisions contrastées. Comme il est pratiquement impossible d'attribuer précisément la contribution de chaque œuvre — les méthodes comme la valeur de Shapley étant inapplicables à cette échelle — l'auteur soutient qu'une rémunération collective est due, même si une comptabilité proportionnelle est irrecevable. La proposition consiste en une «Corpus Royalty», un prélèvement sur les revenus des laboratoires reversé via un fonds public à l'ensemble des contributeurs, présenté comme une réparation pragmatique et complémentaire aux régimes de droit d'auteur et de licences privées.
Zuckerberg says AI agent development going slower than expected
Résumé indisponible pour cet article.
Composite Video on the NES: Why's it so wobbly?
L'auteur observe que l'image du NES est instable en sortie composite, un phénomène notable comparé à d'autres systèmes. L'instabilité n'est pas due à une interférence aléatoire mais aux interactions entre la porteuse couleur (≈3,579 MHz) et la fréquence de ligne, ce que l'Apple II évite en ayant 228 cycles couleur par ligne. La puce PPU du Famicom utilise un oscillateur de 21,47727 MHz et génère douze phases couleur, ce qui aboutit à environ 227,33 cycles couleur par ligne et produit un motif répétitif sur trois lignes. Pour éviter un motif diagonal mouvant, Ricoh a implémenté une astuce consistant à alterner la longueur des lignes actives (341/340 points), supprimant une des trois alignements et créant une alternance sur deux images, tandis que les consoles PAL ont des timings différents. Enfin, quand le rendu est désactivé la "missing dot" n'apparaît pas et on retrouve un motif sur trois images, comme exploité par des jeux tels que Battletoads pour gagner du temps d'accès à la CHR-RAM, ce qui montre la conception ingénieuse mais singulière de la PPU.
Delta flight hit by firework while landing at Midway Airport on Fourth of July
Un avion de Delta, le vol 1076, aurait été touché par un feu d'artifice en arrivant à l'aéroport Midway de Chicago le 4 juillet. Le vol avait décollé de Hartsfield-Jackson à 19h36 (heure de l'Est) et a atterri à Midway à 20h38 (heure centrale), d'après FlightAware. Les communications radio ont enregistré l'équipage signalant avoir entendu un fort « bang » et déclarant qu'un feu d'artifice avait frappé l'appareil. La compagnie a indiqué que l'appareil a atterri sans qu'il soit nécessaire d'effectuer un atterrissage d'urgence et qu'une inspection post-vol n'a révélé aucun dommage. La Federal Aviation Administration a ouvert une enquête sur l'incident.