3 ms·
It Pays to Be Circomspect
- Grimburger 4y agoLured in by a typo that perhaps I could pedantically correct for internet points, got an excellent cryptography writeup instead, this is a good read. Have to wonder how many bugs lay in static and dynamic analysers themselves, might be some low hanging yet wide-ranging fruit there. Been playing around with Miri lately, it's a joy to use. https://github.com/rust-lang/miri https://github.com/rust-lang/miri