/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

 thume.ca
Comparing the Same Project in Rust, Haskell, C++, Python, Scala and OCaml - Tristan Hume
| | lwn.net
Rust in the 6.2 kernel [LWN.net]
2.3 parsecs away

Travel
| |
| | blog.lohr.dev
After a day of programming in Zig
2.5 parsecs away

Travel
| | A review by a Rust enthusiast
| | dehora.net
On Rust - Bill de hÓra
2.1 parsecs away

Travel
| | Back in 2013, I started a series of posts on programming languages I found interesting. One of the languages I wanted to write about at that time was Rust. As often happens, life got in the way, and it's only now that I'm coming round to a long overdue post. This is one of a series of posts on programming languages and you can read more about thathere.
| | kuruczgy.com
Porting Lean to the ESP32-C3 RISC-V microcontroller
20.8 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.