Connect with us

Entwicklung & Code

AWS Sovereign Cloud: KI-Ausbau und neue Agenten-Tools


Für die kommenden Monate kündigte Amazon auf dem AWS Summit einen deutlichen Ausbau des KI-Angebots in der European Sovereign Cloud an. Neu hinzu kommen sollen Amazon Nova 2 Lite sowie Open-Weight-Modelle von Mistral AI und OpenAI auf Amazon Bedrock. Damit weitet AWS die Modellauswahl in der als souverän beworbenen Cloud auf eine Bandbreite aus, die bisher nur in den klassischen Regionen verfügbar war.

Weiterlesen nach der Anzeige

Architektonisch interessant ist Mantle, die Inferencing-Engine der nächsten Generation für Amazon Bedrock. AWS verspricht Zero Operator Access: Das Betriebspersonal soll Eingaben und Antworten zu keinem Zeitpunkt einsehen können – relevant für Workloads mit Berufsgeheimnis oder strengen Datenschutzanforderungen. Zusätzlich soll Mantle Anfragen dynamisch Kapazitäten zuweisen, was die Verfügbarkeit für Steady-State-Workloads verbessert und schnelles Skalieren bei Lastspitzen erlaubt.

Die seit Januar 2026 allgemein verfügbare AWS European Sovereign Cloud ist ein vollständig in der EU betriebenes Cloud-Angebot mit Datenresidenz, ausschließlich EU-ansässigem Betriebspersonal und eigener Konzernstruktur unter deutschem Recht. AWS investiert dafür 7,8 Milliarden Euro bis 2040. Die erste Region steht in Brandenburg; Local Zones in Belgien, den Niederlanden und Portugal sind geplant. Die deutsche Trägergesellschaft leitet Kathrin Renz; das Gesamtangebot verantwortet Stéphane Israël, zuvor CEO von Arianespace.

Der AWS Marketplace umfasst nach AWS-Angaben über 165 für die European Sovereign Cloud optimierte Lösungen aus Infrastruktur, DevOps, Cloud Operations und KI-Agenten. Neu allgemein verfügbar ist SAP Cloud ERP Private. Neu auf der Infrastrukturseite sind Amazon EC2 G6-Instanzen mit NVIDIA-L4-GPUs für beschleunigtes Computing; zuvor sind bereits AWS Network Firewall, AWS Elastic Disaster Recovery und das AWS IAM Identity Center eingezogen.

Den zweiten Schwerpunkt setzte Jonathan Allen, Executive in Residence bei AWS, mit einer Bestandsaufnahme zur agentenbasierten Software-Entwicklung: Wer mit KI-Agenten Code zehnmal schneller produziert, verlagert den Aufwand auf Verifikation und Betrieb. AWS adressiert das mit drei Produktlinien.

Kiro ist eine agentenbasierte Entwicklungsumgebung, seit November 2025 allgemein verfügbar. Sie folgt einem spezifikationsgetriebenen Ansatz: User Stories, Designdokumente und Architekturskizzen entstehen als strukturierte Specs, gegen die der Agent dann implementiert. Mit der GA kamen Property-based Testing zur Spec-Konformität, Checkpointing, eine Kiro-CLI sowie zentral verwaltbare Team-Pläne über das AWS IAM Identity Center hinzu. Im Backend nutzt Kiro Anthropic Claude (zuletzt Opus 4.7).

Weiterlesen nach der Anzeige

Seit der GA hat AWS auf Kiro spürbar Tempo gemacht. Wenige Tage vor dem Summit, am 12. Mai, ergänzte AWS Kiro um eine optionale Requirements-Analysis-Engine, die vor jeder Code-Generierung prüft, ob eine Spec überhaupt widerspruchsfrei umsetzbar ist. Eine dreistufige neurosymbolische Pipeline – Refinement, Auto-Formalisierung, logische Analyse – überführt natürlichsprachliche Anforderungen über die EARS-Notation in formale SMT-lib-Logik; ein automatisierter Reasoner sucht darauf nach Widersprüchen, Lücken sowie zulässigen und unzulässigen Verhaltensszenarien. Mehrdeutigkeiten erkennt Kiro über die semantische Entropie mehrerer LLM-Übersetzungsproben: Divergieren die Formalisierungen logisch, präsentiert Kiro die Stelle als Zwei-Optionen-Frage („remove the record“ – Hard- oder Soft-Delete?). Den technischen Unterbau hat ein AWS-Applied-Science-Team in einem detaillierten zweiten Blogpost dokumentiert und mit aktueller Requirements-Engineering-Forschung untermauert.

Im selben Release beschleunigt Parallel Task Execution die Implementierungsphase: Kiro analysiert den Abhängigkeitsgraphen einer Spec, bündelt unabhängige Tasks zu parallel laufenden „Waves“ mit isoliertem Kontext und arbeitet fehlertolerant weiter, wenn ein einzelner Task scheitert – Verkürzung großer Specs laut AWS von 60 bis 90 Minuten auf etwa 15 Minuten. Ein neuer Quick-Plan-Modus scannt vorab Sprache, Frameworks und Projektstruktur des Workspace und stellt darauf zugeschnittene Klärungsfragen am Anfang, statt jeden Spec-Schritt einzeln freigeben zu lassen.

Ferner brachte die Kiro CLI 2.4.0 einen /rewind-Befehl zum Verzweigen aus früheren Prompts, eine modellindividuell einstellbare Reasoning-Tiefe und laut AWS eine um 88 Prozent schnellere Workspace-Initialisierung. Compliance-seitig ist Kiro seit Februar in den AWS-GovCloud-Regionen (US-East/West) verfügbar und seit Mai HIPAA-eligible – allerdings nur IDE und CLI, Kiro Web ist (noch) nicht enthalten. Parallel füllt sich der Marktplatz „Kiro Powers“: AWS Observability hängt Incident-Investigationen per Klick an Kiro an, ein Apache-Spark-Troubleshooting- und ein Upgrade-Agent für Amazon EMR sollen Spark-Versionssprünge von Monaten auf Wochen verkürzen.

AWS positioniert Amazon Quick als Weiterentwicklung von Amazon Q Business, der Assistent verknüpft strukturierte und unstrukturierte Unternehmensdaten. AWS Transform richtet sich an klassische Modernisierungsprojekte; AWS nennt über eine Milliarde transformierte Mainframe-Code-Zeilen als Referenzgröße. Neu ist vor allem, wo Transform künftig läuft: AWS hat die Modernisierungsagenten Mitte Mai aus der eigenen Web-Konsole herausgelöst und über einen AWS-Transform-MCP-Server, Agent-Plugins und eine Kiro Power direkt in agentische Entwicklungsumgebungen wie Kiro, Claude, Cursor und Codex gebracht. Eine Transformation lässt sich damit in der IDE starten, im Web-Frontend überwachen und wieder in der IDE fortsetzen – gegen denselben Job mit konsistentem Zustand und nun auch per IAM-Rollen-Authentifizierung statt separater Anmeldung.

Mit AWS Transform Custom lassen sich eigene Transformationsagenten für unternehmenseigenen Code bauen. Das dafür nötige Agent-Builder-Toolkit namens Kiro power ist seit Mai allgemein verfügbar und erlaubt Partnern und Kunden, eigene Agenten samt Tools, Wissensbasen und Workflows in Transform einzuklinken und zur Wiederverwendung zu registrieren. Konkreter wird auch die VMware-Migration: Transform modernisiert jetzt Netzwerke mit, gleicht geplante VPCs gegen bereits vorhandene ab, erkennt CIDR-Konflikte vor dem Provisioning und verarbeitet Netzkonfigurationen unabhängig vom Quellwerkzeug.

Ergänzend bewirbt AWS dedizierte DevOps- und Security-Agenten, die Incidents automatisch untersuchen, Ursachen diagnostizieren und Fixes vorschlagen – die finale Freigabe bleibt beim Menschen. Unterfüttert wird der Agenten-Stack durch weitere Modelloptionen: In Amazon SageMaker JumpStart sind seit Mai unter anderem GLM-5.1-FP8 von Z.ai (ausgelegt auf langlaufendes, agentisches Coding über viele Iterationen) sowie das kompakte Phi-4-mini-instruct von Microsoft (Reasoning unter Latenz- und Speicherrestriktionen, 24 Sprachen) verfügbar – per Klick oder SDK im eigenen AWS-Konto deploybar.

Präsentiert hatte Amazon die Neuerungen im Rahmen des AWS Summit. Mit 8800 Teilnehmern, 101 Sponsoren und 156 Sessions zog die Hausmesse dieses Jahr ein breites Fachpublikum in die Hamburg Messe.


(fo)



Source link

Entwicklung & Code

OpenSpec: Software von KI mit Spezifikationen entwickeln


Das Tool OpenSpec für Spec-driven Development führt in Version 1.6 einen Update-Befehl ein und unterstützt Projekte mit dem Coding-Agenten Oh My Pi und dem KI-Editor TRAE.

Weiterlesen nach der Anzeige

Mit dem neuen Befehl /opsx:update können Entwicklerinnen und Entwickler eine vorhandene, mit OpenSpec erzeugte Spezifikation vor der Implementierung ändern, ohne einen komplett neuen Anlauf nehmen zu müssen.

Außerdem erzeugt OpenSpec nun Kommandos und Skills für den CLI-Agenten Oh My Pi und für die KI-Entwicklungsumgebung TRAE von ByteDance. Für Prompts hat das OpenSpec-Team zudem die Genehmigungsregeln vereinfacht, die Entwickler jetzt pauschal im Vorfeld erteilen können. Auch die Validierung von Anforderungen an ein neues Projekt arbeitet laut Release Notes nun konsistenter.

Das Kommandozeilen-Tool OpenSpec organisiert KI-Projekte mit Spec-driven Development. Das heißt, Entwickler teilen dem Tool ihre Idee mit (/opsx:explore), wobei sich auch explizit bestehender Code einbinden lässt. Das Tool arbeitet also auch brown field.

Mit /opsx:propose erzeugt OpenSpec dann die Spezifikation in verschiedenen Ordnern und Markdown-Dateien. Die Spezifikation dient als Grundlage für die eigentliche Entwicklung und führt insbesondere KI-Agenten in die richtige Richtung. Eine Ablagemöglichkeit der Specs in einem Repo ist noch beta und soll als zentrale Single Source of Truth für ein Team dienen.

Weiterlesen nach der Anzeige

Sobald die Specs fertig sind und kein /opsx:update erforderlich war, startet man die Umsetzung mit /opsx:apply. Dabei arbeitet OpenSpec mit über 25 Tools zusammen, wie Antigravity, Claude Code, Codex, Cursor, Gemini CLI, GitHub Copilot, Junie, Kiro, Mistral Vibe, Qwen Code und neu eben Oh My Pi sowie TRAE. Als Modelle für OpenSpec selbst empfiehlt der Herausgeber Codex 5.5 oder Opus 4.7.

OpenSpec läuft auf Node ab Version 20.19 und ist Open Source unter MIT-Lizenz. KI-Contributions sind willkommen, solange sie geprüft und mit Modellbezeichnung im Pull Request erfolgen.


(who)



Source link

Weiterlesen

Entwicklung & Code

Wiederverwendbare Rakete: China fängt erstmals Stufe auf


Erstmals holte das Land die erste Stufe einer Trägerrakete kontrolliert zurück. Die Stufe der neuen Rakete „Langer Marsch 10B“ wurde auf einer Plattform auf See aufgefangen, wie die staatliche Nachrichtenagentur Xinhua berichtete.

Weiterlesen nach der Anzeige

Es war der erste Flug der neuen Rakete. Xinhua sprach von einem „bedeutenden Durchbruch“. Ein von der Agentur veröffentlichtes Video zeigt, wie die Raketenstufe mit laufendem Triebwerk auf die Plattform zufliegt und nahezu senkrecht in ein hohes, rechteckiges Gerüst sinkt.

Nach Angaben der Zeitung „China Daily“ wartete das Rückholschiff „Linghangzhe“ („Pfadfinder“) auf die Raketenstufe. Das Schiff verfolgte sie und passte seine Position laufend an. Spezielle Metallhaken klappten schließlich aus und griffen in die gespannten Seile der Fangvorrichtung. Die Rakete war vom Weltraumbahnhof Hainan gestartet und brachte einen Satelliten in die vorgesehene Umlaufbahn.

China sei laut der staatlichen Zeitung damit nach den USA das zweite Land, das über eine zuverlässige Technik für wiederverwendbare Raketen verfüge. Zugleich sei weltweit erstmals die erste Stufe einer mit einer solchen Seil-Fangvorrichtung geborgen worden.

Empfohlener redaktioneller Inhalt

Mit Ihrer Zustimmung wird hier ein externes YouTube-Video (Google Ireland Limited) geladen.

Vor allem das US-Raumfahrtunternehmen SpaceX ist bei wiederverwendbaren Raketen deutlich weiter. China treibt die Entwicklung seit Jahren voran. Neben dem staatlichen Raumfahrtprogramm arbeiten auch mehrere private chinesische Unternehmen an der Technik, die es ermöglichen soll, Satelliten und andere Lasten günstiger ins All zu bringen.

Weiterlesen nach der Anzeige

Lesen Sie auch


(afl)



Source link

Weiterlesen

Entwicklung & Code

TypeScript 7.0: Performance-Sprung durch Go-Unterbau


Microsoft hat die finale Version von TypeScript 7.0 veröffentlicht. Im Gegensatz zu früheren TypeScript-Versionen basiert der Compiler nicht mehr auf JavaScript/Node.js, sondern ist nahezu eins zu eins in Go nachimplementiert und parallelisiert viele Arbeitsabläufe, statt sie wie bisher sequenziell abzuarbeiten. Beides führt laut Microsoft dazu, dass die Toolchain je nach Anwendungsfall zehnmal schneller kompiliert als bei TypeScript 6.0.

Weiterlesen nach der Anzeige

Gegenüber der im April veröffentlichten Beta-Version hat sich nichts Grundlegendes mehr geändert. Das finale Release konzentriert sich auf den produktionsreifen Abschluss, wie Microsoft im Blogpost zu TypeScript 7.0 schreibt: Umstellung auf das reguläre typescript-Paket, verbesserter --watch-Modus, vollständigerer Editor-Support, mehr Stabilität und klarere Migrationspfade für das TypeScript-Ökosystem.

In seinem Blog nennt Microsoft Performance-Beispiele, die sich jeweils auf einen hardwareseitig nicht näher spezifizierten Computer beziehen.

Den Quellcode von VS-Code baut TypeScript 7.0 auf dem Testsystem um den Faktor 11,9 schneller als unter TypeScript 6.0, was die Kompilierungszeit von mehr als zwei Minuten auf knapp 11 Sekunden drückt. Bei Sentry, Bluesky und Playwright ergeben sich Beschleunigungsfaktoren von jeweils knapp unter 9 Sekunden, tldraw-Beispielprojekte kommen auf 7,7-faches Tempo.



VSCode-Beispielprojekte baut TypeScript 7.0 11,9-mal schneller als TypeScript 6.0.

(Bild: Microsoft)

Das Öffnen einer fehlerbehafteten Datei in VS Code auf dem gleichen Testsystem läuft ebenfalls schneller ab. Vergehen bei TypeScript 6.0 noch 17,5 Sekunden vom Öffnen einer fehlerhaften Datei bis zur Anzeige der Fehlermeldung, dauert das Gleiche bei TypeScript 7.0 unter 1,3 Sekunden. Neben dem Geschwindigkeitszuwachs ergibt sich laut Microsoft projektübergreifend auch ein geringerer Speicherbedarf. Während er bei Sentry um sechs Prozent sinkt, reduziert er sich bei VS Code um 18 Prozent und bei Bluesky um etwas mehr als ein Viertel.

Weiterlesen nach der Anzeige

TypeScript 7.0 lässt sich via npm mit npm install -D typescript parallel zu TypeScript 6.0 installieren und ist mit dessen Type-Checking- und Kommandozeilenverhalten kompatibel. Der bekannte Befehl tsc startet dann den neuen TypeScript-7.0-Compiler. Zusätzlich gibt es das Kompatibilitätspaket @typescript/typescript6, das zusätzlich tsc6 sowie die bisherige TypeScript-6.0-API bereitstellt, damit bestehende Tools vorerst unverändert weiterlaufen können. Eine neue API soll erst mit TypeScript 7.1 kommen.

Lesen Sie auch


(mro)



Source link

Weiterlesen

Beliebt