Search for "Mike Sperber"

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

All Programming Language Suck? Just Build Your Own! – Language-Oriented Programming with…

• ChaosZone
• 64 min
• 2020-12-27
• 2891
• Mike Sperber

How to teach programming to your loved ones

Enabling students over example-driven teaching

• 59 min
• 2018-12-28
• 8217
• Mike Sperber

Growing Up Software Development

From Hacker Culture to the Software of the Future

• 31 min
• 2017-12-28
• 1932
• Mike Sperber

A farewell to soul-crushing code

Towards correct software that enriches our lives

• 60 min
• 2018-12-28
• 2125
• Mike Sperber and Nicole Rauch

Math for hackers

• Back to Basics
• 49 min
• 2021-12-29
• 7303
• Michael Sperber