bietroi

3 ms·

1. 1.▲
   Show HN: Typegraph – type-level graphs of Rust types(github.com)

   1 points by bietroi 1y ago|0 comments
2. 2.▲
   by bietroi 1y ago

   Oh, that's pretty funny actually. In retrospect, if I cared about getting peoples' attention I should have mentioned something about "static reflection", or positioned this as more of a direct "threat" to macro
3. 3.▲
   Show HN: Inception: Automatic Rust Trait Implementation by Induction(github.com)

   10 points by bietroi 1y ago|2 comments
4. 4.▲
   by bietroi 1y ago

   It's cool to see that others have explored some of these concepts more generally, thanks for the links! The glowstick shape is also a type-level list of integers, and I could definitely see how other shapes might be useful in different
5. 5.▲
   by bietroi 1y ago

   Glowstick just provides the shape types and associated traits as a layer you can put on top of another tensor implementation. Since it's just verifying shapes and forwarding the operations to the underlying tensor (e.g. from candle&#x2
6. 6.▲
   Show HN: Glowstick – type level tensor shapes in stable rust(github.com)

   53 points by bietroi 1y ago|5 comments
7. 7.▲
   Show HN: I made a web app for language learners using Rust->WASM->Canvas(synchrotales.com)

   2 points by bietroi 3y ago|0 comments