Search for "%s" returned 10000 results

Efficient DevSecOps workflows with reusable CI/CD Components
44 min

Efficient DevSecOps workflows with reusable CI/CD Components

Loadbalancer mit Kerneltools – mit XDP den Kernel erweitern
52 min

Loadbalancer mit Kerneltools – mit XDP den Kernel erweitern

Universelles Offsite-Backup mit iSCSI
51 min

Universelles Offsite-Backup mit iSCSI

Businessplanung mit JupyterLab
39 min

Businessplanung mit JupyterLab

Superhuman AI - Wie & wann ist KI nützlich?
57 min

Superhuman AI - Wie & wann ist KI nützlich?

Incus – ein System Container und Virtual Machine Manager
54 min

Incus – ein System Container und Virtual Machine Manager

The Microservices Problem No One Warned Us About (And How You Can Avoid It)
44 min

The Microservices Problem No One Warned Us About (And How You Can Avoid It)

Die Starre überwinden - Mit DDD zu geschmeidigem Code
47 min

Die Starre überwinden - Mit DDD zu geschmeidigem Code

Recursive Definitions in Lean
43 min

Recursive Definitions in Lean

Functional data structures in Swift
47 min

Functional data structures in Swift

OOP is dead, long live Object Orientation!
46 min

OOP is dead, long live Object Orientation!

Things We Never Told Anyone About Functional Programming
42 min

Things We Never Told Anyone About Functional Programming

Against the (formal) method?
46 min

Against the (formal) method?

A Language Server for your DSL for Fun and Profit
41 min

A Language Server for your DSL for Fun and Profit

Developing DSLs: A Look at Three Practical Strategies with Real-World Examples
42 min

Developing DSLs: A Look at Three Practical Strategies with Real-World Examples

Correct by Construction Concurrent Programs in Idris 2
44 min

Correct by Construction Concurrent Programs in Idris 2

Service-less communication: is it possible?
46 min

Service-less communication: is it possible?

Beyond the Basics of LSP: Advanced IDE services for OCaml
44 min

Beyond the Basics of LSP: Advanced IDE services for OCaml

Abstraction and program design, or the power of parametricity
45 min

Abstraction and program design, or the power of parametricity

Ein Weg zu hoher Zuverlässigkeit von Systemen eines Netzbetreibers
43 min

Ein Weg zu hoher Zuverlässigkeit von Systemen eines Netzbetreibers

Keynote: Local-first Software
55 min

Keynote: Local-first Software

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…

TI Nspire Taschenrechner Hacken
32 min

TI Nspire Taschenrechner Hacken

SELinux für Newbies
37 min

SELinux für Newbies

InfoSec in SW-QS
31 min

InfoSec in SW-QS