Programm für das fünfundzwanzigste Treffen am 20. April 2017

Manuel hielt einen Vortrag mit dem Titel Kenn dein Limit. Es ging darum, Grenzwerte von reellen Funktionen zu berechnen – und zwar (halb-)automatisch und verifiziert in Isabelle.

Matthias hielt einen “Kurzvortrag” zu 4d-Grafik mit Haskell, OpenGL und dem linear-Paket. Mit “4d-Grafik” ist dabei nicht “besonders gute 3d-Grafik” oder “3d-Grafik + Gerüche + dein Sitz bewegt sich” gemeint, sondern: (bewegte) Bilder von vierdimensionalen geometrischen Objekten.

Code: https://github.com/MatthiasHu/4d-labyrinth

4d-Vortrag auf dem 33c3 (englisch): https://youtu.be/ct0_g1amEpw