Search for "Mike Sperber" returned 7 results

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

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

60 min