Explore projects

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

Latex template for submissions to REALIS, the journal of the SFB 1412.

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.

ChatGPT, ein künstlicher Gesprächspartner, ist zur Zeit in aller Munde. Der Hype ist groß - und nahezu für jedes andere Medium gibt es mittlerweile ebenfalls einen digitalen Assistenten der auf Zuruf mehr oder minder einzigartige Kreationen erzeugt. Da liegt der Gedanke nicht fern, diese Werkzeuge zur eigenen Arbeitsersparnis einzusetzen. In diesem Vortrag wollen wir uns damit auseinander setzen, was sich hinter dem Hype verbirgt, was ChatGPT und ähnliche Tools tatsächlich können (oder eben auch nicht), und aufzeigen, dass diese, richtig eingesetzt, auch an der Universität eine gute Idee sein können.

Mirror of https://gitlab.com/texedutools/exercisesheets so that HU members can commit without creating a gitlab account.

Arbeit am GK Linguistik Arbeitsmaterial (Reader) und anderen relevanten Materialien für Studierende

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.

Yet Another Rust Operating System

Numerical Integration of Two-Loop Amplitudes