OmnipotentEntity

joined 2 years ago
[–] OmnipotentEntity@beehaw.org 12 points 1 month ago

The way that arsonist was able to melt the weird pointy top into something more appealing was really a thing of beauty.

Bouba > Kiki

[–] OmnipotentEntity@beehaw.org 5 points 2 months ago

Oh! My bad! I completely missed that the functions were continuous (it isn't required for 🍊 to be a metric)

[–] OmnipotentEntity@beehaw.org 21 points 2 months ago* (last edited 2 months ago) (3 children)

Careful ⚠️ there is not guaranteed to be an element such that |🍎(x) - πŸ‡(x)| is maximized. Consider 🍎 (x) = x if x < 3, 0 otherwise. Let πŸ‡ (x) = 0, and let the domain be [0, 4]. Clearly, the sup(|🍎 (x) - πŸ‡ (x)| : x ∈ [0, 4]) = 3, but there is no concrete value of x that will return this result. If you wish to demonstrate this in this manner, you will need to introduce an 🐘 > 0 and do some pedantic limit work.

[–] OmnipotentEntity@beehaw.org 12 points 2 months ago

Anyway, to prove this is a metric we must prove that it satisfies the 4 laws of metrics.

1. The distance from a point to itself is zero. 🍊 (🍎, 🍎) = 0

This can be accomplished by simply observing that |🍎 (x) - 🍎 (x)| = 0 βˆ€x ∈ [a,b], so its sup = 0.

2. The distance between any two distinct points is non-negative.

If 🍎 β‰  🍌, then βˆƒx ∈ [a,b] such that 🍎 (x) β‰  🍌 (x). Thus for this point |🍎 (x) - 🍌 (x)| > 0 and the sup > 0.

3. 🍊 (🍎, 🍌) = 🍊 (🍌, 🍎) βˆ€(🍎, 🍌) in our space of functions.

Again, we must simply apply the definition of 🍊 observing that βˆ€x ∈ [a,b] |🍎 (x) - 🍌 (x)| = |🍌 (x) - 🍎 (x)|, and the sup of two equal sets is equal.

4. Triangle inequality, for any triple of functions (🍎, 🍌, πŸ‡), 🍊 (🍎, 🍌) + 🍊 (🍌, πŸ‡) β‰₯ 🍊 (🍎, πŸ‡)

For any (🐁, 🐈, πŸ•) ∈ ℝ³ it is well known that |🐁 - πŸ•| ≀ |🐁 - 🐈| + |🐈 - πŸ•|, (triangle inequality of absolute values).

Further, for any two functions 🍍, πŸ‘ we have sup({🍍 (x) : x ∈ [a, b]}) + sup({πŸ‘ (x) : x ∈ [a, b]}) β‰₯ sup({🍍 (x) + πŸ‘ (x) : x ∈ [a, b]})

Letting 🍍 (x) = |🍎 (x) - 🍌 (x)|, and πŸ‘ (x) = |🍌 (x) - πŸ‡ (x)|, we have the following chain of implications:

🍊 (🍎, 🍌) + 🍊 (🍌, πŸ‡) = sup({🍍 (x) : x ∈ [a, b]}) + sup({πŸ‘ (x) : x ∈ [a, b]}) β‰₯ sup({🍍 (x) + πŸ‘ (x) : x ∈ [a, b]}) β‰₯ sup({|🍎 (x) - πŸ‡ (x)| : x ∈ [a, b]}) = 🍊 (🍎, πŸ‡)

Taking the far left and far right side of this chain we have our triangles inequality that we seek.

Because 🍊 satisfies all four requirements it is a metric. QED.

QED stands for πŸ‘Έβš‘πŸ’Ž, naturally

[–] OmnipotentEntity@beehaw.org 4 points 2 months ago (1 children)

What happened to πŸ‡ and 🍍?

[–] OmnipotentEntity@beehaw.org 9 points 2 months ago

but can I say he's wrong? I don't know.

Not a cult. Not a cult. Not a cult. Not a cult.

[–] OmnipotentEntity@beehaw.org 4 points 2 months ago

Anakin brought balance to the force by slaughtering all of the Jedi.

Before, thousands of Jedi, like 4(?) sith.

After, 2 Jedi, 2 sith. Perfectly balanced.

[–] OmnipotentEntity@beehaw.org 4 points 2 months ago* (last edited 2 months ago)

Gmail data gets used in LLM training. I wonder how Gemini 2.5 would auto complete "The code to the nuclear football is"...

[–] OmnipotentEntity@beehaw.org 3 points 2 months ago (1 children)

Says the guy insinuating context to justify this attack, and accusing the woman attacked of lying, despite the fact that she was fired for not reporting the attack to a manager quickly enough?

At this point, you're just embarrassing yourself. Lemmy is still too small for everyone here not to see through this weak ass bait.

[–] OmnipotentEntity@beehaw.org 18 points 2 months ago* (last edited 2 months ago) (10 children)

Are you asserting that she is lying about being accosted by a man for entering the women's bathroom?

Because if you aren't, then I would be very interested to hear what "more that happened" could possibly justify his actions.

[–] OmnipotentEntity@beehaw.org 2 points 2 months ago

Twilight princess got a HD remaster though.

 

Abstract:

Hallucination has been widely recognized to be a significant drawback for large language models (LLMs). There have been many works that attempt to reduce the extent of hallucination. These efforts have mostly been empirical so far, which cannot answer the fundamental question whether it can be completely eliminated. In this paper, we formalize the problem and show that it is impossible to eliminate hallucination in LLMs. Specifically, we define a formal world where hallucina- tion is defined as inconsistencies between a computable LLM and a computable ground truth function. By employing results from learning theory, we show that LLMs cannot learn all of the computable functions and will therefore always hal- lucinate. Since the formal world is a part of the real world which is much more complicated, hallucinations are also inevitable for real world LLMs. Furthermore, for real world LLMs constrained by provable time complexity, we describe the hallucination-prone tasks and empirically validate our claims. Finally, using the formal world framework, we discuss the possible mechanisms and efficacies of existing hallucination mitigators as well as the practical implications on the safe deployment of LLMs.

 

You might know the game under the name Star Control 2. It's a wonderful game that involves wandering around deep space, meeting aliens, and navigating a sprawling galaxy while trying to save the people of Earth, who are being kept under a planetary shield.

 

Subverting Betteridge's law of headlines. Yes.

 

Sometimes, because I am ancient, I automatically type in www. before I type in beehaw.org into my address bar. It would be nice and comfy to have that give a CNAME redirect instead of just completely failing to DNS resolve.

40
submitted 2 years ago* (last edited 2 years ago) by OmnipotentEntity@beehaw.org to c/gaming@beehaw.org
 

Doom on a Pico8. Insane.

 

the Logitech F710 is a solid controller to get if you’re on a tight budget, but perhaps not exactly the type of equipment you want to stake your life on. [...] Reviewers on sites like Amazon frequently mention issues with the wireless device's connection.

The reporter, who followed an expedition of the Titan from the launch ship, wrote that β€œit seems like this submersible has elements of MacGyver jerry-riggedness.”

view more: next β€Ί