• PeerTube

  Eine PeerTube Instanz ist ein (werbe)freies, selbstkontrolliertes Videoportal, z.B. für Bildungsresourcen. Ich habe mir sowas installiert und schaue mal, wie das läuft.

  9 min read   ·   December 06, 2025

  2025   ·   video,   wisskomm,   OER,   peertube   ·   deutsch

• Avoid AI Tutors!

  Can an AI Tutor help you understand math?

  10 min read   ·   September 09, 2025

  2025   ·   math,   llm,   ai   ·   english

• Mathematics in the Context Window

  Starting from successes at math competitions, large language models are slowly making their way into math research. We share some thoughts about this process.

  15 min read   ·   August 15, 2025

  2025   ·   math,   llm,   ai   ·   english

• Typst

  Slides beyond LaTeX beamer

  9 min read   ·   June 03, 2025

  2025   ·   typesetting,   talks   ·   english

• Mündliche Prüfungen

  FAQ zu mündlichen Prüfungen für Informatikstudierende.

  4 min read   ·   May 16, 2025

  2025   ·   lehre   uni   ·   deutsch