From: Ralf Jung Date: Tue, 18 Jul 2017 01:46:03 +0000 (-0700) Subject: write way too long post on the unsafe code model X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/bc0ea11957e34d426094062fa887262624640f93?hp=bc0ea11957e34d426094062fa887262624640f93 write way too long post on the unsafe code model ---