Viewing profile — tsnl
tsnl
HN member- Joined
- Thu, May 06, 2021, 6:01 PM UTC
- HN karma
- 8
- Public activity
- 5 items
- HN profile
- View on Hacker News ↗
About tsnl
No profile information was provided.
Recent public activity
- story
-
comment
Comment #39045971
Another downside of Box 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.
-
comment
Comment #38978770
Theorem provers that use dependent typing, like Coq.
-
comment
Comment #33577172
Mirror: https://web.archive.org/web/20221112180021/https://pldb.com/...
- story