Using Kagi Search with Low Vision
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Was my $48K GPU server worth it?
Résumé indisponible pour cet article.
The surprising story behind the first British person in space
Helen Sharman, ingénieure alimentaire de Sheffield, est devenue la première astronaute britannique en 1991 en partant à bord du Soyuz TM-12 pour passer huit jours à la station Mir. Elle a été choisie après avoir répondu à une annonce « Astronaut wanted. No experience necessary » et a suivi 18 mois d'entraînement intensif à Star City après une sélection parmi 13 000 candidats. La mission Juno, conçue comme un partenariat commercial anglo-soviétique dans le contexte de la perestroïka, symbolisait la détente de la Guerre froide mais a rencontré des problèmes de financement qui ont conduit la Moscow-Narodny Bank à en assurer le soutien. Sur Mir, Sharman a noué des liens étroits avec les cosmonautes Anatoly Artebartsky et Sergei Krikalyov, a côtoyé des pionniers comme Alexeï Leonov et a participé à des traditions sociales et cérémoniales à bord. Elle a qualifié l'expérience de transformatrice, soulignant que l'apesanteur, la camaraderie et la coopération spatiale internationale contribuent à réduire les barrières politiques et à créer des relations durables.
Blog ran on Ubuntu 16.04 for 10 years. I migrated it to FreeBSD
L'auteur a migré un blog anciennement hébergé sur un VPS DigitalOcean sous Ubuntu 16.04 vers un serveur Hetzner plus performant et moins cher car la version Ubuntu n'était plus supportée. Il a profité de l'occasion pour réinstaller la pile sur FreeBSD en utilisant ZFS pour les snapshots et les jails via Bastille pour isoler chaque site. L'architecture repose sur un réseau interne bastille0, un serveur Caddy en jail faisant du reverse proxy et des jails séparés pour chaque site servant le contenu via nginx ou Hugo. Des benchmarks avec wrk et hey, réalisés depuis plusieurs régions, ont montré des gains de performance très importants sur la nouvelle machine après ajustements système tels que kern.ipc.somaxconn. La migration s'est avérée faisable et pédagogique, offrant meilleure stabilité et coûts réduits, avec quelques points restants à investiguer sur la latence régionale.
CODA: Rewriting Transformer Blocks as GEMM-Epilogue Programs
Les systèmes d'entraînement de Transformers sont centrés sur l'algèbre linéaire dense, mais une part importante du temps total est consacrée à des opérations liées à la mémoire (normalisation, activations, mises à jour résiduelles, réductions) qui déplacent d'importants tenseurs intermédiaires pour peu de calcul. Les auteurs présentent CODA, une abstraction de noyau GPU qui décrit ces calculs comme des programmes GEMM-plus-épilogue en tirant parti de la possibilité d'exécuter des opérateurs pendant que la tuile de sortie GEMM reste sur la puce. L'abstraction fige la boucle principale du GEMM et propose un petit ensemble de primitives d'épilogue composables pour le scaling, les réductions, les transformations élémentaires par paires et l'accumulation. Cette interface contrainte conserve la structure de performance des GEMM optimisés par des experts tout en restant suffisamment expressive pour couvrir presque tous les calculs non liés à l'attention dans les passes avant et arrière d'un bloc Transformer standard. Sur des charges de travail représentatives, des noyaux CODA écrits par des humains ou des grands modèles de langage atteignent de hautes performances, indiquant que la programmation GEMM-plus-épilogue est une voie pratique pour concilier productivité au niveau du framework et efficacité matérielle.
Project Hail Mary – Stellar Navigation Chart
Résumé indisponible pour cet article.
Autoregressive next token prediction and KV Cache in transformers
Résumé indisponible pour cet article.
Tennessee man jailed 37 days for Trump meme wins settlement after lawsuit
Après avoir passé 37 jours en prison pour avoir partagé un mème, l'ancien policier Larry Bushart a obtenu un règlement de 835 000 dollars avec le comté et le shérif impliqués dans son arrestation. Représenté par la fondation FIRE et le cabinet Phillips & Phillips, il avait déposé une plainte fédérale pour violation de ses droits civils, alléguant des représailles pour son discours protégé. Le mème citait Donald Trump et faisait référence à une fusillade scolaire survenue dans un autre État, contexte que les autorités ont omis dans la demande de mandat selon la plainte et des aveux ultérieurs du shérif. Bushart a été détenu sous caution de 2 millions de dollars, a perdu son emploi postretraite et a manqué des événements familiaux avant d'être libéré après une vague d'indignation publique. FIRE a indiqué que le règlement vise à rappeler aux autorités locales le respect du Premier amendement et l'organisation représente également d'autres personnes sanctionnées pour des publications en ligne similaires.
Testing distributed systems with AI agents
Le projet fournit deux compétences (fichiers SKILL.md) pour agents IA qui conçoivent et exécutent des tests pilotés par les revendications sur des systèmes distribués et à état, produisant un plan Markdown structuré et un rapport de findings. La compétence de conception parcourt le dépôt, extrait les claims du produit, génère des hypothèses liées à ces claims et rédige des scénarios nommés d'après chaque claim avec, pour les scénarios critiques, un modèle abstrait, un schéma d'historique d'opérations, un vérificateur nommé et un nemesis avec preuve d'atterrissage. La compétence d'exécution découvre l'outillage existant du SUT, injecte les fautes avec discipline de checkpoint, capture les preuves d'atterrissage, exécute des audits et attribue des verdicts selon une taxonomie à neuf états en classifiant chaque échec en SUT/harness/checker/environnement. Le plan suit une structure normalisée (§0–§9) qui inclut un argument d'adéquation de couverture, une liste des incertitudes résiduelles et une déclaration de confiance, et chaque PASS exige une preuve d'oracle et l'évidence que la faute a bien été provoquée. Le dépôt contient un catalogue de techniques, des gabarits de plan et de rapport, des suites d'évaluation et des exécutions de vérification réelles (notamment sur AgentDB), l'installation est fournie par une commande idempotente et la licence est MIT.
Apparently Google hates us now
Résumé indisponible pour cet article.