An industrial piping contractor on Claude Code [video]
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Death to Scroll Fade
Le texte critique le fait d’ignorer les préférences de réduction du mouvement et admet que l’expérience peut être réellement déplaisante. Le scroll fade est présenté comme une technique où les éléments apparaissent en fondu au défilement, souvent avec une transformation sur l’axe Y. Même s’il peut sembler acceptable s’il est subtil et modéré, l’auteur le juge généralement peu esthétique et nuisible lorsqu’il est appliqué de manière généralisée. Il souligne des problèmes d’accessibilité, de surcharge cognitive et de performance, en particulier l’impact potentiel sur le LCP et les performances sur différents systèmes. L’article conclut que le scroll fade n’est pas une solution rapide et exige une planification et des tests sérieux, et il appelle à refuser cette pratique.
TigerFS – A Filesystem Backed by PostgreSQL
Il s'agit d'un système de fichiers qui expose une base PostgreSQL comme un répertoire monté, chaque fichier correspondant à une ligne et chaque écriture étant une transaction. Les écritures bénéficient d'ACID et d'un historique des modifications, et plusieurs agents peuvent lire et écrire simultanément sur plusieurs machines. Deux modes d'utilisation sont proposés: un mode File-first pour construire des applications sur le système de fichiers et un mode Data-first qui traite les données comme un système de fichiers monté sur une base existante. Le système se coordonne avec les outils Unix habituels tels que ls, cat et grep, en faisant correspondre les chemins de fichiers à des requêtes SQL. Il se présente comme une alternative aux fichiers locaux, à Git et au S3, offrant des transactions, un historique et des possibilités de requête directement depuis le système de fichiers.
Show HN: Tmux-IDE, OSS agent-first terminal IDE
Cet outil réunit la gestion des sessions tmux, des panneaux dédiés pour les coéquipiers et les outils de développement dans une seule disposition. L'installation se fait via npm -g ou avec npx et il enregistre une compétence Claude Code pour configurer automatiquement l'espace de travail. Le leader peut coordonner l'équipe et attribuer des tâches via des prompts en langage naturel, tandis que les coéquipiers travaillent dans leurs panneaux dédiés et consultent une liste de tâches partagée. La configuration se fait dans ide.yml et précise les rôles, les tâches et les tailles des panneaux, avec une mise à jour en direct de la disposition. L'outil détecte automatiquement des stacks comme Next.js, Vite, Python et Go, et fait tourner les serveurs de développement aux côtés de l'équipe.
Using calculus to do number theory
L’article présente comment le calcul peut éclairer la théorie des nombres, illustrant cela par la découverte de Hensel. On cherche à résoudre x^3 - 17x^2 + 12x + 16 ≡ 0 modulo 3000 en appliquant le théorème chinois des restes. Le problème est décomposé en congruences modulo 8, modulo 3 et modulo 125, afin de simplifier les recherches. Pour le cas modulo 5 puis 25 et 125, Hensel applique une méthode inspirée de Newton pour lever les solutions pas à pas. Le texte ajoute que la résolution modulo un entier passe par l’étude du groupe de Galois et que le programme de Langlands cherche à comprendre ces phénomènes lorsque le groupe n’est pas abélien.
Nightingale – open-source karaoke app that works with any song on your computer
C'est un jeu autonome de karaoké qui transforme n'importe quelle chanson en expérience interactive en séparant les voix des instrumentaux, en transcrivant les paroles et en les affichant avec une synchronisation mot à mot et un scoring de hauteur. La séparation des stems est réalisée via les modèles UVR Karaoke ou Demucs, et le volume de la voix-guide est ajustable. WhisperX transcrit et aligne chaque mot sur l'audio, et les paroles existantes de LRCLIB sont utilisées lorsque disponibles. Le système offre un score de hauteur en temps réel, des étoiles et des classements par chanson pour suivre les progrès. Il prend en charge les fichiers vidéo, propose des arrière-plans dynamiques et le contrôle par manette, et est livré en un seul binaire qui bootstrap ffmpeg, Python, PyTorch et les modèles ML au premier lancement, avec compatibilité Linux, macOS et Windows et accélération CUDA ou Metal.
FastAPI-compatible Python framework with Zig HTTP core; 7x faster
TurboAPI est un framework Python compatible FastAPI qui s’appuie sur le cœur Zig HTTP pour offrir des performances élevées. Il fournit des décorateurs de route similaires à FastAPI, une validation JSON native en Zig via dhi et une écriture de réponse sans copie mémoire. L’architecture répartit la majeure partie du travail hors Python, Zig gérant le routage, la validation et l’envoi des réponses pendant que Python exécute la logique métier. Les benchmarks indiquent un gain moyen d’environ 7,3x avec des débits pouvant atteindre environ soixante-dix mille requêtes par seconde. Le projet propose une migration simple depuis FastAPI, une installation via une extension Zig et une exécution sans GIL, avec des fonctionnalités en cours telles que HTTP/2 et TLS.
A comprehensive database of categories and their properties
CatDat est une base de données complète qui répertorie des catégories, leurs propriétés et leurs non-propriétés, avec des descriptions détaillées. Le projet est conçu et alimenté par des passionnés de théorie des catégories. Un système de déduction permet d’inférer automatiquement des propriétés et des non-propriétés à partir de propriétés de base. Il est possible de rechercher des catégories par propriétés et par non-propriétés, et de comparer leurs jeux de propriétés. Le projet est open-source et communautaire, mais il est encore à ses débuts et susceptible de subir des modifications importantes sans préavis.
Jack Bogle would hate what Vanguard has become
Résumé indisponible pour cet article.
Despite doubts, federal cyber experts approved Microsoft cloud service
FedRAMP a été créé pour standardiser et sécuriser les services cloud des agences fédérales, mais l’enquête de ProPublica révèle des failles importantes dans le processus et une déférence notable envers GCC High de Microsoft, associées à une documentation de sécurité incomplète et à une vérification indépendante limitée. Fin 2024, FedRAMP a néanmoins autorisé GCC High, arguant que le produit était déjà utilisé à travers le gouvernement et que les responsables préféraient agir plutôt que d’attendre une révision complète, malgré des doutes sur les détails d encryption et la posture de sécurité globale. Le processus reposait sur des évaluateurs tiers payés par Microsoft et des backchannels de ces firmes ont fait remonter des risques qui n’étaient pas pleinement reflétés dans les rapports officiels, soulevant des questions de conflit d’intérêts. Sous pression politique et avec l’intervention du DOJ, FedRAMP a mis fin à l’engagement direct avec Microsoft et a accordé une autorisation assortie de conditions, tout en indiquant l’existence de risques inconnus persistants. Cette affaire a relancé la réflexion sur la capacité et les ressources de FedRAMP, a été liée à des débats sur la cybersécurité des contractants et a conduit Microsoft à défendre ses pratiques tout en annonçant des mesures correctrices, y compris l’arrêt de l’utilisation d’ingénieurs chinois pour les travaux du DoD.