/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

 www.pilawa.org
BYTEC/16 - Relocatable objects
| | kuruczgy.com
Porting Lean to the ESP32-C3 RISC-V microcontroller
3.2 parsecs away

Travel
| | [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.
| | binarydodo.wordpress.com
Symbol binding types in ELF and their effect on linking of relocatable files - Binary Dodo
3.7 parsecs away

Travel
| | You might want to complement the reading of this article with another related article:Investigating linking with COMMON symbols in ELF I use GCC 4.8.5 in the examples of this article. General classification of symbols Symbols can be classified into different categories, which determines in which section they are found in an ELF file: Defined symbols...
| | eli.thegreenplace.net
Load-time relocation of shared libraries - Eli Bendersky's website
4.2 parsecs away

Travel
| |
| | www.akkadia.org
Static Linking Considered Harmful
23.9 parsecs away

Travel
| [AI summary] The article argues that dynamic linking is superior to static linking due to benefits in security, memory efficiency, and functionality, concluding that developers should never use static linking.