11 episodes

Syslog podcast@ukvly.org ()

- Technology

Flo and Julian talk to their guests about engineering microkernels, operating systems and the community around these technologies.

- 10 MAR 2021
Scheduling - with Michael Roitzsch

Scheduling - with Michael Roitzsch

with Michael Roitzsch
- 1 hr 33 min
- 23 DEC 2020
State of Hardware 2020 - with Werner Haas

State of Hardware 2020 - with Werner Haas

with Werner Haas
- 1 hr 21 min
- 14 SEPT 2020
HelenOS - with Martin Decky

HelenOS - with Martin Decky

with Martin Decky
- 1 hr
- 9 AUG 2020
Formal Methods - with Marius Melzer

Formal Methods - with Marius Melzer

with Marius Melzer
- 1 hr 4 min
- 22 JUN 2020
Intel SGX - with Jo Van Bulck

Intel SGX - with Jo Van Bulck

with Jo Van Bulck
- 1 hr 15 min
- 8 MAY 2020
L4 and L4Re - with Michael Hohmuth

L4 and L4Re - with Michael Hohmuth

with Michael Hohmuth
- 56 min

All-In with Chamath, Jason, Sacks & Friedberg

All-In with Chamath, Jason, Sacks & Friedberg

All-In Podcast, LLC

Lex Fridman Podcast

Lex Fridman Podcast

Waveform: The MKBHD Podcast

Waveform: The MKBHD Podcast

Vox Media Podcast Network

X-Raid Podcast

TED Radio Hour

Tech Lead Journal

Tech Lead Journal

Henry Suryawirawan