Hacker News: HappyPanacea

New comment by HappyPanacea in "Increasing the lifespan of a bulb makes it worse in every other way"

HappyPanacea — Fri, 31 Jul 2026 23:04:56 +0000

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.

New comment by HappyPanacea in "Are We Stuck with Lean?"

HappyPanacea — Thu, 30 Jul 2026 16:23:52 +0000

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?

New comment by HappyPanacea in "Are We Stuck with Lean?"

HappyPanacea — Thu, 30 Jul 2026 15:54:16 +0000

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

New comment by HappyPanacea in "The rise and fall of language diversity through the Holocene"

HappyPanacea — Fri, 24 Jul 2026 17:11:20 +0000

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.

New comment by HappyPanacea in "Claude Fable produced a counterexample to the Jacobian Conjecture"

HappyPanacea — Mon, 20 Jul 2026 14:52:31 +0000

This is slow?

New comment by HappyPanacea in "Odin, Wikipedia and engagement farming"

HappyPanacea — Sat, 04 Jul 2026 13:00:37 +0000

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

New comment by HappyPanacea in "Odin, Wikipedia and engagement farming"

HappyPanacea — Sat, 04 Jul 2026 12:49:59 +0000

So why is that article not deleted yet?

New comment by HappyPanacea in "Where to Find the Colors Your Screen Can't Show You"

HappyPanacea — Sat, 20 Jun 2026 09:23:09 +0000

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

New comment by HappyPanacea in "GLM 5.2 Is Out"

HappyPanacea — Sun, 14 Jun 2026 12:55:51 +0000

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.

New comment by HappyPanacea in "Israeli firm BlackCore suspected of meddling in New York and Scotland votes"

HappyPanacea — Sun, 14 Jun 2026 12:39:10 +0000

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

New comment by HappyPanacea in "Israeli firm BlackCore suspected of meddling in New York and Scotland votes"

HappyPanacea — Sat, 13 Jun 2026 12:19:30 +0000

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

New comment by HappyPanacea in "Israeli firm BlackCore suspected of meddling in New York and Scotland votes"

HappyPanacea — Sat, 13 Jun 2026 11:30:54 +0000

> 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.

New comment by HappyPanacea in "Israeli firm BlackCore suspected of meddling in New York and Scotland votes"

HappyPanacea — Sat, 13 Jun 2026 09:52:46 +0000

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.

New comment by HappyPanacea in "Apple decided not to roll out Siri in EU after denied request for exemption"

HappyPanacea — Tue, 09 Jun 2026 19:02:48 +0000

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

New comment by HappyPanacea in "Italians and Dutch share the same gestural instinct for teaching"

HappyPanacea — Fri, 29 May 2026 12:05:29 +0000

> 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?

New comment by HappyPanacea in "All of human cooking compressed into 2 megabytes"

HappyPanacea — Wed, 27 May 2026 13:14:22 +0000

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

New comment by HappyPanacea in "Iran starts Bitcoin-backed ship insurance for Hormuz strait"

HappyPanacea — Mon, 18 May 2026 17:55:42 +0000

Iran knows hard currency is better than soft power

New comment by HappyPanacea in "China blocks Meta's acquisition of AI startup Manus"

HappyPanacea — Tue, 28 Apr 2026 07:11:28 +0000

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

New comment by HappyPanacea in "China blocks Meta's acquisition of AI startup Manus"

HappyPanacea — Tue, 28 Apr 2026 06:53:26 +0000

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

New comment by HappyPanacea in "One neat trick to end extreme poverty"

HappyPanacea — Sat, 11 Apr 2026 21:08:16 +0000

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