/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
Hubris Reference
| | kuruczgy.com
Porting Lean to the ESP32-C3 RISC-V microcontroller
4.4 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.
| | c64os.com
Timers, One More Time | C64 OS
3.9 parsecs away

Travel
| |
| | lwn.net
Kernel development [LWN.net]
2.9 parsecs away

Travel
| |
| | faizilham.github.io
Revisiting Chip-8 | faiz.memdump()
36.0 parsecs away

Travel
| It's been a while since I write emulator projects. While I do want to make more "serious" emulator like NES or GameBoy, I decided to do a warm up project by writing a Chip-8 emulator once more. Here are some interesting things I found and implemented during the development.