Blogs/Sites https://www.lesswrong.com/users/genesmith https://en.wikipedia.org/wiki/Void_safety Papers https://www.eecg.utoronto.ca/~steffan/carg/readings/jacm.hoare.pdf Books Horror https://www.reddit.com/r/nosleep/comments/sva7z6/my_wife_has_been_peeking_at_me_from_around/ OS Dev https://github.com/dreamportdev/Osdev-Notes/blob/master/00_Introduction/01_README.md https://brokenthorn.com/Resources/OSDevIndex.html Reverse Engineering https://www.msreverseengineering.com/program-analysis-reading-list Formal Verification