announce my ETH position :-))

[web.git] / ralf / _posts / 2022-08-08-minirust.md

diff --git a/ralf/_posts/2022-08-08-minirust.md b/ralf/_posts/2022-08-08-minirust.md
index b78dfe2e4d948c66101e0ce267d8563e7ed778cf..1049ac075bcc7b498af3391e7e8db5284d81cd66 100644 (file)
--- a/ralf/_posts/2022-08-08-minirust.md
+++ b/ralf/_posts/2022-08-08-minirust.md
@@ -15,7 +15,9 @@ We have [Miri](https://github.com/rust-lang/miri/), which is a much quicker orac
 
 So I have promised for a long time to find some more holistic way to write down my thoughts on unsafe Rust semantics.
 I thought I could do it in 2021, but I, uh, "slightly" missed that deadline... but better late than never!
 
 So I have promised for a long time to find some more holistic way to write down my thoughts on unsafe Rust semantics.
 I thought I could do it in 2021, but I, uh, "slightly" missed that deadline... but better late than never!

-At long last, I can finally present to you: [**MiniRust**](https://github.com/RalfJung/minirust).
+At long last, I can finally present to you: [**MiniRust**](https://github.com/RalfJung/minirust).[^name]
+
+[^name]: I am beginning to wonder if this name was a bad choice. Naming is not my strong suit. Maybe "CoreRust" would have been better? Alas...

 
 The purpose of MiniRust is to describe the semantics of an interesting fragment of Rust in a way that is both precise and understandable to as many people as possible.
 These goals are somewhat at odds with each other -- the most precise definitions, e.g. carried out in the Coq Proof Assistant, tend to not be very accessible.
 
 The purpose of MiniRust is to describe the semantics of an interesting fragment of Rust in a way that is both precise and understandable to as many people as possible.
 These goals are somewhat at odds with each other -- the most precise definitions, e.g. carried out in the Coq Proof Assistant, tend to not be very accessible.