Search for "Jean" returned 1433 results

Recursive Definitions in Lean
43 min

Recursive Definitions in Lean

GNU Taler is live! What does that mean?
31 min

GNU Taler is live! What does that mean?

Gipfelstürmer, 12 Fragen zu G20 an Jan Van Aken
8 min

Gipfelstürmer, 12 Fragen zu G20 an Jan Van Aken

Linux Networking - eBPF, XDP, DPDK, VPP - What does all that mean?
31 min

Linux Networking - eBPF, XDP, DPDK, VPP - What does all that mean?

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

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

Why does 🍕 mean "I love you" : The ways that we use and misuse emoji
31 min

Why does 🍕 mean "I love you" : The ways that we use and misuse emoji

What does "make opensource ecosystem secure one audit at time" mean (for you and for me)?
26 min

What does "make opensource ecosystem secure one audit at time" mean (for you and for me)?

Tales from a SUSE Security Engineer's Diary

Low Cost Non-Invasive Biomedical Imaging
35 min

Low Cost Non-Invasive Biomedical Imaging

An Open Electrical Impedance Tomography Project

Correctiv-Recherche "Geheimplan gegen Deutschland"
44 min

Correctiv-Recherche "Geheimplan gegen Deutschland"

1 Jahr danach

Libre Workspace: Cloud für Zuhause und kleine Unternehmen
51 min

Libre Workspace: Cloud für Zuhause und kleine Unternehmen

Passive and active RADAR using Software Defined Radio
48 min

Passive and active RADAR using Software Defined Radio

The "O" in OT
37 min

The "O" in OT

Über den LPD
25 min

Über den LPD

Erstellung von Videos – Vom Konzept zum fertigen Tutorial
46 min

Erstellung von Videos – Vom Konzept zum fertigen Tutorial

Wikidata as the future of cultural heritage data − for Wiki Loves Monuments and beyond
31 min

Wikidata as the future of cultural heritage data − for Wiki Loves Monuments and beyond

Laptops & Tablets manufactured to run a pure GNOME
22 min

Laptops & Tablets manufactured to run a pure GNOME

Keynote
40 min

Keynote

Linux-Assistant – Ein Begleiter für den Alltag auf Linux
53 min

Linux-Assistant – Ein Begleiter für den Alltag auf Linux

ossia score live jam and talk
40 min

ossia score live jam and talk

LDraw: computer-aided design for serious LEGO fans
59 min

LDraw: computer-aided design for serious LEGO fans

Anatomie eines Malware-Droppers: Emotet in der Praxis
56 min

Anatomie eines Malware-Droppers: Emotet in der Praxis

Open Source is no longer just for software:
28 min

Open Source is no longer just for software:

Why the community needs open source hardware to ensure…

24 Monate Immutable Desktop – Ein Erfahrungsbericht
47 min

24 Monate Immutable Desktop – Ein Erfahrungsbericht

Safecast: DIY and citizen-sensing of radiation
49 min

Safecast: DIY and citizen-sensing of radiation

Empowering citizen in the wake of Fukushima triple-meltdown…

Website releases made easy with the PEAR installer
58 min

Website releases made easy with the PEAR installer