Search for "kay" returned 4017 results

Getting software right with properties, generated tests, and proofs

Evolve your hack into robust software!

• Resilience & Sustainability Main
• 62 min
• 2019-12-29
• 1.4k
• Mike Sperber
36C3: Resource Exhaustion

Wikidata for Emerging Communities & knowledge gaps

• 26 min
• 2019-10-25
• 44
• SGill (WMF) and Bodhisattwa
WikidataCon 2019

The SPARQL Unicorn Ontology documentation: Exposing RDF geodata using static GeoAPIs

• Daten, Datenbanken und Datenprozessierung
• 19 min
• 2024-03-20
• 83
• Florian Thiery and Timo Homburg
FOSSGIS 2024

Uncaging Microchips

Techniques for Chip Preparation

• 61 min
• 2014-12-28
• 7.3k
• Peter Laackmann and Marcus Janke
31C3: a new dawn

How to Route a Package to Mars

• NORTx
• 22 min
• 2023-08-17
• 294
• Johann A. Schöpfer
Chaos Communication Camp 2023

To Protect And Infect

The militarization of the Internet

• 45 min
• 2013-12-29
• 1.5k
• Claudio Guarnieri and Morgan Marquis-Boire
30C3

Explaining Online US Political Advertising

• 61 min
• 2018-12-28
• 474
• Damon McCoy
35C3: Refreshing Memories

TrustMeRelay? Investigating Apple's iCloud Private Relay

• Milliways
• 45 min
• 2023-08-17
• 1.2k
• Heiko Kiesel
Chaos Communication Camp 2023

The Critical Making Movement

How using critical thinking in technological practice can…

• 60 min
• 2018-12-29
• 582
• Regina M. Sipos, Saad Chinoy and Ricardo Ruiz
35C3: Refreshing Memories

Hacking as Artistic Practice

!Mediengruppe Bitnik about their recent works

• 33 min
• 2013-12-28
• 337
• !Mediengruppe Bitnik and !Mediengruppe Bitnik
30C3

The Coronavirus Structural Task Force

• PaNdEmIe
• 75 min
• 2021-12-27
• 390
• Andrea Thorn
rC3 NOWHERE

Participatory Budgeting & Mapping with citizens and government

• Mapping
• 38 min
• 2020-07-04
• 32
• Lucy Fondo and Erica Hagen
State of the Map 2020

An introduction to Firmware Analysis

Techniques - Tools - Tricks

• 40 min
• 2013-12-27
• 795
• Stefan Widmann
30C3

Lightning talks #1

• 51 min
• 2019-10-25
• 96
WikidataCon 2019

Bringing Validation to Users: Integrating Quality Assurance Checks into Map Editors

• Software Development StateoftheMap
• 25 min
• 2019-09-22
• 43
• Matthew Gibb and Clarisse Abalos
State of the Map 2019

Open data in health-geomatics: mapping and evaluating publicly accessible defibrillators

• Academic
• 21 min
• 2019-08-29
• 17
• Maria Brovelli, Guido Francesco Villa, Andrea Pagliosa, Piero Brambilla, Enrico Gianluca Caiani and Lorenzo Gianquintieri
FOSS4G 2019

Inter-comparison of the Global Land Cover Maps in Africa Suplemented by Spatial…

• Academic
• 21 min
• 2019-08-28
• 40
• Maria Brovelli, Daniele Oxoli and Gorica Bratic
FOSS4G 2019

Als Netzaktivistin im Bundestag – Insider Einblicke und Mitmachmöglichkeiten

• 59 min
• 2019-08-22
• 452
• Anke Domscheit-Berg
Chaos Communication Camp 2019

MicroPython – Python for Microcontrollers

How high-level scripting languages make your hardware…

• 41 min
• 2018-12-29
• 2.8k
• Christine Spindler
35C3: Refreshing Memories

Maker Spaces in Favelas - Lecture

Engaging social innovation and social innovators

• 46 min
• 2015-12-28
• 2.4k
• Miguel Chaves
32C3: gated communities

Watching the changing Earth

warning: gravity ahead

• 33 min
• 2017-12-27
• 3.0k
• manuel
34C3: TUWAT

Sysadmins of the world, unite!

a call to resistance

• 31 min
• 2013-12-29
• 2.0k
• Julian Assange and Jacob
30C3

Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes

• Fundamentals
• 69 min
• 2021-12-28
• 246
• Rajeev Gore
rC3 NOWHERE

The continued erosion of International law and human rights under a global pandemic

• WikiPaka
• 62 min
• 2020-12-28
• 134
• Robert Tibbo
Remote Chaos Experience

Finding Vulnerabilities in Internet-Connected Devices

A Beginner’s Guide

• Security
• 47 min
• 2023-12-29
• 5.3k
• Pascal Zenker and Christoph Wolff
37C3: Unlocked