Skip Navigation
Posts
12
Comments
220
Joined
2 yr. 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

  • Rule

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

  • Rule

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

  • Rule

  • 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

  • Rule

  • What happened to ๐Ÿ‡ and ๐Ÿ?

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

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

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

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

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

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

  • Johnny Mnemonic

  • Having played all of the 2d Metroids, Super Metroid still holds up very well, even compared to the newer games. There's less direction than what you might be used to though. Newer entries in the series tend to try to funnel you places. But if you are simply concerned about the gameplay being clunky, don't be.

    Super Metroid way ahead of its time, and the controls are extremely responsive and tight. It's one of the reasons it's such a popular speed game. It's just fun to play. While basic controls are serviceable, there are many tricks you find yourself learning about as you play the game, which you just have access to, that give the movement system quite a bit of depth. (For hints, let the attract move run at the beginning of the game.)

  • rule

  • Why is "gives free tech support," an expectation of being a good person? I spent 7 years of my life doing tech support professionally.

    a) I never want to do it again, because honestly fuck computers, but b) If I have to, I'm certainly not going to do it unless I already like you or you are paying me.

    Figure your own shit out. I have a life to live and I don't have infinite free time and energy to help you unfuck whatever stupid bullshit happened to your computer. Especially if you're being entitled about it.

  • rule

  • I mean, by pushing conservative media narratives and moving the Overton window to the right, you could argue that Hallmark is in part responsible for our illegal ICE deportations to El Salvadorian torture prisons, the rise in hate crimes against transpeople, and our future war with Iran.

    But maybe an extra white lady got killed too.

  • Are you kidding? Do you not remember? That is exactly what a pokemon journey is for! Now put on a baseball cap, grab your Bulbasaur, and get out there and be the very best like no one ever was.

  • I googled it for you.

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

    In 90 percent of these individuals, the syndrome is caused by the Y chromosome's SRY gene, which triggers male reproductive development, being atypically included in the crossing over of genetic information that takes place between the pseudoautosomal regions of the X and Y chromosomes during meiosis in the father.[2][7] When the X with the SRY gene combines with a normal X from the mother during fertilization, the result is an XX genetic male. Less common are SRY-negative individuals, those who are genetically females, which can be caused by a mutation in an autosomal or X chromosomal gene.[2] The masculinization of XX males is variable.

  • Same tbh. Framework just works. And they do contribute back, just perhaps not as much specifically to Linux. Open source hardware is so incredibly valuable and important and rare. Honestly, if I had to choose only based on how much is contributed back, I'd still pick Framework.

  • I'm currently working on a government funded project to develop a robot to locate nuclear contamination in soil (for cleaning up the Hartford and Savannah River sites, where we used to make nuclear weapons). The idea being that we use robots to perform these surveys rather than handheld detectors.

    My recommendation though, is focus only on one thing. Having two degrees has not made me particularly marketable, it is certainly unique, but HR doesn't actually seem to give much of a shit. Instead, it's much better to focus on one thing, get a Masters or PhD in it (double degrees also suck for this as well, because you don't have time for research and publishing when you're graduating with 195 credit hours taken out of 128 required, so even if you have a good GPA it's hard to get into grad school).

  • Technology @beehaw.org
    OmnipotentEntity @beehaw.org
    Technology @beehaw.org
    OmnipotentEntity @beehaw.org

    Hallucination is Inevitable: An Innate Limitation of Large Language Models (arxiv preprint)

    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 e

    Science @beehaw.org
    OmnipotentEntity @beehaw.org

    Avoiding fusion plasma tearing instability with deep reinforcement learning

    Gaming @beehaw.org
    OmnipotentEntity @beehaw.org

    Ur-Quan Masters released on Steam (for free)

    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.

    Programming @beehaw.org
    OmnipotentEntity @beehaw.org

    Do Users Write More Insecure Code with AI Assistants? (arxiv paper)

    Subverting Betteridge's law of headlines. Yes.

    Programming @beehaw.org
    OmnipotentEntity @beehaw.org

    Arxiv Preprint: Othello is solved

    U.S. News @beehaw.org
    OmnipotentEntity @beehaw.org
    Beehaw Support @beehaw.org
    OmnipotentEntity @beehaw.org

    Please add a redirect from the www. subdomain ๐Ÿ

    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.

    Science @beehaw.org
    OmnipotentEntity @beehaw.org

    New type of gravitational waves detected, Dr Becky video

    Gaming @beehaw.org
    OmnipotentEntity @beehaw.org

    POOM - A Pico8 Doom port

    cohost.org This ain't your usual Doom port

    MEET POOM Hi everybody. Meet POOM [https://freds72.itch.io/poom]. It's not your everyday Doom port. It's one of the most bonkers takes on the game I have seen in a while. Join me as I briefly gush about how good this thing is. (obligatory: 56k warning, here be gifs aplenty; one of them has a bit o...

    Doom on a Pico8. Insane.

    World News @beehaw.org
    OmnipotentEntity @beehaw.org

    Missing Titan submersible is operated by a cheap game controller

    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.โ€

    Science @beehaw.org
    OmnipotentEntity @beehaw.org

    Betelgeuse to go supernova in in decades (not centuries)