Viewing profile — alakrit

related: https://www.economist.com/briefing/2020/01/02/the-new-red-sc...

If you like the archetypal, tragical, allegorical narratives which derive the inspiration from ancient or religious cultures, then I advise you to watch "Teorema" by Pier Paolo Pas…

List of recently released Intel security updates (including this one): https://www.us-cert.gov/ncas/current-activity/2020/01/14/int...

You could go further. There are a lot of bugs in provers like Coq themselves for which developers create their own proofs of correctness [1]. More precisely: the paper which is lin…

If you mean the relationship between NSA and the vulnerability, then no, there actually is: it was NSA who discovered the vulnerability and it has not been used in the wild (accord…