{"type":"rich","version":"1.0","provider_name":"Transistor","provider_url":"https://transistor.fm","author_name":"Oxide and Friends","title":"Mr. Leventhal, Come here I want to see you","html":"<iframe width=\"100%\" height=\"180\" frameborder=\"no\" scrolling=\"no\" seamless src=\"https://share.transistor.fm/e/9cba1a23\"></iframe>","width":"100%","height":180,"duration":1865,"description":"Oxide and Friends Twitter Space: May 3, 2021Mr. Leventhal, Come here I want to see youWe’ve been holding a Twitter Space 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 May 3, 2021.In addition to Bryan Cantrill and Adam Leventhal, speakers on May 3rd included Laura Abbott, Nate, Antranig Vartanian, François Baldassari, Tom Killalea, Land Belenky, and Sid?. (Did we miss your name and/or get it wrong? Drop a PR!)Before the recording started, we discussed:2011 Solaris Family Reunion video ~20minsKatie Moussouris’s blog entry on the Clubhouse vulnerabilitiesLaura’s blog entry on the LPC55 vulnerabilityLand pointing us to the Atmega 328p MCU in a BK Medical endorectal probeFrançois on the STM32F103 found in PebbleIntel Management EngineSome of the topics we hit on, in the order that we hit them:ASPEED BMC chip[@1:24](https://youtu.be/h-WSU3kiXVg?t=84) So formal correctness is something that I think we are all very sympathetic with. > It’s very laudable, it’s also very hard.From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? (paper)Who guards the guards? Formal validation of the Arm v8-m architecture specification (paper) > Hardware architecture is an area where formal verification is more tenable, > a level you can readily reason about.Our challenge is how can we satisfy our need for formalism without getting too pedantic about it. You don’t want to lose the forest for the trees. A system we never deliver doesn’t actually improve anyone’s lives, that’s the challenge.[@5:20](https://youtu.be/h-WSU3kiXVg?t=320) Journal club experiencesBootstrapping Trust in Modern Computers (book) > [@9:45](https://youtu.be/h-WSU3kiXVg?t=585) > We’ve tried to build a culture of looking to other work that’s been done. > Not because everything’s been done before, but because you don’t want to have to > relearn something that someone has already...","thumbnail_url":"https://img.transistorcdn.com/cVYTzMGAZ_7gNn2i7iJYSuWlQOM4wHdJAzEuWrnLo9A/rs:fill:0:0:1/w:400/h:400/q:60/mb:500000/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS80OGI3/NjA5NWY4Yjc4NzE0/ZGI5ZmMzZmY4MjFi/YThiYy5wbmc.webp","thumbnail_width":300,"thumbnail_height":300}