BenevolentOne

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⟩

The number of self-driving cars and trucks has been roughly doubling year over year, there are around 5000 right now.

FWIW, I don't think we will ever see safe in all driving conditions, there are plenty of driving conditions where it is fundamentally unsafe for cars and no man nor machine should be driving in them, so in your particular case, you get to wait for self driving cars for the rest of your life.

I think in 5 years people will be complaining about a lack of available open-source and self-hosted self-driving cars, but safe in all weather? Probably not.

Ah, that's your problem, you're buying Dell and HP laptops, which start off as e-waste. Their batteries have thermal issues while they're still on the factory line and their laptop power supplies are engineered to die no more than 3 minutes after the warranty expires.

We're probably talking past each other. I recommend switching to ASUS.

You're arguing that something I've been doing for over a decade can't be done.

Why? Look at my perspective. On one hand, I have 10+years of lived experience doing this thing, on the other hand there's internet guy who says it can't be done?

Just compare a mini-pc to a entry level laptop with the same specifications from any manufacturer.

An Asus NUC with no disk or ram and an Intel 250 (celeron) uses 65W of power and starts around $300. It has 2 cores at 1.8ghz and costs go up from there.

From the same manufacturer at the same time, I can find over 300 laptop SKUs at the below $300 price point to choose from including the entry level zenbook 14, which, in addition to being complete (having ram is nice) packs a significantly more powerful processor and only uses 45W.

Ok bro, you're wrong and laptops haven't come with removable batteries since before OP was born (probably).

Of course, I also took the lead acid batteries out of my ancient laptops before I e-wasted them and went down to the sock-hop and dinosaur ride.

Not sure, the battery doesn't really get cycled, it doesn't get hot, I have a few which are going strong after 10+ years (the useful life of the hardware).

It's not a hypothetical for me.

I usually pick up the cheapest non-chromebook laptop I can find and put Linux on it.

There are a couple key advantages here:

1. It's very cheap.
2. Battery Backup included.
3. Monitor and keyboard included.
4. Power efficient by design.
5. Available all the time from any vendor.
6. You can take it with you, update your server on the couch and slap it back on the rack.
7. Virtually any configuration you want in candy colors.
8. Did I mention these are very cheap?

It can be a bit tricky to find one with Ethernet and two SSDs is kinda exotic (especially because you could get two whole laptops for the cost of some NAS enclosures) but there are over 3000 different models under $300 on Amazon, I'm sure you can find something good.

When you open the mystery box, it's racism.

And if you peel back the layers and look inside, there is a subtle undercurrent of yet more racism.

But, if instead, you inspect the histories of powerful nations and understand the stories which have shaped the world we live in, it's not racism that wins out and makes everyone's life better, it's syncretism (literally, getting along with the Cretans).

So yeah, you're absolutely right to call it out.

Barbaric, savage, and uneducated people, who lead us inexorably into decline and dissolution, spend a lot of time worrying about their "origins" when instead we should be focused on something else.

Weirdly, giving people money to spend props up the businesses that depend on people spending money. Who knew? (Besides Keynes, FDR's entire cabinet, and anyone who's read a macro textbook since 1945.