A Gentle Introduction to Liquid Types(goto.ucsd.edu)115 points by marvinborner 3 years ago | 65 comments
Screenshot pending…“Rewrite It in Rust” Considered Harmful? () [pdf](goto.ucsd.edu)77 points by libele 3 years ago | 83 comments
