Search for person "Mike Peel"
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

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

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

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

20 min