summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--content/posts/pointer-tagging/index.md10
m---------themes/chilldark0
2 files changed, 3 insertions, 7 deletions
diff --git a/content/posts/pointer-tagging/index.md b/content/posts/pointer-tagging/index.md
index afe78dc..c1ff79a 100644
--- a/content/posts/pointer-tagging/index.md
+++ b/content/posts/pointer-tagging/index.md
@@ -10,13 +10,9 @@ that can reduce memory footprint and boost performance.
<!--more-->
-Despite having widespread usage and a long history[^tagarch],
-pointer tagging remains a relatively obscure topic.
-That's because most of its applications are very low-level,
-in operating systems and programming language interpreters.
-
-We will look behind the scenes, analyzing and implementing this technique,
-with a focus on its uses in language development.
+This technique has a long history[^tagarch] and is used in many critical applications,
+such as operating system kernels and programming language interpreters.
+We will also see a simple implementation, with a focus on language development.
## Preliminary theory
diff --git a/themes/chilldark b/themes/chilldark
-Subproject c88b8eb639c5deccbdb4970a31399663d65094f
+Subproject 34ac96e1cf4f0c3f8b9853f8cd5b1c5d8d0818a