Search for person "Mike Schwartz" returned 44 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!

Van Gogh TV - Piazza virtuale
43 min

Van Gogh TV - Piazza virtuale

Hallo hallo ist da jemand?

How to teach programming to your loved ones
59 min

How to teach programming to your loved ones

Enabling students over example-driven teaching

Managing OpenSUSE with SaltStack
33 min

Managing OpenSUSE with SaltStack

Controlling Chaos with Event-Driven Automation

The best of both worlds: Using open and closed source s/w to manage Transportation Networks and associated LRS
20 min

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

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

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

A farewell to soul-crushing code
60 min

A farewell to soul-crushing code

Towards correct software that enriches our lives

GLAM panel
61 min

GLAM panel

Growing Up Software Development
31 min

Growing Up Software Development

From Hacker Culture to the Software of the Future

Infoboxes panel
58 min

Infoboxes panel

Matplotlib
87 min

Matplotlib

Using printed circuit boards to make snowflakes.
29 min

Using printed circuit boards to make snowflakes.

Menschenrechte im Digitalen Zeitalter
86 min

Menschenrechte im Digitalen Zeitalter

Notfunk
72 min

Notfunk

How To Become A Space Hacker
20 min

How To Become A Space Hacker

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

State of the Onion
66 min

State of the Onion

How Many Bugs Can a Time Server Have?
14 min

How Many Bugs Can a Time Server Have?

Reproducible Builds
63 min

Reproducible Builds

Moving Beyond Single Points of Failure for Software…

Privacy & Stylometry
58 min

Privacy & Stylometry

Practical Attacks Against Authorship Recognition Techniques