1.
2.
-fbounds-safety: Enforcing bounds safety for C
(news.ycombinator.com)
3.
4.
6.
8.
Constrained languages are easier to optimize
(news.ycombinator.com)
9.
Stackless Traversal (2018)
(news.ycombinator.com)
10.
The provenance memory model for C
(news.ycombinator.com)