The Neuron Times

All the AI that's fit to print

N° 186 Édition du matinMorning EditionMorgenausgabeEdizione del mattinoEdizion del mattin · Genève DIMANCHE 5 JUILLET 2026SUNDAY, 5 JULY 2026SONNTAG, 5. JULI 2026DOMENICA 5 LUGLIO 2026DOMENICA 5 LUGLIO 2026

À la Une · Recherche scientifiqueFront Page · Scientific ResearchSchlagzeilen · Wissenschaftliche ForschungPrima pagina · Ricerca scientificaIn prima pagina · Ricerca scentifica

Anthropic lance Claude Science, un laboratoire multi-agents pour la recherche reproductibleAnthropic Launches Claude Science, a Multi-Agent Lab for Reproducible ResearchAnthropic lanciert Claude Science, ein Multi-Agenten-Labor für reproduzierbare ForschungAnthropic lancia Claude Science, un laboratorio multi-agente per la ricerca riproducibileAnthropic la fa su e Claude Science, on laboratori multi-agent per la ricerca reproductibila

La plateforme orchestre des agents spécialisés pour automatiser les pipelines de recherche, avec traçabilité complète et calcul distribué.The platform orchestrates specialized agents to automate research pipelines, with full traceability and distributed computing.Die Plattform orchestriert spezialisierte Agenten, um Forschungspipelines zu automatisieren, mit vollständiger Rückverfolgbarkeit und verteiltem Rechnen.La piattaforma orchestra agenti specializzati per automatizzare le pipeline di ricerca, con tracciabilità completa e calcolo distribuito.La piattaforma l'orchestra di agent specializzaa per automatizzà i pipeline de ricerca, con tracciabilità completa e calcol distribuii.

Claude Science gère le calcul distribué sur machines locales, clusters HPC via SSH et plateformes cloud comme Modal, et se connecte à plus de 60 bases de données scientifiques ainsi qu'aux compétences NVIDIA BioNeMo. Cette infrastructure permet aux chercheurs d'exécuter des workflows complexes sans avoir à gérer manuellement l'approvisionnement en ressources de calcul ni la reproductibilité des environnements logiciels. L'outil s'inscrit dans la stratégie d'Anthropic d'étendre son écosystème Claude au-delà du codage et de la productivité vers des applications scientifiques de pointe.Claude Science manages distributed computing across local machines, HPC clusters via SSH, and cloud platforms like Modal, and connects to over 60 scientific databases as well as NVIDIA BioNeMo skills. This infrastructure allows researchers to execute complex workflows without having to manually manage compute resource provisioning or software environment reproducibility. The tool is part of Anthropic's strategy to extend its Claude ecosystem beyond coding and productivity into cutting-edge scientific applications.Claude Science verwaltet verteiltes Rechnen auf lokalen Maschinen, HPC-Clustern via SSH und Cloud-Plattformen wie Modal und verbindet sich mit über 60 wissenschaftlichen Datenbanken sowie den NVIDIA BioNeMo-Fähigkeiten. Diese Infrastruktur ermöglicht es Forschern, komplexe Workflows auszuführen, ohne die Rechenressourcen manuell bereitstellen oder die Reproduzierbarkeit von Softwareumgebungen verwalten zu müssen. Das Tool ist Teil von Anthropics Strategie, sein Claude-Ökosystem über das Programmieren und die Produktivität hinaus auf hochmoderne wissenschaftliche Anwendungen auszudehnen.Claude Science gestisce il calcolo distribuito su macchine locali, cluster HPC via SSH e piattaforme cloud come Modal, e si connette a oltre 60 database scientifici oltre che alle competenze NVIDIA BioNeMo. Questa infrastruttura permette ai ricercatori di eseguire workflow complessi senza dover gestire manualmente il provisioning delle risorse di calcolo né la riproducibilità degli ambienti software. Lo strumento si inserisce nella strategia di Anthropic di estendere il proprio ecosistema Claude oltre la programmazione e la produttività verso applicazioni scientifiche d'avanguardia.Claude Science la gestiss el calcol distribuii sora macchin locai, cluster HPC via SSH e piattaform cloud 'me Modal, e la se conliga a pussee de 60 bas de dacc scentifich e anca a competenz NVIDIA BioNeMo. 'Sta infrastrutura la permet ai ricercator de eseguì workflow compless senza havè de gestì manualment el provediment di risors de calcol ni la reproductibilità di ambient software. L'utensil el se mett denter in la strategia d'Anthropic de slargà el sò ecosistema Claude oltra el codà e la produttività vers aplicazion scentifiche de ponta.

Cette annonce intervient alors qu'Anthropic lance également ses propres programmes de découverte de médicaments pour des maladies négligées que l'industrie pharmaceutique juge non rentables. Le PDG de Novartis, Vas Narasimhan, estime que l'IA pourrait réduire le temps de développement de douze à sept ou huit ans et doubler le taux de succès de 8 à 16 %. Ces deux initiatives signalent une ambition croissante d'Anthropic dans le secteur des sciences de la vie.The announcement comes as Anthropic also launches its own drug discovery programs for neglected diseases that the pharmaceutical industry considers unprofitable. Novartis CEO Vas Narasimhan estimates that AI could reduce development time from twelve to seven or eight years and double the success rate from 8 to 16 percent. These two initiatives signal Anthropic's growing ambition in the life sciences sector.Diese Ankündigung erfolgt, während Anthropic auch eigene Programme zur Wirkstoffforschung für vernachlässigte Krankheiten startet, die die Pharmaindustrie für unrentabel hält. Novartis-CEO Vas Narasimhan schätzt, dass KI die Entwicklungszeit von zwölf auf sieben oder acht Jahre verkürzen und die Erfolgsrate von 8 auf 16 Prozent verdoppeln könnte. Diese beiden Initiativen signalisieren einen wachsenden Ehrgeiz von Anthropic im Bereich der Biowissenschaften.Questo annuncio arriva mentre Anthropic lancia anche i propri programmi di scoperta di farmaci per malattie trascurate che l'industria farmaceutica considera non redditizie. L'amministratore delegato di Novartis, Vas Narasimhan, stima che l'IA potrebbe ridurre i tempi di sviluppo da dodici a sette o otto anni e raddoppiare il tasso di successo dall'8 al 16%. Queste due iniziative segnalano una crescente ambizione di Anthropic nel settore delle scienze della vita.'Sto anunzi el riva intant che Anthropic la lanza anca i sò programm de descovèrt di medesin per malattii trascurà che l'industria farmaceutica la considera minga profitevol. El CEO de Novartis, Vas Narasimhan, el pensa che l'IA la podaria sbassà el temp de desvilupp de dodes a sett o vott ann e fà el doppi del tass de sucess de l'8 al 16 %. 'Sti duu iniziativ hinn segnal d'ona ambizion semper pussee granda d'Anthropic in del settor di scenz de la vita.

Page 1 — Page 1 — Seite 1 — Pagina 1 — Pagina 1 — À la UneFront PageTitelgeschichteIn Primo PianoIn Prima Pagina

I. Modèles & FrontièreModels & FrontierModelle & GrenzbereichModelli & FrontieraModell & Frontiera

NVIDIA

NVIDIA

NVIDIA

NVIDIA

NVIDIA

NVIDIA HORIZON atteint 100 % sur les benchmarks de conception matérielleNVIDIA HORIZON Hits 100 Percent on Hardware Design BenchmarksNVIDIA HORIZON erreicht 100 % bei Hardware-Entwurfs-BenchmarksNVIDIA HORIZON raggiunge il 100% sui benchmark di progettazione hardwareNVIDIA HORIZON el riva al 100 % sora i benchmark de progettazion material

NVIDIA a dévoilé HORIZON, un agent « mains libres » qui atteint 100 % de complétion sur les benchmarks RTL (Register Transfer Level). L'agent héberge chaque problème de conception matérielle comme un dépôt versionné, évolue les worktrees Git et génère automatiquement les solutions de conception de circuits. Cette performance suggère que les agents IA commencent à rivaliser avec les ingénieurs matériels sur des tâches de synthèse logique standardisées.
NVIDIA has unveiled HORIZON, a "hands-free" agent that achieves 100 percent completion on RTL (Register Transfer Level) benchmarks. The agent hosts each hardware design problem as a versioned repository, evolves Git worktrees, and automatically generates circuit design solutions. This performance suggests that AI agents are beginning to rival hardware engineers on standardized logic synthesis tasks.
NVIDIA hat HORIZON vorgestellt, einen «Freihand»-Agenten, der eine 100-prozentige Abschlussrate bei RTL-Benchmarks (Register Transfer Level) erreicht. Der Agent hostet jedes Hardware-Entwurfsproblem als versioniertes Repository, entwickelt Git-Worktrees weiter und generiert automatisch Schaltungsentwurfslösungen. Diese Leistung deutet darauf hin, dass KI-Agenten beginnen, mit Hardware-Ingenieuren bei standardisierten Logiksyntheseaufgaben zu konkurrieren.
NVIDIA ha svelato HORIZON, un agente "a mani libere" che raggiunge il 100% di completamento sui benchmark RTL (Register Transfer Level). L'agente ospita ogni problema di progettazione hardware come un repository versionato, evolve i worktree Git e genera automaticamente le soluzioni di progettazione circuitale. Questa performance suggerisce che gli agenti IA stanno iniziando a competere con gli ingegneri hardware su compiti di sintesi logica standardizzati.
NVIDIA l'ha presenta HORIZON, on agent "a man liber" che 'l riva al 100 % de completament sora i benchmark RTL (Register Transfer Level). L'agent el ospita ogni problema de progettazion material 'me on deposit versionaa, el fa evolv i worktrees Git e 'l genera automaticament i soluzion de progettazion di circuit. 'Sta performance la suggeriss che i agent IA comenzen a rivalizzà con i ingegner material sora di compit de sintesi logica standardizzaa.

Mistral AI

Mistral AI

Mistral AI

Mistral AI

Mistral AI

Mistral dévoile Leanstral 1.5, un modèle de vérification formelle qui détecte des bogues réelsMistral Unveils Leanstral 1.5, a Formal Verification Model That Catches Real BugsMistral stellt Leanstral 1.5 vor, ein formales Verifikationsmodell, das echte Fehler erkenntMistral svela Leanstral 1.5, un modello di verifica formale che rileva bug realiMistral el presenta Leanstral 1.5, on model de verificazion formal che 'l détetta di boghes reai

Mistral AI a publié Leanstral 1.5, un modèle open-source spécialisé dans la vérification formelle avec Lean 4. Au-delà des performances sur les benchmarks mathématiques formels, le modèle a découvert cinq bogues inconnus en analysant 57 dépôts open-source. Cette capacité à détecter des vulnérabilités réelles dans le code existant distingue Leanstral 1.5 des modèles de raisonnement mathématique généralistes.
Mistral AI has released Leanstral 1.5, an open-source model specialized in formal verification with Lean 4. Beyond performance on formal math benchmarks, the model discovered five unknown bugs while analyzing 57 open-source repositories. This ability to detect real-world vulnerabilities in existing code sets Leanstral 1.5 apart from general-purpose mathematical reasoning models.
Mistral AI hat Leanstral 1.5 veröffentlicht, ein Open-Source-Modell, das auf formale Verifikation mit Lean 4 spezialisiert ist. Über die Leistung bei formalen Mathematik-Benchmarks hinaus entdeckte das Modell fünf unbekannte Fehler bei der Analyse von 57 Open-Source-Repositories. Diese Fähigkeit, echte Schwachstellen in bestehendem Code zu erkennen, unterscheidet Leanstral 1.5 von allgemeinen mathematischen Denkmodellen.
Mistral AI ha pubblicato Leanstral 1.5, un modello open-source specializzato nella verifica formale con Lean 4. Oltre alle performance sui benchmark matematici formali, il modello ha scoperto cinque bug sconosciuti analizzando 57 repository open-source. Questa capacità di rilevare vulnerabilità reali nel codice esistente distingue Leanstral 1.5 dai modelli di ragionamento matematico generalisti.
Mistral AI l'ha publicaa Leanstral 1.5, on model open-source specializzaa in la verificazion formal con Lean 4. Oltra i performance sora i benchmark de matematega formal, el model l'ha descovèrt cinch boghes conossuu no in analizzà 57 deposit open-source. 'Sta capacità de détettà di vulnerabilità reai in del codes esistent la destingua Leanstral 1.5 di model de resonament matemategh generalista.

Page 2 — Page 2 — Seite 2 — Pagina 2 — Pagina 2 — Le Cahier TechniqueThe Technical NotebookDas Technische HeftIl Quaderno TecnicoEl Carnet Tecnegh

II. Harnais & CLIHarness & CLIGeschirr & CLIHarnais & CLIHarnes & CLI

llama.cpp

llama.cpp

llama.cpp

llama.cpp

llama.cpp

llama.cpp b9873 corrige un crash en décodage spéculatifllama.cpp b9873 Fixes Crash in Speculative Decodingllama.cpp b9873 behebt Absturz beim spekulativen Decodingllama.cpp b9873 corregge un crash in decodifica speculativallama.cpp b9873 el corregg on crash in decodifega speculativa

La version b9873 de llama.cpp, publiée le 4 juillet 2026, corrige un crash survenant lors du décodage spéculatif avec injection KV. Le correctif ajoute un garde-fou pour les entrées de rotation K/V lorsque le buffer n'est pas alloué, un scénario qui se produit quand un graphe stocke les paires clé-valeur sans y appliquer d'attention — typique du décodage spéculatif DFlash. La release est disponible pour macOS (Apple Silicon et Intel), Linux (CPU, Vulkan, ROCm 7.2, OpenVINO, SYCL), Windows et Android.
llama.cpp release b9873, published on July 4, 2026, fixes a crash occurring during speculative decoding with KV injection. The fix adds a guard for K/V rotation inputs when the buffer is not allocated, a scenario that arises when a graph stores key-value pairs without applying attention to them — typical of DFlash speculative decoding. The release is available for macOS (Apple Silicon and Intel), Linux (CPU, Vulkan, ROCm 7.2, OpenVINO, SYCL), Windows, and Android.
Die Version b9873 von llama.cpp, veröffentlicht am 4. Juli 2026, behebt einen Absturz, der beim spekulativen Decoding mit KV-Injektion auftrat. Der Fix fügt eine Schutzmassnahme für K/V-Rotationseingaben hinzu, wenn der Puffer nicht zugewiesen ist – ein Szenario, das auftritt, wenn ein Graph die Schlüssel-Wert-Paare speichert, ohne Aufmerksamkeit darauf anzuwenden, typisch für DFlash-spekulatives Decoding. Das Release ist verfügbar für macOS (Apple Silicon und Intel), Linux (CPU, Vulkan, ROCm 7.2, OpenVINO, SYCL), Windows und Android.
La versione b9873 di llama.cpp, pubblicata il 4 luglio 2026, corregge un crash che si verifica durante la decodifica speculativa con iniezione KV. La correzione aggiunge una protezione per le voci di rotazione K/V quando il buffer non è allocato, uno scenario che si verifica quando un grafo memorizza le coppie chiave-valore senza applicarvi attenzione — tipico della decodifica speculativa DFlash. La release è disponibile per macOS (Apple Silicon e Intel), Linux (CPU, Vulkan, ROCm 7.2, OpenVINO, SYCL), Windows e Android.
La version b9873 de llama.cpp, publicada el 4 de luj 2026, la corregg on crash che 'l capita in del decodifega speculativa con iniezion KV. La correzion la gionta on guard-foeu per i entrada de rotazion K/V quand che 'l buffer l'è minga allogaa, on scenari che 'l se verifica quand on graph el conserva i paar ciav-valor senza applicàgh attenzion — tipich del decodifega speculativa DFlash. La release l'è disponibila per macOS (Apple Silicon e Intel), Linux (CPU, Vulkan, ROCm 7.2, OpenVINO, SYCL), Windows e Android.

Rapid-MLX

Rapid-MLX

Rapid-MLX

Rapid-MLX

Rapid-MLX

Rapid-MLX v0.10.0 supporte les groupes d'outils CodexRapid-MLX v0.10.0 Supports Codex Tool GroupsRapid-MLX v0.10.0 unterstützt Codex-ToolgruppenRapid-MLX v0.10.0 supporta i gruppi di strumenti CodexRapid-MLX v0.10.0 el supporta i grupp d'utensil Codex

Rapid-MLX v0.10.0, publié le 4 juillet 2026, ajoute la compatibilité avec les groupes d'outils Codex sur l'endpoint /v1/responses. Cette mise à jour permet au serveur d'inférence MLX de fonctionner comme backend pour les agents Codex d'OpenAI, élargissant l'interopérabilité entre l'écosystème Apple Silicon et les outils de codage agentique.
Rapid-MLX v0.10.0, released on July 4, 2026, adds compatibility with Codex tool groups on the /v1/responses endpoint. This update allows the MLX inference server to function as a backend for OpenAI's Codex agents, expanding interoperability between the Apple Silicon ecosystem and agentic coding tools.
Rapid-MLX v0.10.0, veröffentlicht am 4. Juli 2026, fügt Kompatibilität mit Codex-Toolgruppen am Endpunkt /v1/responses hinzu. Dieses Update ermöglicht es dem MLX-Inferenzserver, als Backend für OpenAIs Codex-Agenten zu fungieren und erweitert die Interoperabilität zwischen dem Apple-Silicon-Ökosystem und agentischen Codierungswerkzeugen.
Rapid-MLX v0.10.0, pubblicato il 4 luglio 2026, aggiunge la compatibilità con i gruppi di strumenti Codex sull'endpoint /v1/responses. Questo aggiornamento permette al server di inferenza MLX di funzionare come backend per gli agenti Codex di OpenAI, ampliando l'interoperabilità tra l'ecosistema Apple Silicon e gli strumenti di programmazione agentica.
Rapid-MLX v0.10.0, publicaa el 4 de luj 2026, el gionta la compatibilità con i grupp d'utensil Codex sora l'endpoint /v1/responses. 'Sta modifega la permet al server d'inferenza MLX de fonzionà 'me backend per i agent Codex d'OpenAI, slargand l'interoperabilità tra l'ecosistema Apple Silicon e i utensil de codà agentich.

Cline

Cline

Cline

Cline

Cline

Cline CLI v3.0.37 gère les appels d'outils malformésCline CLI v3.0.37 Handles Malformed Tool CallsCline CLI v3.0.37 verarbeitet fehlerhafte Tool-AufrufeCline CLI v3.0.37 gestisce le chiamate di strumenti malformateCline CLI v3.0.37 el gestiss i ciamad d'utensil malformaa

Cline CLI v3.0.37, publié le 4 juillet 2026, améliore la robustesse face aux modèles plus faibles (comme DeepSeek) qui émettent des appels d'outils malformés — types d'arguments incorrects ou JSON tronqué. Ces appels sont désormais gérés sans erreur. La version rend également visibles les changements de mode Plan/Act pour le modèle et corrige un problème de course où le changement de mode dans une session vide pouvait déclencher un redémarrage inattendu.
Cline CLI v3.0.37, released on July 4, 2026, improves robustness against weaker models (such as DeepSeek) that emit malformed tool calls — incorrect argument types or truncated JSON. These calls are now handled without error. The release also makes Plan/Act mode changes visible to the model and fixes a race condition where changing mode in an empty session could trigger an unexpected restart.
Cline CLI v3.0.37, veröffentlicht am 4. Juli 2026, verbessert die Robustheit gegenüber schwächeren Modellen (wie DeepSeek), die fehlerhafte Tool-Aufrufe ausgeben – falsche Argumenttypen oder abgeschnittenes JSON. Diese Aufrufe werden nun fehlerfrei verarbeitet. Die Version macht auch die Plan/Act-Moduswechsel für das Modell sichtbar und behebt ein Race-Condition-Problem, bei dem der Moduswechsel in einer leeren Sitzung einen unerwarteten Neustart auslösen konnte.
Cline CLI v3.0.37, pubblicato il 4 luglio 2026, migliora la robustezza verso modelli più deboli (come DeepSeek) che emettono chiamate di strumenti malformate — tipi di argomenti errati o JSON troncato. Queste chiamate vengono ora gestite senza errore. La versione rende inoltre visibili i cambi di modalità Plan/Act per il modello e corregge un problema di race condition in cui il cambio di modalità in una sessione vuota poteva innescare un riavvio inaspettato.
Cline CLI v3.0.37, publicaa el 4 de luj 2026, el mejora la robustezza denanz ai model pussee debol (come DeepSeek) che emetten di ciamad d'utensil malformaa — tip d'argoment minga giust o JSON troncaa. 'Sti ciamad hinn adess gestii senza error. La version la fa anca vedè i cambiament de modalità Plan/Act per el model e la corregg on problema de corsa indove el cambiament de modalità in d'ona session vœda el podeva innescà on reistart inaspettaa.

Page 3 — Page 3 — Seite 3 — Pagina 3 — Pagina 3 — La RechercheResearchDie ForschungLa RicercaLa Ricerca

III. Papers & LabosPapers & LabsPapiere & LaborePapers & LaboratoriPapers & Laboratori

ByteDance

ByteDance

ByteDance

ByteDance

ByteDance

ByteDance Seed publie la carte modèle Seed2.0ByteDance Seed Publishes Seed2.0 Model CardByteDance Seed veröffentlicht Seed2.0 Model CardByteDance Seed pubblica la scheda del modello Seed2.0ByteDance Seed la publica la model card Seed2.0

ByteDance Seed a publié la Seed2.0 Model Card, détaillant une série de modèles conçus pour les tâches complexes du monde réel. Seed2.0 cible deux défis persistants : la connaissance de longue traîne et le suivi complexe d'instructions. Le modèle offre des capacités de raisonnement, de compréhension visuelle et de recherche de niveau mondial. La carte modèle documente des cas d'utilisation réels démontrant que Seed2.0 commence à gérer des tâches complexes initiales pour des centaines de millions d'utilisateurs.
ByteDance Seed has published the Seed2.0 Model Card, detailing a series of models designed for complex real-world tasks. Seed2.0 targets two persistent challenges: long-tail knowledge and complex instruction following. The model offers world-class reasoning, visual understanding, and search capabilities. The model card documents real-world use cases demonstrating that Seed2.0 is beginning to handle initial complex tasks for hundreds of millions of users.
ByteDance Seed hat die Seed2.0 Model Card veröffentlicht, die eine Reihe von Modellen detailliert beschreibt, die für komplexe reale Aufgaben entwickelt wurden. Seed2.0 zielt auf zwei anhaltende Herausforderungen ab: Long-Tail-Wissen und komplexe Instruktionsverfolgung. Das Modell bietet Denk-, visuelle Verständnis- und Suchfähigkeiten auf Weltniveau. Die Model Card dokumentiert reale Anwendungsfälle, die zeigen, dass Seed2.0 beginnt, komplexe anfängliche Aufgaben für Hunderte Millionen von Nutzern zu bewältigen.
ByteDance Seed ha pubblicato la Seed2.0 Model Card, descrivendo una serie di modelli progettati per compiti complessi del mondo reale. Seed2.0 affronta due sfide persistenti: la conoscenza di coda lunga e il follow-up complesso di istruzioni. Il modello offre capacità di ragionamento, comprensione visiva e ricerca di livello mondiale. La scheda del modello documenta casi d'uso reali che dimostrano come Seed2.0 stia iniziando a gestire compiti complessi iniziali per centinaia di milioni di utenti.
ByteDance Seed l'ha publicaa la Seed2.0 Model Card, dettagliand ona serie de model progettaa per i compit compless del mond real. Seed2.0 el mira duu sfid persistent: la conoscenza de longa cova e 'l seguiment compless d'istruzion. El model el offr di capacità de resonament, comprension visual e ricerca de nivell mondial. La model card la documenta di cas d'usagg reai che dimostren che Seed2.0 el comenza a gestì di compit compless inizziai per centener de milion d'utent.

Waterloo

Waterloo

Waterloo

Waterloo

Waterloo

Program-as-Weights : compiler des fonctions floues en artefacts neuronaux compactsProgram-as-Weights: Compiling Fuzzy Functions into Compact Neural ArtifactsProgram-as-Weights: Unscharfe Funktionen in kompakte neuronale Artefakte kompilierenProgram-as-Weights: compilare funzioni fuzzy in artefatti neurali compattiProgram-as-Weights: compilà di fonzion fioeu in artefatt neuronai compatt

Des chercheurs de l'Université de Waterloo présentent Program-as-Weights (PAW), un nouveau paradigme de programmation pour les « fonctions floues » — des tâches comme l'alerte sur des lignes de log importantes ou la réparation de JSON malformé. Un compilateur 4B entraîné sur FuzzyBench (10 millions d'exemples) émet des adaptateurs paramétriques pour un interpréteur léger et gelé de 0,6B. L'interpréteur PAW égalise les performances d'un Qwen3-32B en prompting direct tout en utilisant un cinquantième de la mémoire d'inférence et en tournant à 30 tokens/s sur un MacBook M3.
Researchers at the University of Waterloo present Program-as-Weights (PAW), a new programming paradigm for "fuzzy functions" — tasks like alerting on important log lines or repairing malformed JSON. A 4B compiler trained on FuzzyBench (10 million examples) emits parametric adapters for a lightweight, frozen 0.6B interpreter. The PAW interpreter matches the performance of Qwen3-32B on direct prompting while using one-fiftieth of the inference memory and running at 30 tokens/s on an M3 MacBook.
Forscher der University of Waterloo stellen Program-as-Weights (PAW) vor, ein neues Programmierparadigma für «unscharfe Funktionen» – Aufgaben wie das Alarmieren bei wichtigen Logzeilen oder das Reparieren von fehlerhaftem JSON. Ein auf FuzzyBench (10 Millionen Beispiele) trainierter 4B-Compiler gibt parametrische Adapter für einen leichten, eingefrorenen 0,6B-Interpreter aus. Der PAW-Interpreter gleicht die Leistung eines Qwen3-32B mit direktem Prompting aus, während er ein Fünfzigstel des Inferenzspeichers verwendet und mit 30 Tokens/s auf einem MacBook M3 läuft.
Ricercatori dell'Università di Waterloo presentano Program-as-Weights (PAW), un nuovo paradigma di programmazione per le "funzioni fuzzy" — compiti come l'alert su righe di log importanti o la riparazione di JSON malformato. Un compilatore 4B addestrato su FuzzyBench (10 milioni di esempi) emette adattatori parametrici per un interprete leggero e congelato di 0,6B. L'interprete PAW eguaglia le performance di un Qwen3-32B in prompting diretto utilizzando un cinquantesimo della memoria di inferenza e girando a 30 token/s su un MacBook M3.
Di ricercator de l'Università de Waterloo presenten Program-as-Weights (PAW), on noeuv paradigma de programmazion per i "fonzion fioeu" — di compit 'me l'alertà sora di lign de log important o la reparazion de JSON malformaa. On compilator 4B trainaa sora FuzzyBench (10 milion d'esempi) el met foeu di adattator parametrich per on interpretator legger e gelaa de 0,6B. L'interpretator PAW el pareggia i performance d'on Qwen3-32B in prompting diret, intant che 'l dòvra on cinquantesim de la memoria d'inferenza e 'l gira a 30 token/s sora on MacBook M3.

Cornell

Cornell

Cornell

Cornell

Cornell

Séparer l'état de la prédiction améliore les TransformersSeparating State from Prediction Improves TransformersTrennung von Zustand und Vorhersage verbessert TransformerSeparare lo stato dalla predizione migliora i TransformerSeparà l'stat de la predizion el mejora i Transformer

Des chercheurs de Cornell proposent l'hypothèse de séparation état-prédiction : les Transformers utilisent le même flux de calcul pour prédire le token suivant et stocker l'état utile pour les prédictions futures. En concevant une variante à deux flux qui sépare ces deux rôles, les auteurs obtiennent une meilleure efficacité en données et en calcul, avec une perte de validation améliorée et des performances supérieures de 2 à 3 points de pourcentage en moyenne sur les tâches aval.
Researchers at Cornell propose the state-prediction separation hypothesis: Transformers use the same computational stream to predict the next token and store state useful for future predictions. By designing a two-stream variant that separates these two roles, the authors achieve better data and compute efficiency, with improved validation loss and performance gains of 2 to 3 percentage points on average across downstream tasks.
Forscher von Cornell schlagen die Zustand-Vorhersage-Trennungshypothese vor: Transformer nutzen denselben Rechenfluss, um das nächste Token vorherzusagen und den für zukünftige Vorhersagen nützlichen Zustand zu speichern. Durch das Entwerfen einer Zweifluss-Variante, die diese beiden Rollen trennt, erzielen die Autoren eine bessere Daten- und Recheneffizienz mit verbessertem Validierungsverlust und einer um 2 bis 3 Prozentpunkte höheren durchschnittlichen Leistung bei nachgelagerten Aufgaben.
Ricercatori della Cornell propongono l'ipotesi di separazione stato-predizione: i Transformer usano lo stesso flusso di calcolo per predire il token successivo e memorizzare lo stato utile per le predizioni future. Progettando una variante a due flussi che separa questi due ruoli, gli autori ottengono una migliore efficienza in dati e calcolo, con una perdita di validazione migliorata e performance superiori dal 2 al 3% in media sui compiti downstream.
Di ricercator de Cornell proponen l'ipotesi de separazion stat-predizion: i Transformer dòvren l'istess fluss de calcol per predì el token successiv e per conservà l'stat util per i predizion futur. In progettà ona variant a duu fluss che la separa 'sti duu roeu, i autor ottenen ona mej efficienza in dacc e in calcol, con ona perdita de validazion migliorada e di performance superior de 2 a 3 pont percentual in media sora i compit aval.

Microsoft Research

Microsoft Research

Microsoft Research

Microsoft Research

Microsoft Research

ELDR optimise le routage des requêtes pour les modèles MoEELDR Optimizes Request Routing for MoE ModelsELDR optimiert das Anfragen-Routing für MoE-ModelleELDR ottimizza il routing delle richieste per i modelli MoEELDR el ottimizza el routing di richiest per i model MoE

Microsoft Research présente ELDR, un routeur de décodage sensible à la localité des experts pour le serving PD-disaggregated de modèles MoE. ELDR construit une signature d'experts à partir des activations de préremplissage, partitionne l'espace des signatures avec K-means équilibré, et achemine chaque requête vers le worker le moins chargé correspondant le mieux à sa signature. Implémenté dans vLLM, ELDR réduit le TPOT médian de 5,9 à 13,9 % sur des déploiements allant jusqu'à 40 GPU.
Microsoft Research presents ELDR, a locality-aware expert routing decoder for PD-disaggregated serving of MoE models. ELDR builds an expert signature from prefill activations, partitions the signature space with balanced K-means, and routes each request to the least-loaded worker best matching its signature. Implemented in vLLM, ELDR reduces median TPOT by 5.9 to 13.9 percent on deployments of up to 40 GPUs.
Microsoft Research stellt ELDR vor, einen Expert-Lokalitäts-bewussten Decoding-Router für PD-disaggregiertes Serving von MoE-Modellen. ELDR erstellt eine Expert-Signatur aus den Prefill-Aktivierungen, partitioniert den Signaturraum mit balanciertem K-Means und leitet jede Anfrage an den am wenigsten ausgelasteten Worker, der am besten zu ihrer Signatur passt. Implementiert in vLLM reduziert ELDR den medianen TPOT um 5,9 bis 13,9 % bei Bereitstellungen mit bis zu 40 GPUs.
Microsoft Research presenta ELDR, un router di decodifica sensibile alla località degli esperti per il serving PD-disaggregated di modelli MoE. ELDR costruisce una firma degli esperti a partire dalle attivazioni di pre-riempimento, partiziona lo spazio delle firme con K-means bilanciato, e instrada ogni richiesta verso il worker meno carico che meglio corrisponde alla sua firma. Implementato in vLLM, ELDR riduce il TPOT mediano dal 5,9 al 13,9% su deployment fino a 40 GPU.
Microsoft Research la presenta ELDR, on router de decodifega sensibil a la località di expert per el serving PD-disaggregaa di model MoE. ELDR el costruiss ona signatura d'expert a partì di attivazion de preempliment, el partizionna el spazzi di signatur con K-means equilibraa, e 'l adressa ogni richiesta al worker men carregaa che 'l corrispond mej a la soa signatura. Implementaa in vLLM, ELDR el sbassa el TPOT median del 5,9 al 13,9 % sora di despiegament fina a 40 GPU.

Page 4 — Page 4 — Seite 4 — Pagina 4 — Pagina 4 — La Communauté & ÉditoCommunity & EditorialDie Gemeinschaft & LeitartikelLa Comunità & EditorialeLa Comunità & Editorial

IV. Signaux & DébatsSignals & DebatesSignale & DebattenSegnali & DibattitiSegnai & Disquussion

Sécurité

Security

Sicherheit

Sicurezza

Segurezza

Une fuite potentielle de session dans Claude Code alerte la communautéPotential Session Leak in Claude Code Alerts the CommunityPotentielles Session-Leck in Claude Code alarmiert die GemeinschaftUna potenziale fuga di sessione in Claude Code allarma la comunitàOn potenzial fuita de session in Claude Code el met in allerta la comunità

Un problème de sécurité signalé sur Hacker News le 4 juillet 2026 concerne une potentielle fuite de session/cache entre instances d'espace de travail ou comptes consommateurs dans Claude Code. L'issue, qui a recueilli 282 points et 129 commentaires, décrit un scénario où les données d'une session pourraient être accessibles depuis une autre instance. La communauté technique débat de la gravité et des implications pour les utilisateurs professionnels de l'outil.
A security issue reported on Hacker News on July 4, 2026 concerns a potential session/cache leak between workspace instances or consumer accounts in Claude Code. The issue, which has garnered 282 points and 129 comments, describes a scenario where data from one session could be accessible from another instance. The technical community is debating the severity and implications for professional users of the tool.
Ein am 4. Juli 2026 auf Hacker News gemeldetes Sicherheitsproblem betrifft ein potenzielles Session/Cache-Leck zwischen Workspace-Instanzen oder Consumer-Konten in Claude Code. Der Issue, der 282 Punkte und 129 Kommentare erhielt, beschreibt ein Szenario, in dem Daten einer Sitzung von einer anderen Instanz aus zugänglich sein könnten. Die technische Gemeinschaft diskutiert über die Schwere und die Auswirkungen für professionelle Nutzer des Tools.
Un problema di sicurezza segnalato su Hacker News il 4 luglio 2026 riguarda una potenziale fuga di sessione/cache tra istanze di workspace o account consumer in Claude Code. L'issue, che ha raccolto 282 punti e 129 commenti, descrive uno scenario in cui i dati di una sessione potrebbero essere accessibili da un'altra istanza. La comunità tecnica discute la gravità e le implicazioni per gli utenti professionali dello strumento.
On problema de segurezza segnalaa sora Hacker News el 4 de luj 2026 el riguarda ona potenzial fuita de session/cache tra istanz de spazzi de lavorà o cunt consumator in Claude Code. L'issue, che l'ha cataa su 282 pont e 129 comentari, la descriv on scenari indove i dacc d'ona session podarien vess accessibil de n'oltra istanza. La comunità tecnica la disquota de la gravità e di implicazion per i utent professionai de l'utensil.

Débogage

Debugging

Debugging

Debug

Débogage

GPT-5.5 Codex : le clustering des tokens de raisonnement inquiète les développeursGPT-5.5 Codex: Reasoning Token Clustering Worries DevelopersGPT-5.5 Codex: Reasoning-Token-Clustering beunruhigt EntwicklerGPT-5.5 Codex: il clustering dei token di ragionamento preoccupa gli sviluppatoriGPT-5.5 Codex: el clustering di token de resonament el preocupà i desviluppador

Un rapport de bug sur Codex suggère que le clustering des tokens de raisonnement de GPT-5.5 pourrait dégrader les performances. L'issue, qui a recueilli 197 points sur Hacker News le 4 juillet, décrit un phénomène où le modèle regroupe les tokens de raisonnement de manière à réduire la qualité des réponses. La discussion technique explore les mécanismes sous-jacents et les correctifs potentiels.
A bug report on Codex suggests that GPT-5.5's reasoning token clustering may degrade performance. The issue, which garnered 197 points on Hacker News on July 4, describes a phenomenon where the model clusters reasoning tokens in a way that reduces response quality. The technical discussion explores the underlying mechanisms and potential fixes.
Ein Fehlerbericht zu Codex deutet darauf hin, dass das Clustering der Reasoning-Tokens von GPT-5.5 die Leistung beeinträchtigen könnte. Der Issue, der am 4. Juli 197 Punkte auf Hacker News erhielt, beschreibt ein Phänomen, bei dem das Modell die Reasoning-Tokens so gruppiert, dass die Antwortqualität sinkt. Die technische Diskussion untersucht die zugrundeliegenden Mechanismen und mögliche Korrekturen.
Un rapporto di bug su Codex suggerisce che il clustering dei token di ragionamento di GPT-5.5 potrebbe degradare le performance. L'issue, che ha raccolto 197 punti su Hacker News il 4 luglio, descrive un fenomeno in cui il modello raggruppa i token di ragionamento in modo da ridurre la qualità delle risposte. La discussione tecnica esplora i meccanismi sottostanti e le potenziali correzioni.
On rapport de bug sora Codex el suggeriss che 'l clustering di token de resonament de GPT-5.5 el podaria sbassà i performance. L'issue, che l'ha cataa su 197 pont sora Hacker News el 4 de luj, la descriv on fenomen indove el model el ragruppa i token de resonament de manera de sbassà la qualità di rispost. La disquussion tecnica la esplora i mecanism sotta-stant e i correzion potenziai.

Débat

Debate

Debatte

Dibattito

Disquussion

« De meilleurs modèles, de moins bons outils » — un essai qui fait débat"Better Models, Worse Tools" — An Essay That Sparks Debate«Bessere Modelle, schlechtere Werkzeuge» – ein Essay, der für Diskussionen sorgt"Modelli migliori, strumenti peggiori" — un saggio che fa discutere"De model pussee bon, de utensil pussee gramm" — on sagg che 'l fa disquoter

Un essai d'Armin Ronacher (créateur de Flask) publié le 4 juillet 2026 soutient que de meilleurs modèles produisent paradoxalement de moins bons outils. L'argument central : à mesure que les modèles deviennent plus capables, les développeurs s'appuient moins sur une conception d'outils rigoureuse, créant des interfaces qui fonctionnent « assez bien » avec l'IA mais sont frustrantes pour les humains. L'article a suscité 131 points et 40 commentaires sur Hacker News.
An essay by Armin Ronacher (creator of Flask) published on July 4, 2026 argues that better models paradoxically produce worse tools. The central argument: as models become more capable, developers rely less on rigorous tool design, creating interfaces that work "well enough" with AI but are frustrating for humans. The article has sparked 131 points and 40 comments on Hacker News.
Ein Essay von Armin Ronacher (Schöpfer von Flask), veröffentlicht am 4. Juli 2026, argumentiert, dass bessere Modelle paradoxerweise schlechtere Werkzeuge hervorbringen. Das Kernargument: Je leistungsfähiger die Modelle werden, desto weniger verlassen sich Entwickler auf ein rigoroses Werkzeugdesign, wodurch Schnittstellen entstehen, die «gut genug» mit KI funktionieren, aber für Menschen frustrierend sind. Der Artikel erhielt 131 Punkte und 40 Kommentare auf Hacker News.
Un saggio di Armin Ronacher (creatore di Flask) pubblicato il 4 luglio 2026 sostiene che modelli migliori producono paradossalmente strumenti peggiori. L'argomento centrale: man mano che i modelli diventano più capaci, gli sviluppatori si affidano meno a una progettazione rigorosa degli strumenti, creando interfacce che funzionano "abbastanza bene" con l'IA ma sono frustranti per gli umani. L'articolo ha suscitato 131 punti e 40 commenti su Hacker News.
On sagg d'Armin Ronacher (creator de Flask) publicaa el 4 de luj 2026 el sosten che di model pussee bon producen paradoxalment di utensil pussee gramm. L'argoment central: a mesura che i model deventen pussee capaci, i desviluppador se fonden men sora ona progettazion d'utensil rigorosa, creand di interfacc che fonzionen "bastanza ben" con l'IA ma hinn frustrant per i omen. L'articol l'ha suscitaa 131 pont e 40 comentari sora Hacker News.

TechCrunch

TechCrunch

TechCrunch

TechCrunch

TechCrunch

Alibaba interdit Claude Code à ses employésAlibaba Bans Claude Code for EmployeesAlibaba verbietet Claude Code für seine MitarbeiterAlibaba vieta Claude Code ai propri dipendentiAlibaba el proibiss Claude Code ai sò impiegaa

Alibaba a classé Claude Code comme logiciel à haut risque et interdit son utilisation par ses employés, selon TechCrunch du 4 juillet 2026. Cette décision intervient dans un contexte de tensions géopolitiques croissantes entre la Chine et les États-Unis dans le domaine de l'IA. L'interdiction pourrait affecter les workflows de développement chez Alibaba, qui utilise traditionnellement des outils d'IA américains aux côtés de solutions locales comme Qwen.
Alibaba has classified Claude Code as high-risk software and banned its use by employees, according to TechCrunch on July 4, 2026. The decision comes amid growing geopolitical tensions between China and the United States in the AI domain. The ban could affect development workflows at Alibaba, which traditionally uses American AI tools alongside local solutions like Qwen.
Alibaba hat Claude Code als Hochrisiko-Software eingestuft und seinen Mitarbeitern die Nutzung verboten, so TechCrunch vom 4. Juli 2026. Diese Entscheidung erfolgt vor dem Hintergrund wachsender geopolitischer Spannungen zwischen China und den USA im Bereich der KI. Das Verbot könnte die Entwicklungs-Workflows bei Alibaba beeinträchtigen, das traditionell neben lokalen Lösungen wie Qwen auch amerikanische KI-Tools einsetzt.
Alibaba ha classificato Claude Code come software ad alto rischio e ne ha vietato l'uso ai propri dipendenti, secondo TechCrunch del 4 luglio 2026. La decisione arriva in un contesto di crescenti tensioni geopolitiche tra Cina e Stati Uniti nel campo dell'IA. Il divieto potrebbe influenzare i workflow di sviluppo in Alibaba, che tradizionalmente utilizza strumenti IA americani accanto a soluzioni locali come Qwen.
Alibaba l'ha classificaa Claude Code 'me software a volt ris'c e l'ha proibii el sò usagg di sò impiegaa, segond TechCrunch del 4 de luj 2026. 'Sta decision la riva in d'on contest de tension geopolitich semper pussee grand tra la Cina e i Stat Unii in del camp de l'IA. La proibizion la podaria influenzà i workflow de desvilupp in Alibaba, che la dòvra tradizionalment di utensil d'IA american insema a di soluzion locai 'me Qwen.

V. ÉditorialEditorialLeitartikelEditorialeEditorial

Édito

Editorial

Leitartikel

Editoriale

Editorial

Le calme avant la prochaine tempêteThe Calm Before the Next StormDie Ruhe vor dem nächsten SturmLa calma prima della prossima tempestaEl calm prima de la prossima tempesta

L'édition du 5 juillet 2026 du The Neuron Times paraît dans un paysage médiatique où les grands labos — OpenAI, Anthropic, Google DeepMind, Meta, Mistral — n'ont publié aucune annonce majeure dans la fenêtre des dernières 48 heures. Ce silence relatif n'est pas un vide éditorial : il révèle une industrie en phase de digestion après une séquence intense de lancements (Claude Sonnet 5, Seed2.0, GLM 5.2, Laguna XS 2.1). Les signaux les plus forts viennent aujourd'hui de la communauté technique — bugs, essais, controverses — qui, comme toujours, précède et éclaire les mouvements des grands acteurs.
The July 5, 2026 edition of The Neuron Times appears in a media landscape where the major labs — OpenAI, Anthropic, Google DeepMind, Meta, Mistral — have made no major announcements in the last 48 hours. This relative silence is not an editorial void: it reveals an industry in a digestion phase after an intense sequence of launches (Claude Sonnet 5, Seed2.0, GLM 5.2, Laguna XS 2.1). The strongest signals today come from the technical community — bugs, essays, controversies — which, as always, precedes and illuminates the moves of the major players.
Die Ausgabe vom 5. Juli 2026 des The Neuron Times erscheint in einer Medienlandschaft, in der die grossen Labore – OpenAI, Anthropic, Google DeepMind, Meta, Mistral – in den letzten 48 Stunden keine grossen Ankündigungen veröffentlicht haben. Diese relative Stille ist keine redaktionelle Leere: Sie offenbart eine Branche in der Verdauungsphase nach einer intensiven Sequenz von Markteinführungen (Claude Sonnet 5, Seed2.0, GLM 5.2, Laguna XS 2.1). Die stärksten Signale kommen heute von der technischen Gemeinschaft – Fehler, Essays, Kontroversen – die, wie immer, den Bewegungen der grossen Akteure vorausgeht und sie erhellt.
L'edizione del 5 luglio 2026 del The Neuron Times esce in un panorama mediatico in cui i grandi laboratori — OpenAI, Anthropic, Google DeepMind, Meta, Mistral — non hanno pubblicato alcun annuncio importante nella finestra delle ultime 48 ore. Questo silenzio relativo non è un vuoto editoriale: rivela un'industria in fase di digestione dopo una sequenza intensa di lanci (Claude Sonnet 5, Seed2.0, GLM 5.2, Laguna XS 2.1). I segnali più forti arrivano oggi dalla comunità tecnica — bug, saggi, controversie — che, come sempre, precede e illumina i movimenti dei grandi attori.
L'edizion del 5 de luj 2026 del The Neuron Times la sortiss in d'on paesagg mediatega indove i grand laboratori — OpenAI, Anthropic, Google DeepMind, Meta, Mistral — hann minga publicaa nissun anunzi major in la fenestra di ultim 48 or. 'Sto silenzi relativ l'è minga on vœd editorial: el revèla ona industria in faz de digestion dopo ona sequenza intensa de lanz (Claude Sonnet 5, Seed2.0, GLM 5.2, Laguna XS 2.1). I segnai pussee fort vegnen incoeu de la comunità tecnica — bughes, saggi, controversij — che, 'me semper, la va denanz e la ciariss i moviment di grand ator.