Explore >> Select a destination


You are here

yosefk.com
| | chao-tic.github.io
4.4 parsecs away

Travel
| |
| | kuruczgy.com
4.5 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.
| | eli.thegreenplace.net
2.9 parsecs away

Travel
| |
| | blog.nuculabs.dev
46.0 parsecs away

Travel
| Hello, In this article I present you the solution to nice and short cracking challenge from Root-Me. After opening it up in Ghidra, I saw that the challenge is easy to solve, all you need is to find the password, which is in plain text. Basically just copy paste and you get the flag, but wait, there's a twist! I should have learned my lesson from the other challenge from Root-Me, which also had a twist.