Explore >> Select a destination
|
You are here 
|
iosoft.blog | ||
| | | | |
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. | |
| | | | |
membarrier.wordpress.com
|
|
| | | | | For the last 6 years I have been running on a NordicTrack C1750 treadmill. This is a great machine: sturdy, powerful, quiet and has an amazing ventilation system. Its weak point is the software: buggy, slow to boot and, worst of all, with basic features (such as customized programs) blocked behind a monthly iFit subscription.... | |
| | | | |
projects.drogon.net
|
|
| | | | | Page about my Arduino compatable Wiring library for the Raspberry Pi | |
| | | | |
medo64.com
|
|
| | | Making basic systemd service is easy. Let's assume the simplest application (not necessarily even designed to be a service) and look into making it work with systemd. Our example application will be a script in /opt/test/application with the following... | ||
