Yes, and I’m beginning to suspect that the group of people who don’t understand why they have an incompetent middle manager and the group who doesn’t get good results out of AIs has 100% overlap.

Please feel free to downvote me into oblivion.

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.

I guess we’ll have to learn how to do that.

For a lot of people, education is “we will hold a gun to your head until you pass the exam”. For a lot of people, education is seminary school, and in many circles the priests are the best educated folks around.

If I don’t send my kids to school, a nice lady with a uniform and a gun comes around, and this is ‘civilization’?

It sounds like you’re worried education will, ‘become Bible school at the point of a gun’, but where I am it already is, and these aren’t the new models I’m talking about.

I’m talking about free access and communication as the pillars of education.

If you make a spelling error, Claude thinks, “we’re doing low quality work”, and it does.

I agree with you on both points, and the third (these people are idiots), but I’m happy to debate you anyways.

I think that we must actively dismantle traditional forms of knowledge (copyrights, private libraries, most of education) in favor of developing new completely open archives and internet based methods of organizing, developing, and interacting with knowledge.

Does that do it for you?