HappyPanacea

3 ms·

1.
by HappyPanacea 2mo ago
“You are right. There is nothing in yesterday’s mathematics that you can prove with exterior algebra that could not also be proved without it. Exterior algebra is not meant to prove old facts, it is meant to disclose a new world. Disclosing
2.
by HappyPanacea 2mo ago
These days we automatically blur people faces so there is no reason we can't have both
3.
by HappyPanacea 2mo ago
Well was it hallucinated bs?
4.
by HappyPanacea 2mo ago
The more intelligent AI become, the less moat it has
5.
by HappyPanacea 2mo ago
> If a soldier on the ground had called in the airstrike, there is a good chance they would be in military prison. No, they wouldn't and neither would they in any other military; most militaries don't punish most war crimes let
6.
by HappyPanacea 2mo ago
This tells us more about your bias then Wikipedia bias, observe that WWII and Bosnian War have their own Wikipedia articles regardless of any genocide occurring in them.
7.
by HappyPanacea 2mo ago
This is not really true in my experience aside from protected articles; however it is true that sometimes another human will make an edit which degrade the article quality or insist on keeping something that shouldn't be kept. Also, Ar
8.
by HappyPanacea 2mo ago
very few people like or use it -> browser loses market share I very much doubt trying weird things meaningfully changed their market share (aside from UI redesigns)
9.
by HappyPanacea 2mo ago
This poll don't show "the curse upon the Jews victory to Islam" and shooting random vessels and taking crew hostages are making Houthi or Houthi further expansion liked in the west.
10.
by HappyPanacea 2mo ago
The western audience doesn't need the hint to dislike it - the curse upon the Jews victory to Islam and shooting random vessels and taking crew hostages (very relevant here) are doing the job just fine.
11.
by HappyPanacea 2mo ago
This argument doesn't work, the average majority of humans are bad at math but recent LLM aren't.
12.
by HappyPanacea 2mo ago
It seems unlikely to find 1920 level or so proof although it might be the case that a significantly easier/shorter proof exits via Vandiver conjecture + extra work or Effective Mordell conjecture but it also wouldn't surprise me i
13.
by HappyPanacea 2mo ago
Buzzard is writing for his blog audience - mostly mathematicians and not the casual visiting HN user.
14.
by HappyPanacea 3mo ago
Does somebody knows what top locales list is sampled from? their own usage data? Also when they will use their AI to give better directions in Waze?
15.
by HappyPanacea 3mo ago
So according to you, American Revolutionary War was a separatist movement but not an independence struggle? > Head over to reddit where your trolling will be welcomed. Race is a term with a rather vague meaning, if I remember genetics co
16.
by HappyPanacea 3mo ago
> It's not a separatist movement, but an independence struggle. What's the difference? > And the Javanese of Indonesia aren't just a different tribe, they've a completely different race from completely different la
17.
by HappyPanacea 3mo ago
No I don't know who "You-Know-Who" is, speak plainly.
18.
by HappyPanacea 3mo ago
Fuck this deliberate teasing and marketing. Call me when they are done.
19.
by HappyPanacea 3mo ago
It seems unwise to attack UK when US attacks you.
20.
by HappyPanacea 3mo ago
I have some vague memories of people praising the prose of The Name of the Wind but being less impressed with its plot.
21.
by HappyPanacea 3mo ago
Why did you state temporarily?
22.
by HappyPanacea 3mo ago
Diminishing returns on both intelligence and training, mostly
23.
by HappyPanacea 3mo ago
Car horns gotta be up there as some of the worst inventions of the 20th century, noise pollution galore.
24.
by HappyPanacea 3mo ago
What is the great crime behind Norway's sovereign wealth fund?
25.
by HappyPanacea 3mo ago
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.
26.
by HappyPanacea 3mo ago
Long time ago I remember reading about D* lite, I wonder how do they compare.
27.
by HappyPanacea 3mo ago
The new windows notepad is a disgrace
28.
by HappyPanacea 3mo ago
No, a smart model should also give a concise executive summary, "brevity is the soul of wit".
29.
by HappyPanacea 3mo ago
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.
30.
by HappyPanacea 3mo ago
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 verificatio

More ›