Search for "Jan Ole" returned 2509 results

How can you trust formally verified software?
28 min

How can you trust formally verified software?

Guardians of the Onion: Ensuring the Health and Resilience of the Tor Network
60 min

Guardians of the Onion: Ensuring the Health and Resilience of the Tor Network

Wikidata for digital preservation: A Wikidata Portal
45 min

Wikidata for digital preservation: A Wikidata Portal

MySQL Sandbox 3
50 min

MySQL Sandbox 3

Making your life with databases easier than ever

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

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

Assessing the Completeness of Urban Green Spaces in OpenStreetMap
26 min

Assessing the Completeness of Urban Green Spaces in OpenStreetMap

How I built my diesel powered motorcycle.
24 min

How I built my diesel powered motorcycle.

A Crash Course In Railway Safety
28 min

A Crash Course In Railway Safety

Are we digital typesetting yet?
48 min

Are we digital typesetting yet?

EveryCook
54 min

EveryCook

Cooking gets digital

an introduction into digital model railroads
16 min

an introduction into digital model railroads

openSUSE in Numbers 2016
30 min

openSUSE in Numbers 2016

Introduction to the Hadoop ecosystem
48 min

Introduction to the Hadoop ecosystem

A Brief, Incomplete, Slightly Biased, and Mostly Fact-Checked History of the UK Computer Industry
27 min

A Brief, Incomplete, Slightly Biased, and Mostly Fact-Checked History of the UK Computer…

Security alerting made easy using Python
24 min

Security alerting made easy using Python

Sending real-time notifications to Discord and other…

Accessible input for readers, coders, and hackers
36 min

Accessible input for readers, coders, and hackers

From eyelid blinks to speech recognition

AlphaFold – how machine learning changed structural biology forever (or not?)
61 min

AlphaFold – how machine learning changed structural biology forever (or not?)

Getting first-hand insights into the impact of machine…

openSUSE MicroOS
42 min

openSUSE MicroOS

A new distro for a new age

Deforestation Monitoring using Change Detection
29 min

Deforestation Monitoring using Change Detection

Typing Culture with Keyboard: Okinawa - Reviving the Japanese Ryukyu-Language through the Art and Precision of Digital Input
30 min

Typing Culture with Keyboard: Okinawa - Reviving the Japanese Ryukyu-Language through the…

GTK: are we in the future, yet?
26 min

GTK: are we in the future, yet?

Look ma, no secrets! - bootstrapping cryptographic trust in my homelab using Nix, UKIs, TPMs and SPIFFE
27 min

Look ma, no secrets! - bootstrapping cryptographic trust in my homelab using Nix, UKIs,…

The Art of Advocacy with Linux
22 min

The Art of Advocacy with Linux

Advocacy tricks

Introduction to modern fuzzing
65 min

Introduction to modern fuzzing

Find and fix vulnerabilities before they reach production.

Foxdog Studios: Robo Bingo 2.0
53 min

Foxdog Studios: Robo Bingo 2.0