gabuzome

5 ms·

1. 1.▲
   by gabuzome 9y ago

   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
2. 2.▲
   by gabuzome 9y ago

   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
3. 3.▲
   by gabuzome 9y ago

   Did they ever find backdoors, or are they still pure speculation?
4. 4.▲
   by gabuzome 9y ago

   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/articles/PMC3747247/ &quot