Search for person "Adam Chlipala"

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware…

• 61 min
• 2017-12-29
• 3950
• Adam Chlipala

Data Mining the Israeli Census

Insights into a publicly available registry

• 26 min
• 2011-12-28
• 98
• Yuval Adam

High Altitude Ballooning

• 38 min
• 2014-08-29
• 10
• Adam Greig

Tor is Peace, Software Freedom is Slavery, Wikipedia is Truth

The political philosophy of the Internet

• 64 min
• 2010-12-30
• 123
• Adam

Web asset security

and how to verify that Javascript before you trust your…

• New Technologies
• 26 min
• 2022-06-03
• 13
• Adam Majer

Spatial Reference Systems Transformations with Boost.Geometry

• General
• 21 min
• 2019-08-29
• 60
• Adam Wulkiewicz

DNS

A distributed directory that runs the Internet

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

A Novel Approach to Street-Level Data Collection: Using Customized Bajaji (tricycle) and…

• sotm2024 Mapping
• 23 min
• 2024-09-06
• 24
• benedcto adam

BioInformaticsHack

• Zürich Bitwäscherei Bitwaescherei
• 41 min
• 2020-12-28
• 101
• Adam Zaretzky

Slideshow karaoke

• 19 min
• 2019-05-19
• 55
• Adam Samalik

Exploiting PDAL + Entwine in the wild

• General
• 23 min
• 2019-08-30
• 237
• Adam Steer

Reading politics of the supposedly neutral

• Ethics, Society & Politics WikiPakaWG
• 21 min
• 2019-12-27
• 545
• Adam Wight

Adventures in somatosensory music, body hacking & beyond

• 27 min
• 2018-09-01
• 68
• Chemical Adam

Rust, For Science!

• 16 min
• 2018-11-24
• 358
• Adam Kelly

Full AACSess: Exposing and exploiting AACSv2 UHD DRM for your viewing pleasure

• Security
• 59 min
• 2023-12-29
• 4911
• Adam Batori

Using Wikidata for Author Disambiguation

• 23 min
• 2017-10-28
• 62
• Adam Bannister

Linux distributions, lifecycles, and containers

• 25 min
• 2019-05-18
• 58
• Adam Samalik

Remote Collaboration and Live Performance with Open Source Tools

• web
• 58 min
• 2023-10-07
• 78
• Adam Holquist

Retail Surveillance / Retail Countersurveillance

50 most unwanted retail surveillance technologies / 50 most…

• 33 min
• 2016-12-30
• 5371
• Adam Harvey

How a C/C++ noob ported DOOM to run in Godot using GDExtension

• Talks godot
• 55 min
• 2023-11-04
• 639
• Adam Scott

GPT-3 Powerpoint Karaoke

• 76 min
• 2022-06-04
• 216
• Adam Froggatt and Kate Devlin

Apache Kafka: Lessons learned

Apache Kafka kann manchmal positiv und negativ überraschen.…

• 55 min
• 2018-08-25
• 427
• Andreas Kluth and Holger Adam

Our Time in a Product Review Cabal

And the malware and backdoors that came with it.

• Milliways
• 41 min
• 2023-08-16
• 264
• Adam Schaal and Matt Virus

The Making Of The·Grid

• 25 min
• 2014-08-29
• 4
• Adam Greig & David Turner

Bluetooth Hacking - The State of The Art

A roundup and live demonstrations of all currently known…

• 93 min
• 2005-12-30
• 1760
• Marcel Holtmann, Martin Herfurt and Adam Laurie