Hacker News Reader

gabuzomeon Modeling Redux with TLA+

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

gabuzomeon OpenBSD: arm64 platform now officially supported, and has syspatch(8)

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

gabuzomeon MINIX: Intel's hidden in-chip operating system

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

gabuzomeon The concept of schizophrenia is dying

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/ "21,967 respondents (13.4% weighted) reported lifetime psychedelic use. There were no significant associations between lifetime use of any psychedelics, lifetime use of specific psychedelics (LSD, psilocybin, mescaline, peyote), or past year use of LSD and increased rate of any of the mental health outcomes. Rather, in several cases psychedelic use was associated with lower rate of mental health problems."

Now everyone agrees 16 yr olds shouldn't be abusing any psychoactive drugs while their brain is still developing, but don't ruin it for us adults, it is an important part of the human experience (though it isn't for everyone, since for psychedelics, expanding the way you view life is generally the end goal.)