Search for "$1" returned 10000 results

Who cares about codensity monads?
28 min

Who cares about codensity monads?

The Road from Circuits to Category Theory
34 min

The Road from Circuits to Category Theory

Category theory, formalised humanely
64 min

Category theory, formalised humanely

Unfair Algorithmic Practices
52 min

Unfair Algorithmic Practices

Lightning Talks
36 min

Lightning Talks

An Introduction to Automated Software Testing using Symbolic Execution
61 min

An Introduction to Automated Software Testing using Symbolic Execution

AGI will take your job, your hobbies, your partner(s) and your pets (probably)
56 min

AGI will take your job, your hobbies, your partner(s) and your pets (probably)

Centralized Ansible Automation with Foreman Ansible Director
31 min

Centralized Ansible Automation with Foreman Ansible Director

Realize the Potential of OpenVox – with LinuxAid
14 min

Realize the Potential of OpenVox – with LinuxAid

What Is Documentation? How Is Documentation Created in Vox Pupuli?
29 min

What Is Documentation? How Is Documentation Created in Vox Pupuli?

OpenVox Operator - Puppet Infrastructure as Kubernetes CRDs
31 min

OpenVox Operator - Puppet Infrastructure as Kubernetes CRDs

Automated Observability with Puppet in a Zero-Trust Environment
31 min

Automated Observability with Puppet in a Zero-Trust Environment

What’s New in OpenVox 9?
21 min

What’s New in OpenVox 9?

Migrating to OpenVox at CERN
27 min

Migrating to OpenVox at CERN

Migrating to OpenVox at INFN Naples
17 min

Migrating to OpenVox at INFN Naples

Opening: OpenVox/Puppets History
8 min

Opening: OpenVox/Puppets History

Analysis of OpenStreetMap data quality at different stages of a participatory mapping process: Evidence from informal urban settings
28 min

Analysis of OpenStreetMap data quality at different stages of a participatory mapping…

Safe and Secure Drivers in High-Level Languages
61 min

Safe and Secure Drivers in High-Level Languages

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

Sense without sight: a crash course on #BlindNavigation
59 min

Sense without sight: a crash course on #BlindNavigation

Bits for SDG
29 min

Bits for SDG

Eine Digitale Agenda 2030 für die SDG!

Coló_n_bia and the war on drugs. Between leaves and lines.
45 min

Coló_n_bia and the war on drugs. Between leaves and lines.

Jenseits von Staat und Patriarchat
52 min

Jenseits von Staat und Patriarchat

No Border Lasts Forever
27 min

No Border Lasts Forever

Wahlen in MV
61 min

Wahlen in MV

Tapping für überforderte Nervensysteme und wilde Herzen
58 min

Tapping für überforderte Nervensysteme und wilde Herzen