Embedded

Logical Elegance

I am Elecia White alongside Christopher White. We’re here to chat about the interests, careers, and lives of engineers, artists, educators and makers. Our diverse guest list includes names you may have heard and engineers working quietly in the trenches. Either way, they are knowledgeable, enthusiastic, and inspiring. We’d love to share our enthusiasm for science, technology, engineering, art, and math (STEAM). read less
TechnologyTechnology

Episodes

477: One Thousand New Instructions
May 16 2024
477: One Thousand New Instructions
Kwabena Agyeman joined Chris and Elecia to talk about optimization, cameras, machine learning, and vision systems.  Kwabena is the head of OpenMV (openmv.io), an open source and open hardware system that runs machine learning algorithms on vision data. It uses MicroPython as a development environment so getting started is easy.  Their github repositories are under github.com/openmv. You can find some of the SIMD details we talked about on the show: 150% faster: openmv/src/omv/imlib/binary.c 1000% faster: openmv/src/omv/imlib/filter.c Double Pumping: openmv/src/omv/modules/py_tv.c   Kwabena has been creating a spreadsheet of different algorithms in camera frames per second (FPS) for Arm processors: Performance Benchmarks - Google Sheets. As time moves on, it will grow. Note: this is a link on the OpenMV website under About. When M55 stuff hits the market expect 4-8x speed gains. The OpenMV YouTube channel is also a good place to get more information about the system (and vision algorithms). Kwabena spoke with us about (the beginnings of) OpenMV on Embedded 212: You Are in Seaworld. Transcript Elecia is giving a free talk for O'Reilly to advertise her Making Embedded Systems, 2nd Edition book. The talk will be an introduction to embedded systems, geared towards software engineers who are suddenly holding a device and want to program it. The talk is May 23, 2024 at 9:00 AM PDT. Sign up here. A video will be available afterward for folks who sign up.
474: It's All Chaos and Horror
Apr 5 2024
474: It's All Chaos and Horror
Logic gates and origami? Professor Inna Zakharevich joined us to talk about Turing complete origami crease patterns.  We started talking about Turing completeness which led to a Conway’s Game of Life-like 2D cellular automaton called Rule 110 (Wikipedia) which can be implemented with logic gates (AND, OR, NOT). These logic gates can be implemented as creases in paper (with the direction of the crease indicating 0 or 1).  The paper describing the proof is called Flat Origami is Turing Complete (arxiv and PDF). Quanta Magazine has a summary article: How to Build an Origami Computer. Inna’s page at Cornell University also has the crease patterns for the logic gates (pdf). Inna is an aficionado of the origami work by Satoshi Kamiya who creates complex and lifelike patterns.  Some other origami mentioned: Origami Stegosaurus by John Montroll YouTube Folding video (Part 1 of 3) Ilan Garibi’s Pineapple Tessellation (PDF instructions) Eric Gjerde Spread Hex Origami Tessellation (This also has the equilateral triangle grid needed to fold Inna’s gate logic) Peter Engel Amanda Ghassaei’s Origami Simulator (Mooser’s is under Examples->Origami) Some other math mentioned: Veritasium’s Math's Fundamental Flaw talks about Goerthe’s Incompleteness Theorem Physical Logic Game: Turing Tumble - Build Marble-Powered Computers Mathematics of Paper Folding (Wikipedia) Transcript Memfault is making software the most reliable part of the IoT with its device reliability platform that enables teams to be more proactive with remote debugging, monitoring and OTA update capabilities. Try Memfault's new sandbox demo at demo.memfault.com. Embedded.fm listeners receive 25% off their first-year contract with Memfault by booking a demo here: https://go.memfault.com/demo-request-embedded
473: Math Is Not the Answer
Mar 21 2024
473: Math Is Not the Answer
Philip Koopman joined us to talk about how modulo 255 vs 256 makes a huge difference in checksum error detection, how to get the most out of your checksum or CRC, and why understanding how they work is worth the effort. Philip has recently published Understanding Checksums and Cyclic Redundancy Checks. He’s better known for Better Embedded System Software as well as his two books about safety and autonomous vehicles: The UL 4600 Guidebook: What to Include in an Autonomous Vehicle Safety Case How Safe Is Safe Enough?: Measuring and Predicting Autonomous Vehicle Safety Phil’s YouTube page has a number of videos with great visuals to go along with his books. He also has three(!) blogs: Safe Autonomy  Better Embedded System SW Checksum and CRC Central (including a post on checksum speed comparison) Currently, Phil is a professor at Carnegie Mellon University (his page there). You can follow him on LinkedIn.  Elecia read (and give 2.5 stars to) Symmetry: A Journey into the Patterns of Nature by Marcus du Sautoy: “Interesting but uneven, I kept reading to find out what horrible things math profs do to their children in the name of fun. Worth it when I finally got to a small section with Claude Shannon (and Richard Hamming). It didn’t help with this podcast but it was neat.” Transcript Nordic Semiconductor empowers wireless innovation, by providing hardware, software, tools and services that allow developers to create the IoT products of tomorrow. Learn more about Nordic Semiconductor at nordicsemi.com, check out the DevAcademy at academy.nordicsemi.com and interact with the Nordic Devzone community at devzone.nordicsemi.com.