Search for "Udo Vetter" returned 1133 results
62 min
Getting software right with properties, generated tests, and proofs
Evolve your hack into robust software!
61 min
Avoiding kernel panic: Europe’s biggest fails in digital policy-making
How the institutions fuck up, and how we fuck it up as well
40 min
Handsfree assistive technology
My technology portfolio to enable work, life, smart home…
61 min
Safe and Secure Drivers in High-Level Languages
How to write PCIe drivers in Rust, go, C#, Swift, Haskell,…
61 min
DevOps but for artworks in museums
A look into pipelines ending in museums and not in the cloud
31 min
Buffered Daemons
Sound art performance exploring the concept of translation…
62 min
The Ghost in the Machine
An Artificial Intelligence Perspective on the Soul
54 min
How hackers grind an MMORPG: by taking it apart!
An introduction to reverse engineering network protocols
60 min
Breaking Baryons
On the Awesomeness of Particle Accelerators and Colliders
38 min
Place & route on silicon
A gentle introduction to place & route algorithms for…
60 min