HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11978 articles Page 320/1198 Sans filtre

Before Rightmove, there was the Cosmorama

Des chercheurs de l'université d'Exeter ont découvert que l'agence immobilière Brooks and Green utilisait un dispositif appelé cosmorama durant les années 1840 et 1850 pour promouvoir des demeures de prestige. Le cosmorama combinait images spécialement commandées, lentilles convexes et éclairage contrôlé pour agrandir les scènes et créer une illusion de profondeur, offrant ainsi une expérience immersive bien avant la photographie immobilière. L'étude, menée par le professeur John Plunkett, a répertorié plus de 650 cosmoramas documentés au Portugal, en Espagne et au Royaume-Uni, ainsi que d'autres exemples en Amérique et en Australie. Des annonces de presse montrent que Brooks and Hedger, devenu Brooks and Green, proposait dès la fin des années 1830 plusieurs centaines de vues « à la perspective aérienne », chaque image nécessitant la visite d'un artiste et un coût élevé, ce qui limite vraisemblablement la pratique aux biens de standing. Les auteurs concluent que cette pratique illustre une professionnalisation précoce du marketing immobilier et constitue un précurseur victorien des visites virtuelles modernes, et leurs résultats sont publiés dans Early Popular Visual Culture.

www.ianvisits.co.uk Resume pret HTTP 200 Commentaires

Does anyone run Postgres without PgBouncer?

L'auteur a reçu un commentaire positif et constate que son article sur la gestion des connexions, écrit il y a près de dix ans, reste largement pertinent. Il rappelle que Postgres gère mal un grand nombre de connexions et recommande d'utiliser des pools locaux, des checkouts de courte durée et un pooler comme PgBouncer. Un relevé des fournisseurs Postgres managés montre que la grande majorité propose PgBouncer ou une solution équivalente, rendant le pooler quasi universel parmi les acteurs plausibles. Cette diffusion généralisée implique des efforts redondants et des complexités pour les utilisateurs, qui doivent configurer les poolers et comprendre leurs limites opérationnelles. L'auteur suggère d'intégrer le pooler dans l'expérience managée (une seule URL et un port sans configuration supplémentaire) pour améliorer l'exploitation, tout en admettant des obstacles historiques au changement.

brandur.org Resume pret HTTP 200 Commentaires

A SAT Attack on Tarski's High School Algebra Problem

Le problème algébrique de Tarski interroge si toute identité vraie sur les entiers positifs pour l'addition, la multiplication et l'exponentiation découle d'un ensemble d'onze identités élémentaires; Wilkie a montré qu'une identité particulière valable sur les entiers positifs n'est cependant pas déductible de ces axiomes. Des contre-modèles satisfaisant les axiomes de Tarski mais violant l'identité de Wilkie ont d'abord été construits sur 59 éléments par Gurevič, puis réduits au fil des travaux pour aboutir à un modèle de taille 12 par Burris et Yeats, tandis que Zhang a établi qu'aucun contre-modèle n'existe pour moins de 11 éléments. En utilisant des techniques de SAT, les auteurs prouvent que la taille minimale des contre-modèles est bien 12, confirmant la conjecture de Burris et Yeats. Ils montrent en outre qu'il y a exactement 8 957 952 contre-modèles non isomorphes de taille 12 et fournissent une classification simple de ces structures. La méthode SAT surpasse des outils dédiés comme Mace4 et SEM pour trouver des contre-modèles équationnels, et la correction du résultat principal a été attestée par une formalisation automatique en Lean.

arxiv.org Resume pret HTTP 200 Commentaires

Chestnut – eGPU dock with open-source firmware

comma.ai a lancé un dock eGPU nommé Chestnut dont le firmware en C pour le contrôleur ASM2464PD est publié en open source sur GitHub. Le produit existe en deux versions : Tiny Chestnut à 249 $ sans carte graphique et une version prête à l'emploi à 799 $ fournie avec une AMD Radeon RX 9060 8 Go et les câbles et fixations. Le but principal est automobile : le dock augmente la puissance disponible pour l'ordinateur embarqué d'environ 10 W à ~100 W afin de permettre des modèles de conduite plus lourds et d'accompagner openpilot 0.11.2 avec un modèle d'un milliard de paramètres. Le code expose des fonctionnalités de plan de contrôle et de débogage — un message de contrôle accédant aux TLP PCIe permet ~3,6 Mo/s en écriture et ~1,8 Mo/s en lecture, et une voie DMA sur 512 Ko de SRAM atteint environ 700 Mo/s sur USB3 — ouvrant une couche auparavant inaccessible sur les enceintes eGPU commerciales. Des limites subsistent car un Gen4 x4 sur USB4 reste plus étroit qu'un x16 PCIe et l'offre est pensée pour l'usage de comma.ai plutôt que comme solution gaming pleinement soutenue, même si elle intéresse les bidouilleurs.

hwbusters.com Resume pret HTTP 200 Commentaires

Tasklet (YC P26) Is Hiring a Head of Design Engineering

Tasklet construit une plateforme d'IA permettant aux entreprises d'exécuter des tâches par des agents qui réalisent des actions dans leurs outils et systèmes à partir d'instructions en langage naturel. L'entreprise recherche un rôle de leader individuel en conception et ingénierie pour définir et implémenter de manière holistique l'expérience produit, en privilégiant la simplicité, la confiance et le contrôle pour des agents qui font du travail réel. Les responsabilités comprennent la conception du produit de bout en bout, l'écriture du code de production pour la plupart des fonctionnalités, l'invention d'un modèle d'interaction pour le travail des agents, la simplification des systèmes complexes et l'utilisation intensive de l'IA pour prototyper et itérer. Le candidat idéal est un ingénieur très opérationnel doté d'un jugement de conception exceptionnel, ayant idéalement créé un produit de zéro (expérience de fondateur souhaitée), capable de transformer des systèmes compliqués en interfaces compréhensibles et d'assurer l'excellence jusqu'aux derniers détails. Le poste est à temps plein en présentiel à San Francisco, offre une rémunération de 300k–450k$ plus 0,35–0,70% d'équité, et demande une candidature avec CV, liens pertinents et une vidéo de présentation et démonstration envoyée à andrew@tasklet.ai.

tasklet.ai Resume pret HTTP 200 Commentaires

$12B of US ratepayers' money wasted on a modeling mistake in PJM

L'équipe a reconstruit le modèle « Reserve Requirement Study » de PJM et conclut que des erreurs de modélisation ont coûté environ 12 milliards de dollars aux 66 millions de résidents entre 2025 et 2027. PJM ne crédite pas suffisamment l'augmentation de production des turbines par l'air froid ni les investissements de renforcement hivernal, ce qui sous‑estime d'environ 4 GW la capacité fiable existante et exagère les besoins d'approvisionnement. La conception du marché, avec une enchère annuelle qui mélange nouvelles et anciennes centrales, des contrats d'un an et des délais d'interconnexion contraints, a amplifié les hausses de prix et généré d'importants gains pour des producteurs existants sans créer suffisamment de nouvelle capacité. Le mécanisme d'enchère d'urgence prévoit d'acheter jusqu'à 6,8 GW via des contrats jusqu'en 2043 sans contreparties fermes ni règles d'allocation claires, ce qui pourrait faire peser le risque financier sur les consommateurs si les nouveaux grands consommateurs ne s'engagent pas. Les auteurs recommandent de recalculer les besoins avant toute adjudication d'urgence, d'enquêter sur le sur‑dépense des enchères 2025/26‑2026/27, de séparer les enchères pour capacités nouvelles et existantes, et soulignent que les blocages de gouvernance de PJM compliquent la mise en œuvre de ces réformes.

newsletter.semianalysis.com Resume pret HTTP 200 Commentaires

A True Telnet BBS on a Casio Calculator

L'auteur décrit comment il a découvert la programmation BASIC et le port RS232 et s'est passionné pour des calculateurs Casio anciens. Il a acheté un Casio VX-4 et un câble FTDI USB-C pour exploiter le port série et développer un BBS accessible par telnet. Le BBS est écrit en BASIC, fonctionne en écoutant la liaison COM et propose un menu simple avec lecture et écriture de messages limités à 60 caractères. Un Raspberry Pi Zero W sert de pont réseau et de dépôt d'archives afin que le calculateur reste l'hôte principal tout en permettant un accès Internet sécurisé via Tailscale. L'auteur prévoit de publier le code sur GitHub, d'améliorer l'interface et d'explorer des ports en C tout en restant conscient des contraintes de mémoire et de la connexion série à 4800 bauds.

ei3lh.eu Resume pret HTTP 200 Commentaires

St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core

L'unité 1 de la centrale nucléaire de St. Lucie a été arrêtée manuellement le 13 août 2026 à 09h47 EDT après la chute de trois barres de commande dans le cœur du réacteur. L'arrêt s'est produit alors que l'unité fonctionnait à pleine puissance et a été classé par la NRC comme sans caractère d'urgence. Les opérateurs ont indiqué que l'arrêt s'est déroulé sans complication, que tous les systèmes ont répondu normalement et que la centrale a été stabilisée en Mode 3 (Hot Standby). La chaleur résiduelle est évacuée en déchargeant de la vapeur vers le condenseur principal via les valves de dérivation de la turbine et l'alimentation principale, et l'unité 2 n'a pas été affectée. NextEra a déclaré que l'unité 1 a repris son fonctionnement à 100 % une fois le problème d'équipement résolu par les opérateurs, et le reportage original diffusé a été converti sur cette plateforme avec l'assistance d'une IA et une vérification éditoriale.

www.wptv.com Resume pret HTTP 200 Commentaires