/explore
|
You are here 
|
yosefk.com | ||
| | | | |
www.technovelty.org
|
|
| | | | | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
dcreager.net
[AI summary] This technical guide explains the complexities of versioning shared libraries in C and C++, covering semantic versioning, the distinction between source APIs and binary ABIs, libtool versioning rules, and filename conventions across different build systems. |
|
| | | | | ||
| | | | |
hernan.de
When I heard about the emergency disclosure of CVE-2019-2215 by Project Zero, I decided to replicate the exploit on my local device to see it in action. I so... |
|
| | | |||
