Corruption, living standards, housing, unemployment and health rank above, or alongside, migration as key issues for European voters. Despite anti-immigration rhetoric across Europe, many voters view domestic issues as chief concerns. Voters in Greece, Italy, Poland, Romania and Spain are more concerned about people leaving their country than coming in.European Council of Foreign Relations
Sounds like the experiment “EU” can be considered as failed.
EverCrypt—developed and verified by the Project Everest team—offers the same features, convenience, and performance as popular existing cryptographic libraries without the bugs that leave protocols and applications vulnerable. Usable by verified and unverified clients alike, EverCrypt emphasizes both multiplatform support and high performance. We accomplish this by producing both platform-agnostic C code and optimized assembly code for specific hardware targets through the combination of two components of Project Everest: the HACL* cryptographic library developed jointly between Inria and Microsoft Research and the Vale-Crypto library of assembly primitives developed collectively between Microsoft Research and Carnegie Mellon University.By Jonathan Protzenko, Researcher; Bryan Parno, Associate Professor, Carnegie Mellon University
The verification process is likely more complex than the code itself. Anyway, this is one great step. Read the full article over at Microsoft.
From June 2019 the Windows Subsystem for Linux (WSL) will feature a real Linux kernel. While the current WSL1 is just some kind of wrapper, an incomplete Linux distribution with lots of limitations, the new WSL2 will feature full system call compatibility.
To my mind this will make use of Hyper-V, which in turn will likely block access to VT-x for other virtual environments such as VirtualBox and VMware. So, quite a clever move by Microsoft.
Luckily they’ll support further development of WSL1, too.
Read more at Microsoft.