Search for person "Mike Sperber"
next
62 min
Getting software right with properties, generated tests, and proofs
Evolve your hack into robust software!

59 min
How to teach programming to your loved ones
Enabling students over example-driven teaching

60 min
A farewell to soul-crushing code
Towards correct software that enriches our lives

31 min
Growing Up Software Development
From Hacker Culture to the Software of the Future

29 min
Warum Audio?
Wie SPIEGEL ONLINE eine Stimme bekam

33 min
Managing OpenSUSE with SaltStack
Controlling Chaos with Event-Driven Automation

43 min
Van Gogh TV - Piazza virtuale
Hallo hallo ist da jemand?

56 min