• petrol_sniff_king@lemmy.blahaj.zone
      link
      fedilink
      English
      arrow-up
      1
      ·
      21 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
        ·
        15 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
          ·
          8 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
            ·
            8 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
              ·
              8 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
          ·
          13 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⟩