seL4 Summit 2020: Systems Beyond POSIX
Vídeos relacionados
47:18
The Tragedy of systemd
45:33
"A Political History of X" - Keith Packard (LCA 2020)
23:09
You Can't Unit Test C, Right?
1:13:11
Zig 2026: No-AI Policy, $670K Foundation, Left GitHub & Why Zig Isn’t 1.0 - Andrew Kelley Explains
26:09
Was Rust In The Linux Kernel A Mistake?
42:11
A Brief History of I/O
48:29
"The Terrifying Longevity of Ideas" - Benno Rice (PyCon AU 2023)
46:54
"Write a single library to handle all input devices, it'll be easy" they said...
44:59
Making C Less Dangerous in the Linux kernel
46:21
FreeBSD, The Other Unix-Like Operating System and Why You Should Get Involved!
13:33
Linux Was Almost Destroyed By This Lawsuit
43:50