rdc12's submissions | Hacker News

1.		Little rust starter: Lifetimes made easy (dev.to)
		1 point by rdc12 on May 4, 2020 \| past
2.		Verifying bubble sort in Whiley (whiley.org)
		2 points by rdc12 on Dec 19, 2017 \| past
3.		Olivier Blanchard’s tenure at the IMF (washingtonpost.com)
		2 points by rdc12 on Oct 3, 2015 \| past
4.		Assertions Are Pessimistic, Assumptions Are Optimistic (2014) (regehr.org)
		12 points by rdc12 on July 4, 2015 \| past \| 4 comments
5.		UB Canaries (Undefined Behaviour) (regehr.org)
		4 points by rdc12 on May 1, 2015 \| past