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