update reading list

Author: 2018kguo

assets/blog_posts/reading_list.md

@@ -2,4 +2,8 @@
 - [Rust SIMD beginners guide](https://github.com/rust-lang/portable-simd/blob/master/beginners-guide.md)
 - [LXR Garbage Collection](https://arxiv.org/pdf/2210.17175)
 - [Homegrown bytecode interpreters](https://medium.com/bumble-tech/home-grown-bytecode-interpreters-51e12d59b25c)
-- [Implementing regular expressions](https://swtch.com/~rsc/regexp/)
+- [Implementing regular expressions](https://swtch.com/~rsc/regexp/)
+- [Paper on soft updates in file systems](https://users.ece.cmu.edu/~ganger/papers/osdi94.pdf)
+- [Rewriting S3 Shardstore](https://assets.amazon.science/77/5e/4a7c238f4ce890efdc325df83263/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3-2.pdf)
+- [Practical Deep Learning For Coders](https://course.fast.ai/)
+- Types and Programming Languages (Book)

assets/blog_posts/s3.md

@@ -0,0 +1,6 @@
+## Notes from [the ShardStore paper](https://assets.amazon.science/77/5e/4a7c238f4ce890efdc325df83263/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3-2.pdf) and referenced papers within
+
+### Soft Updates (from [this paper](https://users.ece.cmu.edu/~ganger/papers/osdi94.pdf))
+- General idea is that writes to disk keep track of their dependencies, and are optimistically written to blocks
+- When a "real" write comes in, the updates to the block that have pending dependencies are temporarily rolled back and re-applied after the disk write completes.
+- This simplifies dependencies and prevents long chains of dependent writes from building up