Scheduling
11. März 2021
with Michael Roitzsch
State of Hardware 2020
24. Dezember 2020
with Werner Haas
HelenOS
15. September 2020
with Martin Decky
Formal Methods
10. August 2020
with Marius Melzer
Intel SGX
23. Juni 2020
with Jo Van Bulck
L4 and L4Re
09. Mai 2020
with Michael Hohmuth
Contact Tracing Apps
23. April 2020
with Michael Roitzsch
Sustainability
01. März 2020
with Michael Engel
Show Notes and Links
Flo and Julian talk with Michael Engel who went from teaching operating systems fundamentals in Germany to researching sustainability at the NTNU in Norway.
- Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly.
- Send feedback to podcast@ukvly.org or via Twitter.
Resources
- Dirty ships
- Plea for a Holistic Analysis of the Relationship between Information Technology and Carbon-Dioxide Emissions
- emscripten
- Fabrice Bellard’s x86 emulator written in JavaScript
- Purism, makers of the Librem laptops and the [Librem 5 phone](https://puri.sm/products/librem-5/
- Openmoko
- Michael Engel’s blog
- Project Oberon: The Design of an Operating System and Compiler by Niklaus Wirth
- Plea for Lean Software by Niklaus Wirth
- School of Niklaus Wirth
- Computer Latency 1977-2007
- Oberon FPGA-system
- DIGITAL FX!32:Combining Emulation and Binary Translation
