Search for ".gob" returned 3339 results

Zero-Knowledge-Proofs for Privacy and Trust

• Talk BOB
• 45 min
• 2024-03-15
• 121
• Philipp Kant
BOB Konferenz 2024

Property-testing all* the things in SerenityOS

• Talk BOB
• 44 min
• 2024-03-15
• 65
• Martin Janiczek
BOB Konferenz 2024

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

• Talk BOB
• 45 min
• 2024-03-15
• 67
• Dehla Sokenou
BOB Konferenz 2024

Keynote: Who's Afraid of the Turnstile?

• Talk BOB
• 54 min
• 2024-03-15
• 83
• Andreas Rossberg
BOB Konferenz 2024

Recursive Definitions in Lean

• Talk Talks #2
• 43 min
• 2025-03-14
• 88
• Joachim Breitner
BOB Konferenz 2025

Things We Never Told Anyone About Functional Programming

• Talk Talks #2
• 42 min
• 2025-03-14
• 335
• Mike Sperber
BOB Konferenz 2025

Beyond the Basics of LSP: Advanced IDE services for OCaml

• Talk Talks #1
• 44 min
• 2025-03-14
• 99
• Xavier Van de Woestyne
BOB Konferenz 2025

Und sie existiert doch - die fast unmögliche Primzahlenerkennungsmaschine

• Science
• 60 min
• 2024-05-30
• 461
• Tom Gries (TOMO)
Gulaschprogrammiernacht 22

Software Analytics with Data Science on Software Data

• Talk BOB
• 39 min
• 2024-03-15
• 51
• Markus Harrer
BOB Konferenz 2024

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

• Talk BOB
• 43 min
• 2024-03-15
• 102
• Marco Schneider
BOB Konferenz 2024

Model-Based Testing with QuickCheck

• Talk BOB
• 44 min
• 2024-03-15
• 54
• Arnaud Bailly
BOB Konferenz 2024

Kontrollsoftware für eine Jupitermission der ESA: Ein Erfahrungsbericht

• Talk BOB
• 44 min
• 2024-03-15
• 200
• Oskar Schirmer and Felix Winkelmann
BOB Konferenz 2024

Functional Programming in Swift

• Talk BOB
• 44 min
• 2024-03-15
• 160
• Manuel Chakravarty
BOB Konferenz 2024

Die Starre überwinden - Mit DDD zu geschmeidigem Code

• Talk Talks #2
• 47 min
• 2025-03-14
• 231
• Nicole Rauch and Martin Günther
BOB Konferenz 2025

OOP is dead, long live Object Orientation!

• Talk Talks #2
• 46 min
• 2025-03-14
• 149
• Franz Thoma
BOB Konferenz 2025

A Language Server for your DSL for Fun and Profit

• Talk Talks #1
• 41 min
• 2025-03-14
• 82
• Hannes Siebenhandl
BOB Konferenz 2025

Keynote: Local-first Software

• Talk Talks #1
• 55 min
• 2025-03-14
• 365
• Annette Bieniusa
BOB Konferenz 2025

On Air: „Circular°Bike*“

• WikiPaka
• 27 min
• 2020-12-29
• 143
• Jo
Remote Chaos Experience

Cloud, done the Nix way

• Talk BOB
• 45 min
• 2023-03-17
• 175
• Julian Kirsten Arni
BOB Konferenz 2023

A world to win: WebAssembly for the rest of us

• Talk BOB
• 44 min
• 2023-03-17
• 223
• Andy Wingo
BOB Konferenz 2023

Correct by Construction Concurrent Programs in Idris 2

• Talk Talks #2
• 44 min
• 2025-03-14
• 132
• Guillaume Allais
BOB Konferenz 2025

Safe and Secure Drivers in High-Level Languages

How to write PCIe drivers in Rust, go, C#, Swift, Haskell,…

• 61 min
• 2018-12-29
• 7.0k
• Paul Emmerich, Simon Ellmann and Sebastian Voit
35C3: Refreshing Memories

UNBILD – Pictures and Non-Pictures

Reterritorialisierung und Globalisierung

• 60 min
• 2009-12-27
• 41
• Christoph Faulhaber
26C3: Here be Dragons

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

• Talk BOB
• 35 min
• 2022-03-11
• 97
• Ben Clifford
BOB Konferenz 2022

Tiger kommt: Weglaufen!

• Talk BOB
• 44 min
• 2022-03-11
• 89
• Gernot Starke
BOB Konferenz 2022