I've succesfully compiled Netscape 3.0.2 on a 64 Debian
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Building Progressively Enhanced Forms Using htmx
L'auteur décrit une nouvelle interface interactive pour modifier un favori et le relier à des listes, qui fonctionne sans JavaScript mais utilise htmx pour améliorer l'expérience quand JS est activé. Il explique que les interfaces sans JS impliquent un état transitoire — des valeurs saisies non encore persistées qui doivent survivre aux allers-retours serveur — et qu'il faut les gérer avec des fonctionnalités HTML classiques. Les techniques abordées incluent l'usage des valeurs de formulaire, des paramètres d'URL ou du chemin (notamment les formulaires GET et l'attribut formaction), ainsi que la séparation des formulaires pour contrôler le comportement de la touche Entrée et identifier quel bouton a été pressé. Sa méthode de travail privilégie d'abord une implémentation complète sans htmx pour éviter les impasses, puis l'ajout progressif de htmx pour des améliorations comme la recherche active et les indicateurs d'attente, tout en testant sans JS. Il signale aussi des précautions sur le ciblage des swaps htmx — préférant parfois recharger toute la page pour éviter les états obsolètes — et propose des lectures supplémentaires sur les bonnes pratiques et la conception web résiliente.
Can you reverse engineer an ASIC?
Le puzzle consiste à vous donner la disposition finale (GDS) d'une puce non étiquetée avec quelques entrées et sorties, et à vous demander de récupérer le netlist, d'identifier la fonction du circuit puis d'en extraire la chaîne de caractères attendue. Le texte décrit le flux de conception des puces : le code Verilog est synthétisé en netlist, puis des outils EDA réalisent le placement et le routage pour produire un fichier GDS qui décrit géométriquement toutes les couches jusqu'aux métallisations. Quelques conseils pratiques indiquent que la disposition physique donne des indices, qu'une section n'affecte pas la sortie [success], qu'il faut simuler le circuit pour tester les entrées, et qu'il faut basculer rst_n avant chaque essai pour voir le signal [success] monter. Un exercice d'initiation (un additionneur binaire avec son Verilog, netlist et GDS) est fourni, les fichiers et outils sont open source (PDK, KLayout, Magic), et les organisateurs demandent de ne pas soumettre les fichiers du puzzle à des outils d'IA tout en autorisant l'usage d'IA pour écrire des scripts. Les réponses doivent être soumises avant le 4 septembre 2026, les meilleures solutions seront mises en avant et récompensées, et un futur concours invitera les participants à concevoir des puces susceptibles d'être fabriquées, avec des informations sur les stages et postes hardware chez Jane Street.
Pareto Front
Résumé indisponible pour cet article.
The simple elegance of the integrated timing belt loopback fastener
Le projet décrit consiste en un système de déplacement cartésien X‑Y entraîné par des moteurs pas à pas et des courroies crantées associées à des poulies. Les courroies doivent être fixées au chariot sur les rails linéaires et les solutions courantes incluent des colliers dentés, des attaches zippées ou des clips personnalisés qui bloquent les dents emboîtées. L'auteur décrit une alternative consistant à intégrer un dispositif de fixation dans la pièce actionnée, typiquement un logement circulaire avec un épaulement et une gorge d'entrée ajustée à la largeur de la courroie. Cette solution évite des pièces supplémentaires, facilite le détachement et le réassemblage pendant les itérations et reste généralement bien en place une fois posée, l'assemblage étant facilité par une pince à bec fin. En revanche, l'auteur signale un risque d'arrachage sous torsion prolongée et recommande d'envisager cette fixation intégrée lorsque la conception de la pièce actionnée le permet.
The Sylvester–Gallai Theorem
Kelly démontre que pour tout ensemble fini de points du plan euclidien qui n'est pas colinéaire, il existe une droite contenant exactement deux de ces points. Il choisit un point P de l'ensemble et une droite de connexion ℓ (c'est-à-dire contenant au moins deux points) telles que la distance entre P et ℓ soit minimale parmi toutes les paires point‑droite formées par l'ensemble. En supposant par l'absurde que ℓ contient au moins trois points, on prend deux de ces points B et C situés du même côté de la projection perpendiculaire P′ de P sur ℓ, avec B le plus proche de P′. En traçant la droite 𝓂 passant par P et C et la perpendiculaire issue de B sur 𝓂 en B′, on obtient par similitude des triangles que BB′ est strictement plus court que PP′. Cela contredit la minimalité de la paire (P,ℓ), donc ℓ ne peut contenir que deux points et l'énoncé est prouvé.
Learning to fly FPV drones with AI flight coach
L'auteur débute dans le pilotage de drones FPV et a commencé par s'entraîner sur le simulateur Liftoff, accumulant environ 20 à 30 heures de pratique. Pour passer au vol réel, il a acheté du matériel recommandé par le guide d'OscarLiang, notamment une BetaFPV Air65 (tiny whoop), une radiocommande RadioMaster Pocket, des lunettes Fat Shark Echo, un chargeur ViFly et des batteries LiPo. Il a beaucoup utilisé un agent d'IA pour rechercher et comparer les équipements, aider à la configuration (liaison radio, réglages BetaFlight, gestion des batteries) et analyser ses vols, ce qui a accéléré son apprentissage pratique. Le passage au vol réel a été difficile en raison des différences entre simulateur et vrai drone et entre tailles de machine, l'amenant à réduire les gaz et les "rates" et à continuer la pratique ; il indique environ 40 heures en simulateur et 10 charges de batterie réelles. Son objectif est d'atteindre la maîtrise et l'automaticité en multipliant les heures de simulateur et les vols réels, en s'appuyant sur l'IA pour des tâches annexes comme créer des cartes personnalisées et compiler ses meilleures séquences.
Inside vLLM: Anatomy of a High-Throughput LLM Inference System (2025)
L'article présente l'architecture et les composants centraux de vLLM V1, en décrivant l'engine core (config, processor, client, model executor, scheduler) et le rôle du gestionnaire de KV-cache, des Workers et des captures CUDA Graph pour optimiser l'inférence. Le flux de génération est expliqué pas à pas : validation et tokenisation des requêtes, insertion en files waiting/running, ordonnancement mixte prefill/decode, allocation de blocs KV pour la paged attention, exécution du forward pass et post-traitement avec conditions d'arrêt. Parmi les fonctionnalités avancées se trouvent le chunked prefill pour fragmenter les longs prompts, le prefix caching reposant sur hachage de blocs KV, le guided decoding via automates grammaticaux et le speculative decoding avec proposeurs (ngram, EAGLE, Medusa). La montée en charge est couverte depuis l'exécution mono-GPU (UniProcExecutor) jusqu'au MultiProcExecutor avec TP/PP, ainsi que la désagrégation prefill/decode via connecteurs de transfert KV et le déploiement distribué avec réplicas DP, un coordonnateur et un serveur API asynchrone. Enfin, l'article traite de la mesure et de l'optimisation des performances en définissant les métriques clés (TTFT, ITL, TPOT, throughput), en présentant un modèle roofline pour le compromis latence/débit et en fournissant des outils de bench et d'auto-tuning pour respecter des SLO.
Show HN: The Channels SDK – Bring Any Agent to Any Channel (Slack, MS Teams)
Ce service connecte des agents AG-UI aux plateformes de communication comme Slack et Microsoft Teams en leur fournissant une interface native et interactive. L'agent conserve ses outils, son modèle et sa logique métier et peut comprendre les conversations, appeler des outils, gérer des fichiers et rendre une UI interactive tout en attendant des validations humaines. CopilotKit Intelligence gère les connexions aux plateformes et distribue les événements au processus Channels qui s'exécute dans votre infrastructure, avec des guides CLI et un exemple Node.js pour démarrer. Le SDK open source (MIT) prend en charge la conversion de messages en UI native (Slack Block Kit, Teams Adaptive Cards), l'intégration d'agents AG-UI divers et une expérience de test sans configuration. Des ressources et exemples comme OpenTag montrent une application complète avec agent LangGraph, approbations humaines, gestion de fichiers et conseils de déploiement en production.
Framework discloses data breach via Metabase 0-day
Résumé indisponible pour cet article.