projects
/
web.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
75f9922
)
add link to reddit
author
Ralf Jung
<post@ralfj.de>
Mon, 8 Aug 2022 02:03:13 +0000
(22:03 -0400)
committer
Ralf Jung
<post@ralfj.de>
Mon, 8 Aug 2022 02:03:13 +0000
(22:03 -0400)
personal/_posts/2022-08-08-minirust.md
patch
|
blob
|
history
diff --git
a/personal/_posts/2022-08-08-minirust.md
b/personal/_posts/2022-08-08-minirust.md
index 4d2752b9bf684626c92d49ca2acc602c15eda58b..f13285b26a5c8fd63a377a1180c97f64e390a8bf 100644
(file)
--- a/
personal/_posts/2022-08-08-minirust.md
+++ b/
personal/_posts/2022-08-08-minirust.md
@@
-1,6
+1,7
@@
---
title: "Announcing: MiniRust"
categories: rust research
+reddit: /rust/comments/wiwjch/announcing_minirust/
---
I have been thinking about the semantics of Rust -- as in, the intended behavior of Rust programs when executed, in particular those containing unsafe code -- a lot.