Events for tag "Talk"

Event Sourcing without Responsibility
29 min

Event Sourcing without Responsibility

More Than Just Quite OK – Data Compression Nerds Hate This One Trick
30 min

More Than Just Quite OK – Data Compression Nerds Hate This One Trick

BetterCrypto.org
62 min

BetterCrypto.org

Applied Crypto Hardening

Softwareentwicklung ist kein Hexenwerk
43 min

Softwareentwicklung ist kein Hexenwerk

Zero-Knowledge-Proofs for Privacy and Trust
45 min

Zero-Knowledge-Proofs for Privacy and Trust

A Gentle Indroduction to Stream Processing
44 min

A Gentle Indroduction to Stream Processing

Things We Never Told Anyone About Functional Programming
42 min

Things We Never Told Anyone About Functional Programming

SIMD in Higher Level Programming Languages
42 min

SIMD in Higher Level Programming Languages

Programming by any other name
44 min

Programming by any other name

TBA
35 min

TBA

Java Stacktrace Fingerprinting
38 min

Java Stacktrace Fingerprinting

Eine Anekdote über eine Wette und welche Knüppel dem „das…

The Object-Oriented/Functional-Programming symmetry: theory and practice
42 min

The Object-Oriented/Functional-Programming symmetry: theory and practice

A Firewall for Your Radical Network
27 min

A Firewall for Your Radical Network

Nach 20 Jahren Agilität - wird Achtsam das neue Agil?
41 min

Nach 20 Jahren Agilität - wird Achtsam das neue Agil?

SmartOS
45 min

SmartOS

Zones + ZFS + KVM + DTrace = Awesome

PrismCamp
30 min

PrismCamp

Politik, Technik und Gesellschaft in Zeiten der…

Criminally fast rust and breaking safety for fun and profit
39 min

Criminally fast rust and breaking safety for fun and profit

An Enigma Machine in Elm
38 min

An Enigma Machine in Elm

Ich mag Züge, ein absurder Einstieg in die Bahntechnik
55 min

Ich mag Züge, ein absurder Einstieg in die Bahntechnik

Local-first Distributed Applications with REScala
40 min

Local-first Distributed Applications with REScala

Ist das ein Graph oder kann das weg? Funktionales Deep Learning in Haskell
45 min

Ist das ein Graph oder kann das weg? Funktionales Deep Learning in Haskell

Python Gradual Typing: The Good, The Bad and the Ugly
35 min

Python Gradual Typing: The Good, The Bad and the Ugly

JS, Rust, Python and the Holy Graal
43 min

JS, Rust, Python and the Holy Graal

Datenschutz im Verein
45 min

Datenschutz im Verein

Beyond Cryptopartys - wie Aktivistis, [*] und Nerds voneinander lernen können
49 min

Beyond Cryptopartys - wie Aktivistis, [*] und Nerds voneinander lernen können

Correct by Construction Concurrent Programs in Idris 2
44 min

Correct by Construction Concurrent Programs in Idris 2

Recursive Definitions in Lean
43 min

Recursive Definitions in Lean

Property-Based Testing: The Past, The Present, and The Future
44 min

Property-Based Testing: The Past, The Present, and The Future

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)

Against the (formal) method?
46 min

Against the (formal) method?

Getting recursive definitions off their bottoms
45 min

Getting recursive definitions off their bottoms

Servant vs. Mu: A Type-Level Battle
33 min

Servant vs. Mu: A Type-Level Battle

Pipes, Arrows, and the Universe
44 min

Pipes, Arrows, and the Universe

Denn so wissen wir, was sie tun: Das Berliner Transparenzgesetz
27 min

Denn so wissen wir, was sie tun: Das Berliner Transparenzgesetz

Hyper Hyper! Javascript fatigue und die Hypermedia Renaissance (?)
43 min

Hyper Hyper! Javascript fatigue und die Hypermedia Renaissance (?)

Arbeitswelt hacken
26 min

Arbeitswelt hacken

Als Netzaktivistin im Bundestag – Insider Einblicke und Mitmachmöglichkeiten
59 min

Als Netzaktivistin im Bundestag – Insider Einblicke und Mitmachmöglichkeiten

Über die Nachhaltigkeit von Software
35 min

Über die Nachhaltigkeit von Software

Konviviale Software vor und jenseits des digitalen Kapitalismus
44 min

Konviviale Software vor und jenseits des digitalen Kapitalismus

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

A Language Server for your DSL for Fun and Profit

The Lessons of 14 Years of Open Source Haskell
40 min

The Lessons of 14 Years of Open Source Haskell

Wo lässt Du zwecklose Widerstände?
13 min

Wo lässt Du zwecklose Widerstände?

Keeping CALM – Konsistenz in verteilten Systemen leichtgemacht
46 min

Keeping CALM – Konsistenz in verteilten Systemen leichtgemacht

Für 'n Appel und 'n Ei: die Vereinnahmung des öffentlichen Raumes durch digitale Werbung
37 min

Für 'n Appel und 'n Ei: die Vereinnahmung des öffentlichen Raumes durch digitale Werbung

Tiger kommt: Weglaufen!
44 min

Tiger kommt: Weglaufen!

(Anti)-Cyber-Realitätsabgleich
48 min

(Anti)-Cyber-Realitätsabgleich

HowTo not suck at Incident Response

OOP is dead, long live Object Orientation!
46 min

OOP is dead, long live Object Orientation!

Sinn von Unsinn unterscheiden - Glaub ich's oder glaub ich's nicht?
57 min

Sinn von Unsinn unterscheiden - Glaub ich's oder glaub ich's nicht?

Structuring effectful programs
43 min

Structuring effectful programs

Speedrunning Laptop Deployment for Non-Profit Organisations
22 min

Speedrunning Laptop Deployment for Non-Profit Organisations

Deklarativ Webservices unter NixOS beschreiben
59 min

Deklarativ Webservices unter NixOS beschreiben

Wie man LXC, virtualisierung und reverse proxies deklarativ…

Functional data structures in Swift
47 min

Functional data structures in Swift

Wie kaputt ist TLS?
75 min

Wie kaputt ist TLS?

Das wichtigste Kryptoprotokoll unter der Lupe

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

Beyond the Basics of LSP: Advanced IDE services for OCaml

Web Accessibility DeepDive
38 min

Web Accessibility DeepDive

Nestbau mit TalOS k8s 🐇
28 min

Nestbau mit TalOS k8s 🐇

Bevölkerungsschutz - Was Du erwarten kannst und was Du beitragen kannst
45 min

Bevölkerungsschutz - Was Du erwarten kannst und was Du beitragen kannst

Integration und Migration von unternehmenskritischen Legacy-Anwendungen
44 min

Integration und Migration von unternehmenskritischen Legacy-Anwendungen

Ein organisatorischer und technischer Reisebericht

Con Games-games you can't loose
55 min

Con Games-games you can't loose

Infrastructure as Code - Betrieb ohne Handarbeit
45 min

Infrastructure as Code - Betrieb ohne Handarbeit

Wie ein Phönix aus dem Ei: Was Scheitern mit Erfolg zu tun hat
38 min

Wie ein Phönix aus dem Ei: Was Scheitern mit Erfolg zu tun hat

We'll make ourselves a GNU one
47 min

We'll make ourselves a GNU one

#youbroketheinternet

Composable UI Components
32 min

Composable UI Components

Cloud, done the Nix way
45 min

Cloud, done the Nix way

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

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

What a computer game taught me about software architecture
44 min

What a computer game taught me about software architecture

Panic at the CVE-o-theque
29 min

Panic at the CVE-o-theque

Compiling Anything to Categories
36 min

Compiling Anything to Categories

Opening
12 min

Opening

Specification-driven design
34 min

Specification-driven design

Wood instead of ivory — functional programming for CNC machines
41 min

Wood instead of ivory — functional programming for CNC machines

Digitalisierung unter pandemischen Bedingungen
42 min

Digitalisierung unter pandemischen Bedingungen

ImplicitCAD: Haskell all of the Things
38 min

ImplicitCAD: Haskell all of the Things

Unhandled Personal Eggception - Unerkannte Neurodivergenz
43 min

Unhandled Personal Eggception - Unerkannte Neurodivergenz

React Performance
29 min

React Performance

A world to win: WebAssembly for the rest of us
44 min

A world to win: WebAssembly for the rest of us

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

Die Starre überwinden - Mit DDD zu geschmeidigem Code

Theorems for free
36 min

Theorems for free

Logic Programming and Databases
37 min

Logic Programming and Databases

Keynote: Who's Afraid of the Turnstile?
54 min

Keynote: Who's Afraid of the Turnstile?

Service-less communication: is it possible?
46 min

Service-less communication: is it possible?

Haskell :heart: Lua
35 min

Haskell :heart: Lua

Nerd-Tabu
51 min

Nerd-Tabu

Das Gesellschaftsspiel für Nerds

Higher-Kinded Data Types by Example
37 min

Higher-Kinded Data Types by Example

Spaß mit E-Zigaretten - Oder : Der Arduino auf der Straße
48 min

Spaß mit E-Zigaretten - Oder : Der Arduino auf der Straße

The Unreasonable Effectiveness of Events
45 min

The Unreasonable Effectiveness of Events

Wälder reparieren, das Lübecker Waldkonzept
45 min

Wälder reparieren, das Lübecker Waldkonzept

Keynote: How I Design Programs
45 min

Keynote: How I Design Programs

The essence of programming
40 min

The essence of programming

#NoEstimates
56 min

#NoEstimates

Why estimates are bad for your software & team & management

Cryptography of Killing Proof-of-Work
27 min

Cryptography of Killing Proof-of-Work

Darcs, because git won
33 min

Darcs, because git won

Nice View Reporter
50 min

Nice View Reporter

The Limits of Cryptography
94 min

The Limits of Cryptography

Keynote: Local-first Software
55 min

Keynote: Local-first Software

FridaysForFuture was, wie, warum?
20 min

FridaysForFuture was, wie, warum?

Version control in the age of distributed computing
42 min

Version control in the age of distributed computing

Quantum Computing: The Very Basics
25 min

Quantum Computing: The Very Basics

Eggceptional Meshnetworking.
37 min

Eggceptional Meshnetworking.

Busting Big Brother - Aufklärungsgeräte analysiert
41 min

Busting Big Brother - Aufklärungsgeräte analysiert

When Testing Just Doesn't Cut It
46 min

When Testing Just Doesn't Cut It

Amateurfunk - ein magisches Labyrinth von Kaninchenlöchern
54 min

Amateurfunk - ein magisches Labyrinth von Kaninchenlöchern

Rechenschaftsbericht der Wau Holland Stiftung
53 min

Rechenschaftsbericht der Wau Holland Stiftung

Angriffe auf Mikrochips durch die Rueckseite
57 min

Angriffe auf Mikrochips durch die Rueckseite

Capitana vs. Benito Salvini - über die Erosion von Grundrechten und was wir dagegen tun können
33 min

Capitana vs. Benito Salvini - über die Erosion von Grundrechten und was wir dagegen tun…

Kontrollsoftware für eine Jupitermission der ESA: Ein Erfahrungsbericht
44 min

Kontrollsoftware für eine Jupitermission der ESA: Ein Erfahrungsbericht

Functional Programming in Swift
44 min

Functional Programming in Swift

Event-getriebene Architekturen @ Allianz
32 min

Event-getriebene Architekturen @ Allianz

Einführung in Django
45 min

Einführung in Django

Was ist Django und wofür braucht man das?

io-sim: testing, simulating, and prototyping concurrent programs in Haskell
31 min

io-sim: testing, simulating, and prototyping concurrent programs in Haskell

Erlang, OCaml, same thing 🤷
46 min

Erlang, OCaml, same thing 🤷

Reading and Writing Landscape – Framing Reality with Data
34 min

Reading and Writing Landscape – Framing Reality with Data

How many swimming pools are in Los Angeles? And can you…

Effizient arbeiten mit Architecture Decision Records (ADR)
46 min

Effizient arbeiten mit Architecture Decision Records (ADR)

Leveraging Algebraic Data Types – In Any Programming Language
44 min

Leveraging Algebraic Data Types – In Any Programming Language

Self-documenting computation
37 min

Self-documenting computation

What is the best way to present programs to non-programmers?

The Silent Scandal - Power Abuse and Corruption by Design in German Research
55 min

The Silent Scandal - Power Abuse and Corruption by Design in German Research

Lessons Learned: Architekturdokumentation mit arc42
38 min

Lessons Learned: Architekturdokumentation mit arc42

Keynote: Re-thinking Modules for the Web
50 min

Keynote: Re-thinking Modules for the Web

Software Analytics with Data Science on Software Data
39 min

Software Analytics with Data Science on Software Data

Was will der Zoll mit den Daten? Und was hat Politik damit zu tun?
77 min

Was will der Zoll mit den Daten? Und was hat Politik damit zu tun?

E-Mail-Privatheit und Mailbox-Verschlüsselung
35 min

E-Mail-Privatheit und Mailbox-Verschlüsselung

A Nokia 3310 Ringtone Player in Elm
41 min

A Nokia 3310 Ringtone Player in Elm

Blockchain: Proof of ignorance
53 min

Blockchain: Proof of ignorance

With liberty and justice for some! ...a rant.

Global Warming Sucks!
68 min

Global Warming Sucks!

Guarding Your IO Boundaries
31 min

Guarding Your IO Boundaries

Practical ReasonML
46 min

Practical ReasonML

STG Backend for Idris2
40 min

STG Backend for Idris2

Psychotherapiesuche - Erfahrungsbericht mit Automatisierung
26 min

Psychotherapiesuche - Erfahrungsbericht mit Automatisierung

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

Abstraction and program design, or the power of parametricity

Keynote: RustBelt: Securing the Foundations of the Rust Programming Language
60 min

Keynote: RustBelt: Securing the Foundations of the Rust Programming Language

Privatheit und Trojaner
44 min

Privatheit und Trojaner

How to bridge the air gap

Property-testing all* the things in SerenityOS
44 min

Property-testing all* the things in SerenityOS

Dissecting the AMD Platform Security Processor
49 min

Dissecting the AMD Platform Security Processor

Sozial-ökologische Dimensionen von Digitalisierung
48 min

Sozial-ökologische Dimensionen von Digitalisierung

Climate breakdown – the bleak reality
65 min

Climate breakdown – the bleak reality

Fun with responsive tables
21 min

Fun with responsive tables

Eine crossdevice Lösung für tabelarische Datendarstellung

infrastructure review
14 min

infrastructure review

what happened, what went wrong

Open Source Numbers Everybody Should Know
47 min

Open Source Numbers Everybody Should Know

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

Male & Female, das sind doch bürgerliche Kategorien!
27 min

Male & Female, das sind doch bürgerliche Kategorien!

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

Referenziell transparente Business-Prozesse in funktional
44 min

Referenziell transparente Business-Prozesse in funktional

Delta encodings help separate business logic from database operations
42 min

Delta encodings help separate business logic from database operations

Model-Based Testing with QuickCheck
44 min

Model-Based Testing with QuickCheck

Hacker & Nerds vs. People
41 min

Hacker & Nerds vs. People

Ergebnisse einer Umfrage unter Hacker und Nicht-Hacker

Cypress überall - Ein einziges Automatisierungswerkzeug für alle Teststufen?!
45 min

Cypress überall - Ein einziges Automatisierungswerkzeug für alle Teststufen?!

Elektroschrott - Welchen letzten Weg geht mein PC?
39 min

Elektroschrott - Welchen letzten Weg geht mein PC?

Closing
12 min

Closing

15 Jahre netzpolitik.org
53 min

15 Jahre netzpolitik.org

Managing containers with Docker
43 min

Managing containers with Docker

...and why you'll love it

State Transitions in Complex Systems
36 min

State Transitions in Complex Systems

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

Ein Weg zu hoher Zuverlässigkeit von Systemen eines Netzbetreibers

Die Geschichte des CCC Stuttgart
35 min

Die Geschichte des CCC Stuttgart

Der lange Weg zum Ruhm ;-)

Konsequente Barrierefreiheit durch Partizipation im Prozess
42 min

Konsequente Barrierefreiheit durch Partizipation im Prozess

ZpS - Bildung einer kriminellen Vereinigung
29 min

ZpS - Bildung einer kriminellen Vereinigung

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

Kommunikationsmuster für Services: Effizient und zuverlässig

(emulate|fuzz|break) kernels
22 min

(emulate|fuzz|break) kernels

Flask
18 min

Flask

Wenn Django zu groß ist.