The Pragmatism of Hubris

Oxide and Friends Twitter Space: December 13th, 2021The Pragmatism of HubrisWe’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 tweetCliff’s written version of his Hubris talkHubris Fervently Anticipated Questions FAQ[@8:07](https://youtu.be/cypmufnPfLw?t=487) Prehistory of Hubris, Cliff’s storyProject Loon wiki[@14:23](https://youtu.be/cypmufnPfLw?t=863) Did Cliff know what he wanted to build at Oxide?Tock embedded OSQNX 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 thingsRISC-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-upAnd DEF CON talk with Rick Altherr[@32:20](https://youtu.be/cypmufnPfLw?t=1940) Early implementation, journal clubJonathan Shapiro 2003 Vulnerabilities in synchronous IPC designs paperHeiser and Elphinstone’s L4 Microkernels: The Lessons from 20 Years of Research and Deployment paper[@37:20](https://youtu.be/cypmufnPfLw?t=2240) Microkernels. MachL4 microkernel family wikiJochen LiedtkeBryan decides not to go to graduate schoolFuchsia 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 generationSoftware-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 messagesJoe Rozner and Rick Altherr getting Hubris and Humility running on a STM32, tweet from Dec 1, and video ~2hrsIf 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!