Compiling C to Safe #RustLang: "we present a formal translation of a subset of C, dubbed Mini-C, to safe Rust"
Here's how Apache #NuttX RTOS is running Continuous Integration with GitHub Actions ... And why some Pull Requests might trigger 1,594 NuttX Builds!
Let's Emulate Ubuntu x64 on macOS Arm64 ... With UTM Emulator, very slooooowly
Article: https://lupyuen.org/articles/ci.html#utm-emulator-for-macos-arm64
Boxes.py: Open-source Box Generator (Laser Cutting)
"Deep Dream: Science Fiction Exploring the Future of Art"
Self-Hosted GitHub Runners will work on macOS Arm64 ... But #NuttX Continuous Integration requires Docker x64
Article: https://lupyuen.org/articles/ci.html#fetch-source-on-macos-arm64
Git Bisecting a bug in Apache #NuttX RTOS ... Happy New Year! 🎉
Blocking the pesky WordPress Malware Bots 😬
Source: https://lupyuen.org/articles/mastodon.html#appendix-backup-our-mastodon-server
Self-Hosted GitHub Runners will work for Apache #NuttX Builds ... But kinda slow
Article: https://lupyuen.org/articles/ci.html#running-the-runners
"Please refrain from installing WASP-OS on New #PineTime for the moment"
https://pine64.org/2024/12/29/please-refrain-from-installing-waspos-on-new-pinetimes-for-the-moment/
Weekly GNU-like #MobileLinux Update (52/2024): The Last One of the Year
https://linmob.net/weekly-update-52-2024/
With: #postmarketOS 24.12, #Danctnix, #UbuntuTouch, # SailfishOS, #Sxmo, #Megapixels and more #LinuxMobile fun!
Let's experiment with GitHub Self-Hosted Runners ... To understand what happens inside Apache #NuttX Continuous Integration
Article: https://lupyuen.org/articles/ci.html#self-hosted-runners
"The Great Transformation: China's Road from Revolution to Reform"
Apache #NuttX RTOS has 1,594 Targets across Arm, RISC-V, Xtensa, x64, ... Making sure they compile correctly? Gets super tricky
Article: https://lupyuen.org/articles/ci.html#one-thousand-build-targets
IoT Techie and Educator / Apache NuttX PMC