Search for "Math"

Intro to Lean 4: A language at the intersection of programming and mathematics

• Science
• 60 min
• 2024-05-31
• 525
• Kiiya

Guardians of the Dutch healthcare

• MCH2022 Curated content
• 26 min
• 2022-07-26
• 100
• NelusTheNerd

Hikar - OSM Augmented Reality for Walkers across Europe

• Software Development StateoftheMap
• 27 min
• 2019-09-21
• 147
• Nick Whitelegg

Wikidata/Commons contribution strategies for GLAM organizations

• 45 min
• 2019-10-25
• 117
• Andrew Lih

oomd2 and beyond: a year of improvements

• 21 min
• 2019-09-21
• 225
• Daniel Xu and Anita Zhang

A debugger from scratch

• 31 min
• 2018-09-28
• 223
• Liz Rice

AI and the End of the World

(as we know it)

• 54 min
• 2018-08-25
• 203
• Jeremias Rößler

library operating systems

reject the default reality^W abstractions and substitute…

• 32 min
• 2017-12-30
• 755
• Mindy Preston

Sense without sight: a crash course on #BlindNavigation

• 59 min
• 2018-12-28
• 502
• Sai

Hacken Dicht

Die Aftershow-Party

• Entertainment
• 53 min
• 2023-08-18
• 486

Collection and use of data about entrances of buildings

• Software Development OSM
• 34 min
• 2021-07-10
• 28
• Tuukka Hastrup and Johan Lindqvist

Automated derivation of public urban green spaces via activity-related barriers using…

• OSM OpenStreetMap
• 26 min
• 2022-08-21
• 46
• Theodor Rieche

What to do when someone close to you takes their life and you are not Tech-Savvy

• MCH2022 Curated content
• 33 min
• 2022-07-26
• 280
• Jilles Groenendijk and Jurre Groenendijk

The smart home I didn't ask for

• MCH2022 Curated content
• 31 min
• 2022-07-23
• 753
• Nils Amiet

eBPF Data Collection for Everyone – empowering the community to obtain Linux insights…

• 2024 Day 1
• 32 min
• 2024-09-25
• 50
• Alban Crequy and Michael Friese

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

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

SageMath Examples from the CrypTool Book

50% Talk 50% Live-Session to try out some code yourself

• Security
• 57 min
• 2022-08-21
• 89
• Doris Behrendt

London Underground open data: much more than you ever wanted to know

• 27 min
• 2022-06-05
• 197
• eta

Rust Binary Analysis, Feature by Feature

• Security
• 42 min
• 2023-12-28
• 3766
• Ben H

Yum Repo Server 2.0: Scale Out Yum Repositories

• 24 min
• 2013-05-23
• 61
• Sebastian Herold (Immobilienscout24)

BGP Analytics with OpenConfig Telemetry and gRPC

• 35 min
• 2019-11-11
• 167
• Peter Sievers

A Failure Enthusiast

• 24 min
• 2018-09-01
• 67
• John Thurmond

card10 Badge

• 31 min
• 2019-08-21
• 2230
• card10-Team

The Layman's Guide to Zero-Day Engineering

A demystification of the exploit development lifecycle

• 57 min
• 2018-12-28
• 2760
• Markus Gaasedelen and Amy (itszn)

Fake 10Gb until you make 10Gb

• Milliways
• 37 min
• 2023-08-16
• 822
• equinox