From 4246b8845825ee6820e9773c77029bbfa18041d1 Mon Sep 17 00:00:00 2001 From: Federico Angelilli Date: Tue, 29 Apr 2025 02:23:22 +0200 Subject: Adjust intro --- content/posts/pointer-tagging/index.md | 10 +++------- themes/chilldark | 2 +- 2 files changed, 4 insertions(+), 8 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. -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 index c88b8eb..34ac96e 160000 --- a/themes/chilldark +++ b/themes/chilldark @@ -1 +1 @@ -Subproject commit c88b8eb639c5deccbdb4970a31399663d65094fe +Subproject commit 34ac96e1cf4f0c3f8b9853f8cd5b1c5d8d0818a1 -- cgit v1.2.3