// HEISE ONLINE — INTELLIGENZA ARTIFICIALE
heise+ | Typed Domain Grounding als Designprinzip für LLM-taugliche DSLs
Typed Domain Grounding (TDG) setzt auf eingebettete, typsichere DSLs in etablierten Hostsprachen, um LLM-Halluzinationen durch Compiler-Prüfungen zu minimieren.
Der Artikel stellt Typed Domain Grounding (TDG) als übertragbares Designprinzip vor, grenzt es von RAG, TypeChat und Grammar Prompting ab und erprobt es an einem Beispiel jenseits der UML-Modellierung.
Wie bringt man einem Sprachmodell eine Sprache bei, die es nie gesehen hat? Die üblichen Antworten – die Grammatik in den Prompt kopieren, Beispiele mitliefern, notfalls ein Fine-Tuning aufsetzen – behandeln dasselbe Symptom; keine beseitigt die Ursache.
Die Ursache liegt in der Art, wie Sprachmodelle Syntax überhaupt „können“. Ein LLM beherrscht Python, Java, Kotlin oder SQL nicht, weil es deren Spezifikationen gelesen hätte, sondern weil diese Sprachen millionenfach in den Trainingsdaten vorkommen. Syntaktische Kompetenz ist eine Funktion der Trainingsdaten-Frequenz. Eine neu erfundene externe DSL startet bei null.
Ein Prompt macht noch keine gute Software. In unserer Sandbox hilft ein LLM bei der alltäglichen Softwareentwicklung, bearbeitet Tickets und agiert planvoll.
Uhren auf Basis von Atomkernen könnten die Zeit um Größenordnungen präziser messen als Atomuhren. Nun tickt die erste Atomkernuhr einen ganzen Tag ohne Hilfe.
Warum wirkt dasselbe Motiv einmal edel und einmal billig? Ein Praxisleitfaden, der erklärt, wie Licht unser Sehen steuert.
Klein und sparsam reicht schon lang nicht mehr: Sechs Mini-PCs mit SoCs von AMD, Apple und Intel zeigen, wie gut sie mit modernen KI-Aufgaben zurechtkommen.
Wir bauen eine Werkbank mit Handsäge, Kantenfräse und Multitool.
Wer auf der Suche nach einem Familienauto auch junge Gebrauchte berücksichtigt, erweitert die Auswahl beträchtlich. Ein Vergleich von Modellen bis 50.000 Euro.