Viewing profile — gabuzome

Yes Lamport started and maintains TLA+. I found his hyperbook to be a good introduction to TLA+ and PlusCal. http://lamport.azurewebsites.net/tla/hyperbook.html

It's the official term from the ARMv8 architecture and also the name adopted by toolchains, but "arm64" was chosen for Linux: https://lkml.org/lkml/2012/7/15/127

Did they ever find backdoors, or are they still pure speculation?

While the experience itself may resemble psychosis at times, lsd/mushrooms, when taken in a proper setting, will not turn you mentally unsound. https://www.ncbi.nlm.nih.gov/pmc/art…