HackerTrans
TopNewTrendsCommentsPastAskShowJobs

tsnl

no profile record

Submissions

Meta Sam 3D – Image to Mesh Model

ai.meta.com
1 points·by tsnl·hace 8 meses·2 comments

comments

tsnl
·hace 2 años·discuss
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
·hace 3 años·discuss
Theorem provers that use dependent typing, like Coq.