LLC 2024 - An adventure with formal verification of Linux kernel code, by Julia Lawall
42:28
LLC 2024 - Challenges and innovations towards safer flexible arrays in the Linux kernel, by Gustavo
29:18
LLC 2024 - Reduce synchronize_rcu() latency, by Uladzislau Rezki
52:53
The Return of Procedural Programming - Richard Feldman
3:07:40
Watch Linux kernel developer write a USB driver from scratch in just 3h for Apple Xserve front-panel
52:55
LLC 2024 - The Memory Tagging Extension MTE for ARM AArch64, by Linus Walleij
1:22:02
Peter Shor (MIT): 2024 UW Public Lecture in Quantum Science and Engineering
24:02
AMD's CEO Wants to Chip Away at Nvidia's Lead | The Circuit with Emily Chang
58:20