Two threads from 2016: https://news.ycombinator.com/item?id=12092107 https://new...

		dang on Oct 18, 2019 \| parent \| context \| favorite \| on: Rules for Developing Safety-Critical Code (2006) [... Two threads from 2016: https://news.ycombinator.com/item?id=12092107 https://news.ycombinator.com/item?id=11890685 And two from 2015: https://news.ycombinator.com/item?id=8898299 2015: https://news.ycombinator.com/item?id=8856226