HappyPanacea

Why did you state temporarily?

Diminishing returns on both intelligence and training, mostly

Car horns gotta be up there as some of the worst inventions of the 20th century, noise pollution galore.

What is the great crime behind Norway's sovereign wealth fund?

You underestimate the difficulty of RH, there are far easier problems broadly related to RH (density hypothesis, Artin's holomorphy conjecture, Stark conjectures) which are still aren't solved.

Long time ago I remember reading about D* lite, I wonder how do they compare.

The new windows notepad is a disgrace

No, a smart model should also give a concise executive summary, "brevity is the soul of wit".

It would be nice to have the driver and LED decoupled from each other with a standard socket between driver and LED even if there is one per bulb.

Right, but the point is as far as I'm aware nobody accidentally found a bug in Lean by proving a theorem in a non adversarial context (and this submission is a link to a discussion at Mathoverflow). Also I think most formal verification is done using Coq and Isabelle/HOL, no?

https://lipn.info/@mevenlennonbertrand/116997927457012577 , you and they might be jumping to conclusions

What a coincidence I was just recently wondering when in history had the most distinct languages spoken. This peak described here is later than what I remember reading.

> Great loss of linguistic diversity did not begin with recent colonial expansion but as multinational empires first spread along with their languages, pathogens, and cultures.

Insert "they're the same picture" meme here.

This is slow?

A form of Citogenesis although here it is about notability instead (notabilitogensesis is mouthful unfortunately)

So why is that article not deleted yet?

I guess it is the 2-dimensional section such that it have constant total brightness. You can then multiply later by your desired brightness.

Not necessarily, commoditize your complement is a common strategy USA & Europe are more services heavy than China which seems to have advantage at manufacturing these days if AI trained on everybody data can replace some of it than it reduce China depend on others, increase demands from other countries to china's manufacturing and reduce their dependence on USA & Europe and reduce USA & Europe bargaining chip in any future negotiate.

Your inability to distinguish "Small amount of people make sure to look and echo everything" and "All the reporting is controlled by the antisemitic media conglomerates" is noted

False trichotomy 4. Small amount of people make sure to look and echo everything that paint Israel in bad light and this work, we know this work because this entire post is about a company (small amount of people) influencing New York and Scotland votes.

Also it is entirely possible all 1+2+4 hold

> My nation, the most powerful in the world,

USA?

> Yet, listen to Zionists and I’m practically living in Weimar Germany. That dog won’t hunt.

Yeah this is so detached from reality I have to ask how you arrived at this conclusion and consider reexamining the way you consume information. Both in my own personal impression and according ADL global index USA's antisemitism is a low. Because "Zionists" have pro-Israel bias they will perceive any one who support Israel positively, and no one support Israel more than USA, so they will likely view USA as positive further lessening negtive views.

Remilk is an Israeli food-tech startup using yeasts to produce milk proteins. Frankly I find your comment rather odd, why should a startup be more loud because other people are biased? Diplomacy is the job of the state. We have innovative index on which Israel does well and large number of unicorn per capita.

I have never seen this argument against (admittedly I'm not big into such debates) right to repair, did it came up somewhere?

> but this was a huge deal for me living in Israel.

I lived in Israel my whole life and I don't remember ever encountering the notion that 'speaking with your hands is lacking "class"' or that ' It's generally seen as "proper" to not use your hands.'. I just looked and easily found two videos with Israel's Prime Minister where he used hand gestures while talking.

> In the military, especially in basic training, that would probably send you doing pushups.

No, I don't think so, why would it?

I would like one day to have a database which measure how strongly every food ingredient in use binds to every human smell receptors.

Iran knows hard currency is better than soft power

No, there were efforts to ban TikTok well before Oct 7th 2023 in 2020-2021 by the first Trump Admin, and there was ongoing effort in 2022-2023 during Biden Admin.

TikTok Agrees to Sell U.s. Operations, https://www.tiktok.com/en/trending/detail/tiktok-agrees-to-s... , 25 Dec 2022

Biden approves banning TikTok from federal government phones, https://www.npr.org/2022/12/20/1144519602/congress-is-about-... , 20 Dec 2022

U.S. is 'looking at' banning TikTok and Chinese social media apps, Pompeo says, https://www.cnbc.com/2020/07/07/us-looking-at-banning-tiktok... , 7 July 2020

I'm not sure why you specified nation-states when this is just as likely to happen in any state.

Technology, crediting this to capitalism is just as dumb as blaming every society’s ills on capitalism.

Which combat veterans?

Vast over-generalization