Search for "Dave" returned 3291 results

Creating a digital environmental footprint: a Life Cycle Assessment approach (EN)
20 min

Creating a digital environmental footprint: a Life Cycle Assessment approach (EN)

Testing Window
36 min

Testing Window

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…

SAP from an Attacker's Perspective – Common Vulnerabilities and Pitfalls
22 min

SAP from an Attacker's Perspective – Common Vulnerabilities and Pitfalls

10 Jahre Rojava
62 min

10 Jahre Rojava

OpenStreetMap in the Cloud
23 min

OpenStreetMap in the Cloud

Overview on OpenStreetMap Togo Community
25 min

Overview on OpenStreetMap Togo Community

Lattice Attacks on Ethereum, Bitcoin, and HTTPS
31 min

Lattice Attacks on Ethereum, Bitcoin, and HTTPS

DG105: IT-Security Weaknesses of Emergency Alert Apps
51 min

DG105: IT-Security Weaknesses of Emergency Alert Apps

Conquering Large Numbers at the LHC
41 min

Conquering Large Numbers at the LHC

From 1 000 000 000 000 000 to 10: Breaking down 14 Orders…

A fully free BIOS with GNU Boot
31 min

A fully free BIOS with GNU Boot

finix - an experimental os, featuring finit as pid 1, to explore the NixOS design space
19 min

finix - an experimental os, featuring finit as pid 1, to explore the NixOS design space

Huey: Pivoting hundreds of millions of rows in the Browser
56 min

Huey: Pivoting hundreds of millions of rows in the Browser

Blazing fast in-browser Analytics based on DuckDB/WASM

Caveat Emptor: Ratings and Reviews Can't Be Trusted
50 min

Caveat Emptor: Ratings and Reviews Can't Be Trusted

Atomic Updates - and /etc?
29 min

Atomic Updates - and /etc?

How to handle updates of config files in /etc

Tor censorship attempts in Russia, Iran, Turkmenistan
62 min

Tor censorship attempts in Russia, Iran, Turkmenistan

No evidence of communication and morality in protocols: Off-the-Record protocol version 4
44 min

No evidence of communication and morality in protocols: Off-the-Record protocol version 4

Using and creating console oriented services (such as wttr.in, cheat.sh, rate.sx, etc)
22 min

Using and creating console oriented services (such as wttr.in, cheat.sh, rate.sx, etc)

Client-side route planning: preprocessing the OpenStreetMap road network for Routable Tiles
28 min

Client-side route planning: preprocessing the OpenStreetMap road network for Routable…

MOD: building a sustainable Linux Audio based business
63 min

MOD: building a sustainable Linux Audio based business

Emoji domains and how wonderfully broken they are
26 min

Emoji domains and how wonderfully broken they are

About Gamma-Ray Bursts And Boats
61 min

About Gamma-Ray Bursts And Boats

What We (Don't) Know About the Most Energetic Events in the…

Creating Immutable Infrastructures with Kairos
27 min

Creating Immutable Infrastructures with Kairos

Public service, public value
43 min

Public service, public value

Introduction to pmpd
114 min

Introduction to pmpd