Search for "Hans de Raad" returned 1042 results

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development
61 min

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware…

Infrastructure Review
96 min

Infrastructure Review

The Tor Network
62 min

The Tor Network

We're living in interesting times

Traue keinem Scan, den du nicht selbst gefälscht hast
63 min

Traue keinem Scan, den du nicht selbst gefälscht hast

"Bei Kopierern kommt das raus, was man reinsteckt." – Wer…

OSM Sidewalkreator - A QGIS plugin for automated sidewalk drawing for OSM
28 min

OSM Sidewalkreator - A QGIS plugin for automated sidewalk drawing for OSM

Muntere Abendunterhaltung made in R3S
106 min

Muntere Abendunterhaltung made in R3S

Die neue Sternkammer Lübeck - Wiederentdeckung und digitale Erweiterung des ältesten Schulplanetariums der Welt
37 min

Die neue Sternkammer Lübeck - Wiederentdeckung und digitale Erweiterung des ältesten…

Was hat die PSD2 je für uns getan?
60 min

Was hat die PSD2 je für uns getan?

Pleiten, Pech und Pannen in der Zahlungsdiensteregulierung

Firebird Open Source Database Quick Start
58 min

Firebird Open Source Database Quick Start

Why Firebird is a powerful alternative database system

An Automated Approach to Identifying Corporate Editing Activity in OpenStreetMap
33 min

An Automated Approach to Identifying Corporate Editing Activity in OpenStreetMap

A proposal for a QGIS Plugin for Spatio-temporal analysis of OSM data quality: the case study for the city of Salvador, Brazil
36 min

A proposal for a QGIS Plugin for Spatio-temporal analysis of OSM data quality: the case…

Chaos Communication Slam
101 min

Chaos Communication Slam

Technische Liebesgedichte & Horrorgeschichten im…

Analog rotary phones get a second life with raspberry pi
42 min

Analog rotary phones get a second life with raspberry pi

„Du kannst eine Vorlesung nicht in LaTeX mitschreiben“, sagten sie...
40 min

„Du kannst eine Vorlesung nicht in LaTeX mitschreiben“, sagten sie...

Software Defined Emissions
60 min

Software Defined Emissions

A hacker’s review of Dieselgate

Hardware Attacks, Advanced ARM Exploitation, and Android Hacking
57 min

Hardware Attacks, Advanced ARM Exploitation, and Android Hacking

Involvement of OpenStreetMap in European H2020 Projects
38 min

Involvement of OpenStreetMap in European H2020 Projects

What's It Doing Now?
32 min

What's It Doing Now?

The Role of Automation Dependency in Aviation Accidents

The Coronavirus Structural Task Force
75 min

The Coronavirus Structural Task Force

Vom Kinderkanzler Kurz zum Volkskanzler Kickl - Politik in Österreich
74 min

Vom Kinderkanzler Kurz zum Volkskanzler Kickl - Politik in Österreich

Mit Podcasts die Welt verbessern
47 min

Mit Podcasts die Welt verbessern

Die Sondersendung Live-Podcast

Methodisch inkorrekt!
115 min

Methodisch inkorrekt!

Die Wissenschaftsgala vom 34C3

Lightning talks V
62 min

Lightning talks V

#CCCamp23 Review
54 min

#CCCamp23 Review

Leihroller hacken. Ein Kasperltheater.
45 min

Leihroller hacken. Ein Kasperltheater.