- At least *this* tcp-level linux vulnerability is [just a massive DOS](https://fossbytes.com/segmentsmack-tcp-flaw-linux-kernel-remote-denial-of-service/). - [A nice talk about OAuth](https://www.youtube.com/watch?v=aIFRvSxIZ0k) - Surely your CPU doesn't have undocumented, ring-0, layer-violating backdoor instructions that are enabled by default, [right?!](https://github.com/xoreaxeaxeax/rosenbridge/blob/master/README.md) - I have only skimmed but this article on a [comprehensible memory model for Ocaml](https://blog.acolyer.org/2018/08/09/bounding-data-races-in-space-and-time-part-i/) seems potentially extremely interesting. - When you're done chewing stores and reads, use those mathematical modeling skills on [something more interesting](https://people.maths.ox.ac.uk/maini/PKM%20publications/384.pdf). - Once you have a paper model of course, you may find you need a physical scale model to validate. But how to tell if your scaling accurately represents the full-size? [NASA to the rescue](https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19790022005.pdf).