The Wayback Machine - https://web.archive.org/web/20230327002036/https://ucsd-progsys.github.io/liquidhaskell-blog/