A place for my wandering thoughts 🍵https://rami3l.github.io/https://rami3l.github.io/posts/year-in-review-2025/https://rami3l.github.io/posts/year-in-review-2025/Grasping the last moment of silence that concludes a violent year.Wed, 31 Dec 2025 00:00:00 GMThttps://rami3l.github.io/posts/locked-rustup-1/https://rami3l.github.io/posts/locked-rustup-1/Trying to add a proper lock to your favorite toolchain manager.Mon, 20 Jan 2025 00:00:00 GMThttps://rami3l.github.io/posts/lean-termination-1/https://rami3l.github.io/posts/lean-termination-1/Convince the prover that your function will terminate.Sat, 30 Sep 2023 00:00:00 GMThttps://rami3l.github.io/posts/claveilleur/https://rami3l.github.io/posts/claveilleur/The extremely simple macOS input source switching daemon behind the scenes.Thu, 03 Aug 2023 00:00:00 GMThttps://rami3l.github.io/posts/hello/https://rami3l.github.io/posts/hello/Same scratchpad, different day.Wed, 02 Aug 2023 00:00:00 GMT