add 'programming' category
authorRalf Jung <post@ralfj.de>
Thu, 6 Oct 2022 20:23:06 +0000 (22:23 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 6 Oct 2022 20:23:06 +0000 (22:23 +0200)
personal/_posts/2018-07-24-pointers-and-bytes.md
personal/_posts/2019-07-14-uninit.md
personal/_posts/2020-12-14-provenance.md
personal/_posts/2022-04-11-provenance-exposed.md

index 636fa40edd65ea89291db7e669d51c543e37821b..6accd7dd68449b6e871ba4f3c9ac47ed2b34cafe 100644 (file)
@@ -1,6 +1,6 @@
 ---
 title: "Pointers Are Complicated, or: What's in a Byte?"
-categories: internship rust
+categories: internship rust programming
 forum: https://internals.rust-lang.org/t/pointers-are-complicated-or-whats-in-a-byte/8045
 ---
 
index 7af373fbf7b905276902a246cc1a024e3c82b286..e5d973bf644ae21a87eb9ad8ef5ff4b52217f380 100644 (file)
@@ -1,6 +1,6 @@
 ---
 title: '"What The Hardware Does" is not What Your Program Does: Uninitialized Memory'
-categories: rust research
+categories: rust research programming
 forum: https://internals.rust-lang.org/t/what-the-hardware-does-is-not-what-your-program-does-uninitialized-memory/10561
 ---
 
index 249c3e4dcfb83a08ee06da561d10fc7f601c3e80..94040c417cecb1e86a83942f6530cd8fb0b22a2c 100644 (file)
@@ -1,6 +1,6 @@
 ---
 title: "Pointers Are Complicated II, or: We need better language specs"
-categories: rust research
+categories: rust research programming
 forum: https://internals.rust-lang.org/t/pointers-are-complicated-ii-or-we-need-better-language-specs/13562
 license: CC BY-SA 4.0
 license-url: https://creativecommons.org/licenses/by-sa/4.0/
index 709dbc6cae1958444bc4ffaf4f53d6919700d42c..6d0d7d35f5bc4083ff941f575178963f9f5b673d 100644 (file)
@@ -1,6 +1,6 @@
 ---
 title: "Pointers Are Complicated III, or: Pointer-integer casts exposed"
-categories: rust research
+categories: rust research programming
 license: CC BY-SA 4.0
 license-url: https://creativecommons.org/licenses/by-sa/4.0/
 reddit: /rust/comments/u1bbqn/pointers_are_complicated_iii_or_pointerinteger/