throw-qqqqq

You are not banned FYI

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 are healthy for you.

But yes, you also get gas from FODMAPs. And no, I am not advocating for processed foods - just wanted to comment on the FODMAP aspect.

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 and perhaps before eating (many don’t).

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 the REALLY hard (combinatorial) problems out there, have a much simpler solution, if we were able to find it.

EDIT:

NS is used daily in engineering and gas/fluid modeling. We sort of “know it works”. The smoothness proof is “just” formalizing what practitioners assume is true (very coarsely said, no intention to diminish the result!)

It’s a bit like the Collatz function IMO, empirical evidence isn’t proof, but we’ve got a huge amount of evidence for the behavior we’re trying to prove.

I believe P vs NP is a different beast entirely. We don’t even know which way the answer should go.

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 also end world hunger.

I think we have a tendency to think first of the horrible outcomes possible, and not the more radical or even humane ones.

Please don’t misunderstand me, I value property rights as much as the next guy.

My point is that fundamental misalignment doesn’t necessarily or automatically imply max violence.

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 organisms with FOSS.

I get your general point, but I think the bar to entry is still much higher than petty crime and larceny.

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 my friends just contact me through other sources.

If you have kids, it’s more difficult - I can acknowledge that.

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 format that could affect the proof.

As I understand it, Lean is implemented in Lean and emits/compiles to C. In that C code, I’d be very surprised if any buffer overflows or stack overflows exist.

Such overflows are not difficult or expensive to detect, so if any were there, it should cause a crash instead of an incorrect result.

It’s not as in handwritten C where you can forget or omit a bounds check.

I’d say it is even less likely than seeing an overflow in the Core of Java cause an incorrect result (i.e. corruption instead of a crash) - because Lean uses the De Bruijn principle of reducing to a very small Core, that is easier to keep correct (others in this thread have expanded on this I better than I can I think).

Out of pure curiosity: Do you believe otherwise or have a reason to think I am mistaken?

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 excess adiposity negatively impacts immune function and host defence in obese individuals.

Adipose tissue is body fat.

More references:

- https://www.sciencedirect.com/science/article/pii/S216183132...

- https://www.mdpi.com/2075-1729/14/7/856

- https://pmc.ncbi.nlm.nih.gov/articles/PMC296995/

I suggest discussing it with your favorite AI if you doubt it ¯\_(ツ)_/¯

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” on its own. It can only ever be “correct with respect to a given specification.” Whether the formal specification correctly describes the problem to be solved is a separate issue.

> 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 authorities, bans on big dogs and burkahs etc. - either symbolic issues that affect very few people in reality or mostly just limiting freedom and civil rights, never expanding on it.

I don’t like that we have many unelected technocrats and the corruption sucks, but the EU changes my life for the better. I honestly can’t say that about our national governments over the past two decades.

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 copy, redistribute, and modify the software.” Any software distributed under the GPL, MIT, BSD, and Apache licenses satisfies that test, which removes the likes of Debian, Fedora, Ubuntu, Arch, and the BSD family from AB 1856’s scope.

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 much better than it used to be at least.

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: https://www.destatis.de/DE/Themen/Branchen-Unternehmen/Indus... (unfortunately only available in German)

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 much of that logic to compile time.

For me, that's the killer feature: writing code that looks dynamic or interpreted, but ends up as compiled code.

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

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 abortion in Italy until 90 days/~13 weeks.

AFAIK it’s 14 weeks in France and Spain, 18 weeks in Denmark and Sweden, 22 in NL etc. just for some context.

> but ultimately I don't think that chain Israel

Pardon?

> 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 (Saudi Arabia).

https://en.wikipedia.org/wiki/List_of_countries_by_oil_extra...