add Miri update blog post

[web.git] / personal / projects / index.md

diff --git a/personal/projects/index.md b/personal/projects/index.md
index aeb614ef961a6523d2ba525b344212d3b4338500..c5d3f4aa47753dbf3db6dfbe80087bec6e1b60f9 100644 (file)
--- a/personal/projects/index.md
+++ b/personal/projects/index.md
@@ -4,7 +4,7 @@ title: Projects
 
 This page lists some of the tools I wrote, mostly for my own purposes:
 To solve some issue I was having, or to facilitate my daily computer usage.
 
 This page lists some of the tools I wrote, mostly for my own purposes:
 To solve some issue I was having, or to facilitate my daily computer usage.

-The tools were usually not written with general reusability in mind.
+The tools were usually not written with general re-usability in mind.

 But maybe you are having just the same problem as I did, in which case I hope they can be helpful.
 
 * [LiLaSS](lilass/): A simple xrandr-based application to configure laptop screens on Linux. If you are using a
 But maybe you are having just the same problem as I did, in which case I hope they can be helpful.
 
 * [LiLaSS](lilass/): A simple xrandr-based application to configure laptop screens on Linux. If you are using a


@@ -16,7 +16,7 @@ But maybe you are having just the same problem as I did, in which case I hope th
 * [schsh](schsh/): A collection of scripts and configuration files which can be used to grant
   someone secure (SSH-based) access to a machine, without giving them a shell or read access
   to the entire file system.
 * [schsh](schsh/): A collection of scripts and configuration files which can be used to grant
   someone secure (SSH-based) access to a machine, without giving them a shell or read access
   to the entire file system.

-* [Rust-101](rust-101/): A small tutorial for the [Rust language](http://www.rust-lang.org).
+* [Rust-101](rust-101/): A small tutorial for the [Rust language](https://www.rust-lang.org).

 * [git-mirror](git-mirror/): This can keep multiple git repositories of the same project in sync automatically.
 
 For some more of my projects, check out the [public git repositories](https://www.ralfj.de/git/)
 * [git-mirror](git-mirror/): This can keep multiple git repositories of the same project in sync automatically.
 
 For some more of my projects, check out the [public git repositories](https://www.ralfj.de/git/)