Search for person "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
• 1372
• Mike Sperber

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

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

How to teach programming to your loved ones

Enabling students over example-driven teaching

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

Growing Up Software Development

From Hacker Culture to the Software of the Future

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

A farewell to soul-crushing code

Towards correct software that enriches our lives

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

Event Sourcing without Responsibility

• Talk BOB
• 29 min
• 2022-03-11
• 57
• Michael Sperber

Math for hackers

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

Vertrauen ist gut, Kontrolle ist besser.

Warum vertrauen wir eigentlich Zertifizierungsstellen?

• 56 min
• 2017-05-26
• 342
• Andreas Sperber

Menschenrechte im Digitalen Zeitalter

• 86 min
• 2016-07-21
• 2151
• Mike Karst

Matplotlib

• 87 min
• 2017-08-29
• 96
• Mike Müller

Managing OpenSUSE with SaltStack

Controlling Chaos with Event-Driven Automation

• 33 min
• 2018-05-25
• 48
• Mike Place

Open Source Business Models

• 32 min
• 2019-05-18
• 70
• Mike Schwartz

Using printed circuit boards to make snowflakes.

• 29 min
• 2016-08-06
• 128
• MIke Harrison

How To Become A Space Hacker

(let's hack OUTER space, the final frontier)

• 20 min
• 2015-08-14
• 2496
• Mike Caprio

#switch2qgis: Komplettablösung proprietärer GI-Systeme mit QGIS - Langzeiterfahrungen

• Praxisberichte
• 28 min
• 2024-03-22
• 305
• Mike Elstermann

Privacy & Stylometry

Practical Attacks Against Authorship Recognition Techniques

• 58 min
• 2009-12-28
• 74
• Mike Brennan

LibreOffice: What's new? Where are we going?

• Home-Office365 (-days later) - Lessons learned in the 1st year working from home
• 54 min
• 2021-08-22
• 94
• Mike Saunders

LibreOffice 7.1: What's new, and how can you help with 7.2?

• 29 min
• 2021-04-10
• 83
• Mike Saunders

Energy transition into the future, but what about ICT?

• Milliways
• 48 min
• 2023-08-19
• 135
• Mike Vogt

Notfunk

• 72 min
• 2016-05-09
• 4481
• Mike DJ9OZ

Warum Audio?

Wie SPIEGEL ONLINE eine Stimme bekam

• 29 min
• 2019-03-23
• 93
• Yasemin Yüksel and Sandra Sperber

Sifteo Cubes: Resurrecting a legend

• 26 min
• 2022-06-04
• 40
• Dr Mike Reddy

Falling Faster Straight Down, or How Taking 3D Printing to New Heights

• 18 min
• 2018-09-02
• 37
• Mike Curtis-Rouse

Evaluierung von Hausumringen: ALKIS, OSM, Microsoft und unsere KI im Vergleich

• Daten, Datenbanken und Datenprozessierung
• 30 min
• 2024-03-21
• 259
• Lukas Sanner and Mike Engel

How Many Bugs Can a Time Server Have?

• 14 min
• 2014-08-29
• 19
• Mike Emery & Tim Brown