Did you mean https://fasterthanli.me/articles/aiming-for-correctness-with-types https://fasterthanli.me/articles/aiming-for-correctness-with... ? I've been fo

Did you mean https://fasterthanli.me/articles/aiming-for-correctness-with-types https://fasterthanli.me/articles/aiming-for-correctness-with... ? I've been following the rust content, it's a readable and useful (to me) blog