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 "Mike Sperber"
62 min
Getting software right with properties, generated tests, and proofs
Evolve your hack into robust software!
Resilience & Sustainability
Main
62 min
2019-12-29
1363
Mike Sperber
36C3: Resource Exhaustion
64 min
All Programming Language Suck? Just Build Your Own! – Language-Oriented Programming with…
ChaosZone
64 min
2020-12-27
2891
Mike Sperber
Remote Chaos Experience
31 min
Growing Up Software Development
From Hacker Culture to the Software of the Future
31 min
2017-12-28
1929
Mike Sperber
34C3: TUWAT
59 min
How to teach programming to your loved ones
Enabling students over example-driven teaching
59 min
2018-12-28
8215
Mike Sperber
35C3: Refreshing Memories
60 min
A farewell to soul-crushing code
Towards correct software that enriches our lives
60 min
2018-12-28
2125
Mike Sperber
and
Nicole Rauch
35C3: Refreshing Memories
49 min
Math for hackers
Back to Basics
49 min
2021-12-29
7303
Michael Sperber
rC3 NOWHERE