| Episode |
Chaos Communication Congress How to teach programming to your loved ones |
2018 |
| Episode |
Chaos Communication Congress A farewell to soul-crushing code |
2018 |
| Episode |
Chaos Communication Congress Getting software right with properties, generated tests, and proofs |
2019 |