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/541a2b6f4ce2373ba4ae9c7878d510c9074a03a9?ds=inline;hp=541a2b6f4ce2373ba4ae9c7878d510c9074a03a9 write way too long post on the unsafe code model ---