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 "Alastair Reid"
28 min
How can you trust formally verified software?
28 min
2017-12-27
1768
Alastair Reid
34C3: TUWAT
43 min
What makes processors fail - and how to prevent it
43 min
2018-09-02
137
Alastair Reid
Electromagnetic Field 2018