add Rust's Unsafe Pointer Types Need An Overhaul

src/reading-list/2024a.md

@@ -131,9 +131,10 @@ note: inside `main`
   * <https://docs.rs/momo>：利用宏自动生成这种模式
 
 
-* pointer provenance
-  * Unsafe Code Guidelines Reference: [pointer provenance](https://rust-lang.github.io/unsafe-code-guidelines/glossary.html#pointer-provenance) 
-  * RustLang: [Tracking Issue for strict_provenance](https://github.com/rust-lang/rust/issues/95228)
-  * RalfJung: [Pointers Are Complicated, or: What's in a Byte?](https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html)
-  * RalfJung: [Pointers Are Complicated II, or: We need better language specs](https://www.ralfj.de/blog/2020/12/14/provenance.html)
-  * RalfJung: [Pointers Are Complicated III, or: Pointer-integer casts exposed](https://www.ralfj.de/blog/2022/04/11/provenance-exposed.html)
+pointer provenance
+* Unsafe Code Guidelines Reference: [pointer provenance](https://rust-lang.github.io/unsafe-code-guidelines/glossary.html#pointer-provenance) 
+* RustLang: [Tracking Issue for strict_provenance](https://github.com/rust-lang/rust/issues/95228)
+* RalfJung: [Pointers Are Complicated, or: What's in a Byte?](https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html)
+* RalfJung: [Pointers Are Complicated II, or: We need better language specs](https://www.ralfj.de/blog/2020/12/14/provenance.html)
+* RalfJung: [Pointers Are Complicated III, or: Pointer-integer casts exposed](https://www.ralfj.de/blog/2022/04/11/provenance-exposed.html)
+* Gankra: [Rust's Unsafe Pointer Types Need An Overhaul](https://gankra.github.io/blah/fix-rust-pointers/#distinguish-pointers-and-addresses)