throw-qqqqq

6 ms·

1.
by throw-qqqqq 6d ago
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 short-chain fatty acids that
2.
by throw-qqqqq 7d ago
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 hands after toilet visits
3.
by throw-qqqqq 8d ago
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 proof that all
4.
by throw-qqqqq 9d ago
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 electronically, and likely a
5.
by throw-qqqqq 9d ago
Interesting “law”. I hadn’t heard of it before and it is very thought provoking (to me). Thank you for mentioning it
6.
by throw-qqqqq 9d ago
> 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 orga
7.
by throw-qqqqq 10d ago
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 out on some things, but I don’t notice. All m
8.
by throw-qqqqq 12d ago
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 systematical or in a for
9.
by throw-qqqqq 12d ago
I see I got downvoted. This is well established and not controversial at all. Lots of research supports it. From https://pmc.ncbi.nlm.nih.gov/articles/PMC4791086/ > There is strong evidence indicating that exce
10.
by throw-qqqqq 12d ago
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.
11.
by throw-qqqqq 12d ago
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 “corre
12.
by throw-qqqqq 13d ago
> lower blood sugar increases inflammation This is backwards. I think you mean HIGHER blood sugar, right?
13.
by throw-qqqqq 13d ago
It is well known that you have higher levels of inflammation if overweight, which generally worsens your immune response.
14.
by throw-qqqqq 17d ago
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 authorities, bans on big d
15.
by throw-qqqqq 18d ago
Those are also covered. > software distributed under the GPL, MIT, BSD, and Apache licenses are exempt
16.
by throw-qqqqq 18d ago
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 copy, redistribute,
17.
by throw-qqqqq 1mo ago
FWIW I liked your joke :D
18.
by throw-qqqqq 1mo ago
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 much better than it use
19.
by throw-qqqqq 1mo ago
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++).
20.
by throw-qqqqq 2mo ago
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: https://www.destatis.de/DE&
21.
by throw-qqqqq 2mo ago
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.
22.
by throw-qqqqq 2mo ago
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?)
23.
by throw-qqqqq 2mo ago
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 much of that logic to
24.
by throw-qqqqq 2mo ago
I’m sorry, I don’t understand what you mean. Self-aware with regards to what? Can you please elaborate?
25.
by throw-qqqqq 2mo ago
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
26.
by throw-qqqqq 2mo ago
I don’t think any woman who seeks an abortion, is unaware that it will kill the foetus. Having to listen to the heartbeat seems performative IMO. The heartbeat develops in weeks 5-6 and can be heard from around week 10. You can have a legal
27.
by throw-qqqqq 2mo ago
> but ultimately I don't think that chain Israel Pardon?
28.
by throw-qqqqq 2mo ago
https://en.wikipedia.org/wiki/Poe%27s_law
29.
by throw-qqqqq 2mo ago
> Well the US could just pump their wells and outproduce the entire rest of the world in crude oil The US is already the largest producer of crude oil in the world. They took first place around 2018 and is currently ~30% above no. 2 (Sau
30.
by throw-qqqqq 2mo ago
I completely agree with that

More ›