/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

hubris.oxide.computer
| | 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.
4.4 parsecs

Travel
| |
| | gamozolabs.github.io


4.6 parsecs

Travel
| |
| | lwn.net


2.9 parsecs

Travel
| |
| | www.jmeiners.com

[AI summary] The provided text outlines the development of an LC-3 virtual machine (VM) in C, including the implementation of various instructions, memory operations, and input/output handling. It also discusses an advanced C++ approach using templates and bitwise flags to reduce code duplication and improve efficiency. The text covers topics like instruction decoding, memory addressing, flag handling, and platform-specific input buffering. Additionally, it references contributions from the community and mentions GitHub tags for organizing implementations in different languages.
25.5 parsecs

Travel
|