Search for "Mike Sperber" returned 7 results

Getting software right with properties, generated tests, and proofs
62 min

Getting software right with properties, generated tests, and proofs

Evolve your hack into robust software!

All Programming Language Suck? Just Build Your Own! – Language-Oriented Programming with Racket
64 min

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

Things We Never Told Anyone About Functional Programming
42 min

Things We Never Told Anyone About Functional Programming

How to teach programming to your loved ones
59 min

How to teach programming to your loved ones

Enabling students over example-driven teaching

Growing Up Software Development
31 min

Growing Up Software Development

From Hacker Culture to the Software of the Future

A farewell to soul-crushing code
60 min

A farewell to soul-crushing code

Towards correct software that enriches our lives

Math for hackers
49 min

Math for hackers