The Pragmatism of Hubris

Oxide and Friends Twitter Space: December 13th, 2021

The Pragmatism of Hubris

We’ve been holding a Twitter Space weekly on Mondays at 5p for about an hour. Even though it’s not (yet?) a feature of Twitter Spaces, we have been recording them all; here is the recording for our Twitter Space for December 13th, 2021.

In addition to Bryan Cantrill and Adam Leventhal, speakers on December 13th included special guests Cliff Biffle and Steve Klabnik as well as Laura Abbott, Rick Altherr, James Tucker, Simeon Miteff and MattSci. (Did we miss your name and/or get it wrong? Drop a PR!)

Some of the topics we hit on, in the order that we hit them:

• Hubris and Humility context tweet • Cliff’s written version • of his Hubris talk • Hubris Fervently Anticipated Questions FAQ • [@8:07](https://youtu.be/cypmufnPfLw?t=487) Prehistory of Hubris, Cliff’s story • Project Loon wiki • [@14:23](https://youtu.be/cypmufnPfLw?t=863) Did Cliff know what he wanted to build at Oxide? Tock • embedded OS QNX • Unix-like real-time OS • [@17:55](https://youtu.be/cypmufnPfLw?t=1075) Laura on evaluating existing OS options • [@22:03](https://youtu.be/cypmufnPfLw?t=1323) Alignment of values and goals with other projects • Bryan’s 2017 Platform as a Reflection of Values • video • ~30mins • [@25:00](https://youtu.be/cypmufnPfLw?t=1500) Steve: convincing low-level people that they are allowed to have nice things • RISC-V ROPI/RWPI Specification (Embedded PIC) • Position-independent code wiki • [@28:59](https://youtu.be/cypmufnPfLw?t=1739) Secure FPGAs? • Laura Abbott’s Exploiting Undocumented Hardware Blocks in the LPC55S69 • write-up • And DEF CON talk • with Rick Altherr • [@32:20](https://youtu.be/cypmufnPfLw?t=1940) Early implementation, journal club • Jonathan Shapiro 2003 Vulnerabilities in synchronous IPC designs • paper • Heiser and Elphinstone’s L4 Microkernels: The Lessons from 20 Years of Research and Deployment • paper • [@37:20](https://youtu.be/cypmufnPfLw?t=2240) Microkernels. Mach • L4 microkernel family wikiJochen Liedtke • Bryan decides not to go to graduate school Fuchsia • OS • [@51:09](https://youtu.be/cypmufnPfLw?t=3069) Origin of Humility. Debugging TockilatorSemihosting • [@1:03:15](https://youtu.be/cypmufnPfLw?t=3795) Archive files, self-descriptive binaries, debugging • [@1:10:33](https://youtu.be/cypmufnPfLw?t=4233) CORRECTION • Windows does • have a package manager: Windows Package Manager • was released May 13, 2020 • [@1:14:15](https://youtu.be/cypmufnPfLw?t=4455) Build tools and build systems cargo xtask • [@1:18:59](https://youtu.be/cypmufnPfLw?t=4739) DWARF Ada • language • [@1:25:01](https://youtu.be/cypmufnPfLw?t=5101) Tock: Rust kernel, C userspace IDLOzymandias • [@1:32:28](https://youtu.be/cypmufnPfLw?t=5548) build.rs • build scripts • Simeon’s story, code generation • Software-hardware codesign • [@1:52:14](https://youtu.be/cypmufnPfLw?t=6734) Conway’s law • [@1:54:30](https://youtu.be/cypmufnPfLw?t=6870) Diagnosing problems, failing tasks, formatting error messages • Joe Rozner and Rick Altherr getting Hubris and Humility running on a STM32, tweet • from Dec 1, and video • ~2hrs

If we got something wrong or missed something, please file a PR! Our next Twitter space will likely be on Monday at 5p Pacific Time; stay tuned to our Twitter feeds for details. We’d love to have you join us, as we always love to hear from new speakers!