ghettoimp's submissions

1.		The Verified CakeML Compiler Back End [pdf] (cmu.edu)
		39 points by ghettoimp on Jan 6, 2019 \| past \| 11 comments
2.		How AWS uses automated reasoning to help you achieve security at scale (amazon.com)
		1 point by ghettoimp on June 21, 2018 \| past
3.		Facebook has been collecting call history, sms data (theverge.com)
		2 points by ghettoimp on March 25, 2018 \| past \| 1 comment
4.		Formal specification of IEX (stock exchange) auction logic (medium.com/imandra)
		2 points by ghettoimp on Jan 21, 2018 \| past