Explore >> Select a destination
|
You are here 
|
sinrega.org | ||
| | | | |
sergioprado.blog
|
|
| | | | | This is the second part of the article about embedded Linux security. | |
| | | | |
kuruczgy.com
|
|
| | | | | [AI summary] The article discusses the author's experience of running Lean, a pure functional programming language, on an ESP32 microcontroller for a project involving LED control. Despite Lean's purity, the author utilized its monadic features to handle impure operations like GPIO manipulation and delays. The project involved significant optimizations, including custom bit-banging for the WS2812 LED protocol and reducing code size through various techniques. The author also outlines future directions for the project, including potential improvements in compilation, hardware support, and further optimizations. | |
| | | | |
paulbutler.org
|
|
| | | | | [AI summary] The post discusses the current state and challenges of embedding WebAssembly outside of browsers, focusing on runtime choices, memory management, and interface design for applications like real-time multiplayer games. | |
| | | | |
blog.ysndr.de
|
|
| | | Migrating to Nix Flakes, why, how and what are Flakes in the first place | ||
