Explore >> Select a destination
|
You are here 
|
blog.stenmans.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. | |
| | | | |
abhinavsarkar.net
|
|
| | | | | We write a fast bytecode VM for arithmetic in Haskell. | |
| | | | |
dlang.org
|
|
| | | | | [AI summary] The text discusses various projects and updates related to the D programming language, including the Summer of Code (SAOC) 2021 initiatives. Key points include: 1) SAOC participants and their projects, such as implementing ProtoObject as the root class, replacing DRuntime hooks with templates, adding D support to LLDB, developing Lightweight DRuntime (LWDR), and improving DUB for dependency resolution. 2) Updates on the bugfix reward system, including prizes and implementation details. 3) Mentors and their roles in guiding the SAOC participants. 4) The SAOC application process and upcoming milestones. The text also mentions community involvement, such as the D Language Foundation and sponsors like Symmetry Investments, and encourages readers to ... | |
| | | | |
surma.dev
|
|
| | | What follows is a brain dump of everything I know about compiling Rust to WebAssembly. Enjoy. | ||
