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 "raichoo"
30 min
May contain DTraces of FreeBSD
30 min
2017-12-28
1460
raichoo
34C3: TUWAT
56 min
Programming with dependent types in Idris
56 min
2014-12-28
2708
raichoo
31C3: a new dawn
