Colorado Amended SB051 (Age Verification Bill) to Exclude Open Source Projects
Resume indisponible pour cet article.
21 May 2026
06:04
Edition quotidienne
Lire vite. Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
21 May 2026
06:03
Sharla Boehm, the programmer whose code underpins the Internet
Sharla Perrine Boehm a obtenu un diplôme d'enseignement à l'Université de Californie à Los Angeles avant de se tourner vers la programmation informatique au RAND Corporation. Chargée par Paul Baran de tester une architecture sans nœud central, elle a conçu dans les années 1960 une simulation démontrant la faisabilité du routage par paquets et du routage « hot potato ». Sa simulation a montré qu'en dupliquant et en routant des paquets de manière adaptative, un réseau pouvait se réorganiser en temps réel après la destruction de nœuds, fournissant une preuve clé pour la commutation de paquets. Bien que cette technologie ait servi de base à l'ARPANET puis à l'Internet, elle a quitté la recherche en 1965 pour se consacrer à sa famille et à des activités communautaires. Sharla Boehm est restée relativement méconnue pendant des décennies malgré l'importance de sa contribution technique, et elle est décédée en 2023 à l'âge de 93 ans.
21 May 2026
06:03
SBCL: the ultimate assembly code breadboard (2014)
L'auteur corrige une erreur d'encodage du macro NEXT qui gaspillait des octets et présente ensuite une conception de machine virtuelle à pile fixe inspirée du F18 et du x87. La VM limitée à huit emplacements utilise un pointeur modulaire vers le sommet de la pile et génère huit variantes spécialisées de chaque primop, évitant ainsi les mouvements de données pour les opérations push/pop. L'implémentation en SBCL produit des pages de code exécutables et émet des primitives (swap, dup, add, jmp, call, ret, lit, cond, etc.) paramétrées par la valeur du pointeur de pile, NEXT indexant la variante via un offset de 4288*n. Des optimisations par fusion d'opérateurs et des versions conditionnelles spécialisées (djn, djn2) réduisent le coût des boucles et améliorent nettement les performances par rapport à une approche non spécialisée. Les mesures indiquent qu'une VM à pile fixe avec primops spécialisés est praticable et relativement performante (par exemple djn2 environ 6× plus lent que du code natif) et SBCL s'avère adapté à l'exploration de génération de code machine.
21 May 2026
06:03
Incident Report: May 19, 2026 – GCP Account Suspension
Le 19–20 mai 2026, Railway a subi une panne plateforme d'environ huit heures après que Google Cloud a placé par erreur son compte de production en statut suspendu, ce qui a désactivé l'infrastructure hébergée sur GCP, y compris le tableau de bord, l'API, le plan de contrôle, les bases de données et les instances de calcul. Bien que les charges de travail sur Railway Metal et AWS soient restées opérationnelles, les proxies edge dépendaient du plan de contrôle hébergé sur Google pour les tables de routage et, lorsque leurs caches ont expiré, la panne s'est propagée rendant toutes les charges de travail inaccessibles et renvoyant des erreurs 404. La récupération s'est déroulée par étapes après la restauration d'accès par Google, les disques persistants, le réseau et les instances de calcul étant rétablis entre 22:29 UTC et environ 06:14 UTC, tandis que le throttling de GitHub et l'accumulation de déploiements ont provoqué des interruptions supplémentaires des connexions et des builds. Railway assume la responsabilité des choix architecturaux qui ont permis à l'action d'un unique fournisseur de se propager et expose des mesures prévues pour supprimer la dépendance au plan de contrôle hébergé par Google en transformant le réseau en une véritable mesh, en retirant GCP du chemin critique des données et en étendant les shards de bases de données à haute disponibilité sur AWS et Metal. Ces évolutions visent à garantir que les services utilisateurs critiques ne dépendent plus d'un seul fournisseur et à réduire le risque d'incidents similaires à l'avenir.
21 May 2026
06:03
Show HN: CPU-only transcription for YouTube, TikTok, X, Instagram videos
Yapsnap est un outil en ligne de commande qui transcrit n'importe quelle URL vidéo ou fichier audio en texte brut sur le CPU en une seule commande, sans GPU ni cloud. Il utilise yt-dlp pour récupérer les flux, ffmpeg pour décoder l'audio et sherpa-onnx (un transducteur Zipformer Kroko INT8 d'environ 80 Mo) pour la reconnaissance, le modèle étant téléchargé une fois puis mis en cache pour un usage hors ligne. La sortie est un fichier texte UTF‑8 (par défaut ./transcripts/<id>_transcript.txt) avec des options comme --timestamps pour des phrases horodatées, -o pour définir le chemin de sortie, --speed pour accélérer la lecture et --keep-audio pour conserver l'audio téléchargé. L'outil prend en charge toute source comprise par yt-dlp et de nombreux formats locaux décodables par ffmpeg, et il peut être utilisé avec d'autres modèles linguistiques (français, allemand, espagnol, etc.) en pointant --model ou en définissant KROKO_MODEL. Les timestamps sont précis pour la navigation mais pas destinés à un calage de sous-titres professionnel, certaines URLs peuvent être géo‑bloquées ou nécessiter une connexion via yt-dlp, et le projet est publié sous licence Apache‑2.0.
21 May 2026
06:02
Learnings from 100K lines of Rust with AI (2025)
L'auteur a reconstruit en Rust une implémentation moderne de multi-Paxos équivalente à Azure RSL pour tirer parti du matériel actuel. Le projet a pris environ trois mois, avec plus de 130 000 lignes de Rust écrites en ~4 semaines et des optimisations qui ont porté le débit de ~23k à ~300k opérations/s en trois semaines. La modernisation vise à ajouter le pipelining, le support de la mémoire non volatile (NVM) et une meilleure exploitation du matériel (RDMA restant à implémenter) afin de réduire la latence et augmenter le débit. Le travail s'est appuyé sur des agents de codage IA, sur des contrats de code générés par l'IA convertis en assertions pour les tests, plus de 1 300 tests incluant des tests basés sur les propriétés et des scénarios d'intégration avec pannes injectées. L'auteur décrit une approche légère de spécification, un cycle itératif d'instrumentation et d'optimisation piloté par l'IA, et formule des souhaits pour une plus grande autonomie de l'IA dans l'exécution des user stories, l'automatisation des workflows de contrats et l'optimisation des performances.
21 May 2026
06:02
SpaceX S-1
Resume indisponible pour cet article.
21 May 2026
06:02
Google's AI is being manipulated. The search giant is quietly fighting back
Une enquête de la BBC a montré qu'il suffit souvent de publier un seul article bien conçu pour amener des chatbots d'IA à reprendre et diffuser des informations erronées. Le journaliste a prouvé la vulnérabilité en trompant ChatGPT et les outils de Google pour qu'ils affirment qu'il est champion du monde de hot-dog, et des acteurs malveillants utilisent la même méthode pour des sujets plus sérieux. Ces manipulations peuvent affecter des réponses sur la santé, les finances et d'autres domaines importants, entraînant potentiellement de mauvaises décisions individuelles et des impacts économiques ou juridiques. Google a modifié son langage de politique pour interdire explicitement les tentatives de manipulation des réponses d'IA et des signes indiquent que des mesures techniques comme l'ajout d'avertissements ou l'exclusion d'autopromotion sont en test chez plusieurs entreprises. Des experts estiment toutefois que les attaquants s'adapteront et recommandent de rester prudent face aux réponses uniques fournies par les outils d'IA, car ces systèmes peuvent présenter des informations de manière confiante même lorsqu'elles sont fausses.
21 May 2026
06:02
A Markdown-based test suite
L'auteur explique que des expériences avec des agents d'IA l'ont poussé à relancer le développement d'EndBASIC et à repenser son cœur. Il a montré qu'en fournissant des exemples et des règles en Markdown, un agent a pu apprendre à générer du code EndBASIC correct, incitant à rendre le langage plus auto-documenté. La refonte inclut un système de tests d'intégration en Markdown où chaque cas décrit la Source, la Disassembly, le code de sortie et les sorties d'exécution. Un driver parcourt ces fichiers, exécute les cas, régénère les fichiers "golden" et compare les résultats pour détecter les régressions, avec une option REGEN=true pour mettre à jour les références. Cette approche facilite la maintenance et l'analyse par LLM mais présente des inconvénients comme la régénération trop aisée, le bruit des adresses dans les disassemblages et une généralisation limitée.
21 May 2026
06:02
Why is Inkwell stuck in review
Le développeur a soumis l'application Inkwell pour iOS le 21 avril et elle a enchaîné de nombreux rejets, changements de code, resoumissions, une conversation téléphonique et un appel au comité de révision toujours en attente. Apple a notamment reproché l'absence d'un mécanisme de signalement et de blocage, ce qui a conduit à l'ajout de boutons de signalement, de blocage et de liens vers les conditions d'utilisation et la politique de confidentialité. Des problèmes sont apparus avec le bouton « Se connecter avec Apple » et Apple a posé des questions sur le modèle économique, auxquelles le développeur a répondu et a parfois masqué le bouton. Pour se conformer aux règles sur les achats intégrés, l'équipe a supprimé des fonctions de création, l'inscription externe et a retiré l'application de certaines boutiques pour la qualifier comme application de lecture ou compagnon, et elle a ajouté une option de suppression de compte. Le principal blocage concerne une objection liée à la marque « Inkwell » figurant sur la page des marques d'Apple malgré son statut « mort » auprès de l'office des brevets, ce qui a entraîné des refus répétés et une appellation, et le développeur a exprimé des réserves sur l'ampleur du contrôle d'Apple sur la distribution.