▲ 3 points
back
1 comments
Lured 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.