tsnl

3 ms·

1. 1.▲
   Meta Sam 3D – Image to Mesh Model(ai.meta.com)

   1 points by tsnl 11mo ago|2 comments
2. 2.▲
   by tsnl 3y ago

   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.
3. 3.▲
   by tsnl 3y ago

   Theorem provers that use dependent typing, like Coq.
4. 4.▲
   by tsnl 4y ago

   Mirror: https://web.archive.org/web/20221112180021/https://pldb.com/...
5. 5.▲
   A deep dive into an NSO zero-click iMessage exploit: Remote Code Execution(daringfireball.net)

   2 points by tsnl 5y ago|0 comments