Search for "Andy Vine"

Getting software right with properties, generated tests, and proofs

Evolve your hack into robust software!

• Resilience & Sustainability Main
• 62 min
• 2019-12-29
• 1363
• Mike Sperber

A Guided Tour of Machinery

• 55 min
• 2016-06-24
• 51
• Mauro Morales

RP2040 PIO Emulator as DevTool

• Hardware & Making gulaschprogrammiernacht
• 29 min
• 2022-05-20
• 250
• Jürgen Reuter

Starkregengefahrenhinweiskarten für Niedersachsen/Schleswig-Holstein/HB und Hamburg

• Praxisberichte
• 25 min
• 2024-03-20
• 223
• Barbara Werth and Uwe Ross

Analysis Ready Fernerkundungsdaten erzeugen mit FORCE

• Rasterdaten und Fernerkundung
• 18 min
• 2023-03-16
• 72
• David Frantz, Stefan Ernst, Benjamin Jakimow and Patrick Hostert

Boeing 737MAX: Automated Crashes

Underestimating the dangers of designing a protection system

• Science Main
• 60 min
• 2019-12-29
• 26603
• Bernd Sieker

An Enigma Machine in Elm

• Talk BOB
• 38 min
• 2022-03-11
• 31
• Ju Liu

The ZAD 5 years after the 'victory', told by those who refused to bow to the state.

• 106 min
• 2023-07-19
• 40
• St-Imier 2023 and Workshops

Packaging Rust Applications for Arch Linux

• archlinux archconf2020
• 19 min
• 2020-10-10
• 309
• Orhun Parmaksız

SAGA GIS 7.3 - new LTR

• General
• 21 min
• 2019-08-28
• 97
• Johan Van de Wauw

The Joy of Intellectual Vampirism

Mindfucking with Shared Information

• 40 min
• 2011-08-13
• 69
• Christiane Ruetten

Inbuilt Musicality

• 124 min
• 2018-06-08
• 297
• Hermann Voßeler

An Introduction to ZFS

A Solid Foundation for Your Data

• 78 min
• 2016-05-28
• 633
• problame

Rock' em Graphic Cards

Introduction to Heterogeneous Parallel Programming

• 56 min
• 2013-12-27
• 191
• mel/ Agnes Meyder

Schnaps Hacking

from apple to schnaps -- a complete diy-toolchain

• 38 min
• 2017-12-29
• 2323
• Nero Lapislucis and sir wombat

roundworm: A simple frontend for browsing pictures and videos stored in S3 storage

• 8 min
• 2022-08-07
• 49
• Niels G. W. Serup

Bits & Bäume Abschlussveranstaltung: Digitalisierung zukunftsfähig und nachhaltig…

• Bits & Bäume Core
• 60 min
• 2022-10-02
• 263

ECCHacks

A gentle introduction to elliptic-curve cryptography

• 55 min
• 2014-12-27
• 14852
• djb and Tanja Lange

Pydantic Configuration Management with ConfZ

• Main
• 22 min
• 2022-09-22
• 42
• Silvan Melchior

DNS

A distributed directory that runs the Internet

• Open Source
• 26 min
• 2022-06-03
• 31
• Adam Majer

Hardening hardware and choosing a #goodBIOS

Clean boot every boot - rejecting persistence of malicious…

• 47 min
• 2013-12-27
• 2914
• Peter Stuge

Nature defending itself part 2: PERSISTING

• 69 min
• 2019-06-29
• 161
• Free the Soil (DK) * Reclaim the Power (UK) * Ende Gelände (D)

Offline Repression is Replicated Online

• 16 min
• 2018-09-21
• 122
• Jillian C. York

Is there really a THEM?

• 40 min
• 2018-06-27
• 83
• Ben Yeger

Having a good time with Python and Pocket Science Lab

• Hardware
• 5 min
• 2023-12-28
• 380
• Alex Bessman