Explore projects

LaTeX macros for neatly and logically typesetting maths

Presentation as part of a workshop within the scope of the 28th International Conference on Conceptual Structures 2023 in Berlin, on how we could use the hype as well as the problems to motivate the study of tools that provide at least some more epistemic guarantees.

Lineare Algebra und analytische Geometrie II — nach einer Vorlesung von Prof. Dr. Andrea Walther

Ganz für sich allein gemeinsam Probleme lösen: Programmieren (lernen) mit KI Unterstützung

Die Zeiten, in denen einem beim Hausarbeit schreiben eine übereifrige Büroklammer beharrlich Hilfe zur Serienbrieffunktion anbot, sind vorbei. Moderne Systeme geben vor, für Reste im Kühlschrank leckere Rezepte fertigen zu können, um dann "Ratatouille an einer Creme von Chlorreiniger" zu liefern. Sowas soll helfen meine Computerspiel-Idee umzusetzen?

Im Vortrag wollen wir KI-Helfer im Hinblick auf den Einstieg ins Programmieren untersuchen, mögliche Probleme besprechen, und aufzeigen, wie die Zusammenarbeit mit den zeitweise halluzinierenden digitalen Kollegen trotzdem funktionieren kann.