Lese-Ansicht

Lügendetektor für LLMs

Forschern von Technion, Google Research und Apple ist es gelungen, in der internen Aktivierung von Neuronen innerhalb eines LLMs Anzeichen dafür zu entdecken, ob das Modell halluziniert oder die…

  •  

Fedora 41 ist da!

Fedora 41 erschien pünktlich und die meisten Änderungen des Changesets wurden umgesetzt. DNF5 hat es nach einigen Verschiebungen ins Release geschafft, X11 und Python2 gehören der Vergangenheit an.

Quelle

  •  

Fedora 41 erschienen

Das Fedora Projekt gibt die allgemein Verfügbarkeit von Fedora 41 bekannt. Mit an Bord ist eine Vielzahl an neuen Funktionen, Software-Upgrades und Verbesserungen. Hier ist ein Überblick über die wichtigsten Neuerungen und Verbesserungen. GNOME 47 und Wayland-Integration Fedora bleibt seiner Linie treu und bietet GNOME 47 ohne zusätzliche Anpassungen, was für ein “reines” bzw. Vanilla […]

Der Beitrag Fedora 41 erschienen erschien zuerst auf fosstopia.

  •  

Mozilla brezelt Solo auf

Mit Version 1.3 des browserbasierten Website-Builders Solo hat das dafür zuständige Mozilla Innovation Studios einige neue Funktionen hinzugefügt.

  •  

Ubuntu Summit in Den Haag gestartet

Mark Shuttleworth, Ubuntu-Gründer und CEO von Canonical hat im World Forum in Den Haag den Ubuntu Summit 2024 eröffnet. Beim Summit wird auch das 20jährige Jubiläum von Ubuntu gefeiert.

  •  

📚 Coding mit KI

Ein halbes Jahr lang haben wir zu dritt intensiv getestet:

  • Was ist möglich?
  • Was ist sinnvoll?
  • Welche Anwendungsfälle gibt es, die über das reine Erstellen von Code hinausgehen?
  • Wo liegen die Grenzen?
  • Was sind die Risken?
  • Ist der KI-Einsatz ethisch vertretbar?

Wir haben mit ChatGPT und Claude gearbeitet und deren Ergebnisse mit lokalen Sprachmodellen (via Ollama, GPT4All, Continue, Tabby) verglichen. Wir haben Llama, Mistral/Mixtral, CodeLlama, Starcoder, Gemma und andere »freie« Sprachmodelle ausprobiert. Wir haben nicht nur Pair Programming getestet, sondern haben die KI-Werkzeuge auch zum Debugging, Refactoring, Erstellen von Unit-Tests, Design von Datenbanken, Scripting sowie zur Administration eingesetzt. Dabei haben wir mit verschiedenen Prompt-Formulierungen experimentiert und geben dazu eine Menge Tipps.

Der nächste Schritt beim Coding mit KI sind semi-selbstständige Level-3-Tools. Also haben wir uns OpenHands und Aider angesehen und waren von letzterem ziemlich angetan. Wir haben die Grenzen aktueller Sprachmodelle mit Retrieval Augmented Generation (RAG) und Text-to-SQL verschoben. Wir haben Scripts entwickelt, die mit KI-APIs kommunizieren und automatisiert dutzende oder auch hunderte von Code-Dateien verarbeiten.

Kurz und gut: Wir haben uns das Thema »Coding mit KI« so gesamtheitlich wie möglich angesehen und teilen mit Ihnen unsere Erfahrungen. Die Quintessenz ist vielleicht ein wenig banal: Es kommt darauf an. In vielen Fällen haben wir sehr gute Ergebnisse erzielt. Oft sind wir aber auch an die Grenzen gestoßen — umso eher, je spezieller die Probleme, je exotischer die Programmiersprachen und je neuer die genutzten Sprach-Features/Frameworks/Bibliotheken sind.

Was bleibt, ist die Überzeugung, dass an KI-Tools in der Software-Entwicklung kein Weg vorbei geht. Wer KI-Tools richtig einsetzt, spart Zeit, kürzer lässt es sich nicht zusammenfassen. Aber wer sie falsch einsetzt, agiert unverantwortlich und produziert fehlerhaften und unwartbaren Code!

Mehr Details zum (Vorwort, Leseprobe) finden Sie hier.

  •  
❌