Update README.md

Author: wtholliday

src/README.md

@@ -59,3 +59,5 @@ To avoid having to use generics for closures, we can compute a max closure size
 [Cranelift JIT Demo](https://github.com/bytecodealliance/cranelift-jit-demo)
 
 [MLIR Tutorial](https://llvm.org/devmtg/2020-09/slides/MLIR_Tutorial.pdf)
+
+[Designing type inference for high quality type errors](https://blog.polybdenum.com/2025/02/14/designing-type-inference-for-high-quality-type-errors.html)