Wrangling Untrusted File Formats Safely
Bit late to the party, but google's wuffs has exactly this: compile time overflow prevention. It is not implemented in the type system per se, but still a part of their static analysis phase.
Truly a developer’s best friend. Scout APM is great for developers who want to find and fix performance issues in their applications. With Scout, we'll take care of the bugs so you can focus on building great things 🚀.
I just figured out how do have (generics const limited) dependable types in Rust
1 project | reddit.com/r/rust | 1 Oct 2022
wuffs/doc at main · google/wuffs
1 project | reddit.com/r/YourselfYou | 20 Aug 2022
Ivy: Rob Pike's APL-Like Language / Desk Calculator
3 projects | news.ycombinator.com | 7 Aug 2022
A fake job offer took down the world’s most popular crypto game
1 project | news.ycombinator.com | 6 Jul 2022
Memory Safety for the World’s Largest Software Project
1 project | reddit.com/r/rust | 24 Jun 2022