tsnl··on Identifying Rust's collect:<Vec<_>>() memory leak footgunAnother downside of Box<T> is that Vec::into_boxed_slice copies all elements from the source vector. Vec::shrink_to_fit does not appear to copy. This is based on the stable docs.
tsnl··on Doing First Grade Math in Rust's Type SystemTheorem provers that use dependent typing, like Coq.
tsnl··on A brief interview with Common Lisp co-creator Dr. Scott FahlmanMirror: https://web.archive.org/web/20221112180021/https://pldb.com/...