Search for person "Mike Caprio"

Getting software right with properties, generated tests, and proofs

Evolve your hack into robust software!

• Resilience & Sustainability Main
• 62 min
• 2019-12-29
• 1188
• Mike Sperber

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

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

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

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

How To Become A Space Hacker

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

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

Open Source Business Models

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

How to teach programming to your loved ones

Enabling students over example-driven teaching

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

Managing OpenSUSE with SaltStack

Controlling Chaos with Event-Driven Automation

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

Growing Up Software Development

From Hacker Culture to the Software of the Future

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

Matplotlib

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

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

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

A farewell to soul-crushing code

Towards correct software that enriches our lives

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

Menschenrechte im Digitalen Zeitalter

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

Using printed circuit boards to make snowflakes.

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

The best of both worlds: Using open and closed source s/w to manage Transportation…

• 20 min
• 2019-08-29
• 57
• Gopi Kumarappan, Mike Huitson and Pano Voudouris

Notfunk

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

Infoboxes panel

• 58 min
• 2019-10-26
• 45
• Andrew Lih, Amador Alvarez, Mike Peel, Tpt and Harmonia Amanda

GLAM panel

• 61 min
• 2019-10-25
• 40
• Susanna Ånäs, Mike Dickison, Joachim Neubert and Beat Estermann

Reproducible Builds

Moving Beyond Single Points of Failure for Software…

• 63 min
• 2014-12-27
• 2146
• Mike Perry, Seth Schoen and Hans Steiner

State of the Onion

• 66 min
• 2015-12-29
• 125941
• Roger, Jacob Appelbaum, Mike Perry, Shari Steele and Alison Macrina

Privacy & Stylometry

Practical Attacks Against Authorship Recognition Techniques

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