HackerTrans
トップ新着トレンドコメント過去質問紹介求人

tsnl

no profile record

投稿

Meta Sam 3D – Image to Mesh Model

ai.meta.com
1 ポイント·投稿者 tsnl·8 か月前·2 コメント

コメント

tsnl
·2 年前·議論
Another 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
·3 年前·議論
Theorem provers that use dependent typing, like Coq.