diff --git a/config.toml b/config.toml
index 3976694..0e77ac8 100644
--- a/config.toml
+++ b/config.toml
@@ -1,4 +1,4 @@
-baseURL = "http://example.org/"
+baseURL = "http://nilstrieb.github.io/"
 languageCode = "en-us"
-title = "My New Hugo Site"
+title = "nilstriebs blog"
 theme = "terminal"
diff --git a/content/posts/box-is-a-unique-type.md b/content/posts/box-is-a-unique-type.md
index 59d4da6..8cd4726 100644
--- a/content/posts/box-is-a-unique-type.md
+++ b/content/posts/box-is-a-unique-type.md
@@ -13,11 +13,94 @@ hideComments = false
 draft = true
 +++
 
-# uwu
+We have all used `Box<T>` before in our Rust code. It's a glorious type, with great ergonomics
+and flexibitility. We can use it to simply put our values on the heap, but it can do even more
+than that!
 
-wow much unique
+```rust
+struct Fields {
+    a: String,
+    b: String,
+}
 
-cool
-f
+let fields = Box::new(Fields { 
+    a: "a".to_string(), 
+    b: "b".to_string() 
+});
+
+let a = fields.a;
+let b = fields.b;
+```
+
+This kind of partial deref move is just one of the spectacular magic tricks box has up its sleeve,
+and they exist for good reason: They are very useful. Sadly we have not yet found a way to generalize all
+of these to user types as well. Too bad!
+
+Anyways, this post is about one particularly subtle magic aspect of box. For this, we need to dive
+deep into unsafe code, so let's get our hazmat suits on and jump in!
+
+# An interesting optimization
+
+We have this code here:
+
+```rust
+fn takes_box_and_ptr_to_it(mut b: Box<u8>, ptr: *const u8) {
+    let value = unsafe { *ptr };
+    *b = 5;
+    let value2 = unsafe { *ptr };
+    assert_ne!(value, value2);
+}
+
+let b = Box::new(0);
+let ptr: *const u8 = &*b;
+    
+takes_box_and_ptr_to_it(b, ptr);
+```
+
+There's a function, `takes_box_and_ptr_to_it`, that takes a box and a pointer as parameters. Then,
+it reads a value from the pointer, writes to the box, and reads a value again. It then asserts that
+the two values aren't equal. How can they not be equal? If our box and pointer point to the same
+location in memory, writing to the box will cause the pointer to read the new value.
+
+Now construct a box, get a pointer to it, and pass the two to the function. Run the program...
+
+```
+thread 'main' panicked at 'assertion failed: `(left != right)`
+  left: `0`,
+ right: `0`', src/main.rs:5:5
+```
+
+Hmm. That's not what I've told would happen. Is the compiler broken? Is this a miscompilation?
+I've heard that those do sometimes happen, right?
+
+Trusting our instincts that "it's never a miscompilation until it is one", we assume that LLVM behaved
+well here. But what allows it to make this optimization? Taking a look at the generated LLVM-IR (by using
+`--emit llvm-ir`) reveals the solution: (severely shortened to only show the relevant parts)
+
+```llvmir
+define void @takes_box_and_ptr_to_it(i8* noalias %0, i8* %ptr) {
+```
+
+See the little attribute on the first parameter called `noalias`? That's what's doing the magic here.
+`noalias` is quite complex, but for our case here, it says that no other pointers point to (alias) the same location.
+This allows the optimizer to assume that writing to the box pointer doesn't affect the other pointer - they are
+not allowed to alias (it's like if they used `restrict` in C).
+
+If you're a viewer of Jon Gjengset's content (which I can highly recommend), this might sound familiar to you: Jon
+made an entire video about this before, since his crate `left-right` was affected by this (https://youtu.be/EY7Wi9fV5bk).
+
+If you're looking for _any_ hint that using box emits `noalias`, you have to look no further than the documentation
+for [`std::boxed`](https://doc.rust-lang.org/nightly/std/boxed/index.html#considerations-for-unsafe-code). Well, the nightly or beta docs, because I only added this section very recently. For years, this behaviour was simply undocumented. So lots of
+code was written thinking that box was "just a RAII pointer" (a pointer that allocates the value in the constructor,
+and deallocates it in the destructor on drop) for all pointer are concerned.
+
+# Stacked Borrows and Miri
+
+[https://github.com/rust-lang/miri](Miri) is an interpreter for Rust code with the goal of finding undefinde behaviour.
+Undefined behaviour, UB for short, is behaviour of a program upon which no restrictions are imposed. If UB is executed,
+_anything_ can happen, including segmentation faults, silent memory corruption, leakage of private keys or exactly
+what you intended to happen. Examples of UB include use-after-free, out of bounds reads or data races.
+
+I cannot recommend Miri highly enough for all unsafe code you're writing (sadly support for some IO functions
+and FFI is still lacking).
 
-fun
\ No newline at end of file
diff --git a/deploy.sh b/deploy.sh
deleted file mode 100755
index 682e054..0000000
--- a/deploy.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/usr/bin/env bash
-
-git stash
-git checkout gh-pages
-hugo -D
-git add ./public
-git commit -m "deploy"
-git push origin gh-pages
-git checkout -
-git stash pop
\ No newline at end of file