Events for tag "Talk"

Konviviale Software vor und jenseits des digitalen Kapitalismus
44 min

Konviviale Software vor und jenseits des digitalen Kapitalismus

Programming Efficient Joins
43 min

Programming Efficient Joins

Keeper to Keepers: Adding Multiplayer to Dome Keeper
50 min

Keeper to Keepers: Adding Multiplayer to Dome Keeper

Panic at the CVE-o-theque
29 min

Panic at the CVE-o-theque

Darcs, because git won
33 min

Darcs, because git won

Compiling Anything to Categories
36 min

Compiling Anything to Categories

ImplicitCAD: Haskell all of the Things
38 min

ImplicitCAD: Haskell all of the Things

Open Source Numbers Everybody Should Know
47 min

Open Source Numbers Everybody Should Know

Opening
12 min

Opening

Correct by Construction Concurrent Programs in Idris 2
44 min

Correct by Construction Concurrent Programs in Idris 2

Pipes, Arrows, and the Universe
44 min

Pipes, Arrows, and the Universe

Rechenschaftsbericht der Wau Holland Stiftung
53 min

Rechenschaftsbericht der Wau Holland Stiftung

Flask
18 min

Flask

Wenn Django zu groß ist.

SmartOS
45 min

SmartOS

Zones + ZFS + KVM + DTrace = Awesome

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

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

Bridging the Gap Between UX Design and Development: Atomic Design & Storybook
44 min

Bridging the Gap Between UX Design and Development: Atomic Design & Storybook

FridaysForFuture was, wie, warum?
20 min

FridaysForFuture was, wie, warum?

Angriffe auf Mikrochips durch die Rueckseite
57 min

Angriffe auf Mikrochips durch die Rueckseite

Sozial-ökologische Dimensionen von Digitalisierung
48 min

Sozial-ökologische Dimensionen von Digitalisierung

Leveraging Algebraic Data Types – In Any Programming Language
44 min

Leveraging Algebraic Data Types – In Any Programming Language

The Unreasonable Effectiveness of Events
45 min

The Unreasonable Effectiveness of Events

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

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

SwiftUI is functional
44 min

SwiftUI is functional

Keynote: „Digital Sovereignty“ – Searching for Meaning in a Magical Concept
49 min

Keynote: „Digital Sovereignty“ – Searching for Meaning in a Magical Concept

Digitalisierung unter pandemischen Bedingungen
42 min

Digitalisierung unter pandemischen Bedingungen

Against the (formal) method?
46 min

Against the (formal) method?

TBA
35 min

TBA

OOP is dead, long live Object Orientation!
46 min

OOP is dead, long live Object Orientation!

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

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

Making of DOGWALK
53 min

Making of DOGWALK

Blender Studio's game project

Godot Foundation Q&A
51 min

Godot Foundation Q&A

Cloud, done the Nix way
45 min

Cloud, done the Nix way

Functional Programming in Swift
44 min

Functional Programming in Swift

State Transitions in Complex Systems
36 min

State Transitions in Complex Systems

SIMD in Higher Level Programming Languages
42 min

SIMD in Higher Level Programming Languages

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

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

Haskell :heart: Lua
35 min

Haskell :heart: Lua

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

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

Global Warming Sucks!
68 min

Global Warming Sucks!

Godot meets JetBrains:
49 min

Godot meets JetBrains:

Building IDE tools for a growing engine

A Firewall for Your Radical Network
27 min

A Firewall for Your Radical Network

Event-getriebene Architekturen @ Allianz
32 min

Event-getriebene Architekturen @ Allianz

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

PrismCamp
30 min

PrismCamp

Politik, Technik und Gesellschaft in Zeiten der…

Programming by any other name
44 min

Programming by any other name

Practical ReasonML
46 min

Practical ReasonML

Infrastructure as Code - Betrieb ohne Handarbeit
45 min

Infrastructure as Code - Betrieb ohne Handarbeit

Einführung in Django
45 min

Einführung in Django

Was ist Django und wofür braucht man das?

Nerd-Tabu
51 min

Nerd-Tabu

Das Gesellschaftsspiel für Nerds

Nestbau mit TalOS k8s 🐇
28 min

Nestbau mit TalOS k8s 🐇

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

Ein Weg zu hoher Zuverlässigkeit von Systemen eines Netzbetreibers

Git meets Linked Data – A Tale of an Unusual Architecture
44 min

Git meets Linked Data – A Tale of an Unusual Architecture

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

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

Higher-Kinded Data Types by Example
37 min

Higher-Kinded Data Types by Example

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

Wälder reparieren, das Lübecker Waldkonzept

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

Servant vs. Mu: A Type-Level Battle

A Gentle Indroduction to Stream Processing
44 min

A Gentle Indroduction to Stream Processing

Guarding Your IO Boundaries
31 min

Guarding Your IO Boundaries

Über die Nachhaltigkeit von Software
35 min

Über die Nachhaltigkeit von Software

Psychotherapiesuche - Erfahrungsbericht mit Automatisierung
26 min

Psychotherapiesuche - Erfahrungsbericht mit Automatisierung

Tilemaps
48 min

Tilemaps

Blockchain: Proof of ignorance
53 min

Blockchain: Proof of ignorance

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

Web Accessibility DeepDive
38 min

Web Accessibility DeepDive

Erlang, OCaml, same thing 🤷
46 min

Erlang, OCaml, same thing 🤷

Unlocking Godot’s Superpower: Productivity
53 min

Unlocking Godot’s Superpower: Productivity

Service-less communication: is it possible?
46 min

Service-less communication: is it possible?

Managing containers with Docker
43 min

Managing containers with Docker

...and why you'll love it

A Nokia 3310 Ringtone Player in Elm
41 min

A Nokia 3310 Ringtone Player in Elm

An Enigma Machine in Elm
38 min

An Enigma Machine in Elm

Speedrunning Laptop Deployment for Non-Profit Organisations
22 min

Speedrunning Laptop Deployment for Non-Profit Organisations

Nice View Reporter
50 min

Nice View Reporter

Cryptography of Killing Proof-of-Work
27 min

Cryptography of Killing Proof-of-Work

Don't ship the wrong game!
54 min

Don't ship the wrong game!

Composable UI Components
32 min

Composable UI Components

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

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

Software Analytics with Data Science on Software Data
39 min

Software Analytics with Data Science on Software Data

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)

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

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

Keeping CALM – Konsistenz in verteilten Systemen leichtgemacht
46 min

Keeping CALM – Konsistenz in verteilten Systemen leichtgemacht

Self-documenting computation
37 min

Self-documenting computation

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

Tiger kommt: Weglaufen!
44 min

Tiger kommt: Weglaufen!

A crash course on the OCaml module language
44 min

A crash course on the OCaml module language

Building Starfinder: Professional Godot at Scale
50 min

Building Starfinder: Professional Godot at Scale

Zero-Knowledge-Proofs for Privacy and Trust
45 min

Zero-Knowledge-Proofs for Privacy and Trust

BetterCrypto.org
62 min

BetterCrypto.org

Applied Crypto Hardening

Putting Players First
22 min

Putting Players First

Human-Centered Game Development towards Accessibility &…

Gyms, Zoos, and Museums
30 min

Gyms, Zoos, and Museums

Your documentation should be in-game

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?

Property-testing all* the things in SerenityOS
44 min

Property-testing all* the things in SerenityOS

Recursive Definitions in Lean
43 min

Recursive Definitions in Lean

(emulate|fuzz|break) kernels
22 min

(emulate|fuzz|break) kernels

Functional data structures in Swift
47 min

Functional data structures in Swift

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

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

Integration und Migration von unternehmenskritischen Legacy-Anwendungen
44 min

Integration und Migration von unternehmenskritischen Legacy-Anwendungen

Ein organisatorischer und technischer Reisebericht

Event Sourcing without Responsibility
29 min

Event Sourcing without Responsibility

Model-Based Testing with QuickCheck
44 min

Model-Based Testing with QuickCheck

A Peek Under the Hood: Technical Learnings from Halls of Torment
50 min

A Peek Under the Hood: Technical Learnings from Halls of Torment

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

Beyond the Basics of LSP: Advanced IDE services for OCaml

Amateurfunk - ein magisches Labyrinth von Kaninchenlöchern
54 min

Amateurfunk - ein magisches Labyrinth von Kaninchenlöchern

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

Logic Programming and Databases
37 min

Logic Programming and Databases

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

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

Theorems for free
36 min

Theorems for free

Lessons Learned: Architekturdokumentation mit arc42
38 min

Lessons Learned: Architekturdokumentation mit arc42

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

A Language Server for your DSL for Fun and Profit

Version control in the age of distributed computing
42 min

Version control in the age of distributed computing

Keynote: Local-first Software
55 min

Keynote: Local-first Software

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

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

Kommunikationsmuster für Services: Effizient und zuverlässig

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

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

Wood instead of ivory — functional programming for CNC machines

What a computer game taught me about software architecture
44 min

What a computer game taught me about software architecture

infrastructure review
14 min

infrastructure review

what happened, what went wrong

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

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

Unhandled Personal Eggception - Unerkannte Neurodivergenz
43 min

Unhandled Personal Eggception - Unerkannte Neurodivergenz

Closing
12 min

Closing

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

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

We'll make ourselves a GNU one
47 min

We'll make ourselves a GNU one

#youbroketheinternet

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…

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

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

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

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

Als Netzaktivistin im Bundestag – Insider Einblicke und Mitmachmöglichkeiten

Hacker & Nerds vs. People
41 min

Hacker & Nerds vs. People

Ergebnisse einer Umfrage unter Hacker und Nicht-Hacker

Plants, Polygons and Pixels:
45 min

Plants, Polygons and Pixels:

Large-Scale Vegetation Rendering in Godot

Wie kaputt ist TLS?
75 min

Wie kaputt ist TLS?

Das wichtigste Kryptoprotokoll unter der Lupe

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

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

Encoding Effects as Capabilities
40 min

Encoding Effects as Capabilities

Fun with responsive tables
21 min

Fun with responsive tables

Eine crossdevice Lösung für tabelarische Datendarstellung

Using Domain Driven Design to Refactor Stripe Billing
44 min

Using Domain Driven Design to Refactor Stripe Billing

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

New Game+: Adding Backend Features to Your Godot Projects
39 min

New Game+: Adding Backend Features to Your Godot Projects

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

Making of Cards in Fogpiercer
52 min

Making of Cards in Fogpiercer

Making Audio for a Godot Project in FMOD
51 min

Making Audio for a Godot Project in FMOD

Quantum Computing: The Very Basics
25 min

Quantum Computing: The Very Basics

Privatheit und Trojaner
44 min

Privatheit und Trojaner

How to bridge the air gap

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?

Things We Never Told Anyone About Functional Programming
42 min

Things We Never Told Anyone About Functional Programming

Beyond the Loop: A Primer on Interactive Music in Godot
29 min

Beyond the Loop: A Primer on Interactive Music in Godot

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

E-Mail-Privatheit und Mailbox-Verschlüsselung

One Does Not Simply Ship Web Games with Godot (Yet)
26 min

One Does Not Simply Ship Web Games with Godot (Yet)

Elektroschrott - Welchen letzten Weg geht mein PC?
39 min

Elektroschrott - Welchen letzten Weg geht mein PC?

Accessibility by Design: Practical A11y for Everyday Software Engineering
43 min

Accessibility by Design: Practical A11y for Everyday Software Engineering

Die Geschichte des CCC Stuttgart
35 min

Die Geschichte des CCC Stuttgart

Der lange Weg zum Ruhm ;-)

STG Backend for Idris2
40 min

STG Backend for Idris2

Structuring effectful programs
43 min

Structuring effectful programs

Datenschutz im Verein
45 min

Datenschutz im Verein

When Testing Just Doesn't Cut It
46 min

When Testing Just Doesn't Cut It

Dissecting the AMD Platform Security Processor
49 min

Dissecting the AMD Platform Security Processor

Funktionale Programmierung für vielbeschäftigte Javaentwickler
42 min

Funktionale Programmierung für vielbeschäftigte Javaentwickler

Zuverlässig laden – Reactive Systems im Einsatz für E-Mobility
29 min

Zuverlässig laden – Reactive Systems im Einsatz für E-Mobility

Collaborative Game Development with Godot:
22 min

Collaborative Game Development with Godot:

From Studio Model to Community-Built Games

Getting recursive definitions off their bottoms
45 min

Getting recursive definitions off their bottoms

15 Jahre netzpolitik.org
53 min

15 Jahre netzpolitik.org

Effizient arbeiten mit Architecture Decision Records (ADR)
46 min

Effizient arbeiten mit Architecture Decision Records (ADR)

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

ZpS - Bildung einer kriminellen Vereinigung
29 min

ZpS - Bildung einer kriminellen Vereinigung

Softwareentwicklung ist kein Hexenwerk
43 min

Softwareentwicklung ist kein Hexenwerk

Arbeitswelt hacken
26 min

Arbeitswelt hacken

#NoEstimates
56 min

#NoEstimates

Why estimates are bad for your software & team & management

Konsequente Barrierefreiheit durch Partizipation im Prozess
42 min

Konsequente Barrierefreiheit durch Partizipation im Prozess

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…

Deklarativ Webservices unter NixOS beschreiben
59 min

Deklarativ Webservices unter NixOS beschreiben

Wie man LXC, virtualisierung und reverse proxies deklarativ…

Less is More: Modern Approaches to Low-Fi Visuals
43 min

Less is More: Modern Approaches to Low-Fi Visuals

GdUnit4 live demo + technical overview
31 min

GdUnit4 live demo + technical overview

Keynote: Re-thinking Modules for the Web
50 min

Keynote: Re-thinking Modules for the Web

Proofs for programs, programs for proofs
44 min

Proofs for programs, programs for proofs

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

Wo lässt Du zwecklose Widerstände?

Java Stacktrace Fingerprinting
38 min

Java Stacktrace Fingerprinting

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

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

Criminally fast rust and breaking safety for fun and profit

Keynote: How I Design Programs
45 min

Keynote: How I Design Programs

Specification-driven design
34 min

Specification-driven design

Referenziell transparente Business-Prozesse in funktional
44 min

Referenziell transparente Business-Prozesse in funktional

Run your own digital infrastructure using MirageOS unikernels
44 min

Run your own digital infrastructure using MirageOS unikernels

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

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

Con Games-games you can't loose
55 min

Con Games-games you can't loose

React Performance
29 min

React Performance

Raytracing is simple for 2D games!
50 min

Raytracing is simple for 2D games!

The Limits of Cryptography
94 min

The Limits of Cryptography

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

Kontrollsoftware für eine Jupitermission der ESA: Ein Erfahrungsbericht

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

Busting Big Brother - Aufklärungsgeräte analysiert

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

Keynote: Who's Afraid of the Turnstile?

Eggceptional Meshnetworking.
37 min

Eggceptional Meshnetworking.

The essence of programming
40 min

The essence of programming

Art Direction Crash Course (for non-artists)
26 min

Art Direction Crash Course (for non-artists)

The Lessons of 14 Years of Open Source Haskell
40 min

The Lessons of 14 Years of Open Source Haskell

Four Fascinating Programming Languages You've Probably Never Heard Of
45 min

Four Fascinating Programming Languages You've Probably Never Heard Of

Delta encodings help separate business logic from database operations
42 min

Delta encodings help separate business logic from database operations

JS, Rust, Python and the Holy Graal
43 min

JS, Rust, Python and the Holy Graal

Zero Knowledge Proof? That Sounds Useless!
45 min

Zero Knowledge Proof? That Sounds Useless!

Going back in time with the Undoable Monad
42 min

Going back in time with the Undoable Monad

From Theora to AV1: Transforming Video Workflows in Godot 4
25 min

From Theora to AV1: Transforming Video Workflows in Godot 4

Mobilizing Godot
25 min

Mobilizing Godot

Climate breakdown – the bleak reality
65 min

Climate breakdown – the bleak reality

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

Abstraction and program design, or the power of parametricity

(Anti)-Cyber-Realitätsabgleich
48 min

(Anti)-Cyber-Realitätsabgleich

HowTo not suck at Incident Response