HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11801 articles Page 850/1181 Sans filtre

Ibuilt a tiny Unix‑like 'OS' with shell and filesystem for Arduino UNO (2KB RAM)

Il s'agit d'une petite interface en RAM pour Arduino UNO offrant un système de fichiers simulé, un contrôle matériel et un shell interactif. Les fonctionnalités incluent un système de fichiers virtuel (/dev, /home), gestion GPIO avec configuration de mode de broche, surveillance système (mémoire, uptime, dmesg) et 22 commandes intégrées. L'installation se fait en important le sketch KernelUNO.ino dans l'IDE Arduino ou via arduino-cli, puis en téléversant le firmware sur une carte ATmega328P et en ouvrant le moniteur série à 115200 bauds. Le projet est limité par l'absence de stockage persistant, une taille maximale de fichier de 32 octets, un maximum de dix fichiers/répertoires et une utilisation élevée de la SRAM (~85% de 2 KB), avec un tampon dmesg réduit. Le code est distribué sous licence BSD 3-Clause, maintenu par Arc1011 et accepte les contributions pour corrections, optimisations et nouvelles fonctionnalités comme la persistance EEPROM ou le support SD.

github.com Resume pret HTTP 200 Commentaires

Optimizing Tail Sampling in OpenTelemetry with Retroactive Sampling

La retroactive sampling n'envoie au collecteur central que les attributs essentiels pour décider et conserve les spans bruts sur les agents, en ne récupérant les traces complètes que si elles sont échantillonnées. Cette approche réduit la bande passante sortante ainsi que l'utilisation de mémoire et de CPU du collecteur en déplaçant le buffering vers une file FIFO sur disque côté agent. Le benchmark rapporte une réduction d'environ 70 % du trafic compressé et des économies de 60–70 % en CPU et mémoire, avec un faible usage disque (1,7 Go) et une économie de 4 Go de mémoire par rapport au tail sampling. Les limites incluent une visibilité réduite pour le collecteur si de nombreux attributs sont requis, et des variantes proposées sont la combinaison d'une décision locale avec la retroactive sampling ou l'emploi d'un stockage sur disque pour le tail sampling. L'implémentation est actuellement un prototype prévu pour être proposé comme processeur OpenTelemetry et intégré à l'agent de VictoriaTraces, s'appuyant sur des travaux académiques antérieurs (NSDI 2023).

victoriametrics.com Resume pret HTTP 200 Commentaires

Zindex – Diagram Infrastructure for Agents

Le système traite les diagrammes comme un état durable géré par des opérations structurées et des révisions immuables, avec historique et identifiants stables pour mises à jour incrémentales. Les agents décrivent la sémantique du graphe (nœuds, arêtes, relations) et le moteur calcule automatiquement la géométrie via une chaîne de mise en page de type Sugiyama, gérant positions, routes d'arêtes et placement des étiquettes. La chaîne de traitement est déterministe et inspectable — valider, normaliser, mettre en page puis rendre — avec plus de 40 règles de validation sémantique et 17 types d'opérations. Un protocole de scène de diagramme (DSP) rend le format indépendant du rendu, permettant une sortie canonique unique vers plusieurs cibles (SVG, PNG) et quatre thèmes visuels. La plateforme est conçue pour un usage multi‑agent et en production, avec édition par patches, contrôle d'accès, limitation de débit et stockage PostgreSQL, destinée aux diagrammes d'architecture, BPMN, ER, séquences, organigrammes et topologies réseau.

zindex.ai Resume pret HTTP 200 Commentaires

San Diego rents declined following surge in supply

Un rapport de Zumper indique que les loyers médians des appartements d'une et de deux chambres à San Diego ont diminué de 5,6 % et 7,5 % sur un an, tandis que les annonces actives ont augmenté d'environ 15 %. L'augmentation de l'offre résultant des permis de construction et des mises à jour des plans communautaires a fait monter l'inventaire, la ville approchant les 10 000 nouveaux permis par an au cours des deux dernières années, selon le président pro tempore du conseil, Kent Lee. Zumper et des défenseurs du logement expliquent que ces livraisons de logements plus nombreuses créent une pression à la baisse sur les loyers, davantage de concessions et plus de choix pour les locataires. San Diego reste le 11e marché locatif le plus cher, avec un loyer médian de 2 200 $ pour une chambre et 2 950 $ pour deux chambres, bien que ses baisses aient été plus marquées que dans la plupart des autres marchés importants. Les responsables municipaux, dont le maire Todd Gloria, estiment que les politiques favorables au logement portent leurs fruits pour réduire la pression sur les prix, mais ils soulignent qu'il reste encore beaucoup à faire.

www.kpbs.org Resume pret HTTP 200 Commentaires

A type-safe, realtime collaborative Graph Database in a CRDT

Ce package fournit une base de données graphe typée pour TypeScript où le schéma des sommets, arêtes et index est défini et validé (Zod, Valibot, ArkType ou autres) pour garantir des types sûrs à la compilation et à l'exécution. Il offre une API de parcours de style Gremlin et un moteur de requêtes Cypher-compatible qui vérifient les labels, clés de propriétés et sauts via TypeScript, avec support des requêtes paramétrées et des mutations CREATE/MERGE/SET/DELETE. Le stockage peut être en mémoire ou basé sur Yjs (YGraph) pour un sync CRDT pair-à-pair en temps réel, avec abonnements fins et requêtes live qui se ré-exécutent automatiquement sur les changements. Le système gère des index (hash, B-tree, full-text), des types collaboratifs (ZodYText, ZodYArray) convertis automatiquement, et des événements détaillés pour les ajouts, suppressions et modifications de propriétés. Le projet est publié sous licence MIT, est considéré alpha-quality malgré une utilisation en production chez codemix, et provient d'un projet de recherche adapté pour leurs besoins.

codemix.com Resume pret HTTP 200 Commentaires

Fields Medal Video: Maryna Viazovska (2022)

Maryna Viazovska a démontré que le réseau E8 fournit le meilleur empilement de sphères identiques en huit dimensions. Sa démonstration a aussi permis de résoudre certains problèmes en analyse de Fourier liés à cet empilement. Une vidéo de cette présentation a été diffusée lors de la cérémonie d'ouverture du Congrès International des Mathématiciens à Helsinki le 5 juillet 2022, organisée par l'Union Mathématique Internationale. Des articles détaillés sur ses travaux ont été publiés dans Quanta Magazine, couvrant la théorie des fonctions magiques et les implications pour l'empilement en dimensions supérieures. Les lauréats de la médaille Fields 2022 sont Hugo Duminil-Copin, June Huh, James Maynard et Maryna Viazovska, et il est possible de s'abonner aux annonces de la Fondation MPS pour recevoir des mises à jour.

www.simonsfoundation.org Resume pret HTTP 200 Commentaires

Show HN: GoModel – an open-source AI gateway in Go

Une passerelle d'IA haute performance écrite en Go offrant une API compatible OpenAI pour de nombreux fournisseurs tels qu'OpenAI, Anthropic, Gemini, xAI, Groq, OpenRouter, Z.ai, Azure, Oracle et Ollama. Le déploiement s'effectue facilement via Docker (image prête à l'emploi) ou en compilant depuis la source, en fournissant au moins une clé fournisseur via variables d'environnement ou un fichier .env. L'API expose des endpoints OpenAI-compatibles pour chat, responses, embeddings, gestion de fichiers, batches, passthrough provider-native, listes de modèles, métriques et interfaces d'administration. La configuration utilise des variables d'environnement et un fichier config.yaml, inclut une clé maîtresse pour protéger les endpoints en production, des options de journalisation, métriques et guardrails, et propose une mise en cache en deux couches (correspondance exacte et sémantique) pour réduire coûts et latence. La feuille de route prévoit routage intelligent, support étendu de fournisseurs, gestion budgétaire et renforcement des guardrails, et la communauté se rassemble notamment via Discord.

github.com Resume pret HTTP 200 Commentaires

My practitioner view of program analysis

Il y a dix ans l'auteur a commencé à étudier comment faciliter l'écriture de logiciels corrects en explorant les méthodes formelles et les systèmes de types. Il distingue entre le programme réel et le "Programme" mental partagé par les personnes impliquées, ce qui rend l'accord sur la correction difficile. Il introduit la notion de fossé sémantique pour décrire la perte d'information quand on formalise des idées en code. L'exécutable a un fort argument pour être source de vérité, mais la lecture du code seule ne suffit pas toujours à communiquer l'intention à tous. L'analyse statique est présentée comme un moyen d'interroger un programme sans l'exécuter et l'auteur insiste sur la nécessité d'une inspection collective pour garantir la correction.

sawyer.dev Resume pret HTTP 200 Commentaires

Trellis AI (YC W24) Is hiring engineers to build self-improving agents

Trellis est une start-up issue du Stanford AI Lab qui développe des agents d'IA pour automatiser la saisie de documents, les autorisations préalables et les appels afin d'accélérer l'accès aux traitements médicaux. L'entreprise indique traiter des milliards de dollars de thérapies et servir des patients dans les cinquante États tout en convertissant des données cliniques non structurées en données structurées dans les dossiers électroniques. Le poste proposé est un rôle d'ingénierie produit full-stack à San Francisco avec une fourchette salariale annoncée de 100 000 à 225 000 USD et une participation en actions comprise entre 0,10 % et 1,50 %. Les responsabilités couvrent la conception de cadres d'agents pour la prise de décision en santé, le déploiement d'agents opérationnels 24/7 et le développement de systèmes d'IA prêts pour la production assortis d'une suite d'évaluation. Les compétences requises incluent le développement full-stack, la maîtrise de Python et Go, des bibliothèques ML/NLP comme PyTorch ou TensorFlow, la gestion de bases de données (notamment Postgres), l'infrastructure ML et les plateformes cloud, avec un plus pour les contributions open source.

www.ycombinator.com Resume pret HTTP 200 Commentaires

Theseus, a Static Windows Emulator

Après avoir ralenti le travail sur son projet précédent, l'auteur présente un nouvel émulateur Windows/x86 qui traduit statiquement les exécutables au lieu d'interpréter ou d'utiliser un JIT. Au lieu d'écrire un JIT, l'outil génère du code source qui modélise l'état du CPU (par exemple une structure regs) puis laisse un compilateur optimisant produire du code natif. Cette approche de traduction binaire statique et d'évaluation partielle réduit le coût d'exécution, facilite le débogage natif, et simplifie l'appel aux implémentations natives des API Windows. Les limites incluent les programmes qui génèrent du code à l'exécution, les flux de contrôle dynamiques difficiles à analyser, et des obstacles culturels ou juridiques pour distribuer des binaires traduits, mais l'auteur considère que l'assistance manuelle pour cibles précises peut suffire. L'auteur évoque aussi l'extension possible vers WebAssembly, des stratégies pour aligner les espaces mémoire entre couches, et la capacité à remplacer manuellement des portions de code pour corriger des bugs ou améliorer les performances.

neugierig.org Resume pret HTTP 200 Commentaires