• petrol_sniff_king@lemmy.blahaj.zone
    link
    fedilink
    English
    arrow-up
    5
    ·
    1 day ago

    AI is just an accelerant for a sick hypercapitalist society that is doomed to collapse.

    I had, like, a bunch of paragraphs lined up because I thought you didn’t understand this. But as it turns out, you seem to be perfectly okay with the world being raped to death.

    I hope your academic field is entertaining, at least.

      • petrol_sniff_king@lemmy.blahaj.zone
        link
        fedilink
        English
        arrow-up
        1
        ·
        22 hours ago

        I know. I am perfectly capable of reading more than one comment.

        zd9, you are aware that AI is making things worse, you say so yourself, and yet you feel the unsatable need to stand here bitching that no one understands your unique, special use case. For what?

        I. Do. Not. Give. A. Fuck. that academics are using machine learning to solve problems. That is their business. <- Is that what you wanted? There you go.

        • zd9@lemmy.world
          link
          fedilink
          English
          arrow-up
          2
          arrow-down
          1
          ·
          16 hours ago

          So do you feel this hatred towards Monte Carlo sampling methods, or Gaussian Mixture Models, or Finite Element Method solvers? It’s all just math and it is being applied towards both how to grow crops better and how to make bombs. Seems pretty naive.

          • petrol_sniff_king@lemmy.blahaj.zone
            link
            fedilink
            English
            arrow-up
            1
            ·
            10 hours ago

            Yes, of course. Monte Carlo killed my father.

            You know what the problem is? You think that you’re too smart to be caught with a meth addiction. See, your neighbor got fucked up, lost a bunch of his teeth, but you, you know about microdosing.

            Your other neighbor fell off a construction site that was missing its guard rails, but that wouldn’t happen to you; you have excellent balance.

            The movie Jurassic Park is literally about people like you.

            Do you have a reason to restrict Gaussian mixture models you’d like to give me, or are we just pissing in the same bush?

            • zd9@lemmy.world
              link
              fedilink
              English
              arrow-up
              1
              ·
              10 hours ago

              lol ok, please keep sharing how you don’t understand anything about ML or even just… math/science in general, it’s actually entertaining

              • petrol_sniff_king@lemmy.blahaj.zone
                link
                fedilink
                English
                arrow-up
                1
                ·
                9 hours ago

                Understand what? That you have a robot girlfriend you don’t want to give up? That you would burn the world down for Her.

                You know, human love is just a biochemical response to external stimuli, I’m sure there’s a drug that can replace it.

          • BenevolentOne@infosec.pub
            link
            fedilink
            English
            arrow-up
            1
            ·
            15 hours ago

            You know what all those methods have in common? FUCKING evaluation of smooth continuous functions based on a limited number of samples.

            REAL MEN WRITE REAL PROOFS. They don’t use God damned computational methods which completely IGNORE non-converging regions.

            I used opus to generate this lean-verifiable proof that you in particular are full of shit!

            import Mathlib
            open Real
            
            noncomputable def f (x : ℝ) : ℝ := sin* x) * exp (-x^2)
            
            lemma f_smooth : ContDiff ℝ ⊤ f :=
              (contDiff_sin.comp (contDiff_const.mul contDiff_id)).mul
                (contDiff_exp.comp (contDiff_id.pow 2).neg)
            
            lemma f_zero_on_ints : ∀ n : ℤ, f n = 0 := by
              intro n
              show sin* (n : ℝ)) * exp (-((n : ℝ))^2) = 0
              rw [mul_comm π (n : ℝ), sin_int_mul_pi, zero_mul]
            
            lemma f_ne_zero : f ≠ 0 := fun h => by
              have h₁ : f (1/2) = 0 := congrFun h (1/2)
              have h₂ : f (1/2) = exp (-(1/2)^2) := by
                show sin* (1/2)) * exp (-(1/2)^2) = exp (-(1/2)^2)
                rw [show π * (1/2) = π/2 from by ring, sin_pi_div_two, one_mul]
              exact (exp_pos _).ne' (h₂ ▸ h₁)
            
            theorem sampling_is_a_lie :
                ∃ f : ℝ → ℝ,
                  ContDiff ℝ ⊤ f ∧
                  (∀ n : ℤ, f n = 0) ∧
                  f ≠ 0 :=
              ⟨f, f_smooth, f_zero_on_ints, f_ne_zero⟩