Connect with us
Ist die symbolische KI aktueller denn je? close notice This article is also available in English. It was translated with technical assistance and editorially reviewed before...
Won’t fix! – Teil 2: Warum selbst „Hello World“ einen Bug enthält Wie lange braucht man, um ein fehlerfreies Programm zu schreiben? Wenn das Programm nur...
Won’t fix! – Teil 2: Warum sich Bugs nicht systematisch eliminieren lassen Wie lange braucht man, um ein fehlerfreies Programm zu schreiben? Wenn das Programm nur...
Large Language Models testen mit EVALs – Qualität messbar machen Welche Lösungen gibt es, um LLMs einem Regressionstest zu unterziehen? Welche Metriken kommen zum Einsatz? Beispiel:...
In dieser Episode spricht Richard Seidl mit Johannes Stiller von Stiftung Warentest über die Testmethoden und Entscheidungsprozesse bei Produktprüfungen. Es geht darum, wie die Stiftung ihre...
In dieser Folge spricht Richard Seidl mit Michael Sperber und Markus Schlegel über formale Methoden der Softwareentwicklung. Sie erklären, warum Mathematik und Spezifikationen ein solideres Fundament...