Absolutely nobody gives a fuck.

Crime scene, blood everywhere, factory owner should be charged for every pollutant found in a 10km radius on the assumption it came through that pipe at some point and we’ll walk it backwards from there.

Being able to call out a middle manager that if these tools are really so great he can just open the PR himself is pretty awesome though.

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.

There are 70 drivers for 3000 vehicles. Which goal is good enough for you? We’ll make a note, I’ll tell you when we passed it, and you can tell me why it’s not real. I’m willing to wait.

I don’t think we’ll ever stop moving the goal posts. You can still meet people who don’t use computers and have never seen the use in them.

I rode in one last month, down the highway.

Even the most pessimistic reports of human involvement still puts them in the ‘mostly self-driving’ camp, and I’d rather have one with a fallback than one without.

Should I disbelieve my lying eyes?

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.