Distributed computation involves many interesting issues concerning shared data. Here I want to sketch out what networks look like using applied (informal) mathematics so we can look at some algorithms for consensus and data consistency. No formal methods or category
Current reading: meltdown and spectre edition
Google project zero and then The two attacks. and remediation for Spectre in LLVM. Test code. (via Lobste.rs) Limits of ASLR. Spanner,True Time and CAP See also Synchronous Processors. and processor architecture. Some papers by Stephen Kell (also via lobste.rs