This is true, but I want to add that FODMAPs are not inherently bad for you (unless you have something like IBS), on the contrary! Fermentable carbohydrates are prebiotics and feed your gut flora, which produces…
I know no mentally healthy people who wash hands ~32 times daily (16hours awake) - except if you work in a kitchen or as a doctor etc. For office work, it sounds excessive to me. I think most people only wash their…
Are you kidding/trolling? The P=NP problem is FAR more fundamental, and if proven true, would basically be a proof that e.g. public key crypto can be broken (NOT a description of how to though). Basically, it would be a…
There is huge logistics involved in killing a handful of billion people. It would perhaps be easier for such capable AI to just steal from trillionaires and redistribute the money Robin Hood style. Could be done…
Interesting “law”. I hadn’t heard of it before and it is very thought provoking (to me). Thank you for mentioning it
> at home gene editing with open source software > That's in reach of anyone that can snatch a purse I went to primary school with some guys who could/would snatch purses. I *promise* you, they are not able to gene edit…
My building’s group is on FB. I’ve managed without access for over a decade. I live a somewhat normal adult life and manage without having anything to do with Meta ¯\_(ツ)_/¯ I probably miss some things, but I don’t…
I would say it’s very unlikely to be the case here at least. Of course some bugs in Lean may exist (I don’t have deep insight into Lean’s implementation and there have been bugs before), but I find it unlikely to be…
I see I got downvoted. This is well established though. Lots of research supports it. From https://pmc.ncbi.nlm.nih.gov/articles/PMC4791086/ > There is strong evidence indicating that excess adiposity negatively impacts…
Buffer overflows are trivial to check for at runtime (~proof-checking-time) and Lean does this. Just like Java does it. I’d wager a million gazillion bucks that this is not the case.
Great explanation. I’ve heard this referred to, as The Formal Specification problem. From https://en.wikipedia.org/wiki/Formal_specification#Limitatio... > A design (or implementation) cannot ever be declared “correct”…
> lower blood sugar increases inflammation This is backwards. I think you mean HIGHER blood sugar, right?
It is well known that you have higher levels of inflammation if overweight, which generally worsens your immune response.
I live in Scandinavia, and I’m sad to say, but most progressive legislation comes from the EU. Our national government only legislates on populist issues. Racist laws, more surveillance, less oversight of cops and…
Those are also covered. > software distributed under the GPL, MIT, BSD, and Apache licenses are exempt
Yes also BSD and friends. From TFA > These amendments redefine the term “operating system provider” to exclude any person or entity that distributes an OS or application “under license terms that permit a recipient to…
FWIW I liked your joke :D
TIL, thanks for updating me on this! I read Herb Sutter’s post many years ago, but didn’t know they had picked up the work again. I see that VLAs are still not supported, which is a shame IMO, but the C-support seems…
MSVC stands for MicroSoft Visual C++ compiler AFAIK. It famously doesn’t support a few features of C99. They don’t really seem to care much about regular C support (non-C++).
What is your point? There are thousands of such companies in Germany, called Energy-Intensive Industries. Think chemicals, mining, materials, paper pulp, glass, ceramics etc. Stats available here:…
Farmed salmon meat is pink, whereas wild salmon meat is white/greyish. A dull color. They don’t put the coloring in the food to emulate natural food sources. They do it because it looks more appealing to most consumers.
FWIW, Norway is not a member of the EU - if that is what you are implying. If that is not your point, I apologize, but then I don’t see the connection (maybe you could elaborate?)
I don’t disagree, but I think this is a matter of taste: i.e. which aspect you’d consider more important. You can create DSLs without macros, for example by parsing and interpreting at runtime, but macros let you move…
I’m sorry, I don’t understand what you mean. Self-aware with regards to what? Can you please elaborate?
Generally, it enables type-safe, ahead-of-time compiled code to perform work at compile time that would require runtime execution in many other languages
This is true, but I want to add that FODMAPs are not inherently bad for you (unless you have something like IBS), on the contrary! Fermentable carbohydrates are prebiotics and feed your gut flora, which produces…
I know no mentally healthy people who wash hands ~32 times daily (16hours awake) - except if you work in a kitchen or as a doctor etc. For office work, it sounds excessive to me. I think most people only wash their…
Are you kidding/trolling? The P=NP problem is FAR more fundamental, and if proven true, would basically be a proof that e.g. public key crypto can be broken (NOT a description of how to though). Basically, it would be a…
There is huge logistics involved in killing a handful of billion people. It would perhaps be easier for such capable AI to just steal from trillionaires and redistribute the money Robin Hood style. Could be done…
Interesting “law”. I hadn’t heard of it before and it is very thought provoking (to me). Thank you for mentioning it
> at home gene editing with open source software > That's in reach of anyone that can snatch a purse I went to primary school with some guys who could/would snatch purses. I *promise* you, they are not able to gene edit…
My building’s group is on FB. I’ve managed without access for over a decade. I live a somewhat normal adult life and manage without having anything to do with Meta ¯\_(ツ)_/¯ I probably miss some things, but I don’t…
I would say it’s very unlikely to be the case here at least. Of course some bugs in Lean may exist (I don’t have deep insight into Lean’s implementation and there have been bugs before), but I find it unlikely to be…
I see I got downvoted. This is well established though. Lots of research supports it. From https://pmc.ncbi.nlm.nih.gov/articles/PMC4791086/ > There is strong evidence indicating that excess adiposity negatively impacts…
Buffer overflows are trivial to check for at runtime (~proof-checking-time) and Lean does this. Just like Java does it. I’d wager a million gazillion bucks that this is not the case.
Great explanation. I’ve heard this referred to, as The Formal Specification problem. From https://en.wikipedia.org/wiki/Formal_specification#Limitatio... > A design (or implementation) cannot ever be declared “correct”…
> lower blood sugar increases inflammation This is backwards. I think you mean HIGHER blood sugar, right?
It is well known that you have higher levels of inflammation if overweight, which generally worsens your immune response.
I live in Scandinavia, and I’m sad to say, but most progressive legislation comes from the EU. Our national government only legislates on populist issues. Racist laws, more surveillance, less oversight of cops and…
Those are also covered. > software distributed under the GPL, MIT, BSD, and Apache licenses are exempt
Yes also BSD and friends. From TFA > These amendments redefine the term “operating system provider” to exclude any person or entity that distributes an OS or application “under license terms that permit a recipient to…
FWIW I liked your joke :D
TIL, thanks for updating me on this! I read Herb Sutter’s post many years ago, but didn’t know they had picked up the work again. I see that VLAs are still not supported, which is a shame IMO, but the C-support seems…
MSVC stands for MicroSoft Visual C++ compiler AFAIK. It famously doesn’t support a few features of C99. They don’t really seem to care much about regular C support (non-C++).
What is your point? There are thousands of such companies in Germany, called Energy-Intensive Industries. Think chemicals, mining, materials, paper pulp, glass, ceramics etc. Stats available here:…
Farmed salmon meat is pink, whereas wild salmon meat is white/greyish. A dull color. They don’t put the coloring in the food to emulate natural food sources. They do it because it looks more appealing to most consumers.
FWIW, Norway is not a member of the EU - if that is what you are implying. If that is not your point, I apologize, but then I don’t see the connection (maybe you could elaborate?)
I don’t disagree, but I think this is a matter of taste: i.e. which aspect you’d consider more important. You can create DSLs without macros, for example by parsing and interpreting at runtime, but macros let you move…
I’m sorry, I don’t understand what you mean. Self-aware with regards to what? Can you please elaborate?
Generally, it enables type-safe, ahead-of-time compiled code to perform work at compile time that would require runtime execution in many other languages