Show HN: Discover Wikipedia articles popular on Hacker News
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
TorchCodec 0.14: HDR Video Decoding for CPU and CUDA, and Fast Wav Decoder
La version 0.14 est compatible avec torch >= 2.11 et introduit plusieurs nouveautés importantes. Un nouveau WavDecoder lit les fichiers WAV sans passer par FFmpeg, ce qui accélère fortement le décodage et prend en charge plusieurs formats d'échantillons ainsi que des sources depuis des fichiers, des octets ou des objets semblables à des fichiers. Le décodeur vidéo supporte désormais le HDR en conservant la précision lorsque output_dtype=torch.float32 est utilisé, produisant des images RGB float32 normalisées dans [0,1] aussi bien sur CPU que sur CUDA. Parmi les autres améliorations figurent un seek audio beaucoup plus rapide et la suppression de la dépendance à la bibliothèque NVIDIA NPP pour simplifier l'installation et l'utilisation du décodage CUDA. Plusieurs bogues ont été corrigés, notamment un crash rare lors du teardown du processus avec le décodeur CUDA et des problèmes de décodage sur des vidéos aux dimensions impaires.
Write for One Person
Résumé indisponible pour cet article.
Chaosnet (1981)
Ce réseau local développé au MIT en 1975 pour le système de machines Lisp permet la communication à haute vitesse entre des ordinateurs proches sans élément de contrôle centralisé et sert notamment d’accès à un système de fichiers partagé et à d’autres ressources. La couche matérielle utilise un câble coaxial linéaire appelé ether, des émetteurs‑récepteurs et des interfaces logiques pour transmettre des paquets vérifiés par CRC, et emploie l’écoute du port et un ordre temporel de tours pour éviter les collisions, tandis que des ponts relient plusieurs ethers. Le protocole logiciel est fondé sur des paquets munis d’en‑têtes logiciels et distingue paquets contrôlés et non contrôlés, offrant des connexions fiables entre processus avec établissement par RFC/OPN, contrôle de flux par fenêtres, et retransmissions pilotées par accusés de réception et reçus. Le routage s’appuie sur des adresses à champ subnet/hôte, des tables de routage mises à jour par des annonces de ponts (RUT) et un champ de comptage de relais pour éviter les boucles, la conception privilégiant la simplicité pour des topologies locales courtes. De nombreux services et implémentations existent (statut, telnet, accès fichier, messagerie, passerelles vers d’autres réseaux) et le protocole a été porté sur ITS, TOPS‑20/TENEX, machines Lisp, VAX/VMS et UNIX, avec un mécanisme d’encapsulation pour protocoles étrangers.
Formal methods and the future of programming
Pendant 25 ans, Jane Street n'était pas intéressée par les méthodes formelles, mais cette position a récemment évolué. L'émergence du codage agentique a réduit le coût et élargi l'accessibilité des méthodes formelles, rendant leur usage plus justifiable. Les agents génèrent souvent du code compliqué et bourré de cas limites, ce qui crée un goulot de vérification que les méthodes formelles pourraient aider à soulager. La firme souligne la valeur des garanties universelles fournies par les systèmes de types et espère obtenir encore plus d'avantages en combinant types et preuves formelles. Jane Street se dit bien placée pour avancer grâce au contrôle d'Ocaml, à une communauté de développeurs prête à adopter ces outils, et recrute une équipe pour travailler sur ces sujets en lien avec la recherche existante.
Show HN: Trace – Offline Mac meeting transcripts you can flag mid-call
L'application capture l'audio du microphone et du système, transcrit localement sur Mac et génère une transcription en markdown avec les moments importants signalés inline. Elle fonctionne entièrement sur l'appareil sans comptes ni cloud, nécessite macOS 14 ou ultérieur et une puce Apple silicon. Des raccourcis clavier (⌘R pour enregistrer, ⌘K pour marquer un moment, ⌘? pour un récapitulatif) permettent d'enregistrer, d'annoter et d'afficher rapidement des extraits pendant une réunion. Les sessions sont enregistrées dans le Finder sous forme de fichiers audio et de transcriptions JSON/Markdown, et l'application peut s'intégrer au calendrier et identifier les intervenants. Aucune donnée n'est envoyée vers des serveurs externes, l'application demande les permissions système d'enregistrement audio et ne transmet pas votre audio hors de votre Mac.
A short history of Cerro Torre, the most controversial mountain (2012)
Située à la frontière du Chili et de l'Argentine, cette aiguille rocheuse élancée suscite depuis plus de cinquante ans de vifs débats parmi les alpinistes. En 1959 l'Italien Cesare Maestri a revendiqué une première ascension contestée, avec la mort de son partenaire Toni Egger et l'absence de traces concluantes sur la voie présumée. En 1970 Maestri est revenu avec une perceuse et a planté des dizaines de goujons pour ouvrir la voie dite du compresseur, provoquant l'indignation des puristes de l'escalade. En janvier 2012 deux Américains, Hayden Kennedy et Jason Kruk, ont réussi la montée en évitant la plupart des goujons puis en ont retiré environ 125 à la descente, entraînant des arrestations et un vif débat sur la légitimité de leur geste. Le conflit a relancé la réflexion sur les principes du "fair means" en alpinisme, tandis qu'une ascension libre ultérieure par David Lama a ajouté un nouveau chapitre à l'histoire du site.
Rio de Janeiro's "homegrown" LLM appears to be a merge of an existing model
Les auteurs affirment que le modèle présenté comme original par IplanRIO n'a pas été entraîné de manière indépendante. Ils soutiennent que les poids sont un mélange élément par élément de leur modèle Nex et du Qwen3.5-397B-A17B officiel, à environ 60 % Nex et 40 % Qwen, sans preuve d'entraînement propre. Comme preuve, en supprimant l'invite système « You are Rio », le modèle déployé s'identifie 79 % du temps comme « Nex, from Nex-AGI » et 0 % du temps comme l'instance revendiquée, en récitant mot pour mot le récit de leur organisation. Ils rapportent que chaque tenseur de poids correspond, à des milliers d'écarts-types près, à ce mélange 0,6/0,4 sur les 60 couches et toutes les composantes du réseau. Les auteurs présentent ces deux méthodes indépendantes et invitent le lecteur à juger des preuves fournies.
Why does paper fold so well?
Une auditrice, Haruka, s'est demandé pourquoi une serviette en tissu ne se prête pas à l'origami aussi bien que le papier. La visite de l'usine mécanisée historique de Frogmore et les explications du Dr Steven Mann montrent que la fabrication et la chimie des fibres confèrent au papier ses qualités de pliage. L'origami teacher Toshiko Kurata présente différents types de papier au comportement variable, et le professeur Bill Sampson utilise un microscope pour révéler leurs structures fibreuses. La capacité du papier à « se souvenir » d'un pli provient de l'orientation et de l'entrelacement des fibres, des liaisons chimiques comme les liaisons hydrogène et des déformations locales qui stabilisent le pli. Le dossier aborde aussi la complexité mathématique de l'origami moderne et l'invention du professeur Tomohiro Tachi, The Origamizer, qui automatise la conversion de formes en modèles pliables.
Firewood Splitting Simulator
Résumé indisponible pour cet article.