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/bb5a4fa2cda227d36e556fb4187890addddc40dc?hp=bb5a4fa2cda227d36e556fb4187890addddc40dc write way too long post on the unsafe code model ---