X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/099251ec85b4c06194042c7cbf3edff470145216..37213d7848c52f6a88dc5c261c915c847a3fb5ae:/ralf/_posts/2022-09-26-cargo-careful.md

diff --git a/ralf/_posts/2022-09-26-cargo-careful.md b/ralf/_posts/2022-09-26-cargo-careful.md
index 28bfec9..3a1fc6a 100644
--- a/ralf/_posts/2022-09-26-cargo-careful.md
+++ b/ralf/_posts/2022-09-26-cargo-careful.md
@@ -1,6 +1,7 @@
 ---
-title: "carego careful: run your Rust code with extra careful debug checking"
+title: "cargo careful: run your Rust code with extra careful debug checking"
 categories: rust
+reddit: /rust/comments/xogayv/cargo_careful_run_your_rust_code_with_extra/
 ---
 
 Did you know that the standard library is full of useful checks that users never get to see?
@@ -22,3 +23,5 @@ There are probably ways to improve this in the future.
 Meanwhile, if you have some `unsafe` code that for one reason or another you cannot test with Miri, give [`cargo careful`] a try and let me know how it is doing. :)
 
 [`cargo careful`]: https://github.com/RalfJung/cargo-careful
+
+*By the way, I am soon [starting as a professor at ETH Zürich]({% post_url 2022-08-16-eth %}), so if you are interested in working with me on programming language theory as a master student, PhD student, or post-doc, then please [reach out](https://research.ralfj.de/contact.html)!*