Search for "bpb" returned 321 results

oh heck another badge talk
28 min

oh heck another badge talk

(Post-)colonial perspectives on international law – Welcome
30 min

(Post-)colonial perspectives on international law – Welcome

Traceloop for systemd and Kubernetes + Inspektor Gadget
37 min

Traceloop for systemd and Kubernetes + Inspektor Gadget

A Contextual Integrity approach to privacy in interoperable messaging
31 min

A Contextual Integrity approach to privacy in interoperable messaging

Adventures of Linux Userspace at Meta
23 min

Adventures of Linux Userspace at Meta

Recursive Definitions in Lean
43 min

Recursive Definitions in Lean

Things We Never Told Anyone About Functional Programming
42 min

Things We Never Told Anyone About Functional Programming

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

Beyond the Basics of LSP: Advanced IDE services for OCaml

Correct by Construction Concurrent Programs in Idris 2
44 min

Correct by Construction Concurrent Programs in Idris 2

Quantenkryptographie
104 min

Quantenkryptographie

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

Die Starre überwinden - Mit DDD zu geschmeidigem Code

OOP is dead, long live Object Orientation!
46 min

OOP is dead, long live Object Orientation!

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

A Language Server for your DSL for Fun and Profit

Keynote: Local-first Software
55 min

Keynote: Local-first Software

Kommunikationsmuster für Services: Effizient und zuverlässig
43 min

Kommunikationsmuster für Services: Effizient und zuverlässig

Erlang, OCaml, same thing 🤷
46 min

Erlang, OCaml, same thing 🤷

End-to-end Type-Safety with Your Own API Spec DSL
44 min

End-to-end Type-Safety with Your Own API Spec DSL

Trans*DB - Umgebungssuche und Domain Specific Language
22 min

Trans*DB - Umgebungssuche und Domain Specific Language

When Testing Just Doesn't Cut It
46 min

When Testing Just Doesn't Cut It

Version control in the age of distributed computing
42 min

Version control in the age of distributed computing

Getting recursive definitions off their bottoms
45 min

Getting recursive definitions off their bottoms

An Enigma Machine in Elm
38 min

An Enigma Machine in Elm

Local-first Distributed Applications with REScala
40 min

Local-first Distributed Applications with REScala

Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty
31 min

Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty

Keeping CALM – Konsistenz in verteilten Systemen leichtgemacht
46 min

Keeping CALM – Konsistenz in verteilten Systemen leichtgemacht