HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11752 articles Page 226/1176 Sans filtre

WebFPGA

La page invite à consulter la page Kickstarter pour les informations sur le projet et son périmètre. Il est possible d'acheter une carte via le site et d'utiliser l'EDI Web pour programmer l'appareil FPGA. Le plan du site répertorie des liens vers la page Kickstarter, l'EDI Web, le forum de support, le blog et la documentation WebFPGA. Des ressources pour un flux en ligne de commande sous Linux (IceStorm ou Cloud Synthesis) et des règles udev sont fournies. Une démonstration utilisateur (compteur binaire LED) est proposée et le support est assuré par courriel à support@webfpga.io.

Fine, I'll build my own text editor

L'auteur a voulu construire son propre éditeur de texte après avoir jugé les éditeurs modernes décevants et a d'abord expérimenté un rendu sur un élément canvas. Le rendu sur canvas était fluide mais posait des problèmes d'interactivité et d'accessibilité, ce qui l'a conduit à utiliser une div cachée pour simuler le défilement natif et calculer les offsets. Il a ensuite testé contenteditable avec l'option plaintext-only et a apprécié la sélection native, l'historique d'annulation et d'autres avantages d'accessibilité, malgré des régressions de performance imprévisibles au-delà d'une certaine taille de fichier. L'auteur a finalement constaté qu'un textarea était souvent plus performant pour de longs textes et a ajouté une superposition pour la coloration syntaxique, en évoquant aussi des solutions comme Tree-sitter, OpaqueRange et EditContext. Il reconnaît qu'il reste beaucoup de fonctionnalités à implémenter, que la gestion des unités UTF-16 peut introduire des bugs, et illustre ce point par des exemples de segmentation de graphemes.

How accurate have Ed Zitron's AI skeptic predictions been?

L'auteur passe en revue les prédictions d'Ed Zitron sur l'IA et conclut que la plupart de ses prévisions depuis 2024 se sont révélées incorrectes. Il critique la méthode de Zitron en soulignant l'usage de chiffres mal sourcés, des raisonnements non plausibles, des contradictions et une rhétorique agressive qui favorise l'engagement plutôt que la rigueur. L'article donne de nombreux exemples concrets — notamment des erreurs sur Meta, Google, Microsoft, OpenAI, Anthropic, Gemini, CoreWeave et Cursor — et montre que plusieurs prévisions de déclin ou de plafonnement des capacités se sont avérées fausses. L'auteur compare Zitron à d'autres futurologues, note que son style provocateur crée une audience et un effet de chambre d'écho, et observe que ses partisans défendent souvent ses affirmations en dépit de réfutations factuelles. Enfin, il admet la possibilité d'erreurs dans son propre examen, explique sa méthodologie et conclut que même si Zitron avait parfois raison, son bilan et sa logique restent globalement faibles.

The Emergent Symbolic Structure of Artificial Neural Networks

Les auteurs constatent que des réseaux neuronaux à représentations vectorielles obtiennent de très bonnes performances dans des domaines traditionnellement symboliques. Ils avancent l'hypothèse que ces représentations internes réalisent implicitement des structures symboliques. Ils démontrent qu'on peut approximativement remplacer le procédé de génération des représentations par une équation en forme fermée instanciant une structure symbolique sans modifier de façon significative le comportement du réseau. Ce résultat vaut pour de petits réseaux entraînés à manipuler des listes ainsi que pour de grands modèles de langage appliqués à l'arithmétique, à la logique, au code et au langage naturel. L'approximation symbolique permet des interventions précises sur les représentations internes pour modifier de manière ciblée le comportement des modèles et offre un moyen de concilier les approches symboliques et vectorielles.

True Rate of Unemployment

Le taux réel de chômage mesure le pourcentage de la population active américaine qui n'a pas d'emploi à temps plein (35+ heures) mais en veut un, est sans travail ou ne perçoit pas un revenu suffisant pour vivre. Il se fonde sur des données compilées par le Bureau of Labor Statistics du gouvernement fédéral. Le seuil de salaire jugé nécessaire est, de façon prudente, fixé à 26 000 dollars par an en dollars de 2025 avant impôts. LISEP a développé ce taux pour fournir aux analystes et aux décideurs une mesure plus fidèle du bien‑être financier des Américains. Les responsables politiques s'appuient sur des indicateurs économiques comparables pour orienter la politique, de la même manière qu'un recensement précis est nécessaire pour une répartition équitable des financements.

Claude Fable 5.1 and Claude Mythos 5.1

Claude Fable 5.1 et Claude Mythos 5.1 utilisent la même architecture mais avec des niveaux de protections différents, Fable étant disponible publiquement et Mythos réservé à des programmes d'accès vérifiés pour la cybersécurité et les sciences du vivant. Fable 5.1 réduit le coût des lectures de cache de 75 %, entraînant environ 25 % d'économie sur les charges typiques et jusqu'à environ 45 % pour les tâches très agentiques. Anthropic propose Enterprise Frontier Safeguards (EFS) pour permettre une conservation zéro des données via l'infrastructure cloud contrôlée par le client, avec une option de rétention nulle disponible pour les clients éligibles avant le déploiement d'EFS. Les protections ont été affinées pour réduire les faux positifs et les blocages inappropriés — notamment environ 60 % de faux positifs en moins en cybersécurité et 85 % moins de déclenchements pour des questions biologiques élémentaires — tout en redirigeant certains usages à double emploi vers des modèles restreints et en maintenant des programmes d'accès sûrs. Les modèles montrent des avancées pratiques et scientifiques notables : Mythos 5.1 a conçu des binders protéiques à forte affinité avec un taux de réussite proche de 50 %, plusieurs modèles biologiques open source ont été accélérés jusqu'à 2,5×, et Fable 5.1 améliore les performances en codage et en travail de connaissance après des tests d'alignement et de sécurité approfondis qui indiquent des progrès mais aussi des limites.

'Stunning' percolation proof solves decades-old puzzle about phase transitions

La semaine précédant Noël 2025, cinq mathématiciens à l'ETH Zurich — Sahar Diskin, Philip Easo, Ritvik Ramanan Radhakrishnan, Benny Sudakov et Vincent Tassion — ont travaillé intensément pour établir une démonstration importante en théorie de la percolation. La percolation décrit comment un fluide ou une influence traverse un réseau et présente une transition de phase autour d'une probabilité critique au‑delà de laquelle de vastes amas connectés apparaissent. Depuis les travaux fondateurs de Broadbent, Hammersley, Benjamini et Schramm, les chercheurs avaient prouvé la « sharpness » dans certains cas et la moitié subcritique sur des graphes transitifs, mais la partie supercritique est restée longtemps ouverte. Les auteurs ont obtenu une preuve simple et générale de la sharpness supercritique pour tous les graphes transitifs infinis en raffinant la technique du « sprinkling », consistant à analyser d'abord les arêtes ajoutées puis montrer que de grands composants isolés se reconnecteraient quasiment toujours aux mers infinies. Leur résultat, diffusé en préprint, étend l'applicabilité de la théorie à de nombreux systèmes et laisse toutefois ouverte la question du comportement exact au point critique pour les réseaux tridimensionnels.

Agent memory as a file format

L'auteur soutient que les agents d'IA devraient démarrer avec des mémoires intégrées et critique trois types courants de systèmes de mémoire qui sont soit verrouillés sur une plateforme, soit inutilement complexes, soit décontextualisés par des graphes formels. Il propose le format "memoryfield", un ensemble de fichiers Markdown courts avec frontmatter YAML optionnel et un index vectoriel SQLite facultatif, empaquetés en zip pour faciliter le transport et l'archivage. Le design privilégie la prose écrite par l'agent plutôt que le découpage en "faits", utilise la recherche sémantique pour sauter directement vers plusieurs pages pertinentes en parallèle et impose une limite douce d'environ 8 kB par page. Le format, volontairement peu mécanisé, permet aux agents d'employer des outils standards (Markdown, SQLite, bash), évite les API complexes et favorise l'évolution avec l'amélioration des modèles sans verrouillage propriétaire. L'article fournit un RFC et des outils pour démarrer, recommande nomic-embed-text comme embedder par défaut, met en garde sur le partage de mémoires avec des tiers non fiables et résume le flux : écrire en Markdown, enregistrer les embeddings dans SQLite, puis rechercher sémantiquement.

How we configured OpenTelemetry logs in Rails

Ils ont ajouté l'observabilité à une application Rails avec OpenTelemetry parce que ce standard produit des logs, métriques et traces indépendants et utilise le protocole OTLP, ce qui permet de changer de backend sans modifier le code applicatif. Pour simplifier l'infrastructure, ils ont exporté les logs directement depuis le SDK Ruby vers Grafana Cloud en contournant le Collector, en s'appuyant sur le batching intégré du SDK étant donné le faible volume de logs. La configuration consiste à ajouter les gems opentelemetry-sdk, opentelemetry-logs-sdk, opentelemetry-exporter-otlp, opentelemetry-exporter-otlp-logs, opentelemetry-instrumentation-all et opentelemetry-instrumentation-logger, puis à définir OTEL_EXPORTER_OTLP_ENDPOINT et OTEL_EXPORTER_OTLP_HEADERS en variables d'environnement. Ils ont initialisé le SDK dans un initializer avec c.use_all et ont vérifié localement le fonctionnement en utilisant OTEL_LOGS_EXPORTER=console pour afficher les enregistrements de logs avant déploiement. En exportant vers Grafana Cloud ils ont détecté deux problèmes corrigés en amont: la suppression du chemin de base (corrigée en v0.5.1) et le traitement des réponses HTTP 204 comme des succès (corrigé en v0.4.0), et leur prochaine étape est d'implémenter le logging structuré, par exemple avec rails_semantic_logger.

Since it was stripped of planetary status, Pluto’s defenders have been fighting

En 2006, l'Union astronomique internationale a rétrogradé Pluton au rang de planète naine, réduisant le nombre de planètes du système solaire de neuf à huit. La décision a déclenché une controverse persistante entre défenseurs d'une définition dynamique, fondée sur la capacité à « nettoyer » son orbite, et partisans d'une définition géophysique, basée sur les caractéristiques internes. La découverte d'Éris et d'autres objets de la ceinture de Kuiper a rendu nécessaire une définition formelle et a conduit à l'exclusion de Pluton en raison de sa position et de son environnement orbital. Le survol de New Horizons en 2015 a révélé une géologie complexe et active sur Pluton, alimentant les arguments pour le considérer comme une planète selon des critères géophysiques. Le débat reste polarisé entre considérations scientifiques, questions de procédure et opinion publique, sans consensus établi pour une réintégration.