Byron Wasti
- Performance Pitfalls of Async Function Pointers (and Why It Might Not Matter)
- Prusto Watch #4: A Retrospective
- Prusto Watch #3: Learning How to Properly Debug Arm
- Prusto Watch #2: Basic Driver Support
- Writing A Rust Driver for the RN4870 BLE Module
- Prusto Watch #1: First Steps into Arm and Embedded Rust
- Prusto Watch #0: Design & Goals of the Project