3 ms·
Recent article and discussion: https://news.ycombinator.com/item?id=12612856 https://news.ycombinator.com/item?id=12612856 (A Hoare Logic for Rust)
by jk4930 10y ago
Recent article and discussion: https://news.ycombinator.com/item?id=12612856 https://news.ycombinator.com/item?id=12612856 (A Hoare Logic for Rust)