/explore
|
You are here 
|
lupyuen.org | ||
| | | | |
andybrown.me.uk
|
|
| | | | | ||
| | | | |
blog.thea.codes
A deep look into the black magic that is linker scripts. |
|
| | | | | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
brianreiter.org
Normally, the macOS Terminal.app title bar includes the current directory name. When you connect to a remote host with openssh on macOS, the title bar gets updated to be "$(whoami)@$(hostname): $(pwd)" instead. Unfortunately when you exit ssh, the terminal title bar is not restored and continues to say you are on a remote host. Once... |
|
| | | |||
