https://rami3l.github.io/posts/ 2025-12-31T00:00:00+00:00 https://rami3l.github.io/ 2025-12-31T00:00:00+00:00 https://rami3l.github.io/tags/ 2025-12-31T00:00:00+00:00 https://rami3l.github.io/tags/thoughts/ 2025-12-31T00:00:00+00:00 https://rami3l.github.io/posts/year-in-review-2025/ 2025-12-31T00:00:00+00:00 https://rami3l.github.io/tags/concurrency/ 2025-01-20T00:00:00+00:00 https://rami3l.github.io/tags/lock/ 2025-01-20T00:00:00+00:00 https://rami3l.github.io/posts/locked-rustup-1/ 2025-01-20T00:00:00+00:00 https://rami3l.github.io/tags/rust/ 2025-01-20T00:00:00+00:00 https://rami3l.github.io/tags/rustup/ 2025-01-20T00:00:00+00:00 https://rami3l.github.io/tags/toolchain/ 2025-01-20T00:00:00+00:00 https://rami3l.github.io/tags/lean/ 2023-09-30T00:00:00+00:00 https://rami3l.github.io/tags/prover/ 2023-09-30T00:00:00+00:00 https://rami3l.github.io/posts/lean-termination-1/ 2023-09-30T00:00:00+00:00 https://rami3l.github.io/tags/keyboard/ 2023-08-03T00:00:00+00:00 https://rami3l.github.io/tags/macos/ 2023-08-03T00:00:00+00:00 https://rami3l.github.io/tags/swift/ 2023-08-03T00:00:00+00:00 https://rami3l.github.io/posts/claveilleur/ 2023-08-03T00:00:00+00:00 https://rami3l.github.io/tags/announcement/ 2023-08-02T00:00:00+00:00 https://rami3l.github.io/posts/hello/ 2023-08-02T00:00:00+00:00 https://rami3l.github.io/archives/ https://rami3l.github.io/categories/ https://rami3l.github.io/search/ https://rami3l.github.io/series/