News
RSS, last 100
Podcast feed of the last two years
SD quality
Podcast audio feed of the last year
Podcast archive feed, everything older than two years
SD quality
News
RSS, last 100
Podcast feed of the last two years
SD quality
Podcast audio feed of the last year
Podcast archive feed, everything older than two years
SD quality
Search for person "Kiiya"
60 min
Intro to Lean 4: A language at the intersection of programming and mathematics
Science
60 min
2024-05-31
527
Kiiya
Gulaschprogrammiernacht 22